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-3715776-1338258839/watcher-3715776-1338258839 -o /tmp/evaluation-result-3715776-1338258839/solver-3715776-1338258839 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715776-1338258839.wbo 428101057 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.51 3.08 2.54 2/179 14275
/proc/meminfo: memFree=27024140/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[startup+0.0454421 s]
/proc/loadavg: 2.51 3.08 2.54 2/179 14275
/proc/meminfo: memFree=27024140/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.105378 s]
/proc/loadavg: 2.51 3.08 2.54 2/179 14275
/proc/meminfo: memFree=27024140/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300164 s]
/proc/loadavg: 2.51 3.08 2.54 2/179 14275
/proc/meminfo: memFree=27024140/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700135 s]
/proc/loadavg: 2.51 3.08 2.54 2/179 14275
/proc/meminfo: memFree=27024140/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50745 s]
/proc/loadavg: 2.51 3.08 2.54 3/183 14373
/proc/meminfo: memFree=27019756/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=3236 CPUtime=1.68 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 4052 59706 0 0 9 3 112 44 20 0 1 0 292011144 3313664 425 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 809 425 179 439 0 366 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 12384
[startup+3.85852 s]
/proc/loadavg: 2.51 3.08 2.54 3/183 14373
/proc/meminfo: memFree=27019756/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=2.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 4678 72338 0 0 11 3 202 54 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 11872
heavy processes:
%CPU=113 pid=14401 uid=0 cmd=
[startup+8.25358 s]
/proc/loadavg: 2.47 3.06 2.54 10/183 14408
/proc/meminfo: memFree=27015700/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=4.16 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 4857 77235 0 0 11 3 345 57 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14407] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14407/stat : 14407 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292011533 9367552 266 33554432000 4194304 5064252 140733714062896 140733714061808 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14407/statm: 2287 266 226 213 0 72 0
[pid=14408] ppid=14407 vsize=10308 CPUtime=4.35 cores=0,2,4,6
/proc/14408/stat : 14408 (glucose) R 14407 14275 3602 0 -1 4202496 2787 0 0 0 435 0 0 0 20 0 1 0 292011533 10555392 2096 33554432000 4194304 5208918 140736209577584 140736209575528 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14408/statm: 2577 2096 102 248 0 2326 0
Current children cumulated CPU time (s) 8.51
Current children cumulated vsize (KiB) 31328
[startup+14.2536 s]
/proc/loadavg: 2.47 3.06 2.54 10/183 14408
/proc/meminfo: memFree=27015700/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=4.16 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 4857 77235 0 0 11 3 345 57 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14407] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14407/stat : 14407 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292011533 9367552 266 33554432000 4194304 5064252 140733714062896 140733714061808 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14407/statm: 2287 266 226 213 0 72 0
[pid=14408] ppid=14407 vsize=18612 CPUtime=10.35 cores=0,2,4,6
/proc/14408/stat : 14408 (glucose) R 14407 14275 3602 0 -1 4202496 3840 0 0 0 1034 1 0 0 20 0 1 0 292011533 19058688 4131 33554432000 4194304 5208918 140736209577584 140736209575448 4229121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14408/statm: 4653 4131 102 248 0 4402 0
Current children cumulated CPU time (s) 14.51
Current children cumulated vsize (KiB) 39632
[startup+26.2535 s]
/proc/loadavg: 2.36 3.01 2.53 3/183 14408
/proc/meminfo: memFree=27002372/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 11872
[startup+52.2535 s]
/proc/loadavg: 2.24 2.93 2.52 4/183 14415
/proc/meminfo: memFree=26999004/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=20944 CPUtime=27.83 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 5566 0 0 0 2782 1 0 0 20 0 1 0 292013585 21446656 4786 33554432000 4194304 5208918 140737074890704 140737074888568 4211608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14415/statm: 5236 4786 102 248 0 4985 0
Current children cumulated CPU time (s) 52.53
Current children cumulated vsize (KiB) 41964
[startup+102.3 s]
/proc/loadavg: 2.09 2.77 2.48 3/183 14415
/proc/meminfo: memFree=26968156/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=42340 CPUtime=77.85 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 7583 0 0 0 7784 1 0 0 20 0 1 0 292013585 43356160 10117 33554432000 4194304 5208918 140737074890704 140737074888568 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14415/statm: 10585 10117 103 248 0 10334 0
Current children cumulated CPU time (s) 102.55
Current children cumulated vsize (KiB) 63360
[startup+162.3 s]
/proc/loadavg: 2.11 2.64 2.45 3/183 14416
/proc/meminfo: memFree=26959236/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=54748 CPUtime=137.84 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 8324 0 0 0 13782 2 0 0 20 0 1 0 292013585 56061952 11933 33554432000 4194304 5208918 140737074890704 140737074888648 4229710 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14415/statm: 13687 11933 103 248 0 13436 0
Current children cumulated CPU time (s) 162.54
Current children cumulated vsize (KiB) 75768
[startup+222.3 s]
/proc/loadavg: 2.04 2.52 2.42 3/183 14416
/proc/meminfo: memFree=26934312/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/183 14427
/proc/meminfo: memFree=26854988/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=99672 CPUtime=1337.65 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 22384 0 0 0 133746 19 0 0 20 0 1 0 292013585 102064128 24469 33554432000 4194304 5208918 140737074890704 140737074888792 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14415/statm: 24918 24469 103 248 0 24667 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 120692
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/183 14427
/proc/meminfo: memFree=26812548/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=148992 CPUtime=1397.65 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 23301 0 0 0 139744 21 0 0 20 0 1 0 292013585 152567808 35148 33554432000 4194304 5208918 140737074890704 140737074888696 4229338 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14415/statm: 37248 35148 103 248 0 36997 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 170012
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 14427
/proc/meminfo: memFree=26821672/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=148992 CPUtime=1457.64 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 24215 0 0 0 145742 22 0 0 20 0 1 0 292013585 152567808 32588 33554432000 4194304 5208918 140737074890704 140737074888696 4229354 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14415/statm: 37248 32588 103 248 0 36997 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 170012
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 14427
/proc/meminfo: memFree=26808828/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=148992 CPUtime=1517.63 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 24681 0 0 0 151740 23 0 0 20 0 1 0 292013585 152567808 35660 33554432000 4194304 5208918 140737074890704 140737074888696 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14415/statm: 37248 35660 103 248 0 36997 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 170012
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/184 14430
/proc/meminfo: memFree=26821548/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=148992 CPUtime=1577.63 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 25596 0 0 0 157739 24 0 0 20 0 1 0 292013585 152567808 32588 33554432000 4194304 5208918 140737074890704 140737074888696 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14415/statm: 37248 32588 103 248 0 36997 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 170012
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/184 14454
/proc/meminfo: memFree=26804328/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=148992 CPUtime=1637.61 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 26061 0 0 0 163736 25 0 0 20 0 1 0 292013585 152567808 35148 33554432000 4194304 5208918 140737074890704 140737074888696 4212703 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14415/statm: 37248 35148 103 248 0 36997 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 170012
[startup+1722.31 s]
/proc/loadavg: 1.81 1.96 2.05 2/174 14479
/proc/meminfo: memFree=26965644/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=99992 CPUtime=1697.61 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 26605 0 0 0 169735 26 0 0 20 0 1 0 292013585 102391808 24549 33554432000 4194304 5208918 140737074890704 140737074888792 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14415/statm: 24998 24549 103 248 0 24747 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 121012
[startup+1782.3 s]
/proc/loadavg: 1.29 1.78 1.98 2/174 14479
/proc/meminfo: memFree=26929588/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=149312 CPUtime=1757.59 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 27523 0 0 0 175732 27 0 0 20 0 1 0 292013585 152895488 33692 33554432000 4194304 5208918 140737074890704 140737074888696 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14415/statm: 37328 33692 103 248 0 37077 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 170332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.21 1.73 1.96 2/174 14479
/proc/meminfo: memFree=26919348/32873648 swapFree=6336/6336
[pid=14275] ppid=14273 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14275/stat : 14275 (npSolver-wbo-It) S 14273 14275 3602 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 292011144 9367552 275 33554432000 4194304 5064252 140735193832976 140735193831888 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14275/statm: 2287 275 233 213 0 72 0
[pid=14276] ppid=14275 vsize=2724 CPUtime=24.7 cores=0,2,4,6
/proc/14276/stat : 14276 (npSolver-wbo) S 14275 14275 3602 0 -1 4202496 5036 84560 0 0 12 3 2394 61 20 0 1 0 292011144 2789376 341 33554432000 4194304 5990268 140734912695792 140734912687216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14276/statm: 681 341 179 439 0 238 0
[pid=14414] ppid=14276 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14414/stat : 14414 (satsolver.sh) S 14276 14275 3602 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 292013585 9367552 266 33554432000 4194304 5064252 140737105362688 140737105361600 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/14414/statm: 2287 266 226 213 0 72 0
[pid=14415] ppid=14414 vsize=149312 CPUtime=1775.39 cores=0,2,4,6
/proc/14415/stat : 14415 (glucose) R 14414 14275 3602 0 -1 4202496 27528 0 0 0 177512 27 0 0 20 0 1 0 292013585 152895488 36252 33554432000 4194304 5208918 140737074890704 140737074888696 4229338 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14415/statm: 37328 36252 103 248 0 37077 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 170332
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.11
CPU time (s): 1800.13
CPU user time (s): 1799.19
CPU system time (s): 0.937857
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 170332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.937857
maximum resident set size= 147056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118112
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 346
involuntary context switches= 2127
runsolver used 3.21051 second user time and 11.4583 second system time
The end