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-3753630-1339189692/watcher-3753630-1339189692 -o /tmp/evaluation-result-3753630-1339189692/solver-3753630-1339189692 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753630-1339189692.wbo 348523419 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.04 2.01 2.00 3/179 7504
/proc/meminfo: memFree=28915864/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[startup+0.031449 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 7504
/proc/meminfo: memFree=28915864/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 7504
/proc/meminfo: memFree=28915864/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300175 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 7504
/proc/meminfo: memFree=28915864/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700175 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 7504
/proc/meminfo: memFree=28915864/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 7511
/proc/meminfo: memFree=28908800/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=3100 CPUtime=0.25 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 1950 2256 0 0 2 0 23 0 20 0 1 0 385095292 3174400 372 33554432000 4194304 6006132 140737424976928 140737424971120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7505/statm: 775 372 158 443 0 328 0
[pid=7510] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7510/stat : 7510 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385095319 9367552 267 33554432000 4194304 5064252 140733334474720 140733334473632 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7510/statm: 2287 267 226 213 0 72 0
[pid=7511] ppid=7510 vsize=9524 CPUtime=1.22 cores=1,3,5,7
/proc/7511/stat : 7511 (glucose) R 7510 7504 3785 0 -1 4202496 2270 0 0 0 122 0 0 0 20 0 1 0 385095319 9752576 1883 33554432000 4194304 5208918 140733656852720 140733656850680 4229512 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2381 1883 96 248 0 2130 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 30920
[startup+3.10022 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 7511
/proc/meminfo: memFree=28902908/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=3100 CPUtime=0.25 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 1950 2256 0 0 2 0 23 0 20 0 1 0 385095292 3174400 372 33554432000 4194304 6006132 140737424976928 140737424971120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7505/statm: 775 372 158 443 0 328 0
[pid=7510] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7510/stat : 7510 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385095319 9367552 267 33554432000 4194304 5064252 140733334474720 140733334473632 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7510/statm: 2287 267 226 213 0 72 0
[pid=7511] ppid=7510 vsize=11200 CPUtime=2.82 cores=1,3,5,7
/proc/7511/stat : 7511 (glucose) R 7510 7504 3785 0 -1 4202496 2703 0 0 0 282 0 0 0 20 0 1 0 385095319 11468800 2296 33554432000 4194304 5208918 140733656852720 140733656850584 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2800 2296 96 248 0 2549 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 32596
[startup+6.30021 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 7511
/proc/meminfo: memFree=28897408/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=3100 CPUtime=0.25 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 1950 2256 0 0 2 0 23 0 20 0 1 0 385095292 3174400 372 33554432000 4194304 6006132 140737424976928 140737424971120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7505/statm: 775 372 158 443 0 328 0
[pid=7510] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7510/stat : 7510 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385095319 9367552 267 33554432000 4194304 5064252 140733334474720 140733334473632 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7510/statm: 2287 267 226 213 0 72 0
[pid=7511] ppid=7510 vsize=19356 CPUtime=6.02 cores=1,3,5,7
/proc/7511/stat : 7511 (glucose) R 7510 7504 3785 0 -1 4202496 3355 0 0 0 602 0 0 0 20 0 1 0 385095319 19820544 3371 33554432000 4194304 5208918 140733656852720 140733656850808 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 4839 3371 96 248 0 4588 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 40752
[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 7525
/proc/meminfo: memFree=28865852/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=8.17 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 3422 9541 0 0 6 2 806 3 20 0 1 0 385095292 11571200 2191 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2191 167 443 0 2378 0
[pid=7524] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7524/stat : 7524 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385096111 9367552 267 33554432000 4194304 5064252 140734849813152 140734849812064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7524/statm: 2287 267 226 213 0 72 0
[pid=7525] ppid=7524 vsize=47072 CPUtime=4.5 cores=1,3,5,7
/proc/7525/stat : 7525 (glucose) R 7524 7504 3785 0 -1 4202496 9442 0 0 0 448 2 0 0 20 0 1 0 385096111 48201728 10411 33554432000 4194304 5208918 140736219861168 140736219859032 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7525/statm: 11768 10411 96 248 0 11517 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 76668
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 7540
/proc/meminfo: memFree=28882560/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=20.22 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 3901 24302 0 0 9 2 1997 14 20 0 1 0 385095292 11571200 2191 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2191 167 443 0 2378 0
[pid=7532] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7532/stat : 7532 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385097316 9367552 267 33554432000 4194304 5064252 140733379064560 140733379063472 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7532/statm: 2287 267 226 213 0 72 0
[pid=7533] ppid=7532 vsize=28688 CPUtime=5.25 cores=1,3,5,7
/proc/7533/stat : 7533 (glucose) R 7532 7504 3785 0 -1 4202496 6383 0 0 0 524 1 0 0 20 0 1 0 385097316 29376512 6613 33554432000 4194304 5208918 140735860292000 140735860289864 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7533/statm: 7172 6613 96 248 0 6921 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 58284
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 7561
/proc/meminfo: memFree=28874116/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=43.68 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 4812 46275 0 0 13 3 4328 24 20 0 1 0 385095292 11571200 2191 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2191 167 443 0 2378 0
[pid=7560] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7560/stat : 7560 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385099662 9367552 266 33554432000 4194304 5064252 140735360868160 140735360867072 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7560/statm: 2287 266 226 213 0 72 0
[pid=7561] ppid=7560 vsize=28392 CPUtime=7.38 cores=1,3,5,7
/proc/7561/stat : 7561 (glucose) R 7560 7504 3785 0 -1 4202496 5779 0 0 0 737 1 0 0 20 0 1 0 385099663 29073408 6454 33554432000 4194304 5208918 140734119963296 140734119961160 4229299 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7561/statm: 7098 6454 96 248 0 6847 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 57988
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7617
/proc/meminfo: memFree=28883916/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=91.22 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 6512 87325 0 0 20 4 9053 45 20 0 1 0 385095292 11571200 2191 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2191 167 443 0 2378 0
[pid=7609] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7609/stat : 7609 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385104418 9367552 267 33554432000 4194304 5064252 140733695735632 140733695734544 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7609/statm: 2287 267 226 213 0 72 0
[pid=7610] ppid=7609 vsize=31004 CPUtime=11.03 cores=1,3,5,7
/proc/7610/stat : 7610 (glucose) R 7609 7504 3785 0 -1 4202496 7650 0 0 0 1102 1 0 0 20 0 1 0 385104418 31748096 7288 33554432000 4194304 5208918 140736506182192 140736506180056 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7610/statm: 7751 7288 96 248 0 7500 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 60600
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7676
/proc/meminfo: memFree=28876844/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=162.18 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 8936 150691 0 0 30 5 16110 73 20 0 1 0 385095292 11571200 2191 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2191 167 443 0 2378 0
Current children cumulated CPU time (s) 162.18
################
# More data... #
################
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=573.77 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 20557 479720 0 0 65 10 57110 192 20 0 1 0 385095292 11571200 2192 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2192 168 443 0 2378 0
[pid=8055] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8055/stat : 8055 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385152692 9367552 267 33554432000 4194304 5064252 140733391030496 140733391029408 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8055/statm: 2287 267 226 213 0 72 0
[pid=8056] ppid=8055 vsize=17836 CPUtime=8.28 cores=1,3,5,7
/proc/8056/stat : 8056 (glucose) R 8055 7504 3785 0 -1 4202496 4885 0 0 0 828 0 0 0 20 0 1 0 385152693 18264064 4016 33554432000 4194304 5208918 140734763790768 140734763788856 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8056/statm: 4459 4016 96 248 0 4208 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 47432
[startup+642.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 8106
/proc/meminfo: memFree=28848776/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=632.65 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 21589 518309 0 0 67 10 62985 203 20 0 1 0 385095292 11571200 2192 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2192 168 443 0 2378 0
[pid=8105] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8105/stat : 8105 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385158582 9367552 266 33554432000 4194304 5064252 140735891206832 140735891205744 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8105/statm: 2287 266 226 213 0 72 0
[pid=8106] ppid=8105 vsize=20144 CPUtime=9.4 cores=1,3,5,7
/proc/8106/stat : 8106 (glucose) R 8105 7504 3785 0 -1 4202496 3813 0 0 0 939 1 0 0 20 0 1 0 385158582 20627456 4646 33554432000 4194304 5208918 140737247219040 140737247216984 4240313 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8106/statm: 5036 4646 96 248 0 4785 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 49740
[startup+702.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 8155
/proc/meminfo: memFree=28845972/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=693.62 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 22257 562091 0 0 67 10 69071 214 20 0 1 0 385095292 11571200 2192 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2192 168 443 0 2378 0
[pid=8154] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8154/stat : 8154 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385164681 9367552 267 33554432000 4194304 5064252 140735273357248 140735273356160 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8154/statm: 2287 267 226 213 0 72 0
[pid=8155] ppid=8154 vsize=19628 CPUtime=8.39 cores=1,3,5,7
/proc/8155/stat : 8155 (glucose) R 8154 7504 3785 0 -1 4202496 3951 0 0 0 839 0 0 0 20 0 1 0 385164682 20099072 3394 33554432000 4194304 5208918 140735432785616 140735432783560 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8155/statm: 4907 3394 102 248 0 4656 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 49224
Solver just ended. Dumping a history of the last processes samples
[startup+716.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 8172
/proc/meminfo: memFree=28850284/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=716.36 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 22417 576582 0 0 67 10 71340 219 20 0 1 0 385095292 11571200 2192 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2192 168 443 0 2378 0
Current children cumulated CPU time (s) 716.36
Current children cumulated vsize (KiB) 20448
[startup+723.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 8179
/proc/meminfo: memFree=28856704/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=716.36 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 22417 576582 0 0 67 10 71340 219 20 0 1 0 385095292 11571200 2192 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2192 168 443 0 2378 0
[pid=8178] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385166955 9367552 266 33554432000 4194304 5064252 140733419192576 140733419191488 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8178/statm: 2287 266 226 213 0 72 0
[pid=8179] ppid=8178 vsize=12584 CPUtime=6.46 cores=1,3,5,7
/proc/8179/stat : 8179 (glucose) R 8178 7504 3785 0 -1 4202496 3787 0 0 0 646 0 0 0 20 0 1 0 385166955 12886016 2708 33554432000 4194304 5208918 140737164634720 140737164632664 4228947 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8179/statm: 3146 2708 96 248 0 2895 0
Current children cumulated CPU time (s) 722.82
Current children cumulated vsize (KiB) 42180
[startup+726.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 8179
/proc/meminfo: memFree=28849856/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=716.36 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 22417 576582 0 0 67 10 71340 219 20 0 1 0 385095292 11571200 2192 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2192 168 443 0 2378 0
[pid=8178] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385166955 9367552 266 33554432000 4194304 5064252 140733419192576 140733419191488 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8178/statm: 2287 266 226 213 0 72 0
[pid=8179] ppid=8178 vsize=19656 CPUtime=9.66 cores=1,3,5,7
/proc/8179/stat : 8179 (glucose) R 8178 7504 3785 0 -1 4202496 3907 0 0 0 966 0 0 0 20 0 1 0 385166955 20127744 4356 33554432000 4194304 5208918 140737164634720 140737164632664 4212881 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8179/statm: 4914 4356 102 248 0 4663 0
Current children cumulated CPU time (s) 726.02
Current children cumulated vsize (KiB) 49252
[startup+729.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 8179
/proc/meminfo: memFree=28842160/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=716.36 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 22417 576582 0 0 67 10 71340 219 20 0 1 0 385095292 11571200 2192 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2192 168 443 0 2378 0
[pid=8178] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385166955 9367552 266 33554432000 4194304 5064252 140733419192576 140733419191488 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8178/statm: 2287 266 226 213 0 72 0
[pid=8179] ppid=8178 vsize=19656 CPUtime=12.86 cores=1,3,5,7
/proc/8179/stat : 8179 (glucose) R 8178 7504 3785 0 -1 4202496 4035 0 0 0 1286 0 0 0 20 0 1 0 385166955 20127744 4482 33554432000 4194304 5208918 140737164634720 140737164632664 4229728 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8179/statm: 4914 4482 102 248 0 4663 0
Current children cumulated CPU time (s) 729.22
Current children cumulated vsize (KiB) 49252
[startup+730.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 8179
/proc/meminfo: memFree=28842160/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=716.36 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 22417 576582 0 0 67 10 71340 219 20 0 1 0 385095292 11571200 2192 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2192 168 443 0 2378 0
[pid=8178] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385166955 9367552 266 33554432000 4194304 5064252 140733419192576 140733419191488 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8178/statm: 2287 266 226 213 0 72 0
[pid=8179] ppid=8178 vsize=19656 CPUtime=13.66 cores=1,3,5,7
/proc/8179/stat : 8179 (glucose) R 8178 7504 3785 0 -1 4202496 4035 0 0 0 1366 0 0 0 20 0 1 0 385166955 20127744 4482 33554432000 4194304 5208918 140737164634720 140737164632664 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8179/statm: 4914 4482 102 248 0 4663 0
Current children cumulated CPU time (s) 730.02
Current children cumulated vsize (KiB) 49252
[startup+730.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 8179
/proc/meminfo: memFree=28842160/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=716.36 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 22417 576582 0 0 67 10 71340 219 20 0 1 0 385095292 11571200 2192 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2192 168 443 0 2378 0
[pid=8178] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385166955 9367552 266 33554432000 4194304 5064252 140733419192576 140733419191488 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8178/statm: 2287 266 226 213 0 72 0
[pid=8179] ppid=8178 vsize=19656 CPUtime=14.05 cores=1,3,5,7
/proc/8179/stat : 8179 (glucose) R 8178 7504 3785 0 -1 4202496 4035 0 0 0 1405 0 0 0 20 0 1 0 385166955 20127744 4482 33554432000 4194304 5208918 140737164634720 140737164632664 4229734 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8179/statm: 4914 4482 102 248 0 4663 0
Current children cumulated CPU time (s) 730.41
Current children cumulated vsize (KiB) 49252
[startup+730.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 8179
/proc/meminfo: memFree=28842160/32873648 swapFree=6860/6860
[pid=7504] ppid=7502 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7504/stat : 7504 (npSolver-wbo-It) S 7502 7504 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385095292 9367552 275 33554432000 4194304 5064252 140737350096656 140737350095568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7504/statm: 2287 275 233 213 0 72 0
[pid=7505] ppid=7504 vsize=11300 CPUtime=716.36 cores=1,3,5,7
/proc/7505/stat : 7505 (npSolver-wbo) S 7504 7504 3785 0 -1 4202496 22417 576582 0 0 67 10 71340 219 20 0 1 0 385095292 11571200 2192 33554432000 4194304 6006132 140737424976928 140737424968320 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7505/statm: 2825 2192 168 443 0 2378 0
[pid=8178] ppid=7505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8178/stat : 8178 (satsolver.sh) S 7505 7504 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385166955 9367552 266 33554432000 4194304 5064252 140733419192576 140733419191488 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8178/statm: 2287 266 226 213 0 72 0
[pid=8179] ppid=8178 vsize=19656 CPUtime=14.25 cores=1,3,5,7
/proc/8179/stat : 8179 (glucose) R 8178 7504 3785 0 -1 4202496 4035 0 0 0 1425 0 0 0 20 0 1 0 385166955 20127744 4482 33554432000 4194304 5208918 140737164634720 140737164632664 4229824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8179/statm: 4914 4482 102 248 0 4663 0
Current children cumulated CPU time (s) 730.61
Current children cumulated vsize (KiB) 49252
Child status: 0
Real time (s): 730.927
CPU time (s): 730.675
CPU user time (s): 728.36
CPU system time (s): 2.31465
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 84996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 728.36
system time used= 2.31465
maximum resident set size= 50772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 606766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 130200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2640
involuntary context switches= 1421
runsolver used 1.09683 second user time and 2.93555 second system time
The end