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-3753590-1339190680/watcher-3753590-1339190680 -o /tmp/evaluation-result-3753590-1339190680/solver-3753590-1339190680 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753590-1339190680.wbo 7215000 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/178 7331
/proc/meminfo: memFree=30994560/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[startup+0.035455 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7331
/proc/meminfo: memFree=30994560/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7331
/proc/meminfo: memFree=30994560/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7331
/proc/meminfo: memFree=30994560/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700263 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7331
/proc/meminfo: memFree=30994560/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 7345
/proc/meminfo: memFree=30918492/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=38192 CPUtime=0.34 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 5441 5650 0 0 22 5 7 0 20 0 1 0 385193838 39108608 8669 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 9548 8669 179 443 0 9101 0
[pid=7344] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7344/stat : 7344 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385193875 9367552 266 33554432000 4194304 5064252 140737475554464 140737475553376 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7344/statm: 2287 266 226 213 0 72 0
[pid=7345] ppid=7344 vsize=44484 CPUtime=1.12 cores=1,3,5,7
/proc/7345/stat : 7345 (glucose) R 7344 7331 4063 0 -1 4202496 9563 0 0 0 110 2 0 0 20 0 1 0 385193875 45551616 9196 33554432000 4194304 5208918 140736320656176 140736320654136 4205249 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7345/statm: 11121 9196 104 248 0 10870 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 100972
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 7345
/proc/meminfo: memFree=30918104/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=38192 CPUtime=0.34 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 5441 5650 0 0 22 5 7 0 20 0 1 0 385193838 39108608 8669 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 9548 8669 179 443 0 9101 0
[pid=7344] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7344/stat : 7344 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385193875 9367552 266 33554432000 4194304 5064252 140737475554464 140737475553376 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7344/statm: 2287 266 226 213 0 72 0
[pid=7345] ppid=7344 vsize=44484 CPUtime=2.72 cores=1,3,5,7
/proc/7345/stat : 7345 (glucose) R 7344 7331 4063 0 -1 4202496 9563 0 0 0 270 2 0 0 20 0 1 0 385193875 45551616 9196 33554432000 4194304 5208918 140736320656176 140736320654136 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7345/statm: 11121 9196 104 248 0 10870 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 100972
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7346
/proc/meminfo: memFree=30908644/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=38192 CPUtime=0.34 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 5441 5650 0 0 22 5 7 0 20 0 1 0 385193838 39108608 8669 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 9548 8669 179 443 0 9101 0
[pid=7344] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7344/stat : 7344 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385193875 9367552 266 33554432000 4194304 5064252 140737475554464 140737475553376 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7344/statm: 2287 266 226 213 0 72 0
[pid=7345] ppid=7344 vsize=44484 CPUtime=5.92 cores=1,3,5,7
/proc/7345/stat : 7345 (glucose) R 7344 7331 4063 0 -1 4202496 9563 0 0 0 590 2 0 0 20 0 1 0 385193875 45551616 9196 33554432000 4194304 5208918 140736320656176 140736320654136 4210958 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7345/statm: 11121 9196 104 248 0 10870 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 100972
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7353
/proc/meminfo: memFree=30919116/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=38192 CPUtime=0.34 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 5441 5650 0 0 22 5 7 0 20 0 1 0 385193838 39108608 8669 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 9548 8669 179 443 0 9101 0
[pid=7344] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7344/stat : 7344 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385193875 9367552 266 33554432000 4194304 5064252 140737475554464 140737475553376 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7344/statm: 2287 266 226 213 0 72 0
[pid=7345] ppid=7344 vsize=44724 CPUtime=12.32 cores=1,3,5,7
/proc/7345/stat : 7345 (glucose) R 7344 7331 4063 0 -1 4202496 9643 0 0 0 1230 2 0 0 20 0 1 0 385193875 45797376 9787 33554432000 4194304 5208918 140736320656176 140736320654008 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7345/statm: 11181 9787 104 248 0 10930 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 101212
[startup+25.5013 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7353
/proc/meminfo: memFree=30907452/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=38192 CPUtime=0.34 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 5441 5650 0 0 22 5 7 0 20 0 1 0 385193838 39108608 8669 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 9548 8669 179 443 0 9101 0
[pid=7344] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7344/stat : 7344 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385193875 9367552 266 33554432000 4194304 5064252 140737475554464 140737475553376 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7344/statm: 2287 266 226 213 0 72 0
[pid=7345] ppid=7344 vsize=44724 CPUtime=25.12 cores=1,3,5,7
/proc/7345/stat : 7345 (glucose) R 7344 7331 4063 0 -1 4202496 9643 0 0 0 2510 2 0 0 20 0 1 0 385193875 45797376 9787 33554432000 4194304 5208918 140736320656176 140736320654008 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7345/statm: 11181 9787 104 248 0 10930 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 101212
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7367
/proc/meminfo: memFree=30905392/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=38192 CPUtime=50.1 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 8291 19782 0 0 42 7 4951 10 20 0 1 0 385193838 39108608 8393 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 9548 8393 179 443 0 9101 0
[pid=7366] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7366/stat : 7366 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385198851 9367552 267 33554432000 4194304 5064252 140735731985920 140735731984832 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7366/statm: 2287 267 226 213 0 72 0
[pid=7367] ppid=7366 vsize=44480 CPUtime=0.96 cores=1,3,5,7
/proc/7367/stat : 7367 (glucose) R 7366 7331 4063 0 -1 4202496 9353 0 0 0 94 2 0 0 20 0 1 0 385198852 45547520 9543 33554432000 4194304 5208918 140733730638672 140733729588024 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7367/statm: 11120 9543 104 248 0 10869 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 100968
[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7409
/proc/meminfo: memFree=30921612/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=38192 CPUtime=90.17 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 16842 61353 0 0 97 14 8875 31 20 0 1 0 385193838 39108608 8394 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 9548 8394 180 443 0 9101 0
[pid=7401] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7401/stat : 7401 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385202862 9367552 267 33554432000 4194304 5064252 140736706752912 140736706751824 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7401/statm: 2287 267 226 213 0 72 0
[pid=7402] ppid=7401 vsize=41888 CPUtime=12.05 cores=1,3,5,7
/proc/7402/stat : 7402 (glucose) R 7401 7331 4063 0 -1 4202496 8592 0 0 0 1204 1 0 0 20 0 1 0 385202862 42893312 8580 33554432000 4194304 5208918 140737299582464 140737299580296 4205631 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7402/statm: 10472 8580 104 248 0 10221 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 98376
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 7466
/proc/meminfo: memFree=30931596/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=38192 CPUtime=159.52 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 31092 127631 0 0 185 27 15672 68 20 0 1 0 385193838 39108608 8394 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 9548 8394 180 443 0 9101 0
[pid=7458] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/7615/statm: 2287 267 226 213 0 72 0
[pid=7616] ppid=7615 vsize=44304 CPUtime=42.44 cores=1,3,5,7
/proc/7616/stat : 7616 (glucose) R 7615 7331 4063 0 -1 4202496 5866 0 0 0 4242 2 0 0 20 0 1 0 385223823 45367296 9351 33554432000 4194304 5208918 140736528099872 140736528097736 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7616/statm: 11076 9351 96 248 0 10825 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 74880
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7620
/proc/meminfo: memFree=30523432/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=12280 CPUtime=299.65 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 61544 284714 0 0 346 50 29404 165 20 0 1 0 385193838 12574720 2314 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 3070 2314 181 443 0 2623 0
[pid=7615] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7615/stat : 7615 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385223822 9367552 267 33554432000 4194304 5064252 140736869618864 140736869617776 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7615/statm: 2287 267 226 213 0 72 0
[pid=7616] ppid=7615 vsize=40868 CPUtime=102.44 cores=1,3,5,7
/proc/7616/stat : 7616 (glucose) R 7615 7331 4063 0 -1 4202496 6321 0 0 0 10242 2 0 0 20 0 1 0 385223823 41848832 8541 33554432000 4194304 5208918 140736528099872 140736528097816 4211670 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7616/statm: 10217 8541 96 248 0 9966 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 71444
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7620
/proc/meminfo: memFree=30523308/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=12280 CPUtime=299.65 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 61544 284714 0 0 346 50 29404 165 20 0 1 0 385193838 12574720 2314 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 3070 2314 181 443 0 2623 0
[pid=7615] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7615/stat : 7615 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385223822 9367552 267 33554432000 4194304 5064252 140736869618864 140736869617776 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7615/statm: 2287 267 226 213 0 72 0
[pid=7616] ppid=7615 vsize=40868 CPUtime=109.63 cores=1,3,5,7
/proc/7616/stat : 7616 (glucose) R 7615 7331 4063 0 -1 4202496 6321 0 0 0 10961 2 0 0 20 0 1 0 385223823 41848832 8541 33554432000 4194304 5208918 140736528099872 140736528097816 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7616/statm: 10217 8541 96 248 0 9966 0
Current children cumulated CPU time (s) 409.28
Current children cumulated vsize (KiB) 71444
[startup+422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7620
/proc/meminfo: memFree=30522868/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=12280 CPUtime=299.65 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 61544 284714 0 0 346 50 29404 165 20 0 1 0 385193838 12574720 2314 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 3070 2314 181 443 0 2623 0
[pid=7615] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7615/stat : 7615 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385223822 9367552 267 33554432000 4194304 5064252 140736869618864 140736869617776 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7615/statm: 2287 267 226 213 0 72 0
[pid=7616] ppid=7615 vsize=40868 CPUtime=122.44 cores=1,3,5,7
/proc/7616/stat : 7616 (glucose) R 7615 7331 4063 0 -1 4202496 6321 0 0 0 12242 2 0 0 20 0 1 0 385223823 41848832 8541 33554432000 4194304 5208918 140736528099872 140736528097816 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7616/statm: 10217 8541 96 248 0 9966 0
Current children cumulated CPU time (s) 422.09
Current children cumulated vsize (KiB) 71444
[startup+428.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7620
/proc/meminfo: memFree=30541052/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=12280 CPUtime=299.65 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 61544 284714 0 0 346 50 29404 165 20 0 1 0 385193838 12574720 2314 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 3070 2314 181 443 0 2623 0
[pid=7615] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7615/stat : 7615 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 385223822 9367552 267 33554432000 4194304 5064252 140736869618864 140736869617776 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7615/statm: 2287 267 226 213 0 72 0
[pid=7616] ppid=7615 vsize=40868 CPUtime=128.83 cores=1,3,5,7
/proc/7616/stat : 7616 (glucose) R 7615 7331 4063 0 -1 4202496 6321 0 0 0 12881 2 0 0 20 0 1 0 385223823 41848832 8541 33554432000 4194304 5208918 140736528099872 140736528097816 4211871 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7616/statm: 10217 8541 96 248 0 9966 0
Current children cumulated CPU time (s) 428.48
Current children cumulated vsize (KiB) 71444
[startup+435.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7627
/proc/meminfo: memFree=30569576/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=12280 CPUtime=431.93 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 61688 294864 0 0 346 50 42626 171 20 0 1 0 385193838 12574720 2314 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 3070 2314 181 443 0 2623 0
[pid=7626] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7626/stat : 7626 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385237052 9367552 267 33554432000 4194304 5064252 140733498312800 140733498311712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7626/statm: 2287 267 226 213 0 72 0
[pid=7627] ppid=7626 vsize=12252 CPUtime=2.95 cores=1,3,5,7
/proc/7627/stat : 7627 (glucose) R 7626 7331 4063 0 -1 4202496 2720 0 0 0 295 0 0 0 20 0 1 0 385237052 12546048 2004 33554432000 4194304 5208918 140737358660960 140737358658824 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7627/statm: 3063 2004 101 248 0 2812 0
Current children cumulated CPU time (s) 434.88
Current children cumulated vsize (KiB) 42828
[startup+436.707 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7627
/proc/meminfo: memFree=30567592/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=12280 CPUtime=431.93 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 61688 294864 0 0 346 50 42626 171 20 0 1 0 385193838 12574720 2314 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 3070 2314 181 443 0 2623 0
[pid=7626] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7626/stat : 7626 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385237052 9367552 267 33554432000 4194304 5064252 140733498312800 140733498311712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7626/statm: 2287 267 226 213 0 72 0
[pid=7627] ppid=7626 vsize=12252 CPUtime=4.55 cores=1,3,5,7
/proc/7627/stat : 7627 (glucose) R 7626 7331 4063 0 -1 4202496 2979 0 0 0 455 0 0 0 20 0 1 0 385237052 12546048 2251 33554432000 4194304 5208918 140737358660960 140737358658904 4229712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7627/statm: 3063 2251 101 248 0 2812 0
Current children cumulated CPU time (s) 436.48
Current children cumulated vsize (KiB) 42828
[startup+438.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7627
/proc/meminfo: memFree=30567096/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=12280 CPUtime=431.93 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 61688 294864 0 0 346 50 42626 171 20 0 1 0 385193838 12574720 2314 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 3070 2314 181 443 0 2623 0
[pid=7626] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7626/stat : 7626 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385237052 9367552 267 33554432000 4194304 5064252 140733498312800 140733498311712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7626/statm: 2287 267 226 213 0 72 0
[pid=7627] ppid=7626 vsize=12252 CPUtime=6.15 cores=1,3,5,7
/proc/7627/stat : 7627 (glucose) R 7626 7331 4063 0 -1 4202496 3099 0 0 0 615 0 0 0 20 0 1 0 385237052 12546048 2367 33554432000 4194304 5208918 140737358660960 140737358658904 4229692 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7627/statm: 3063 2367 101 248 0 2812 0
Current children cumulated CPU time (s) 438.08
Current children cumulated vsize (KiB) 42828
[startup+438.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7627
/proc/meminfo: memFree=30567096/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=12280 CPUtime=431.93 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 61688 294864 0 0 346 50 42626 171 20 0 1 0 385193838 12574720 2314 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 3070 2314 181 443 0 2623 0
[pid=7626] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7626/stat : 7626 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385237052 9367552 267 33554432000 4194304 5064252 140733498312800 140733498311712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7626/statm: 2287 267 226 213 0 72 0
[pid=7627] ppid=7626 vsize=12252 CPUtime=6.55 cores=1,3,5,7
/proc/7627/stat : 7627 (glucose) R 7626 7331 4063 0 -1 4202496 3099 0 0 0 655 0 0 0 20 0 1 0 385237052 12546048 2367 33554432000 4194304 5208918 140737358660960 140737358658904 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7627/statm: 3063 2367 101 248 0 2812 0
Current children cumulated CPU time (s) 438.48
Current children cumulated vsize (KiB) 42828
[startup+438.907 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7627
/proc/meminfo: memFree=30566972/32873648 swapFree=7372/7372
[pid=7331] ppid=7329 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7331/stat : 7331 (npSolver-wbo-It) S 7329 7331 4063 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385193838 9367552 274 33554432000 4194304 5064252 140734090444896 140734090443808 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7331/statm: 2287 274 233 213 0 72 0
[pid=7332] ppid=7331 vsize=12280 CPUtime=431.93 cores=1,3,5,7
/proc/7332/stat : 7332 (npSolver-wbo) S 7331 7331 4063 0 -1 4202496 61688 294864 0 0 346 50 42626 171 20 0 1 0 385193838 12574720 2314 33554432000 4194304 6006132 140734679474448 140734679465840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7332/statm: 3070 2314 181 443 0 2623 0
[pid=7626] ppid=7332 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7626/stat : 7626 (satsolver.sh) S 7332 7331 4063 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385237052 9367552 267 33554432000 4194304 5064252 140733498312800 140733498311712 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7626/statm: 2287 267 226 213 0 72 0
[pid=7627] ppid=7626 vsize=12252 CPUtime=6.75 cores=1,3,5,7
/proc/7627/stat : 7627 (glucose) R 7626 7331 4063 0 -1 4202496 3102 0 0 0 675 0 0 0 20 0 1 0 385237052 12546048 2370 33554432000 4194304 5208918 140737358660960 140737358658904 4216436 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7627/statm: 3063 2370 101 248 0 2812 0
Current children cumulated CPU time (s) 438.68
Current children cumulated vsize (KiB) 42828
Child status: 0
Real time (s): 438.962
CPU time (s): 438.78
CPU user time (s): 436.532
CPU system time (s): 2.24866
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 102636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 436.532
system time used= 2.24866
maximum resident set size= 48448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364056
page faults= 0
swaps= 0
block input operations= 0
block output operations= 477088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2891
involuntary context switches= 715
runsolver used 0.940856 second user time and 2.54561 second system time
The end