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-3750880-1339220721/watcher-3750880-1339220721 -o /tmp/evaluation-result-3750880-1339220721/solver-3750880-1339220721 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750880-1339220721.opb 1485291102 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: 1.92 1.97 1.68 3/179 23060
/proc/meminfo: memFree=31865900/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[startup+0.0649919 s]
/proc/loadavg: 1.92 1.97 1.68 3/179 23060
/proc/meminfo: memFree=31865900/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100313 s]
/proc/loadavg: 1.92 1.97 1.68 3/179 23060
/proc/meminfo: memFree=31865900/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300307 s]
/proc/loadavg: 1.92 1.97 1.68 3/179 23060
/proc/meminfo: memFree=31865900/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700262 s]
/proc/loadavg: 1.92 1.97 1.68 3/179 23060
/proc/meminfo: memFree=31865900/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/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: 1.93 1.97 1.68 3/183 23077
/proc/meminfo: memFree=31835196/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=0.54 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3807 13506 0 0 7 8 32 7 20 0 1 0 388196553 5980160 900 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 900 173 442 0 1014 0
[pid=23073] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23073/stat : 23073 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 388196609 9367552 267 33554432000 4194304 5064252 140734404094464 140734404093376 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23073/statm: 2287 267 226 213 0 72 0
[pid=23074] ppid=23073 vsize=15140 CPUtime=0.92 cores=1,3,5,7
/proc/23074/stat : 23074 (glucose) R 23073 23060 22907 0 -1 4202496 2458 0 0 0 92 0 0 0 20 0 1 0 388196609 15503360 2832 33554432000 4194304 5208918 140736439820224 140736439818072 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23074/statm: 3785 2832 103 248 0 3534 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39276
[startup+3.10037 s]
/proc/loadavg: 1.93 1.97 1.68 3/183 23077
/proc/meminfo: memFree=31831404/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=0.54 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3807 13506 0 0 7 8 32 7 20 0 1 0 388196553 5980160 900 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 900 173 442 0 1014 0
[pid=23073] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23073/stat : 23073 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 388196609 9367552 267 33554432000 4194304 5064252 140734404094464 140734404093376 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23073/statm: 2287 267 226 213 0 72 0
[pid=23074] ppid=23073 vsize=13756 CPUtime=2.52 cores=1,3,5,7
/proc/23074/stat : 23074 (glucose) R 23073 23060 22907 0 -1 4202496 3109 0 0 0 252 0 0 0 20 0 1 0 388196609 14086144 2877 33554432000 4194304 5208918 140736439820224 140736439818184 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23074/statm: 3439 2877 105 248 0 3188 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 37892
[startup+6.30041 s]
/proc/loadavg: 1.93 1.97 1.68 3/183 23084
/proc/meminfo: memFree=31823292/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=0.54 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3807 13506 0 0 7 8 32 7 20 0 1 0 388196553 5980160 900 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 900 173 442 0 1014 0
[pid=23073] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23073/stat : 23073 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 388196609 9367552 267 33554432000 4194304 5064252 140734404094464 140734404093376 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23073/statm: 2287 267 226 213 0 72 0
[pid=23074] ppid=23073 vsize=18596 CPUtime=5.73 cores=1,3,5,7
/proc/23074/stat : 23074 (glucose) R 23073 23060 22907 0 -1 4202496 4590 0 0 0 572 1 0 0 20 0 1 0 388196609 19042304 4145 33554432000 4194304 5208918 140736439820224 140736439816536 4205263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23074/statm: 4649 4145 105 248 0 4398 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 42732
[startup+12.7004 s]
/proc/loadavg: 2.01 1.99 1.69 3/183 23084
/proc/meminfo: memFree=31810616/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=0.54 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3807 13506 0 0 7 8 32 7 20 0 1 0 388196553 5980160 900 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 900 173 442 0 1014 0
[pid=23073] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23073/stat : 23073 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 388196609 9367552 267 33554432000 4194304 5064252 140734404094464 140734404093376 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23073/statm: 2287 267 226 213 0 72 0
[pid=23074] ppid=23073 vsize=23996 CPUtime=12.12 cores=1,3,5,7
/proc/23074/stat : 23074 (glucose) R 23073 23060 22907 0 -1 4202496 6246 0 0 0 1211 1 0 0 20 0 1 0 388196609 24571904 5604 33554432000 4194304 5208918 140736439820224 140736439816536 4228965 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23074/statm: 5999 5604 105 248 0 5748 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 48132
[startup+25.5005 s]
/proc/loadavg: 2.01 1.99 1.69 3/183 23084
/proc/meminfo: memFree=31799184/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=0.54 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3807 13506 0 0 7 8 32 7 20 0 1 0 388196553 5980160 900 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 900 173 442 0 1014 0
[pid=23073] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23073/stat : 23073 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 388196609 9367552 267 33554432000 4194304 5064252 140734404094464 140734404093376 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23073/statm: 2287 267 226 213 0 72 0
[pid=23074] ppid=23073 vsize=25668 CPUtime=24.92 cores=1,3,5,7
/proc/23074/stat : 23074 (glucose) R 23073 23060 22907 0 -1 4202496 6690 0 0 0 2491 1 0 0 20 0 1 0 388196609 26284032 6031 33554432000 4194304 5208918 140736439820224 140736439815992 4212690 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23074/statm: 6417 6031 105 248 0 6166 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 49804
[startup+51.1005 s]
/proc/loadavg: 2.00 1.99 1.70 3/183 23084
/proc/meminfo: memFree=31781496/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=0.54 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3807 13506 0 0 7 8 32 7 20 0 1 0 388196553 5980160 900 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 900 173 442 0 1014 0
[pid=23073] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23073/stat : 23073 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 388196609 9367552 267 33554432000 4194304 5064252 140734404094464 140734404093376 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23073/statm: 2287 267 226 213 0 72 0
[pid=23074] ppid=23073 vsize=40040 CPUtime=50.52 cores=1,3,5,7
/proc/23074/stat : 23074 (glucose) R 23073 23060 22907 0 -1 4202496 8302 0 0 0 5050 2 0 0 20 0 1 0 388196609 41000960 8723 33554432000 4194304 5208918 140736439820224 140736439816600 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23074/statm: 10010 8723 105 248 0 9759 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 64176
[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.71 3/183 23084
/proc/meminfo: memFree=31746928/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=0.54 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3807 13506 0 0 7 8 32 7 20 0 1 0 388196553 5980160 900 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 900 173 442 0 1014 0
[pid=23073] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23073/stat : 23073 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 388196609 9367552 267 33554432000 4194304 5064252 140734404094464 140734404093376 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23073/statm: 2287 267 226 213 0 72 0
[pid=23074] ppid=23073 vsize=47224 CPUtime=101.71 cores=1,3,5,7
/proc/23074/stat : 23074 (glucose) R 23073 23060 22907 0 -1 4202496 10582 0 0 0 10168 3 0 0 20 0 1 0 388196609 48357376 11420 33554432000 4194304 5208918 140736439820224 140736439816600 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23074/statm: 11806 11420 105 248 0 11555 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 71360
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/183 23085
/proc/meminfo: memFree=31715588/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=0.54 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3807 13506 0 0 7 8 32 7 20 0 1 0 388196553 5980160 900 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 900 173 442 0 1014 0
[pid=23073] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/183 23132
/proc/meminfo: memFree=31731820/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=412.12 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3918 29496 0 0 7 8 41184 13 20 0 1 0 388196553 5980160 901 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 901 174 442 0 1014 0
[pid=23094] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23094/stat : 23094 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388237775 9367552 265 33554432000 4194304 5064252 140737432654752 140737432653664 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23094/statm: 2287 265 226 213 0 72 0
[pid=23095] ppid=23094 vsize=103052 CPUtime=949.92 cores=1,3,5,7
/proc/23095/stat : 23095 (glucose) R 23094 23060 22907 0 -1 4202496 13610 0 0 0 94983 9 0 0 20 0 1 0 388237775 105525248 25379 33554432000 4194304 5208918 140735429557392 140735429553768 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23095/statm: 25763 25379 104 248 0 25512 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 127188
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.91 3/183 23132
/proc/meminfo: memFree=31710660/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=412.12 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3918 29496 0 0 7 8 41184 13 20 0 1 0 388196553 5980160 901 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 901 174 442 0 1014 0
[pid=23094] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23094/stat : 23094 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388237775 9367552 265 33554432000 4194304 5064252 140737432654752 140737432653664 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23094/statm: 2287 265 226 213 0 72 0
[pid=23095] ppid=23094 vsize=103052 CPUtime=1009.92 cores=1,3,5,7
/proc/23095/stat : 23095 (glucose) R 23094 23060 22907 0 -1 4202496 14312 0 0 0 100982 10 0 0 20 0 1 0 388237775 105525248 25379 33554432000 4194304 5208918 140735429557392 140735429553768 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23095/statm: 25763 25379 104 248 0 25512 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 127188
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/184 23135
/proc/meminfo: memFree=31652988/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=412.12 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3918 29496 0 0 7 8 41184 13 20 0 1 0 388196553 5980160 901 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 901 174 442 0 1014 0
[pid=23094] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23094/stat : 23094 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388237775 9367552 265 33554432000 4194304 5064252 140737432654752 140737432653664 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23094/statm: 2287 265 226 213 0 72 0
[pid=23095] ppid=23094 vsize=152372 CPUtime=1069.91 cores=1,3,5,7
/proc/23095/stat : 23095 (glucose) R 23094 23060 22907 0 -1 4202496 15014 0 0 0 106979 12 0 0 20 0 1 0 388237775 156028928 33905 33554432000 4194304 5208918 140735429557392 140735429555384 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23095/statm: 38093 33905 104 248 0 37842 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 176508
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23135
/proc/meminfo: memFree=31671612/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=412.12 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3918 29496 0 0 7 8 41184 13 20 0 1 0 388196553 5980160 901 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 901 174 442 0 1014 0
[pid=23094] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23094/stat : 23094 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388237775 9367552 265 33554432000 4194304 5064252 140737432654752 140737432653664 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23094/statm: 2287 265 226 213 0 72 0
[pid=23095] ppid=23094 vsize=103052 CPUtime=1129.89 cores=1,3,5,7
/proc/23095/stat : 23095 (glucose) R 23094 23060 22907 0 -1 4202496 15369 0 0 0 112977 12 0 0 20 0 1 0 388237775 105525248 25379 33554432000 4194304 5208918 140735429557392 140735429555480 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23095/statm: 25763 25379 104 248 0 25512 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 127188
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23135
/proc/meminfo: memFree=31661312/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=412.12 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3918 29496 0 0 7 8 41184 13 20 0 1 0 388196553 5980160 901 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 901 174 442 0 1014 0
[pid=23094] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23094/stat : 23094 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388237775 9367552 265 33554432000 4194304 5064252 140737432654752 140737432653664 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23094/statm: 2287 265 226 213 0 72 0
[pid=23095] ppid=23094 vsize=103052 CPUtime=1189.89 cores=1,3,5,7
/proc/23095/stat : 23095 (glucose) R 23094 23060 22907 0 -1 4202496 15723 0 0 0 118976 13 0 0 20 0 1 0 388237775 105525248 25379 33554432000 4194304 5208918 140735429557392 140735429553768 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23095/statm: 25763 25379 104 248 0 25512 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 127188
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23136
/proc/meminfo: memFree=31621036/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=412.12 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3918 29496 0 0 7 8 41184 13 20 0 1 0 388196553 5980160 901 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 901 174 442 0 1014 0
[pid=23094] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23094/stat : 23094 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388237775 9367552 265 33554432000 4194304 5064252 140737432654752 140737432653664 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23094/statm: 2287 265 226 213 0 72 0
[pid=23095] ppid=23094 vsize=152372 CPUtime=1249.88 cores=1,3,5,7
/proc/23095/stat : 23095 (glucose) R 23094 23060 22907 0 -1 4202496 16425 0 0 0 124974 14 0 0 20 0 1 0 388237775 156028928 33393 33554432000 4194304 5208918 140735429557392 140735429553160 4229469 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23095/statm: 38093 33393 104 248 0 37842 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 176508
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23136
/proc/meminfo: memFree=31612344/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=412.12 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3918 29496 0 0 7 8 41184 13 20 0 1 0 388196553 5980160 901 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 901 174 442 0 1014 0
[pid=23094] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23094/stat : 23094 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388237775 9367552 265 33554432000 4194304 5064252 140737432654752 140737432653664 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23094/statm: 2287 265 226 213 0 72 0
[pid=23095] ppid=23094 vsize=152372 CPUtime=1309.87 cores=1,3,5,7
/proc/23095/stat : 23095 (glucose) R 23094 23060 22907 0 -1 4202496 16781 0 0 0 130972 15 0 0 20 0 1 0 388237775 156028928 34929 33554432000 4194304 5208918 140735429557392 140735429553080 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23095/statm: 38093 34929 104 248 0 37842 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 176508
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23136
/proc/meminfo: memFree=31566668/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=412.12 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3918 29496 0 0 7 8 41184 13 20 0 1 0 388196553 5980160 901 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 901 174 442 0 1014 0
[pid=23094] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23094/stat : 23094 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388237775 9367552 265 33554432000 4194304 5064252 140737432654752 140737432653664 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23094/statm: 2287 265 226 213 0 72 0
[pid=23095] ppid=23094 vsize=152372 CPUtime=1369.86 cores=1,3,5,7
/proc/23095/stat : 23095 (glucose) R 23094 23060 22907 0 -1 4202496 17137 0 0 0 136970 16 0 0 20 0 1 0 388237775 156028928 35953 33554432000 4194304 5208918 140735429557392 140735429553704 4205203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23095/statm: 38093 35953 104 248 0 37842 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 176508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 2/175 23161
/proc/meminfo: memFree=31779960/32873844 swapFree=6904/6904
[pid=23060] ppid=23058 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23060/stat : 23060 (npSolver-pbo.sh) S 23058 23060 22907 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 388196553 9367552 275 33554432000 4194304 5064252 140734090679712 140734090678624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23060/statm: 2287 275 233 213 0 72 0
[pid=23061] ppid=23060 vsize=5840 CPUtime=412.12 cores=1,3,5,7
/proc/23061/stat : 23061 (npSolver-pbo) S 23060 23060 22907 0 -1 4202496 3918 29496 0 0 7 8 41184 13 20 0 1 0 388196553 5980160 901 33554432000 4194304 6004724 140734330252880 140734330245232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23061/statm: 1460 901 174 442 0 1014 0
[pid=23094] ppid=23061 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23094/stat : 23094 (satsolver.sh) S 23061 23060 22907 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 388237775 9367552 265 33554432000 4194304 5064252 140737432654752 140737432653664 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23094/statm: 2287 265 226 213 0 72 0
[pid=23095] ppid=23094 vsize=103052 CPUtime=1387.96 cores=1,3,5,7
/proc/23095/stat : 23095 (glucose) R 23094 23060 22907 0 -1 4202496 17137 0 0 0 138780 16 0 0 20 0 1 0 388237775 105525248 25379 33554432000 4194304 5208918 140735429557392 140735429553768 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23095/statm: 25763 25379 104 248 0 25512 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 127188
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.13
CPU user time (s): 1799.74
CPU system time (s): 0.38994
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 176508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.38994
maximum resident set size= 143812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150
involuntary context switches= 1945
runsolver used 6.24005 second user time and 12.914 second system time
The end