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-3753133-1339210016/watcher-3753133-1339210016 -o /tmp/evaluation-result-3753133-1339210016/solver-3753133-1339210016 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753133-1339210016.wbo 711638616 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: 1.01 1.00 1.28 2/179 16058
/proc/meminfo: memFree=31217056/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[startup+0.08475 s]
/proc/loadavg: 1.01 1.00 1.28 2/179 16058
/proc/meminfo: memFree=31217056/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100237 s]
/proc/loadavg: 1.01 1.00 1.28 2/179 16058
/proc/meminfo: memFree=31217056/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300275 s]
/proc/loadavg: 1.01 1.00 1.28 2/179 16058
/proc/meminfo: memFree=31217056/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700288 s]
/proc/loadavg: 1.01 1.00 1.28 2/179 16058
/proc/meminfo: memFree=31217056/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50046 s]
/proc/loadavg: 1.01 1.00 1.28 3/183 16072
/proc/meminfo: memFree=31152480/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=0.13 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 3323 5433 0 0 9 2 1 1 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16071] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16071/stat : 16071 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387128621 9367552 267 33554432000 4194304 5064252 140734971791440 140734971790352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16071/statm: 2287 267 226 213 0 72 0
[pid=16072] ppid=16071 vsize=48828 CPUtime=1.33 cores=0,2,4,6
/proc/16072/stat : 16072 (glucose) R 16071 16058 14023 0 -1 4202496 10606 0 0 0 132 1 0 0 20 0 1 0 387128621 49999872 10706 33554432000 4194304 5208918 140734480135632 140734480133480 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16072/statm: 12207 10706 95 248 0 11956 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 86992
[startup+3.10041 s]
/proc/loadavg: 1.01 1.00 1.28 3/183 16079
/proc/meminfo: memFree=31150996/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=0.13 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 3323 5433 0 0 9 2 1 1 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16071] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16071/stat : 16071 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387128621 9367552 267 33554432000 4194304 5064252 140734971791440 140734971790352 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16071/statm: 2287 267 226 213 0 72 0
[pid=16072] ppid=16071 vsize=51608 CPUtime=2.93 cores=0,2,4,6
/proc/16072/stat : 16072 (glucose) R 16071 16058 14023 0 -1 4202496 11377 0 0 0 292 1 0 0 20 0 1 0 387128621 52846592 11476 33554432000 4194304 5208918 140734480135632 140734480133304 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16072/statm: 12902 11476 103 248 0 12651 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 89772
[startup+6.30041 s]
/proc/loadavg: 1.17 1.03 1.29 3/183 16093
/proc/meminfo: memFree=31149164/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=3.62 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 5199 21849 0 0 18 3 328 13 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16090] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16090/stat : 16090 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387128970 9367552 267 33554432000 4194304 5064252 140736004080400 140736004079312 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16090/statm: 2287 267 226 213 0 72 0
[pid=16091] ppid=16090 vsize=51080 CPUtime=2.65 cores=0,2,4,6
/proc/16091/stat : 16091 (glucose) R 16090 16058 14023 0 -1 4202496 11257 0 0 0 263 2 0 0 20 0 1 0 387128970 52305920 11355 33554432000 4194304 5208918 140736136963264 140736136960936 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16091/statm: 12770 11355 103 248 0 12519 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 89244
[startup+12.7004 s]
/proc/loadavg: 1.23 1.05 1.29 3/183 16135
/proc/meminfo: memFree=31182664/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=10.71 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 8951 54116 0 0 35 5 986 45 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16127] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16127/stat : 16127 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387129678 9367552 267 33554432000 4194304 5064252 140734510102336 140734510101248 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16127/statm: 2287 267 226 213 0 72 0
[pid=16128] ppid=16127 vsize=48952 CPUtime=1.95 cores=0,2,4,6
/proc/16128/stat : 16128 (glucose) R 16127 16058 14023 0 -1 4202496 10655 0 0 0 193 2 0 0 20 0 1 0 387129679 50126848 10754 33554432000 4194304 5208918 140736808567664 140736808565512 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16128/statm: 12238 10754 95 248 0 11987 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 87116
[startup+25.5005 s]
/proc/loadavg: 1.40 1.09 1.30 3/183 16205
/proc/meminfo: memFree=31151228/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=24.7 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 16455 117643 0 0 70 9 2281 110 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16204] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16204/stat : 16204 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387131077 9367552 267 33554432000 4194304 5064252 140733245362192 140733245361104 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16204/statm: 2287 267 226 213 0 72 0
[pid=16205] ppid=16204 vsize=48696 CPUtime=0.77 cores=0,2,4,6
/proc/16205/stat : 16205 (glucose) R 16204 16058 14023 0 -1 4202496 10255 0 0 0 76 1 0 0 20 0 1 0 387131077 49864704 10944 33554432000 4194304 5208918 140737283716288 140733245361128 4212508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16205/statm: 12174 10944 95 248 0 11923 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 86860
[startup+51.1004 s]
/proc/loadavg: 1.60 1.17 1.32 3/183 16339
/proc/meminfo: memFree=31151792/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=49.06 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 29587 229261 0 0 130 15 4550 211 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16334] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16334/stat : 16334 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387133514 9367552 267 33554432000 4194304 5064252 140737240710736 140737240709648 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16334/statm: 2287 267 226 213 0 72 0
[pid=16335] ppid=16334 vsize=48956 CPUtime=2 cores=0,2,4,6
/proc/16335/stat : 16335 (glucose) R 16334 16058 14023 0 -1 4202496 10661 0 0 0 198 2 0 0 20 0 1 0 387133514 50130944 10761 33554432000 4194304 5208918 140734306640000 140734306637848 4211488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16335/statm: 12239 10761 95 248 0 11988 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 87120
[startup+102.307 s]
/proc/loadavg: 1.94 1.32 1.36 3/183 16619
/proc/meminfo: memFree=31151600/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=100.65 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 57727 467104 0 0 261 30 9350 424 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16614] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16614/stat : 16614 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387138679 9367552 267 33554432000 4194304 5064252 140734859023408 140734859022320 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16614/statm: 2287 267 226 213 0 72 0
[pid=16615] ppid=16614 vsize=48824 CPUtime=1.56 cores=0,2,4,6
/proc/16615/stat : 16615 (glucose) R 16614 16058 14023 0 -1 4202496 10630 0 0 0 155 1 0 0 20 0 1 0 387138679 49995776 10729 33554432000 4194304 5208918 140734241308592 140734241306440 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16615/statm: 12206 10729 95 248 0 11955 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 86988
[startup+162.3 s]
/proc/loadavg: 1.97 1.44 1.40 3/183 16941
/proc/meminfo: memFree=31150572/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=159.57 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 89619 737578 0 0 409 47 14832 669 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=16933] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/23726/statm: 12205 10751 95 248 0 11954 0
Current children cumulated CPU time (s) 1419.34
Current children cumulated vsize (KiB) 86984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/183 24055
/proc/meminfo: memFree=31145336/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1476.34 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 793119 6695084 0 0 3438 406 137670 6120 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 31 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=24045] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24045/stat : 24045 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387276536 9367552 266 33554432000 4194304 5064252 140736092582800 140736092581712 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24045/statm: 2287 266 226 213 0 72 0
[pid=24046] ppid=24045 vsize=51872 CPUtime=2.98 cores=0,2,4,6
/proc/24046/stat : 24046 (glucose) R 24045 16058 14023 0 -1 4202496 11031 0 0 0 296 2 0 0 20 0 1 0 387276536 53116928 11719 33554432000 4194304 5208918 140734423553696 140734423551368 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24046/statm: 12968 11719 103 248 0 12717 0
Current children cumulated CPU time (s) 1479.32
Current children cumulated vsize (KiB) 90036
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.84 3/183 24377
/proc/meminfo: memFree=31145320/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1536.4 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 825011 6962967 0 0 3573 422 143277 6368 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 31 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=24369] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24369/stat : 24369 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387282549 9367552 267 33554432000 4194304 5064252 140733331734752 140733331733664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24369/statm: 2287 267 226 213 0 72 0
[pid=24370] ppid=24369 vsize=51468 CPUtime=2.85 cores=0,2,4,6
/proc/24370/stat : 24370 (glucose) R 24369 16058 14023 0 -1 4202496 11351 0 0 0 283 2 0 0 20 0 1 0 387282549 52703232 11454 33554432000 4194304 5208918 140733695304032 140733695301880 4229021 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24370/statm: 12867 11454 103 248 0 12616 0
Current children cumulated CPU time (s) 1539.25
Current children cumulated vsize (KiB) 89632
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.85 3/183 24700
/proc/meminfo: memFree=31145532/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1596.22 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 856903 7231813 0 0 3715 440 148855 6612 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=24692] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24692/stat : 24692 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387288555 9367552 266 33554432000 4194304 5064252 140736455480032 140736455478944 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24692/statm: 2287 266 226 213 0 72 0
[pid=24693] ppid=24692 vsize=51604 CPUtime=2.78 cores=0,2,4,6
/proc/24693/stat : 24693 (glucose) R 24692 16058 14023 0 -1 4202496 11137 0 0 0 277 1 0 0 20 0 1 0 387288556 52842496 11808 33554432000 4194304 5208918 140736645039120 140736645036968 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24693/statm: 12901 11808 103 248 0 12650 0
Current children cumulated CPU time (s) 1599
Current children cumulated vsize (KiB) 89768
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 25029
/proc/meminfo: memFree=31147668/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1658.47 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 890671 7514930 0 0 3871 458 154652 6866 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=25028] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25028/stat : 25028 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387294786 9367552 267 33554432000 4194304 5064252 140737255665424 140737255664336 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25028/statm: 2287 267 226 213 0 72 0
[pid=25029] ppid=25028 vsize=48696 CPUtime=0.48 cores=0,2,4,6
/proc/25029/stat : 25029 (glucose) R 25028 16058 14023 0 -1 4202496 9931 0 0 0 46 2 0 0 20 0 1 0 387294786 49864704 10617 33554432000 4194304 5208918 140735846614240 140737255664360 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25029/statm: 12174 10617 95 248 0 11923 0
Current children cumulated CPU time (s) 1658.95
Current children cumulated vsize (KiB) 86860
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 1.87 3/181 25349
/proc/meminfo: memFree=31192984/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1717.08 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 922563 7784155 0 0 4019 475 160106 7108 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=25343] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25343/stat : 25343 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387300651 9367552 267 33554432000 4194304 5064252 140734018625696 140734018624608 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25343/statm: 2287 267 226 213 0 72 0
[pid=25344] ppid=25343 vsize=48820 CPUtime=1.83 cores=0,2,4,6
/proc/25344/stat : 25344 (glucose) R 25343 16058 14023 0 -1 4202496 10216 0 0 0 182 1 0 0 20 0 1 0 387300651 49991680 10905 33554432000 4194304 5208918 140733693411728 140733693409576 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25344/statm: 12205 10905 95 248 0 11954 0
Current children cumulated CPU time (s) 1718.91
Current children cumulated vsize (KiB) 86984
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.87 3/183 25673
/proc/meminfo: memFree=31144044/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1776.08 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 954455 8054006 0 0 4166 492 165593 7357 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209910160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=25661] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25661/stat : 25661 (satsolver.sh) S 16059 16058 14023 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387306553 9367552 267 33554432000 4194304 5064252 140735206708448 140735206707360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25661/statm: 2287 267 226 213 0 72 0
[pid=25662] ppid=25661 vsize=51600 CPUtime=2.81 cores=0,2,4,6
/proc/25662/stat : 25662 (glucose) R 25661 16058 14023 0 -1 4202496 11301 0 0 0 279 2 0 0 20 0 1 0 387306554 52838400 11461 33554432000 4194304 5208918 140734675669248 140734675667096 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25662/statm: 12900 11461 103 248 0 12649 0
Current children cumulated CPU time (s) 1778.89
Current children cumulated vsize (KiB) 89764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.5 s]
/proc/loadavg: 2.10 2.03 1.88 3/183 25826
/proc/meminfo: memFree=31210560/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1800.02 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 965720 8160706 0 0 4219 497 167837 7449 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209909648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=25824] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25824/stat : 25824 (cp2_post.sh) S 16059 16058 14023 0 -1 4202496 612 226 0 0 0 0 0 0 20 0 1 0 387308950 9367552 266 33554432000 4194304 5064252 140734483080896 140734483079184 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25824/statm: 2287 266 225 213 0 72 0
[pid=25826] ppid=25824 vsize=10132 CPUtime=0.04 cores=0,2,4,6
/proc/25826/stat : 25826 (coprocessor) R 25824 16058 14023 0 -1 4202496 2513 0 0 0 4 0 0 0 20 0 1 0 387308950 10375168 1681 33554432000 4194304 6586260 140735172109840 140735172107048 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/25826/statm: 2533 1681 148 584 0 1945 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 48296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1803.5 s]
/proc/loadavg: 2.10 2.03 1.88 3/183 25826
/proc/meminfo: memFree=31210560/32873844 swapFree=7116/7116
[pid=16058] ppid=16056 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16058/stat : 16058 (npSolver-wbo-It) S 16056 16058 14023 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387128605 9367552 275 33554432000 4194304 5064252 140734161038752 140734161037664 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16058/statm: 2287 275 233 213 0 72 0
[pid=16059] ppid=16058 vsize=19868 CPUtime=1800.02 cores=0,2,4,6
/proc/16059/stat : 16059 (npSolver-wbo) S 16058 16058 14023 0 -1 4202496 965720 8160706 0 0 4219 497 167837 7449 20 0 1 0 387128606 20344832 4192 33554432000 4194304 6006132 140737209918800 140737209909648 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 39 0 0
/proc/16059/statm: 4967 4192 176 443 0 4520 0
[pid=25824] ppid=16059 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25824/stat : 25824 (cp2_post.sh) S 16059 16058 14023 0 -1 4202496 612 226 0 0 0 0 0 0 20 0 1 0 387308950 9367552 266 33554432000 4194304 5064252 140734483080896 140734483079184 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25824/statm: 2287 266 225 213 0 72 0
[pid=25826] ppid=25824 vsize=10132 CPUtime=0.04 cores=0,2,4,6
/proc/25826/stat : 25826 (coprocessor) R 25824 16058 14023 0 -1 4202496 2513 0 0 0 4 0 0 0 20 0 1 0 387308950 10375168 1681 33554432000 4194304 6586260 140735172109840 140735172107048 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/25826/statm: 2533 1681 148 584 0 1945 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 48296
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16058 and gives
# childrusage.ru_utime.tv_sec=1720
# childrusage.ru_utime.tv_usec=580432
# childrusage.ru_stime.tv_sec=79
# childrusage.ru_stime.tv_usec=469918
# CPU time returned by wait4() is 1800.05
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1803.52
CPU time (s): 1800.06
CPU user time (s): 1720.6
CPU system time (s): 79.46
CPU usage (%): 99.8083
Max. virtual memory (cumulated for all children) (KiB): 90308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1720.58
system time used= 79.4699
maximum resident set size= 47796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9128442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7002952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135626
involuntary context switches= 9633
runsolver used 3.37049 second user time and 11.3533 second system time
The end