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-3715729-1338209994/watcher-3715729-1338209994 -o /tmp/evaluation-result-3715729-1338209994/solver-3715729-1338209994 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715729-1338209994.wbo 603519800 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: 0.92 1.16 1.56 3/175 31907
/proc/meminfo: memFree=29835708/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[startup+0.066475 s]
/proc/loadavg: 0.92 1.16 1.56 3/175 31907
/proc/meminfo: memFree=29835708/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100253 s]
/proc/loadavg: 0.92 1.16 1.56 3/175 31907
/proc/meminfo: memFree=29835708/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300259 s]
/proc/loadavg: 0.92 1.16 1.56 3/175 31907
/proc/meminfo: memFree=29835708/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700225 s]
/proc/loadavg: 0.92 1.16 1.56 3/175 31907
/proc/meminfo: memFree=29835708/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 0.92 1.16 1.56 3/183 31915
/proc/meminfo: memFree=29687232/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=68316 CPUtime=1.49 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) R 31907 31907 27436 0 -1 4202496 6214 0 0 0 147 2 0 0 20 0 1 0 287124165 69955584 11831 33554432000 4194304 5990268 140735838496608 140735838492488 4523175 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31910/statm: 17079 11831 145 439 0 16636 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77464
[startup+3.10043 s]
/proc/loadavg: 0.92 1.16 1.56 3/185 31917
/proc/meminfo: memFree=29622080/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=68552 CPUtime=2.1 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 6946 0 0 0 203 7 0 0 20 0 1 0 287124165 70197248 12916 33554432000 4194304 5990268 140735838496608 140735838489760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31910/statm: 17138 12916 153 439 0 16695 0
[pid=31916] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31916/stat : 31916 (cp2_pre.sh) S 31910 31907 27436 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 287124376 9367552 277 33554432000 4194304 5064252 140733513904352 140733513903056 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31916/statm: 2287 277 234 213 0 72 0
[pid=31917] ppid=31916 vsize=309912 CPUtime=0.98 cores=0,2,4,6
/proc/31917/stat : 31917 (coprocessor) R 31916 31907 27436 0 -1 4202496 34995 0 0 0 90 8 0 0 20 0 1 0 287124376 317349888 68684 33554432000 4194304 6586260 140736215061344 140736215057608 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/31917/statm: 77478 68685 166 584 0 76890 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 396760
[startup+6.3004 s]
/proc/loadavg: 1.01 1.17 1.56 3/183 31972
/proc/meminfo: memFree=29350244/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=68552 CPUtime=2.1 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 6946 0 0 0 203 7 0 0 20 0 1 0 287124165 70197248 12916 33554432000 4194304 5990268 140735838496608 140735838489760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31910/statm: 17138 12916 153 439 0 16695 0
[pid=31916] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31916/stat : 31916 (cp2_pre.sh) S 31910 31907 27436 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 287124376 9367552 277 33554432000 4194304 5064252 140733513904352 140733513903056 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31916/statm: 2287 277 234 213 0 72 0
[pid=31917] ppid=31916 vsize=393004 CPUtime=4.17 cores=0,2,4,6
/proc/31917/stat : 31917 (coprocessor) R 31916 31907 27436 0 -1 4202496 49412 0 0 0 406 11 0 0 20 0 1 0 287124376 402436096 96387 33554432000 4194304 6586260 140736215061344 140736215056664 5599507 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/31917/statm: 98251 96387 192 584 0 97663 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 479852
[startup+12.7003 s]
/proc/loadavg: 1.17 1.20 1.57 3/186 31977
/proc/meminfo: memFree=29056920/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=68552 CPUtime=2.1 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 6946 0 0 0 203 7 0 0 20 0 1 0 287124165 70197248 12916 33554432000 4194304 5990268 140735838496608 140735838489760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31910/statm: 17138 12916 153 439 0 16695 0
[pid=31916] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31916/stat : 31916 (cp2_pre.sh) S 31910 31907 27436 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 287124376 9367552 277 33554432000 4194304 5064252 140733513904352 140733513903056 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31916/statm: 2287 277 234 213 0 72 0
[pid=31917] ppid=31916 vsize=465448 CPUtime=10.57 cores=0,2,4,6
/proc/31917/stat : 31917 (coprocessor) R 31916 31907 27436 0 -1 4202496 52125 0 0 0 966 91 0 0 20 0 1 0 287124376 476618752 111592 33554432000 4194304 6586260 140736215061344 140736215056968 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/31917/statm: 116362 111592 202 584 0 115774 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 552296
[startup+25.5005 s]
/proc/loadavg: 1.35 1.24 1.57 3/186 32051
/proc/meminfo: memFree=29345316/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=92804 CPUtime=16.59 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 9722 87501 0 0 231 93 1187 148 20 0 1 0 287124165 95031296 18627 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31910/statm: 23201 18627 176 439 0 22758 0
[pid=32008] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32008/stat : 32008 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287125840 9367552 267 33554432000 4194304 5064252 140737128192688 140737128191600 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32008/statm: 2287 267 226 213 0 72 0
[pid=32009] ppid=32008 vsize=178988 CPUtime=8.74 cores=0,2,4,6
/proc/32009/stat : 32009 (glucose) R 32008 31907 27436 0 -1 4202496 31524 0 0 0 867 7 0 0 20 0 1 0 287125840 183283712 37815 33554432000 4194304 5208918 140733323634224 140733323632072 4211599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32009/statm: 44747 37815 95 248 0 44496 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 290088
[startup+51.1004 s]
/proc/loadavg: 1.50 1.28 1.58 3/186 32390
/proc/meminfo: memFree=29409492/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=47.48 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 14898 175358 0 0 256 95 4192 205 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=32354] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32354/stat : 32354 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287128928 9367552 265 33554432000 4194304 5064252 140735914337104 140735914336016 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32354/statm: 2287 265 226 213 0 72 0
[pid=32355] ppid=32354 vsize=178848 CPUtime=3.46 cores=0,2,4,6
/proc/32355/stat : 32355 (glucose) R 32354 31907 27436 0 -1 4202496 29680 0 0 0 340 6 0 0 20 0 1 0 287128928 183140352 37867 33554432000 4194304 5208918 140734575337472 140734575335416 4211580 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32355/statm: 44712 37867 95 248 0 44461 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 296092
[startup+102.3 s]
/proc/loadavg: 1.64 1.36 1.58 3/186 742
/proc/meminfo: memFree=29421536/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=93.87 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 22659 303610 0 0 294 99 8702 292 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=624] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/624/stat : 624 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287133563 9367552 267 33554432000 4194304 5064252 140733214586368 140733214585280 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/624/statm: 2287 267 226 213 0 72 0
[pid=625] ppid=624 vsize=178984 CPUtime=8.31 cores=0,2,4,6
/proc/625/stat : 625 (glucose) R 624 31907 27436 0 -1 4202496 30049 0 0 0 825 6 0 0 20 0 1 0 287133563 183279616 37872 33554432000 4194304 5208918 140734341556016 140734341553864 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/625/statm: 44746 37872 95 248 0 44495 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 296228
[startup+162.3 s]
/proc/loadavg: 1.79 1.44 1.60 3/185 1689
/proc/meminfo: memFree=29406532/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=155.61 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 33007 485630 0 0 343 105 14707 406 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=1590] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1590/stat : 1590 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287139736 9367552 267 33554432000 4194304 5064252 140736073222464 140736073221376 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1590/statm: 2287 267 226 213 0 72 0
[pid=1592] ppid=1590 vsize=178988 CPUtime=6.58 cores=0,2,4,6
/proc/1592/stat : 1592 (glucose) R 1590 31907 27436 0 -1 4202496 30277 0 0 0 651 7 0 0 20 0 1 0 287139736 183283712 37569 33554432000 4194304 5208918 140734033687632 140734033685480 4211670 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1592/statm: 44747 37569 95 248 0 44496 0
Current children cumulated CPU time (s) 162.19
################
# More data... #
################
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 245141 4153485 0 0 1372 205 137397 2720 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=20982] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20982/stat : 20982 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287265918 9367552 267 33554432000 4194304 5064252 140737474382160 140737474381072 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20982/statm: 2287 267 226 213 0 72 0
[pid=20983] ppid=20982 vsize=178984 CPUtime=4.76 cores=0,2,4,6
/proc/20983/stat : 20983 (glucose) R 20982 31907 27436 0 -1 4202496 30794 0 0 0 471 5 0 0 20 0 1 0 287265918 183279616 37806 33554432000 4194304 5208918 140736983904352 140736983902200 4211668 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20983/statm: 44746 37806 95 248 0 44495 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 296228
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 1.89 3/185 21956
/proc/meminfo: memFree=29386892/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=1478.46 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 255489 4335993 0 0 1422 211 143375 2838 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=21918] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21918/stat : 21918 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287272086 9367552 267 33554432000 4194304 5064252 140734925750016 140734925748928 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21918/statm: 2287 267 226 213 0 72 0
[pid=21919] ppid=21918 vsize=178848 CPUtime=3.02 cores=0,2,4,6
/proc/21919/stat : 21919 (glucose) R 21918 31907 27436 0 -1 4202496 30302 0 0 0 296 6 0 0 20 0 1 0 287272086 183140352 37810 33554432000 4194304 5208918 140735615359248 140735615357192 4211670 0 0 4096 0 0 0 0 17 4 0 0 6 0 0
/proc/21919/statm: 44712 37810 95 248 0 44461 0
Current children cumulated CPU time (s) 1481.48
Current children cumulated vsize (KiB) 296092
[startup+1542.31 s]
/proc/loadavg: 1.90 1.99 1.89 3/185 22887
/proc/meminfo: memFree=29405476/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=1539.66 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 265837 4512605 0 0 1473 215 149330 2948 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=22858] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22858/stat : 22858 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287278213 9367552 267 33554432000 4194304 5064252 140734277397696 140734277396608 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22858/statm: 2287 267 226 213 0 72 0
[pid=22859] ppid=22858 vsize=178716 CPUtime=1.82 cores=0,2,4,6
/proc/22859/stat : 22859 (glucose) R 22858 31907 27436 0 -1 4202496 31384 0 0 0 177 5 0 0 20 0 1 0 287278213 183005184 37650 33554432000 4194304 5208918 140733961746768 140733961744712 4211537 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22859/statm: 44679 37650 95 248 0 44428 0
Current children cumulated CPU time (s) 1541.48
Current children cumulated vsize (KiB) 295960
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.90 3/186 23800
/proc/meminfo: memFree=29465028/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=1601.49 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 276185 4690428 0 0 1523 220 155345 3061 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 108096
[startup+1662.3 s]
/proc/loadavg: 1.89 1.97 1.89 3/185 24729
/proc/meminfo: memFree=29399500/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=1647.64 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 283946 4825327 0 0 1560 224 159837 3143 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=24525] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24525/stat : 24525 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287289009 9367552 267 33554432000 4194304 5064252 140733269740800 140733269739712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24525/statm: 2287 267 226 213 0 72 0
[pid=24526] ppid=24525 vsize=181380 CPUtime=13.84 cores=0,2,4,6
/proc/24526/stat : 24526 (glucose) R 24525 31907 27436 0 -1 4202496 31610 0 0 0 1378 6 0 0 20 0 1 0 287289009 185733120 38624 33554432000 4194304 5208918 140733433965184 140733433963128 4213121 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24526/statm: 45345 38624 103 248 0 45094 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 298624
[startup+1722.3 s]
/proc/loadavg: 1.96 1.97 1.90 3/186 25635
/proc/meminfo: memFree=29405288/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=1709.09 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 294294 5004696 0 0 1610 230 165812 3257 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=25463] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25463/stat : 25463 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287295153 9367552 267 33554432000 4194304 5064252 140737114879488 140737114878400 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25463/statm: 2287 267 226 213 0 72 0
[pid=25464] ppid=25463 vsize=178984 CPUtime=12.41 cores=0,2,4,6
/proc/25464/stat : 25464 (glucose) R 25463 31907 27436 0 -1 4202496 30598 0 0 0 1234 7 0 0 20 0 1 0 287295153 183279616 37915 33554432000 4194304 5208918 140736849616336 140736849614184 4211537 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25464/statm: 44746 37915 95 248 0 44495 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 296228
[startup+1782.3 s]
/proc/loadavg: 1.98 1.97 1.91 2/185 26559
/proc/meminfo: memFree=29398628/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=1770.75 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 304642 5182386 0 0 1660 235 171810 3370 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=26406] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26406/stat : 26406 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287301319 9367552 267 33554432000 4194304 5064252 140735264801824 140735264800736 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26406/statm: 2287 267 226 213 0 72 0
[pid=26407] ppid=26406 vsize=178980 CPUtime=10.74 cores=0,2,4,6
/proc/26407/stat : 26407 (glucose) R 26406 31907 27436 0 -1 4202496 30682 0 0 0 1067 7 0 0 20 0 1 0 287301319 183275520 37823 33554432000 4194304 5208918 140734439639088 140734439636936 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26407/statm: 44745 37823 95 248 0 44494 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 296224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.81 s]
/proc/loadavg: 1.99 1.97 1.91 3/184 26855
/proc/meminfo: memFree=29416116/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=1786.06 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 307229 5227089 0 0 1673 236 173298 3399 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=26639] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287302850 9367552 267 33554432000 4194304 5064252 140735116889888 140735116888800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26639/statm: 2287 267 226 213 0 72 0
[pid=26640] ppid=26639 vsize=181376 CPUtime=13.94 cores=0,2,4,6
/proc/26640/stat : 26640 (glucose) R 26639 31907 27436 0 -1 4202496 33256 0 0 0 1389 5 0 0 20 0 1 0 287302850 185729024 38964 33554432000 4194304 5208918 140736854466240 140736854464184 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 45344 38964 103 248 0 45093 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 298620
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.81 s]
/proc/loadavg: 1.99 1.97 1.91 3/184 26855
/proc/meminfo: memFree=29416116/32873844 swapFree=7372/7372
[pid=31907] ppid=31904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31907/stat : 31907 (npSolver-wbo-It) S 31904 31907 27436 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287124165 9367552 275 33554432000 4194304 5064252 140734373533328 140734373532240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31907/statm: 2287 275 233 213 0 72 0
[pid=31910] ppid=31907 vsize=98948 CPUtime=1786.06 cores=0,2,4,6
/proc/31910/stat : 31910 (npSolver-wbo) S 31907 31907 27436 0 -1 4202496 307229 5227089 0 0 1673 236 173298 3399 20 0 1 0 287124165 101322752 19757 33554432000 4194304 5990268 140735838496608 140735838488016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/31910/statm: 24737 19757 177 439 0 24294 0
[pid=26639] ppid=31910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (satsolver.sh) S 31910 31907 27436 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287302850 9367552 267 33554432000 4194304 5064252 140735116889888 140735116888800 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26639/statm: 2287 267 226 213 0 72 0
[pid=26640] ppid=26639 vsize=181376 CPUtime=13.94 cores=0,2,4,6
/proc/26640/stat : 26640 (glucose) R 26639 31907 27436 0 -1 4202496 33256 0 0 0 1389 5 0 0 20 0 1 0 287302850 185729024 38964 33554432000 4194304 5208918 140736854466240 140736854464184 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26640/statm: 45344 38964 103 248 0 45093 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 298620
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31907 and gives
# childrusage.ru_utime.tv_sec=1749
# childrusage.ru_utime.tv_usec=721001
# childrusage.ru_stime.tv_sec=36
# childrusage.ru_stime.tv_usec=362472
# CPU time returned by wait4() is 1786.08
# while last known CPU time is 1800
#
# 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
CPU user time (s): 1763.6
CPU system time (s): 36.4
CPU usage (%): 99.9544
Max. virtual memory (cumulated for all children) (KiB): 552300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.72
system time used= 36.3625
maximum resident set size= 450060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5535294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7005440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164689
involuntary context switches= 3103
runsolver used 3.67344 second user time and 8.69668 second system time
The end