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-3752638-1339185874/watcher-3752638-1339185874 -o /tmp/evaluation-result-3752638-1339185874/solver-3752638-1339185874 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752638-1339185874.wbo 312719539 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 2403
/proc/meminfo: memFree=30832752/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[startup+0.0681579 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 2403
/proc/meminfo: memFree=30832752/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100305 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 2403
/proc/meminfo: memFree=30832752/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 2403
/proc/meminfo: memFree=30832752/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700268 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 2403
/proc/meminfo: memFree=30832752/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 2445
/proc/meminfo: memFree=30891232/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=110004 CPUtime=1.49 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) R 2403 2403 643 0 -1 4202496 16154 0 0 0 146 3 0 0 20 0 1 0 384711938 112644096 25399 33554432000 4194304 6006132 140736993201760 140736993195320 4535977 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2404/statm: 27501 25399 151 443 0 27054 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119152
[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 2449
/proc/meminfo: memFree=30732632/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=110004 CPUtime=1.73 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 16162 0 0 0 152 21 0 0 20 0 1 0 384711938 112644096 25406 33554432000 4194304 6006132 140736993201760 140736993194864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2404/statm: 27501 25406 158 443 0 27054 0
[pid=2448] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2448/stat : 2448 (cp2_pre.sh) S 2404 2403 643 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 384712112 9367552 277 33554432000 4194304 5064252 140734477919408 140734477918112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2448/statm: 2287 277 234 213 0 72 0
[pid=2449] ppid=2448 vsize=107820 CPUtime=1.35 cores=0,2,4,6
/proc/2449/stat : 2449 (coprocessor) R 2448 2403 643 0 -1 4202496 20545 0 0 0 130 5 0 0 20 0 1 0 384712112 110407680 26046 33554432000 4194304 6586260 140733886800912 140733886796232 4960636 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/2449/statm: 26955 26046 204 584 0 26367 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 236120
[startup+6.30033 s]
/proc/loadavg: 2.16 2.03 1.93 3/183 2469
/proc/meminfo: memFree=30705884/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=4.82 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 18854 36231 0 0 169 48 255 10 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2468] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2468/stat : 2468 (satsolver.sh) S 2404 2403 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384712436 9367552 266 33554432000 4194304 5064252 140734982061872 140734982060784 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2468/statm: 2287 266 226 213 0 72 0
[pid=2469] ppid=2468 vsize=84020 CPUtime=1.3 cores=0,2,4,6
/proc/2469/stat : 2469 (glucose) R 2468 2403 643 0 -1 4202496 14929 0 0 0 128 2 0 0 20 0 1 0 384712437 86036480 16896 33554432000 4194304 5208918 140735276914976 140735276912648 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2469/statm: 21005 16896 95 248 0 20754 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 220516
[startup+12.7003 s]
/proc/loadavg: 2.15 2.03 1.93 3/183 2469
/proc/meminfo: memFree=30706288/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=4.82 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 18854 36231 0 0 169 48 255 10 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2468] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2468/stat : 2468 (satsolver.sh) S 2404 2403 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384712436 9367552 266 33554432000 4194304 5064252 140734982061872 140734982060784 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2468/statm: 2287 266 226 213 0 72 0
[pid=2469] ppid=2468 vsize=84020 CPUtime=7.7 cores=0,2,4,6
/proc/2469/stat : 2469 (glucose) R 2468 2403 643 0 -1 4202496 14950 0 0 0 768 2 0 0 20 0 1 0 384712437 86036480 16917 33554432000 4194304 5208918 140735276914976 140735276912648 4211652 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2469/statm: 21005 16917 95 248 0 20754 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 220516
[startup+25.5002 s]
/proc/loadavg: 2.11 2.03 1.93 3/183 2469
/proc/meminfo: memFree=30706584/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=4.82 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 18854 36231 0 0 169 48 255 10 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2468] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2468/stat : 2468 (satsolver.sh) S 2404 2403 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384712436 9367552 266 33554432000 4194304 5064252 140734982061872 140734982060784 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2468/statm: 2287 266 226 213 0 72 0
[pid=2469] ppid=2468 vsize=84020 CPUtime=20.5 cores=0,2,4,6
/proc/2469/stat : 2469 (glucose) R 2468 2403 643 0 -1 4202496 14970 0 0 0 2048 2 0 0 20 0 1 0 384712437 86036480 16937 33554432000 4194304 5208918 140735276914976 140735276912648 4211792 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2469/statm: 21005 16937 95 248 0 20754 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 220516
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.93 3/183 2469
/proc/meminfo: memFree=30706460/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=4.82 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 18854 36231 0 0 169 48 255 10 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2468] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2468/stat : 2468 (satsolver.sh) S 2404 2403 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384712436 9367552 266 33554432000 4194304 5064252 140734982061872 140734982060784 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2468/statm: 2287 266 226 213 0 72 0
[pid=2469] ppid=2468 vsize=84020 CPUtime=46.09 cores=0,2,4,6
/proc/2469/stat : 2469 (glucose) R 2468 2403 643 0 -1 4202496 15046 0 0 0 4607 2 0 0 20 0 1 0 384712437 86036480 17013 33554432000 4194304 5208918 140735276914976 140735276912648 4211901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2469/statm: 21005 17013 95 248 0 20754 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 220516
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 1.93 3/183 2476
/proc/meminfo: memFree=30705224/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=4.82 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 18854 36231 0 0 169 48 255 10 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2468] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2468/stat : 2468 (satsolver.sh) S 2404 2403 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384712436 9367552 266 33554432000 4194304 5064252 140734982061872 140734982060784 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2468/statm: 2287 266 226 213 0 72 0
[pid=2469] ppid=2468 vsize=84152 CPUtime=97.29 cores=0,2,4,6
/proc/2469/stat : 2469 (glucose) R 2468 2403 643 0 -1 4202496 15149 0 0 0 9727 2 0 0 20 0 1 0 384712437 86171648 17115 33554432000 4194304 5208918 140735276914976 140735276912920 4211668 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2469/statm: 21038 17115 95 248 0 20787 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 220648
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/183 2483
/proc/meminfo: memFree=30702800/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=4.82 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 18854 36231 0 0 169 48 255 10 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2468] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2468/stat : 2468 (satsolver.sh) S 2404 2403 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384712436 9367552 266 33554432000 4194304 5064252 140734982061872 140734982060784 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2468/statm: 2287 266 226 213 0 72 0
[pid=2469] ppid=2468 vsize=84152 CPUtime=157.27 cores=0,2,4,6
/proc/2469/stat : 2469 (glucose) R 2468 2403 643 0 -1 4202496 15209 0 0 0 15725 2 0 0 20 0 1 0 384712437 86171648 17604 33554432000 4194304 5208918 140735276914976 140735276912920 4211851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2469/statm: 21038 17604 95 248 0 20787 0
Current children cumulated CPU time (s) 162.09
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 2661
/proc/meminfo: memFree=30701596/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=1254.66 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 29964 147100 0 0 222 55 125104 85 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2646] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2646/stat : 2646 (satsolver.sh) S 2404 2403 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384837441 9367552 267 33554432000 4194304 5064252 140734441260704 140734441259616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2646/statm: 2287 267 226 213 0 72 0
[pid=2647] ppid=2646 vsize=84156 CPUtime=107.24 cores=0,2,4,6
/proc/2647/stat : 2647 (glucose) R 2646 2403 643 0 -1 4202496 16433 0 0 0 10721 3 0 0 20 0 1 0 384837442 86175744 17897 33554432000 4194304 5208918 140734226486880 140734226484824 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2647/statm: 21039 17897 95 248 0 20788 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 220652
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.95 3/183 2668
/proc/meminfo: memFree=30699832/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=1254.66 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 29964 147100 0 0 222 55 125104 85 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2646] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2646/stat : 2646 (satsolver.sh) S 2404 2403 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384837441 9367552 267 33554432000 4194304 5064252 140734441260704 140734441259616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2646/statm: 2287 267 226 213 0 72 0
[pid=2647] ppid=2646 vsize=84156 CPUtime=167.23 cores=0,2,4,6
/proc/2647/stat : 2647 (glucose) R 2646 2403 643 0 -1 4202496 16439 0 0 0 16720 3 0 0 20 0 1 0 384837442 86175744 18011 33554432000 4194304 5208918 140734226486880 140734226484824 4211670 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2647/statm: 21039 18011 95 248 0 20788 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 220652
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/183 2676
/proc/meminfo: memFree=30700360/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=1254.66 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 29964 147100 0 0 222 55 125104 85 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2646] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2646/stat : 2646 (satsolver.sh) S 2404 2403 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384837441 9367552 267 33554432000 4194304 5064252 140734441260704 140734441259616 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2646/statm: 2287 267 226 213 0 72 0
[pid=2647] ppid=2646 vsize=84156 CPUtime=227.22 cores=0,2,4,6
/proc/2647/stat : 2647 (glucose) R 2646 2403 643 0 -1 4202496 16451 0 0 0 22719 3 0 0 20 0 1 0 384837442 86175744 18023 33554432000 4194304 5208918 140734226486880 140734226484824 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2647/statm: 21039 18023 95 248 0 20788 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 220652
[startup+1542.3 s]
/proc/loadavg: 1.96 1.99 1.94 3/184 2693
/proc/meminfo: memFree=30704100/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=1504.9 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 32186 170154 0 0 233 57 150100 100 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2682] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2682/stat : 2682 (satsolver.sh) S 2404 2403 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384862468 9367552 267 33554432000 4194304 5064252 140736988247440 140736988246352 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2682/statm: 2287 267 226 213 0 72 0
[pid=2683] ppid=2682 vsize=84020 CPUtime=36.98 cores=0,2,4,6
/proc/2683/stat : 2683 (glucose) R 2682 2403 643 0 -1 4202496 15810 0 0 0 3696 2 0 0 20 0 1 0 384862468 86036480 17275 33554432000 4194304 5208918 140734940903952 140734940901624 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2683/statm: 21005 17275 95 248 0 20754 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 220516
[startup+1602.3 s]
/proc/loadavg: 1.98 1.99 1.94 3/183 2700
/proc/meminfo: memFree=30701376/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=1504.9 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 32186 170154 0 0 233 57 150100 100 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2682] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2682/stat : 2682 (satsolver.sh) S 2404 2403 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384862468 9367552 267 33554432000 4194304 5064252 140736988247440 140736988246352 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2682/statm: 2287 267 226 213 0 72 0
[pid=2683] ppid=2682 vsize=84152 CPUtime=96.97 cores=0,2,4,6
/proc/2683/stat : 2683 (glucose) R 2682 2403 643 0 -1 4202496 15919 0 0 0 9695 2 0 0 20 0 1 0 384862468 86171648 17834 33554432000 4194304 5208918 140734940903952 140734940901896 4211550 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2683/statm: 21038 17834 95 248 0 20787 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 220648
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/183 2707
/proc/meminfo: memFree=30701024/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=1504.9 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 32186 170154 0 0 233 57 150100 100 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2682] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2682/stat : 2682 (satsolver.sh) S 2404 2403 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384862468 9367552 267 33554432000 4194304 5064252 140736988247440 140736988246352 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2682/statm: 2287 267 226 213 0 72 0
[pid=2683] ppid=2682 vsize=84152 CPUtime=156.96 cores=0,2,4,6
/proc/2683/stat : 2683 (glucose) R 2682 2403 643 0 -1 4202496 15922 0 0 0 15694 2 0 0 20 0 1 0 384862468 86171648 17837 33554432000 4194304 5208918 140734940903952 140734940901896 4211501 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2683/statm: 21038 17837 95 248 0 20787 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 220648
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/183 2714
/proc/meminfo: memFree=30701520/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=1504.9 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 32186 170154 0 0 233 57 150100 100 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2682] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2682/stat : 2682 (satsolver.sh) S 2404 2403 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384862468 9367552 267 33554432000 4194304 5064252 140736988247440 140736988246352 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2682/statm: 2287 267 226 213 0 72 0
[pid=2683] ppid=2682 vsize=84152 CPUtime=216.95 cores=0,2,4,6
/proc/2683/stat : 2683 (glucose) R 2682 2403 643 0 -1 4202496 15935 0 0 0 21693 2 0 0 20 0 1 0 384862468 86171648 17850 33554432000 4194304 5208918 140734940903952 140734940901896 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2683/statm: 21038 17850 95 248 0 20787 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 220648
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.94 3/183 2729
/proc/meminfo: memFree=30705388/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=1754.68 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 34408 192722 0 0 244 58 175050 116 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2720] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2720/stat : 2720 (satsolver.sh) S 2404 2403 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384887450 9367552 267 33554432000 4194304 5064252 140734481763680 140734481762592 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2720/statm: 2287 267 226 213 0 72 0
[pid=2721] ppid=2720 vsize=84020 CPUtime=27.16 cores=0,2,4,6
/proc/2721/stat : 2721 (glucose) R 2720 2403 643 0 -1 4202496 15503 0 0 0 2714 2 0 0 20 0 1 0 384887450 86036480 16953 33554432000 4194304 5208918 140734979283104 140734979280776 4211558 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2721/statm: 21005 16953 95 248 0 20754 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 220516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.99 1.99 1.94 3/183 2729
/proc/meminfo: memFree=30704496/32873844 swapFree=9160/9160
[pid=2403] ppid=2401 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2403/stat : 2403 (npSolver-wbo-It) S 2401 2403 643 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384711938 9367552 275 33554432000 4194304 5064252 140735055093936 140735055092848 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2403/statm: 2287 275 233 213 0 72 0
[pid=2404] ppid=2403 vsize=118200 CPUtime=1754.68 cores=0,2,4,6
/proc/2404/stat : 2404 (npSolver-wbo) S 2403 2403 643 0 -1 4202496 34408 192722 0 0 244 58 175050 116 20 0 1 0 384711938 121036800 27269 33554432000 4194304 6006132 140736993201760 140736993193120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/2404/statm: 29550 27269 177 443 0 29103 0
[pid=2720] ppid=2404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2720/stat : 2720 (satsolver.sh) S 2404 2403 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384887450 9367552 267 33554432000 4194304 5064252 140734481763680 140734481762592 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2720/statm: 2287 267 226 213 0 72 0
[pid=2721] ppid=2720 vsize=84020 CPUtime=45.37 cores=0,2,4,6
/proc/2721/stat : 2721 (glucose) R 2720 2403 643 0 -1 4202496 15564 0 0 0 4534 3 0 0 20 0 1 0 384887450 86036480 17099 33554432000 4194304 5208918 140734979283104 140734979280776 4211620 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2721/statm: 21005 17099 95 248 0 20754 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 220516
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.09
CPU user time (s): 1798.29
CPU system time (s): 1.79273
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 236120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 1.79273
maximum resident set size= 109080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 243384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4536
involuntary context switches= 1941
runsolver used 4.01539 second user time and 8.33773 second system time
The end