runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3749709-1339170584/watcher-3749709-1339170584 -o /tmp/evaluation-result-3749709-1339170584/solver-3749709-1339170584 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749709-1339170584.opb 1547784559 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 4882
/proc/meminfo: memFree=31485688/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[startup+0.0141859 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 4882
/proc/meminfo: memFree=31485688/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 4882
/proc/meminfo: memFree=31485688/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300135 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 4882
/proc/meminfo: memFree=31485688/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 2/173 4882
/proc/meminfo: memFree=31485688/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4920
/proc/meminfo: memFree=31523516/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=12956 CPUtime=1.1 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 2783 0 0 0 110 0 0 0 20 0 1 0 383182827 13266944 2552 33554432000 4194304 5208918 140734329118800 140734329116648 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 3239 2552 104 248 0 2988 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 45340
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4920
/proc/meminfo: memFree=31522956/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=16376 CPUtime=2.7 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 4707 0 0 0 269 1 0 0 20 0 1 0 383182827 16769024 3776 33554432000 4194304 5208918 140734329118800 140734329115176 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 4094 3776 104 248 0 3843 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 48760
[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4920
/proc/meminfo: memFree=31501552/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=26196 CPUtime=5.9 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 5670 0 0 0 589 1 0 0 20 0 1 0 383182827 26824704 6203 33554432000 4194304 5208918 140734329118800 140734329116744 4229169 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 6549 6203 104 248 0 6298 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 58580
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4920
/proc/meminfo: memFree=31485632/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=45016 CPUtime=12.3 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 6068 0 0 0 1229 1 0 0 20 0 1 0 383182827 46096384 9660 33554432000 4194304 5208918 140734329118800 140734329116792 4211792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 11254 9660 104 248 0 11003 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 77400
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4923
/proc/meminfo: memFree=31418360/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=84252 CPUtime=25.09 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 6742 0 0 0 2507 2 0 0 20 0 1 0 383182827 86274048 16575 33554432000 4194304 5208918 140734329118800 140734329116792 4229288 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 21063 16575 104 248 0 20812 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 116636
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4923
/proc/meminfo: memFree=31423340/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=72860 CPUtime=50.69 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 7883 0 0 0 5066 3 0 0 20 0 1 0 383182827 74608640 13654 33554432000 4194304 5208918 140734329118800 140734329116888 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 18215 13654 104 248 0 17964 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 105244
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4923
/proc/meminfo: memFree=31344924/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=154228 CPUtime=101.88 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 10067 0 0 0 10182 6 0 0 20 0 1 0 383182827 157929472 33635 33554432000 4194304 5208918 140734329118800 140734329116952 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 38557 33635 104 248 0 38306 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 186612
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4924
/proc/meminfo: memFree=31313976/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 40183 0 0 0 136063 91 0 0 20 0 1 0 383182827 308350976 55199 33554432000 4194304 5208918 140734329118800 140734329116952 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 75281 55199 104 248 0 75030 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 333508
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4957
/proc/meminfo: memFree=30919240/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=433384 CPUtime=1421.52 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 40715 0 0 0 142058 94 0 0 20 0 1 0 383182827 443785216 82288 33554432000 4194304 5208918 140734329118800 140734329115176 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 108346 82288 104 248 0 108095 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 465768
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4957
/proc/meminfo: memFree=31137600/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=301124 CPUtime=1481.5 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 42179 0 0 0 148052 98 0 0 20 0 1 0 383182827 308350976 55711 33554432000 4194304 5208918 140734329118800 140734329116952 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 75281 55711 104 248 0 75030 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 333508
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 4957
/proc/meminfo: memFree=30933660/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=433384 CPUtime=1541.49 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 42701 0 0 0 154048 101 0 0 20 0 1 0 383182827 443785216 81264 33554432000 4194304 5208918 140734329118800 140734329115176 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 108346 81264 104 248 0 108095 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 465768
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 4957
/proc/meminfo: memFree=31182872/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=219736 CPUtime=1601.46 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 43675 0 0 0 160042 104 0 0 20 0 1 0 383182827 225009664 53663 33554432000 4194304 5208918 140734329118800 140734329115176 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 54934 53663 104 248 0 54683 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 252120
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 4957
/proc/meminfo: memFree=30968360/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=433384 CPUtime=1661.46 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 44704 0 0 0 166038 108 0 0 20 0 1 0 383182827 443785216 79728 33554432000 4194304 5208918 140734329118800 140734329115176 4211488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 108346 79728 104 248 0 108095 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 465768
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4959
/proc/meminfo: memFree=31015652/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=219736 CPUtime=1721.44 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 45663 0 0 0 172031 113 0 0 20 0 1 0 383182827 225009664 47519 33554432000 4194304 5208918 140734329118800 140734329114568 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 54934 47519 104 248 0 54683 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 252120
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4959
/proc/meminfo: memFree=31025300/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=433384 CPUtime=1781.41 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 46710 0 0 0 178025 116 0 0 20 0 1 0 383182827 443785216 75632 33554432000 4194304 5208918 140734329118800 140734329116952 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 108346 75632 104 248 0 108095 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 465768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4959
/proc/meminfo: memFree=30968392/32873844 swapFree=6904/6904
[pid=4882] ppid=4880 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4882/stat : 4882 (npSolver-pbo.sh) S 4880 4882 4737 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383182788 9367552 275 33554432000 4194304 5064252 140735492881840 140735492880752 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4882/statm: 2287 275 233 213 0 72 0
[pid=4883] ppid=4882 vsize=14088 CPUtime=0.37 cores=0,2,4,6
/proc/4883/stat : 4883 (npSolver-pbo) S 4882 4882 4737 0 -1 4202496 4651 5434 0 0 10 1 25 1 20 0 1 0 383182788 14426112 2929 33554432000 4194304 6004724 140737013970160 140737013965296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4883/statm: 3522 2929 148 442 0 3076 0
[pid=4914] ppid=4883 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4914/stat : 4914 (satsolver.sh) S 4883 4882 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 383182827 9367552 267 33554432000 4194304 5064252 140735491650560 140735491649472 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/4914/statm: 2287 267 226 213 0 72 0
[pid=4915] ppid=4914 vsize=433384 CPUtime=1799.73 cores=0,2,4,6
/proc/4915/stat : 4915 (glucose) R 4914 4882 4737 0 -1 4202496 46723 0 0 0 179856 117 0 0 20 0 1 0 383182827 443785216 82288 33554432000 4194304 5208918 140734329118800 140734329115176 4229476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4915/statm: 108346 82288 104 248 0 108095 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 465768
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4882 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=360945
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=31995
# CPU time returned by wait4() is 0.39294
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.62
CPU time (s): 1800.1
CPU user time (s): 1798.91
CPU system time (s): 1.19
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 515088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.360945
system time used= 0.031995
maximum resident set size= 39028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11064
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 31
runsolver used 2.6436 second user time and 7.19391 second system time
The end