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-3753644-1339189109/watcher-3753644-1339189109 -o /tmp/evaluation-result-3753644-1339189109/solver-3753644-1339189109 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753644-1339189109.wbo 1499626169 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8604
/proc/meminfo: memFree=29102208/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[startup+0.081923 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8604
/proc/meminfo: memFree=29102208/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100316 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8604
/proc/meminfo: memFree=29102208/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8604
/proc/meminfo: memFree=29102208/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8604
/proc/meminfo: memFree=29102208/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8611
/proc/meminfo: memFree=29091180/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=3092 CPUtime=0.2 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 1444 2699 0 0 2 0 18 0 20 0 1 0 385039418 3166208 377 33554432000 4194304 6006132 140733690817936 140733690812128 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 773 377 158 443 0 326 0
[pid=8610] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8610/stat : 8610 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385039440 9367552 266 33554432000 4194304 5064252 140734489902688 140734489901600 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8610/statm: 2287 266 226 213 0 72 0
[pid=8611] ppid=8610 vsize=9388 CPUtime=1.27 cores=1,3,5,7
/proc/8611/stat : 8611 (glucose) R 8610 8604 6657 0 -1 4202496 2251 0 0 0 127 0 0 0 20 0 1 0 385039441 9613312 1385 33554432000 4194304 5208918 140733446936624 140733446934776 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8611/statm: 2347 1385 96 248 0 2096 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30776
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8611
/proc/meminfo: memFree=29083116/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=3092 CPUtime=0.2 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 1444 2699 0 0 2 0 18 0 20 0 1 0 385039418 3166208 377 33554432000 4194304 6006132 140733690817936 140733690812128 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 773 377 158 443 0 326 0
[pid=8610] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8610/stat : 8610 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385039440 9367552 266 33554432000 4194304 5064252 140734489902688 140734489901600 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8610/statm: 2287 266 226 213 0 72 0
[pid=8611] ppid=8610 vsize=11156 CPUtime=2.86 cores=1,3,5,7
/proc/8611/stat : 8611 (glucose) R 8610 8604 6657 0 -1 4202496 3269 0 0 0 286 0 0 0 20 0 1 0 385039441 11423744 2357 33554432000 4194304 5208918 140733446936624 140733446934568 4213139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8611/statm: 2789 2357 96 248 0 2538 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32544
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8611
/proc/meminfo: memFree=29063696/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=3092 CPUtime=0.2 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 1444 2699 0 0 2 0 18 0 20 0 1 0 385039418 3166208 377 33554432000 4194304 6006132 140733690817936 140733690812128 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 773 377 158 443 0 326 0
[pid=8610] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8610/stat : 8610 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385039440 9367552 266 33554432000 4194304 5064252 140734489902688 140734489901600 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8610/statm: 2287 266 226 213 0 72 0
[pid=8611] ppid=8610 vsize=20932 CPUtime=6.06 cores=1,3,5,7
/proc/8611/stat : 8611 (glucose) R 8610 8604 6657 0 -1 4202496 4272 0 0 0 606 0 0 0 20 0 1 0 385039441 21434368 4128 33554432000 4194304 5208918 140733446936624 140733446934712 4229504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8611/statm: 5233 4128 96 248 0 4982 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 42320
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8663
/proc/meminfo: memFree=29221576/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=7.71 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 2137 9863 0 0 5 3 762 1 20 0 1 0 385039418 11493376 2434 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8605/statm: 2806 2434 167 443 0 2359 0
[pid=8617] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8617/stat : 8617 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385040192 9367552 267 33554432000 4194304 5064252 140733453457488 140733453456400 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8617/statm: 2287 267 226 213 0 72 0
[pid=8618] ppid=8617 vsize=37116 CPUtime=4.95 cores=1,3,5,7
/proc/8618/stat : 8618 (glucose) R 8617 8604 6657 0 -1 4202496 8428 0 0 0 494 1 0 0 20 0 1 0 385040192 38006784 8677 33554432000 4194304 5208918 140735147084400 140735147082264 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8618/statm: 9279 8677 96 248 0 9028 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 66636
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8684
/proc/meminfo: memFree=29139668/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=21.9 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 3489 33341 0 0 11 3 2158 18 20 0 1 0 385039418 11493376 2434 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8605/statm: 2806 2434 167 443 0 2359 0
[pid=8683] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8683/stat : 8683 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385041611 9367552 266 33554432000 4194304 5064252 140735195679584 140735195678496 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8683/statm: 2287 266 226 213 0 72 0
[pid=8684] ppid=8683 vsize=36260 CPUtime=3.56 cores=1,3,5,7
/proc/8684/stat : 8684 (glucose) R 8683 8604 6657 0 -1 4202496 7284 0 0 0 354 2 0 0 20 0 1 0 385041611 37130240 8092 33554432000 4194304 5208918 140733411597232 140733411595176 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8684/statm: 9065 8092 96 248 0 8814 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 65780
[startup+51.1004 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 8776
/proc/meminfo: memFree=29189724/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=50.18 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 6204 77432 0 0 23 5 4943 47 20 0 1 0 385039418 11493376 2434 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8605/statm: 2806 2434 167 443 0 2359 0
[pid=8775] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8775/stat : 8775 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385044439 9367552 266 33554432000 4194304 5064252 140736895815312 140736895814224 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8775/statm: 2287 266 226 213 0 72 0
[pid=8776] ppid=8775 vsize=23408 CPUtime=0.88 cores=1,3,5,7
/proc/8776/stat : 8776 (glucose) R 8775 8604 6657 0 -1 4202496 5119 0 0 0 87 1 0 0 20 0 1 0 385044439 23969792 4654 33554432000 4194304 5208918 140736325442400 140736325440248 4213089 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8776/statm: 5852 4654 96 248 0 5601 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 52928
[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 8836
/proc/meminfo: memFree=29168200/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=99.7 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 10966 153031 0 0 41 7 9831 91 20 0 1 0 385039418 11493376 2434 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8605/statm: 2806 2434 167 443 0 2359 0
[pid=8835] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8835/stat : 8835 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385049393 9367552 267 33554432000 4194304 5064252 140734259913920 140734259912832 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8835/statm: 2287 267 226 213 0 72 0
[pid=8836] ppid=8835 vsize=23412 CPUtime=2.54 cores=1,3,5,7
/proc/8836/stat : 8836 (glucose) R 8835 8604 6657 0 -1 4202496 6115 0 0 0 253 1 0 0 20 0 1 0 385049393 23973888 4966 33554432000 4194304 5208918 140736873324816 140736873322760 4212457 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8836/statm: 5853 4966 96 248 0 5602 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 52932
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 8936
/proc/meminfo: memFree=29191292/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=156.71 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 16354 240585 0 0 60 10 15461 140 20 0 1 0 385039418 11493376 2434 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8605/statm: 2806 2434 167 443 0 2359 0
[pid=8928] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=1181.82 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 88900 1447801 0 0 210 32 117300 640 20 0 1 0 385039418 11493376 2435 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 2806 2435 168 443 0 2359 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 20372
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 10210
/proc/meminfo: memFree=29209812/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=1236.03 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 89436 1485742 0 0 211 32 122710 650 20 0 1 0 385039418 11493376 2435 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 2806 2435 168 443 0 2359 0
[pid=10202] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10202/stat : 10202 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385163054 9367552 266 33554432000 4194304 5064252 140737250823200 140737250822112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10202/statm: 2287 266 226 213 0 72 0
[pid=10203] ppid=10202 vsize=15132 CPUtime=5.93 cores=1,3,5,7
/proc/10203/stat : 10203 (glucose) R 10202 8604 6657 0 -1 4202496 4203 0 0 0 593 0 0 0 20 0 1 0 385163054 15495168 3301 33554432000 4194304 5208918 140736063989232 140736063987096 4229717 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10203/statm: 3783 3301 95 248 0 3532 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 44652
Solver just ended. Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 10224
/proc/meminfo: memFree=29206564/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=1252.95 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 89630 1501467 0 0 211 32 124398 654 20 0 1 0 385039418 11493376 2435 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 2806 2435 168 443 0 2359 0
[pid=10223] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10223/stat : 10223 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385164746 9367552 267 33554432000 4194304 5064252 140733942327696 140733942326608 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10223/statm: 2287 267 226 213 0 72 0
[pid=10224] ppid=10223 vsize=6872 CPUtime=1.11 cores=1,3,5,7
/proc/10224/stat : 10224 (glucose) R 10223 8604 6657 0 -1 4202496 1847 0 0 0 111 0 0 0 20 0 1 0 385164746 7036928 1285 33554432000 4194304 5208918 140734369369776 140734369367864 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10224/statm: 1718 1285 96 248 0 1467 0
Current children cumulated CPU time (s) 1254.06
Current children cumulated vsize (KiB) 36392
[startup+1280 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 10245
/proc/meminfo: memFree=29200752/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=1276.2 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 89804 1515877 0 0 211 33 126719 657 20 0 1 0 385039418 11493376 2435 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 2806 2435 168 443 0 2359 0
[pid=10244] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10244/stat : 10244 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385167071 9367552 267 33554432000 4194304 5064252 140736121821824 140736121820736 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10244/statm: 2287 267 226 213 0 72 0
[pid=10245] ppid=10244 vsize=11096 CPUtime=3.46 cores=1,3,5,7
/proc/10245/stat : 10245 (glucose) R 10244 8604 6657 0 -1 4202496 2946 0 0 0 346 0 0 0 20 0 1 0 385167071 11362304 2350 33554432000 4194304 5208918 140734255665920 140734255663784 4229456 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10245/statm: 2774 2350 96 248 0 2523 0
Current children cumulated CPU time (s) 1279.66
Current children cumulated vsize (KiB) 40616
[startup+1286.4 s]
/proc/loadavg: 2.11 2.03 2.01 3/183 10252
/proc/meminfo: memFree=29205448/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=1284.55 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 89886 1522842 0 0 211 33 127552 659 20 0 1 0 385039418 11493376 2435 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 2806 2435 168 443 0 2359 0
[pid=10251] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385167906 9367552 267 33554432000 4194304 5064252 140737409673376 140737409672288 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10251/statm: 2287 267 226 213 0 72 0
[pid=10252] ppid=10251 vsize=9412 CPUtime=1.51 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 8604 6657 0 -1 4202496 2204 0 0 0 151 0 0 0 20 0 1 0 385167906 9637888 1413 33554432000 4194304 5208918 140736109062384 140736109060344 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10252/statm: 2353 1413 96 248 0 2102 0
Current children cumulated CPU time (s) 1286.06
Current children cumulated vsize (KiB) 38932
[startup+1292.8 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 10252
/proc/meminfo: memFree=29192440/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=1284.55 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 89886 1522842 0 0 211 33 127552 659 20 0 1 0 385039418 11493376 2435 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 2806 2435 168 443 0 2359 0
[pid=10251] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385167906 9367552 267 33554432000 4194304 5064252 140737409673376 140737409672288 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10251/statm: 2287 267 226 213 0 72 0
[pid=10252] ppid=10251 vsize=12308 CPUtime=7.9 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 8604 6657 0 -1 4202496 3726 0 0 0 790 0 0 0 20 0 1 0 385167906 12603392 2662 33554432000 4194304 5208918 140736109062384 140736109060472 4211623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10252/statm: 3077 2662 102 248 0 2826 0
Current children cumulated CPU time (s) 1292.45
Current children cumulated vsize (KiB) 41828
[startup+1294.4 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 10255
/proc/meminfo: memFree=29204760/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=1284.55 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 89886 1522842 0 0 211 33 127552 659 20 0 1 0 385039418 11493376 2435 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 2806 2435 168 443 0 2359 0
[pid=10251] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385167906 9367552 267 33554432000 4194304 5064252 140737409673376 140737409672288 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10251/statm: 2287 267 226 213 0 72 0
[pid=10252] ppid=10251 vsize=19380 CPUtime=9.5 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 8604 6657 0 -1 4202496 3768 0 0 0 950 0 0 0 20 0 1 0 385167906 19845120 4237 33554432000 4194304 5208918 140736109062384 140736109060472 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10252/statm: 4845 4237 102 248 0 4594 0
Current children cumulated CPU time (s) 1294.05
Current children cumulated vsize (KiB) 48900
[startup+1295.2 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 10255
/proc/meminfo: memFree=29198492/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=1284.55 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 89886 1522842 0 0 211 33 127552 659 20 0 1 0 385039418 11493376 2435 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 2806 2435 168 443 0 2359 0
[pid=10251] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385167906 9367552 267 33554432000 4194304 5064252 140737409673376 140737409672288 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10251/statm: 2287 267 226 213 0 72 0
[pid=10252] ppid=10251 vsize=19380 CPUtime=10.3 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 8604 6657 0 -1 4202496 3770 0 0 0 1030 0 0 0 20 0 1 0 385167906 19845120 4237 33554432000 4194304 5208918 140736109062384 140736109060328 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10252/statm: 4845 4237 102 248 0 4594 0
Current children cumulated CPU time (s) 1294.85
Current children cumulated vsize (KiB) 48900
[startup+1295.6 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 10255
/proc/meminfo: memFree=29198492/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=1284.55 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 89886 1522842 0 0 211 33 127552 659 20 0 1 0 385039418 11493376 2435 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 2806 2435 168 443 0 2359 0
[pid=10251] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385167906 9367552 267 33554432000 4194304 5064252 140737409673376 140737409672288 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10251/statm: 2287 267 226 213 0 72 0
[pid=10252] ppid=10251 vsize=19380 CPUtime=10.7 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 8604 6657 0 -1 4202496 3770 0 0 0 1070 0 0 0 20 0 1 0 385167906 19845120 4237 33554432000 4194304 5208918 140736109062384 140736109060328 4229717 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10252/statm: 4845 4237 102 248 0 4594 0
Current children cumulated CPU time (s) 1295.25
Current children cumulated vsize (KiB) 48900
[startup+1296 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 10262
/proc/meminfo: memFree=29212624/32873844 swapFree=8660/8660
[pid=8604] ppid=8602 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8604/stat : 8604 (npSolver-wbo-It) S 8602 8604 6657 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385039418 9367552 274 33554432000 4194304 5064252 140733943693792 140733943692704 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8604/statm: 2287 274 233 213 0 72 0
[pid=8605] ppid=8604 vsize=11224 CPUtime=1284.55 cores=1,3,5,7
/proc/8605/stat : 8605 (npSolver-wbo) S 8604 8604 6657 0 -1 4202496 89886 1522842 0 0 211 33 127552 659 20 0 1 0 385039418 11493376 2435 33554432000 4194304 6006132 140733690817936 140733690809328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8605/statm: 2806 2435 168 443 0 2359 0
[pid=10251] ppid=8605 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10251/stat : 10251 (satsolver.sh) S 8605 8604 6657 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385167906 9367552 267 33554432000 4194304 5064252 140737409673376 140737409672288 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10251/statm: 2287 267 226 213 0 72 0
[pid=10252] ppid=10251 vsize=19380 CPUtime=11.1 cores=1,3,5,7
/proc/10252/stat : 10252 (glucose) R 10251 8604 6657 0 -1 4202496 3780 0 0 0 1110 0 0 0 20 0 1 0 385167906 19845120 4247 33554432000 4194304 5208918 140736109062384 140736109060328 4229780 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10252/statm: 4845 4247 102 248 0 4594 0
Current children cumulated CPU time (s) 1295.65
Current children cumulated vsize (KiB) 48900
Child status: 0
Real time (s): 1296.05
CPU time (s): 1295.73
CPU user time (s): 1288.78
CPU system time (s): 6.95294
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 69828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1288.78
system time used= 6.95294
maximum resident set size= 35352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1620244
page faults= 0
swaps= 0
block input operations= 0
block output operations= 412632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7886
involuntary context switches= 3180
runsolver used 3.16152 second user time and 7.58485 second system time
The end