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-3700946-1338139313/watcher-3700946-1338139313 -o /tmp/evaluation-result-3700946-1338139313/solver-3700946-1338139313 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700946-1338139313.opb 216551405 HOME HOME
running on 4 cores: 1,3,5,7
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 3/179 20597
/proc/meminfo: memFree=29736756/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[startup+0.0250849 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20597
/proc/meminfo: memFree=29736756/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100235 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20597
/proc/meminfo: memFree=29736756/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300246 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20597
/proc/meminfo: memFree=29736756/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20597
/proc/meminfo: memFree=29736756/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20601
/proc/meminfo: memFree=29514136/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=54660 CPUtime=0.59 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 8320 0 0 0 52 7 0 0 20 0 1 0 280058240 55971840 10536 33554432000 4194304 5992684 140736054944592 140736054938624 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20598/statm: 13665 10536 172 440 0 13221 0
[pid=20600] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20600/stat : 20600 (cp2_pre.sh) S 20598 20597 18976 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 280058299 9367552 276 33554432000 4194304 5064252 140737283939840 140737283938544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20600/statm: 2287 276 234 213 0 72 0
[pid=20601] ppid=20600 vsize=217272 CPUtime=0.89 cores=1,3,5,7
/proc/20601/stat : 20601 (coprocessor) R 20600 20597 18976 0 -1 4202496 31456 0 0 0 81 8 0 0 20 0 1 0 280058299 222486528 48855 33554432000 4194304 6586260 140734078800912 140734078797176 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/20601/statm: 54318 48855 166 584 0 53730 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 290228
[startup+3.10045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20601
/proc/meminfo: memFree=29436228/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=54660 CPUtime=0.59 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 8320 0 0 0 52 7 0 0 20 0 1 0 280058240 55971840 10536 33554432000 4194304 5992684 140736054944592 140736054938624 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20598/statm: 13665 10536 172 440 0 13221 0
[pid=20600] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20600/stat : 20600 (cp2_pre.sh) S 20598 20597 18976 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 280058299 9367552 276 33554432000 4194304 5064252 140737283939840 140737283938544 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20600/statm: 2287 276 234 213 0 72 0
[pid=20601] ppid=20600 vsize=300260 CPUtime=2.49 cores=1,3,5,7
/proc/20601/stat : 20601 (coprocessor) R 20600 20597 18976 0 -1 4202496 44171 0 0 0 236 13 0 0 20 0 1 0 280058299 307466240 72675 33554432000 4194304 6586260 140734078800912 140734078796936 4493404 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/20601/statm: 75065 72675 202 584 0 74477 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 373216
[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20604
/proc/meminfo: memFree=29565448/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=54660 CPUtime=4.35 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 8328 45491 0 0 52 7 328 48 20 0 1 0 280058240 55971840 10536 33554432000 4194304 5992684 140736054944592 140736054939712 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20598/statm: 13665 10536 172 440 0 13221 0
[pid=20603] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20603/stat : 20603 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280058688 9367552 267 33554432000 4194304 5064252 140736210559344 140736210558256 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20603/statm: 2287 267 226 213 0 72 0
[pid=20604] ppid=20603 vsize=114876 CPUtime=1.8 cores=1,3,5,7
/proc/20604/stat : 20604 (glucose) R 20603 20597 18976 0 -1 4202496 22957 0 0 0 175 5 0 0 20 0 1 0 280058688 117633024 26706 33554432000 4194304 5208918 140735181839408 140735181837240 4212757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20604/statm: 28719 26706 103 248 0 28468 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 187832
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20609
/proc/meminfo: memFree=29461420/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=327176 CPUtime=12.2 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 20104 76425 0 0 295 155 709 61 20 0 1 0 280058240 335028224 50786 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/20598/statm: 81794 50786 189 440 0 81350 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 336324
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20611
/proc/meminfo: memFree=28897612/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=327176 CPUtime=12.2 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 20104 76425 0 0 295 155 709 61 20 0 1 0 280058240 335028224 50786 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/20598/statm: 81794 50786 189 440 0 81350 0
[pid=20610] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20610/stat : 20610 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280059489 9367552 267 33554432000 4194304 5064252 140735536613008 140735536611920 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20610/statm: 2287 267 226 213 0 72 0
[pid=20611] ppid=20610 vsize=526272 CPUtime=12.99 cores=1,3,5,7
/proc/20611/stat : 20611 (glucose) R 20610 20597 18976 0 -1 4202496 75339 0 0 0 1274 25 0 0 20 0 1 0 280059490 538902528 110339 33554432000 4194304 5208918 140735871624080 140735871621832 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20611/statm: 131568 110339 104 248 0 131317 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 871744
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20611
/proc/meminfo: memFree=28890848/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=327176 CPUtime=12.2 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 20104 76425 0 0 295 155 709 61 20 0 1 0 280058240 335028224 50786 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/20598/statm: 81794 50786 189 440 0 81350 0
[pid=20610] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20610/stat : 20610 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280059489 9367552 267 33554432000 4194304 5064252 140735536613008 140735536611920 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20610/statm: 2287 267 226 213 0 72 0
[pid=20611] ppid=20610 vsize=527092 CPUtime=38.58 cores=1,3,5,7
/proc/20611/stat : 20611 (glucose) R 20610 20597 18976 0 -1 4202496 75557 0 0 0 3833 25 0 0 20 0 1 0 280059490 539742208 111068 33554432000 4194304 5208918 140735871624080 140735871621832 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20611/statm: 131773 111068 104 248 0 131522 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 872564
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 20618
/proc/meminfo: memFree=28931812/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=233892 CPUtime=69.95 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 29963 161854 0 0 481 183 6179 152 20 0 1 0 280058240 239505408 54569 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/20598/statm: 58473 54569 189 440 0 58029 0
[pid=20617] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20617/stat : 20617 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280065266 9367552 267 33554432000 4194304 5064252 140735802635936 140735802634848 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20617/statm: 2287 267 226 213 0 72 0
[pid=20618] ppid=20617 vsize=465564 CPUtime=32.02 cores=1,3,5,7
/proc/20618/stat : 20618 (glucose) R 20617 20597 18976 0 -1 4202496 70751 0 0 0 3178 24 0 0 20 0 1 0 280065267 476737536 99686 33554432000 4194304 5208918 140737100332160 140737100330008 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20618/statm: 116391 99686 104 248 0 116140 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 717752
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 20618
/proc/meminfo: memFree=28973552/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=233892 CPUtime=69.95 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 29963 161854 0 0 481 183 6179 152 20 0 1 0 280058240 239505408 54569 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/20598/statm: 58473 54569 189 440 0 58029 0
[pid=20617] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20617/stat : 20617 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280065266 9367552 267 33554432000 4194304 5064252 140735802635936 140735802634848 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20617/statm: 2287 267 226 213 0 72 0
[pid=20618] ppid=20617 vsize=466240 CPUtime=92.01 cores=1,3,5,7
/proc/20618/stat : 20618 (glucose) R 20617 20597 18976 0 -1 4202496 70936 0 0 0 9177 24 0 0 20 0 1 0 280065267 477429760 100382 33554432000 4194304 5208918 140737100332160 140737100330008 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20618/statm: 116560 100382 104 248 0 116309 0
Current children cumulated CPU time (s) 161.96
################
# More data... #
################
/proc/20706/stat : 20706 (glucose) R 20705 20597 18976 0 -1 4202496 68876 0 0 0 88987 35 0 0 20 0 1 0 280105423 434917376 93692 33554432000 4194304 5208918 140734577678080 140734577674392 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20706/statm: 106181 93692 105 248 0 105930 0
Current children cumulated CPU time (s) 1361.65
Current children cumulated vsize (KiB) 676912
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20723
/proc/meminfo: memFree=29478064/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=233892 CPUtime=471.43 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 49853 324935 0 0 781 224 45820 318 20 0 1 0 280058240 239505408 45353 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/20598/statm: 58473 45353 189 440 0 58029 0
[pid=20705] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280105423 9367552 266 33554432000 4194304 5064252 140736455605488 140736455604400 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20705/statm: 2287 266 226 213 0 72 0
[pid=20706] ppid=20705 vsize=374636 CPUtime=950.22 cores=1,3,5,7
/proc/20706/stat : 20706 (glucose) R 20705 20597 18976 0 -1 4202496 69475 0 0 0 94986 36 0 0 20 0 1 0 280105423 383627264 88316 33554432000 4194304 5208918 140734577678080 140734577676168 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20706/statm: 93659 88316 105 248 0 93408 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 626824
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20723
/proc/meminfo: memFree=29455112/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=233892 CPUtime=471.43 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 49853 324935 0 0 781 224 45820 318 20 0 1 0 280058240 239505408 45353 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/20598/statm: 58473 45353 189 440 0 58029 0
[pid=20705] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280105423 9367552 266 33554432000 4194304 5064252 140736455605488 140736455604400 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20705/statm: 2287 266 226 213 0 72 0
[pid=20706] ppid=20705 vsize=428348 CPUtime=1010.2 cores=1,3,5,7
/proc/20706/stat : 20706 (glucose) R 20705 20597 18976 0 -1 4202496 70052 0 0 0 100983 37 0 0 20 0 1 0 280105423 438628352 90934 33554432000 4194304 5208918 140734577678080 140734577675912 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20706/statm: 107087 90934 105 248 0 106836 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 680536
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20724
/proc/meminfo: memFree=29343544/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=233892 CPUtime=471.43 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 49853 324935 0 0 781 224 45820 318 20 0 1 0 280058240 239505408 45353 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/20598/statm: 58473 45353 189 440 0 58029 0
[pid=20705] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280105423 9367552 266 33554432000 4194304 5064252 140736455605488 140736455604400 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20705/statm: 2287 266 226 213 0 72 0
[pid=20706] ppid=20705 vsize=509736 CPUtime=1070.19 cores=1,3,5,7
/proc/20706/stat : 20706 (glucose) R 20705 20597 18976 0 -1 4202496 70276 0 0 0 106979 40 0 0 20 0 1 0 280105423 521969664 119774 33554432000 4194304 5208918 140734577678080 140734577676232 4215351 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20706/statm: 127434 119774 105 248 0 127183 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 761924
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20724
/proc/meminfo: memFree=29243396/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=233892 CPUtime=471.43 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 49853 324935 0 0 781 224 45820 318 20 0 1 0 280058240 239505408 45353 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/20598/statm: 58473 45353 189 440 0 58029 0
[pid=20705] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280105423 9367552 266 33554432000 4194304 5064252 140736455605488 140736455604400 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20705/statm: 2287 266 226 213 0 72 0
[pid=20706] ppid=20705 vsize=641996 CPUtime=1130.19 cores=1,3,5,7
/proc/20706/stat : 20706 (glucose) R 20705 20597 18976 0 -1 4202496 72177 0 0 0 112971 48 0 0 20 0 1 0 280105423 657403904 145163 33554432000 4194304 5208918 140734577678080 140734577676232 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20706/statm: 160499 145163 105 248 0 160248 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 894184
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20724
/proc/meminfo: memFree=29418580/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=233892 CPUtime=471.43 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 49853 324935 0 0 781 224 45820 318 20 0 1 0 280058240 239505408 45353 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/20598/statm: 58473 45353 189 440 0 58029 0
[pid=20705] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280105423 9367552 266 33554432000 4194304 5064252 140736455605488 140736455604400 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20705/statm: 2287 266 226 213 0 72 0
[pid=20706] ppid=20705 vsize=431812 CPUtime=1190.18 cores=1,3,5,7
/proc/20706/stat : 20706 (glucose) R 20705 20597 18976 0 -1 4202496 72861 0 0 0 118968 50 0 0 20 0 1 0 280105423 442175488 101041 33554432000 4194304 5208918 140734577678080 140734577674456 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20706/statm: 107953 101041 105 248 0 107702 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 684000
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 20727
/proc/meminfo: memFree=29391080/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=233892 CPUtime=471.43 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 49853 324935 0 0 781 224 45820 318 20 0 1 0 280058240 239505408 45353 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/20598/statm: 58473 45353 189 440 0 58029 0
[pid=20705] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280105423 9367552 266 33554432000 4194304 5064252 140736455605488 140736455604400 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20705/statm: 2287 266 226 213 0 72 0
[pid=20706] ppid=20705 vsize=431812 CPUtime=1250.16 cores=1,3,5,7
/proc/20706/stat : 20706 (glucose) R 20705 20597 18976 0 -1 4202496 72865 0 0 0 124966 50 0 0 20 0 1 0 280105423 442175488 103089 33554432000 4194304 5208918 140734577678080 140734577674456 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20706/statm: 107953 103089 105 248 0 107702 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 684000
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20727
/proc/meminfo: memFree=29354400/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=233892 CPUtime=471.43 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 49853 324935 0 0 781 224 45820 318 20 0 1 0 280058240 239505408 45353 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/20598/statm: 58473 45353 189 440 0 58029 0
[pid=20705] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280105423 9367552 266 33554432000 4194304 5064252 140736455605488 140736455604400 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20705/statm: 2287 266 226 213 0 72 0
[pid=20706] ppid=20705 vsize=513200 CPUtime=1310.16 cores=1,3,5,7
/proc/20706/stat : 20706 (glucose) R 20705 20597 18976 0 -1 4202496 73114 0 0 0 130964 52 0 0 20 0 1 0 280105423 525516800 109979 33554432000 4194304 5208918 140734577678080 140734577676232 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20706/statm: 128300 109979 105 248 0 128049 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 765388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 20727
/proc/meminfo: memFree=29378452/32873844 swapFree=7108/7108
[pid=20597] ppid=20595 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20597/stat : 20597 (npSolver-pbo.sh) S 20595 20597 18976 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280058239 9367552 275 33554432000 4194304 5064252 140733260801728 140733260800640 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20597/statm: 2287 275 233 213 0 72 0
[pid=20598] ppid=20597 vsize=233892 CPUtime=471.43 cores=1,3,5,7
/proc/20598/stat : 20598 (npSolver-pbo) S 20597 20597 18976 0 -1 4202496 49853 324935 0 0 781 224 45820 318 20 0 1 0 280058240 239505408 45353 33554432000 4194304 5992684 140736054944592 140736054936912 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/20598/statm: 58473 45353 189 440 0 58029 0
[pid=20705] ppid=20598 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20705/stat : 20705 (satsolver.sh) S 20598 20597 18976 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280105423 9367552 266 33554432000 4194304 5064252 140736455605488 140736455604400 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20705/statm: 2287 266 226 213 0 72 0
[pid=20706] ppid=20705 vsize=513200 CPUtime=1328.66 cores=1,3,5,7
/proc/20706/stat : 20706 (glucose) R 20705 20597 18976 0 -1 4202496 73117 0 0 0 132814 52 0 0 20 0 1 0 280105423 525516800 110491 33554432000 4194304 5208918 140734577678080 140734577676232 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20706/statm: 128300 110491 105 248 0 128049 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 765388
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 20597 and gives
# childrusage.ru_utime.tv_sec=466
# childrusage.ru_utime.tv_usec=20154
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=441172
# CPU time returned by wait4() is 471.461
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.82
CPU time (s): 1800.09
CPU user time (s): 1794.15
CPU system time (s): 5.94
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 1024412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 466.02
system time used= 5.44117
maximum resident set size= 552836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375765
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1267888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6788
involuntary context switches= 582
runsolver used 3.54446 second user time and 9.50555 second system time
The end