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-3715622-1338197190/watcher-3715622-1338197190 -o /tmp/evaluation-result-3715622-1338197190/solver-3715622-1338197190 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715622-1338197190.wbo 1332500529 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.24 2.04 1.94 3/178 18782
/proc/meminfo: memFree=29717560/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[startup+0.022627 s]
/proc/loadavg: 2.24 2.04 1.94 3/178 18782
/proc/meminfo: memFree=29717560/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100161 s]
/proc/loadavg: 2.24 2.04 1.94 3/178 18782
/proc/meminfo: memFree=29717560/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300282 s]
/proc/loadavg: 2.24 2.04 1.94 3/178 18782
/proc/meminfo: memFree=29717560/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 2.24 2.04 1.94 3/178 18782
/proc/meminfo: memFree=29717560/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.24 2.04 1.94 3/182 18803
/proc/meminfo: memFree=29658264/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=11708 CPUtime=0.23 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 3005 6254 0 0 10 2 9 2 20 0 1 0 285844483 11988992 2369 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18783/statm: 2927 2369 176 439 0 2484 0
[pid=18795] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18795/stat : 18795 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285844508 9367552 267 33554432000 4194304 5064252 140735976987968 140735976986880 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18795/statm: 2287 267 226 213 0 72 0
[pid=18796] ppid=18795 vsize=48484 CPUtime=1.24 cores=1,3,5,7
/proc/18796/stat : 18796 (glucose) R 18795 18782 20162 0 -1 4202496 9661 0 0 0 122 2 0 0 20 0 1 0 285844508 49647616 10925 33554432000 4194304 5208918 140733718290832 140733718289240 4211888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18796/statm: 12121 10925 95 248 0 11870 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 78488
[startup+3.10033 s]
/proc/loadavg: 2.22 2.04 1.94 3/182 18806
/proc/meminfo: memFree=29692108/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=11708 CPUtime=0.23 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 3005 6254 0 0 10 2 9 2 20 0 1 0 285844483 11988992 2369 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18783/statm: 2927 2369 176 439 0 2484 0
[pid=18795] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18795/stat : 18795 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285844508 9367552 267 33554432000 4194304 5064252 140735976987968 140735976986880 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18795/statm: 2287 267 226 213 0 72 0
[pid=18796] ppid=18795 vsize=48624 CPUtime=2.84 cores=1,3,5,7
/proc/18796/stat : 18796 (glucose) R 18795 18782 20162 0 -1 4202496 9669 0 0 0 282 2 0 0 20 0 1 0 285844508 49790976 10933 33554432000 4194304 5208918 140733718290832 140733718288792 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18796/statm: 12156 10933 95 248 0 11905 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 78628
[startup+6.30033 s]
/proc/loadavg: 2.22 2.04 1.94 3/183 18820
/proc/meminfo: memFree=29695392/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=11708 CPUtime=0.23 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 3005 6254 0 0 10 2 9 2 20 0 1 0 285844483 11988992 2369 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18783/statm: 2927 2369 176 439 0 2484 0
[pid=18795] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18795/stat : 18795 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285844508 9367552 267 33554432000 4194304 5064252 140735976987968 140735976986880 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18795/statm: 2287 267 226 213 0 72 0
[pid=18796] ppid=18795 vsize=53044 CPUtime=6.04 cores=1,3,5,7
/proc/18796/stat : 18796 (glucose) R 18795 18782 20162 0 -1 4202496 9776 0 0 0 602 2 0 0 20 0 1 0 285844508 54317056 11039 33554432000 4194304 5208918 140733718290832 140733718288792 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18796/statm: 13261 11039 95 248 0 13010 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 83048
[startup+12.7003 s]
/proc/loadavg: 2.18 2.04 1.94 3/182 18845
/proc/meminfo: memFree=29654516/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=11708 CPUtime=0.23 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 3005 6254 0 0 10 2 9 2 20 0 1 0 285844483 11988992 2369 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18783/statm: 2927 2369 176 439 0 2484 0
[pid=18795] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18795/stat : 18795 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285844508 9367552 267 33554432000 4194304 5064252 140735976987968 140735976986880 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18795/statm: 2287 267 226 213 0 72 0
[pid=18796] ppid=18795 vsize=53336 CPUtime=12.43 cores=1,3,5,7
/proc/18796/stat : 18796 (glucose) R 18795 18782 20162 0 -1 4202496 10061 0 0 0 1241 2 0 0 20 0 1 0 285844508 54616064 11833 33554432000 4194304 5208918 140733718290832 140733718288792 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18796/statm: 13334 11833 95 248 0 13083 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 83340
[startup+25.5003 s]
/proc/loadavg: 2.15 2.04 1.94 3/182 18902
/proc/meminfo: memFree=29653736/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=11708 CPUtime=0.23 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 3005 6254 0 0 10 2 9 2 20 0 1 0 285844483 11988992 2369 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18783/statm: 2927 2369 176 439 0 2484 0
[pid=18795] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18795/stat : 18795 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285844508 9367552 267 33554432000 4194304 5064252 140735976987968 140735976986880 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18795/statm: 2287 267 226 213 0 72 0
[pid=18796] ppid=18795 vsize=53472 CPUtime=25.23 cores=1,3,5,7
/proc/18796/stat : 18796 (glucose) R 18795 18782 20162 0 -1 4202496 10642 0 0 0 2521 2 0 0 20 0 1 0 285844508 54755328 11893 33554432000 4194304 5208918 140733718290832 140733718288680 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18796/statm: 13368 11893 96 248 0 13117 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 83476
[startup+51.1003 s]
/proc/loadavg: 2.10 2.03 1.94 3/182 19014
/proc/meminfo: memFree=29649272/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=45.73 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 5227 22403 0 0 19 3 4534 17 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=18992] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18992/stat : 18992 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285849059 9367552 267 33554432000 4194304 5064252 140734575283584 140734575282496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18992/statm: 2287 267 226 213 0 72 0
[pid=18993] ppid=18992 vsize=48620 CPUtime=5.33 cores=1,3,5,7
/proc/18993/stat : 18993 (glucose) R 18992 18782 20162 0 -1 4202496 10327 0 0 0 532 1 0 0 20 0 1 0 285849059 49786880 11001 33554432000 4194304 5208918 140733966180128 140733966178088 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18993/statm: 12155 11001 95 248 0 11904 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86812
[startup+102.306 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 19236
/proc/meminfo: memFree=29707316/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=91.49 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 7448 39577 0 0 27 5 9086 31 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=19188] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19188/stat : 19188 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 285853635 9367552 266 33554432000 4194304 5064252 140735014570752 140735014569664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19188/statm: 2287 266 226 213 0 72 0
[pid=19189] ppid=19188 vsize=53176 CPUtime=10.76 cores=1,3,5,7
/proc/19189/stat : 19189 (glucose) R 19188 18782 20162 0 -1 4202496 10495 0 0 0 1074 2 0 0 20 0 1 0 285853636 54452224 11752 33554432000 4194304 5208918 140734506690608 140734506688456 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19189/statm: 13294 11752 95 248 0 13043 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 91368
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/181 19490
/proc/meminfo: memFree=29647476/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=138.07 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 9669 56763 0 0 35 6 13719 47 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=19391] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 1.96 2.01 1.99 3/181 24615
/proc/meminfo: memFree=29670612/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=1327.52 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 67415 505715 0 0 245 46 132014 447 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=24474] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24474/stat : 24474 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285977272 9367552 266 33554432000 4194304 5064252 140734383709792 140734383708704 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24474/statm: 2287 266 226 213 0 72 0
[pid=24475] ppid=24474 vsize=60724 CPUtime=34.39 cores=1,3,5,7
/proc/24475/stat : 24475 (glucose) R 24474 18782 20162 0 -1 4202496 13482 0 0 0 3436 3 0 0 20 0 1 0 285977272 62181376 13978 33554432000 4194304 5208918 140737101134000 140737101131944 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24475/statm: 15181 13978 96 248 0 14930 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 98916
[startup+1422.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 24877
/proc/meminfo: memFree=29648056/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=1417.82 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 71857 540835 0 0 261 49 140995 477 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=24862] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24862/stat : 24862 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285986304 9367552 267 33554432000 4194304 5064252 140736591950816 140736591949728 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24862/statm: 2287 267 226 213 0 72 0
[pid=24863] ppid=24862 vsize=48620 CPUtime=4.07 cores=1,3,5,7
/proc/24863/stat : 24863 (glucose) R 24862 18782 20162 0 -1 4202496 10757 0 0 0 406 1 0 0 20 0 1 0 285986305 49786880 10904 33554432000 4194304 5208918 140734276472480 140734276470440 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24863/statm: 12155 10904 95 248 0 11904 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 86812
[startup+1482.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/181 25129
/proc/meminfo: memFree=29645844/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=1462.62 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 74078 558110 0 0 269 50 145451 492 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=25051] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25051/stat : 25051 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285990785 9367552 267 33554432000 4194304 5064252 140737150048416 140737150047328 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25051/statm: 2287 267 226 213 0 72 0
[pid=25052] ppid=25051 vsize=53472 CPUtime=19.26 cores=1,3,5,7
/proc/25052/stat : 25052 (glucose) R 25051 18782 20162 0 -1 4202496 11108 0 0 0 1924 2 0 0 20 0 1 0 285990785 54755328 11235 33554432000 4194304 5208918 140737364303440 140737364301592 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25052/statm: 13368 11235 96 248 0 13117 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 91664
[startup+1542.31 s]
/proc/loadavg: 1.98 2.00 1.99 3/181 25384
/proc/meminfo: memFree=29669628/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=1508 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 76299 575057 0 0 277 51 149965 507 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=25247] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25247/stat : 25247 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285995325 9367552 266 33554432000 4194304 5064252 140734942188448 140734942187360 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25247/statm: 2287 266 226 213 0 72 0
[pid=25248] ppid=25247 vsize=60732 CPUtime=33.87 cores=1,3,5,7
/proc/25248/stat : 25248 (glucose) R 25247 18782 20162 0 -1 4202496 12095 0 0 0 3384 3 0 0 20 0 1 0 285995325 62189568 13573 33554432000 4194304 5208918 140736179651856 140736179649800 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25248/statm: 15183 13573 96 248 0 14932 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 98924
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/181 25648
/proc/meminfo: memFree=29666392/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=1599.45 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 80741 609192 0 0 294 54 159059 538 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=25640] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25640/stat : 25640 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 286004470 9367552 267 33554432000 4194304 5064252 140735712269408 140735712268320 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25640/statm: 2287 267 226 213 0 72 0
[pid=25641] ppid=25640 vsize=48620 CPUtime=2.42 cores=1,3,5,7
/proc/25641/stat : 25641 (glucose) R 25640 18782 20162 0 -1 4202496 10268 0 0 0 240 2 0 0 20 0 1 0 286004470 49786880 10946 33554432000 4194304 5208918 140733303250512 140733303248920 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25641/statm: 12155 10946 95 248 0 11904 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 86812
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 25900
/proc/meminfo: memFree=29645212/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=1643.78 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 82962 625976 0 0 302 56 163468 552 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=25829] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25829/stat : 25829 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286008904 9367552 266 33554432000 4194304 5064252 140733838384592 140733838383504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25829/statm: 2287 266 226 213 0 72 0
[pid=25830] ppid=25829 vsize=53336 CPUtime=18.08 cores=1,3,5,7
/proc/25830/stat : 25830 (glucose) R 25829 18782 20162 0 -1 4202496 11343 0 0 0 1806 2 0 0 20 0 1 0 286008904 54616064 11163 33554432000 4194304 5208918 140735221148352 140735221146504 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25830/statm: 13334 11163 96 248 0 13083 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 91528
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 26152
/proc/meminfo: memFree=29645416/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=1689.34 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 85183 643462 0 0 310 57 168001 566 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=26018] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26018/stat : 26018 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286013461 9367552 267 33554432000 4194304 5064252 140736754036064 140736754034976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26018/statm: 2287 267 226 213 0 72 0
[pid=26019] ppid=26018 vsize=60724 CPUtime=32.49 cores=1,3,5,7
/proc/26019/stat : 26019 (glucose) R 26018 18782 20162 0 -1 4202496 11712 0 0 0 3246 3 0 0 20 0 1 0 286013462 62181376 13453 33554432000 4194304 5208918 140734555681648 140734555679592 4211740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26019/statm: 15181 13453 96 248 0 14930 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 98916
[startup+1782.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/181 26351
/proc/meminfo: memFree=29666388/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=1735.81 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 87404 660225 0 0 318 59 172622 582 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=26221] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26221/stat : 26221 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286018108 9367552 266 33554432000 4194304 5064252 140737337006848 140737337005760 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26221/statm: 2287 266 226 213 0 72 0
[pid=26222] ppid=26221 vsize=60728 CPUtime=46.03 cores=1,3,5,7
/proc/26222/stat : 26222 (glucose) R 26221 18782 20162 0 -1 4202496 12372 0 0 0 4600 3 0 0 20 0 1 0 286018109 62185472 13857 33554432000 4194304 5208918 140736663697072 140736663695016 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26222/statm: 15182 13857 96 248 0 14931 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 98920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.98 1.99 1.99 3/181 26393
/proc/meminfo: memFree=29678068/32873852 swapFree=7624/7624
[pid=18782] ppid=18780 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18782/stat : 18782 (npSolver-wbo-It) S 18780 18782 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285844483 9367552 274 33554432000 4194304 5064252 140733842787744 140733842786656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18782/statm: 2287 274 233 213 0 72 0
[pid=18783] ppid=18782 vsize=19896 CPUtime=1782.62 cores=1,3,5,7
/proc/18783/stat : 18783 (npSolver-wbo) S 18782 18782 20162 0 -1 4202496 89625 677137 0 0 326 60 177279 597 20 0 1 0 285844483 20373504 4498 33554432000 4194304 5990268 140736179525184 140736179516592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/18783/statm: 4974 4498 177 439 0 4531 0
[pid=26357] ppid=18783 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26357/stat : 26357 (satsolver.sh) S 18783 18782 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286022791 9367552 266 33554432000 4194304 5064252 140737388315552 140737388314464 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26357/statm: 2287 266 226 213 0 72 0
[pid=26358] ppid=26357 vsize=53332 CPUtime=17.4 cores=1,3,5,7
/proc/26358/stat : 26358 (glucose) R 26357 18782 20162 0 -1 4202496 10342 0 0 0 1739 1 0 0 20 0 1 0 286022792 54611968 11095 33554432000 4194304 5208918 140737117342464 140737117340552 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26358/statm: 13333 11095 96 248 0 13082 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 91524
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1793.46
CPU system time (s): 6.61
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 98924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.46
system time used= 6.60999
maximum resident set size= 58004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 778092
page faults= 0
swaps= 0
block input operations= 0
block output operations= 563800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11138
involuntary context switches= 2810
runsolver used 2.80457 second user time and 7.04393 second system time
The end