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-3713218-1338212009/watcher-3713218-1338212009 -o /tmp/evaluation-result-3713218-1338212009/solver-3713218-1338212009 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713218-1338212009.wbo 572652127 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.11 2.03 2.01 3/179 11542
/proc/meminfo: memFree=30955208/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0

[startup+0.0517909 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 11542
/proc/meminfo: memFree=30955208/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10028 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 11542
/proc/meminfo: memFree=30955208/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300275 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 11542
/proc/meminfo: memFree=30955208/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700235 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 11542
/proc/meminfo: memFree=30955208/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50031 s]
/proc/loadavg: 2.11 2.03 2.01 3/181 11544
/proc/meminfo: memFree=30924288/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=51860 CPUtime=1.4 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 6105 0 0 0 134 6 0 0 20 0 1 0 287326473 53104640 9249 33554432000 4194304 5990268 140733910159344 140733910152496 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 12965 9249 153 439 0 12522 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 61008

[startup+3.1004 s]
/proc/loadavg: 2.11 2.03 2.01 3/183 11546
/proc/meminfo: memFree=30699792/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=51860 CPUtime=1.4 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 6105 0 0 0 134 6 0 0 20 0 1 0 287326473 53104640 9249 33554432000 4194304 5990268 140733910159344 140733910152496 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 12965 9249 153 439 0 12522 0
[pid=11545] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11545/stat : 11545 (cp2_pre.sh) S 11543 11542 7066 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 287326613 9367552 276 33554432000 4194304 5064252 140734469217344 140734469216048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11545/statm: 2287 276 234 213 0 72 0
[pid=11546] ppid=11545 vsize=281444 CPUtime=1.68 cores=0,2,4,6
/proc/11546/stat : 11546 (coprocessor) R 11545 11542 7066 0 -1 4202496 37302 0 0 0 160 8 0 0 20 0 1 0 287326614 288198656 68936 33554432000 4194304 6586260 140735262654896 140735262650920 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/11546/statm: 70361 68937 184 584 0 69773 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 351600

[startup+6.30034 s]
/proc/loadavg: 2.10 2.03 2.00 3/183 11546
/proc/meminfo: memFree=30604828/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=51860 CPUtime=1.4 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 6105 0 0 0 134 6 0 0 20 0 1 0 287326473 53104640 9249 33554432000 4194304 5990268 140733910159344 140733910152496 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 12965 9249 153 439 0 12522 0
[pid=11545] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11545/stat : 11545 (cp2_pre.sh) S 11543 11542 7066 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 287326613 9367552 276 33554432000 4194304 5064252 140734469217344 140734469216048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11545/statm: 2287 276 234 213 0 72 0
[pid=11546] ppid=11545 vsize=296196 CPUtime=4.88 cores=0,2,4,6
/proc/11546/stat : 11546 (coprocessor) R 11545 11542 7066 0 -1 4202496 41388 0 0 0 480 8 0 0 20 0 1 0 287326614 303304704 73022 33554432000 4194304 6586260 140735262654896 140735262650216 5599298 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/11546/statm: 74049 73022 191 584 0 73461 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 366352

[startup+12.7003 s]
/proc/loadavg: 2.10 2.03 2.00 3/183 11546
/proc/meminfo: memFree=30504368/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=51860 CPUtime=1.4 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 6105 0 0 0 134 6 0 0 20 0 1 0 287326473 53104640 9249 33554432000 4194304 5990268 140733910159344 140733910152496 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 12965 9249 153 439 0 12522 0
[pid=11545] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11545/stat : 11545 (cp2_pre.sh) S 11543 11542 7066 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 287326613 9367552 276 33554432000 4194304 5064252 140734469217344 140734469216048 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11545/statm: 2287 276 234 213 0 72 0
[pid=11546] ppid=11545 vsize=422692 CPUtime=11.26 cores=0,2,4,6
/proc/11546/stat : 11546 (coprocessor) R 11545 11542 7066 0 -1 4202496 44590 0 0 0 1032 94 0 0 20 0 1 0 287326614 432836608 96477 33554432000 4194304 6586260 140735262654896 140735262650520 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/11546/statm: 105673 96477 198 584 0 105085 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 492848

[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 11556
/proc/meminfo: memFree=30665368/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=124308 CPUtime=15.89 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 10866 70643 0 0 177 14 1176 222 20 0 1 0 287326473 127291392 26438 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 31077 26438 166 439 0 30634 0
[pid=11555] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11555/stat : 11555 (satsolver.sh) S 11543 11542 7066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287328065 9367552 267 33554432000 4194304 5064252 140735132549472 140735132548384 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11555/statm: 2287 267 226 213 0 72 0
[pid=11556] ppid=11555 vsize=142852 CPUtime=9.56 cores=0,2,4,6
/proc/11556/stat : 11556 (glucose) R 11555 11542 7066 0 -1 4202496 25421 0 0 0 950 6 0 0 20 0 1 0 287328066 146280448 30530 33554432000 4194304 5208918 140735744299616 140735744297720 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11556/statm: 35713 30530 96 248 0 35462 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 285456

[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 11556
/proc/meminfo: memFree=30645944/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=124308 CPUtime=15.89 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 10866 70643 0 0 177 14 1176 222 20 0 1 0 287326473 127291392 26438 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 31077 26438 166 439 0 30634 0
[pid=11555] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11555/stat : 11555 (satsolver.sh) S 11543 11542 7066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287328065 9367552 267 33554432000 4194304 5064252 140735132549472 140735132548384 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11555/statm: 2287 267 226 213 0 72 0
[pid=11556] ppid=11555 vsize=146076 CPUtime=35.15 cores=0,2,4,6
/proc/11556/stat : 11556 (glucose) R 11555 11542 7066 0 -1 4202496 25808 0 0 0 3509 6 0 0 20 0 1 0 287328066 149581824 30917 33554432000 4194304 5208918 140735744299616 140735744297448 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11556/statm: 36519 30917 104 248 0 36268 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 288680

[startup+102.307 s]
/proc/loadavg: 2.15 2.05 2.01 3/182 11710
/proc/meminfo: memFree=30388836/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=124308 CPUtime=15.89 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 10866 70643 0 0 177 14 1176 222 20 0 1 0 287326473 127291392 26438 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 31077 26438 166 439 0 30634 0
[pid=11555] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11555/stat : 11555 (satsolver.sh) S 11543 11542 7066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287328065 9367552 267 33554432000 4194304 5064252 140735132549472 140735132548384 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11555/statm: 2287 267 226 213 0 72 0
[pid=11556] ppid=11555 vsize=146076 CPUtime=86.35 cores=0,2,4,6
/proc/11556/stat : 11556 (glucose) R 11555 11542 7066 0 -1 4202496 25808 0 0 0 8629 6 0 0 20 0 1 0 287328066 149581824 30917 33554432000 4194304 5208918 140735744299616 140735744297448 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11556/statm: 36519 30917 104 248 0 36268 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 288680

[startup+162.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 11791
/proc/meminfo: memFree=30343196/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=124308 CPUtime=15.89 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 10866 70643 0 0 177 14 1176 222 20 0 1 0 287326473 127291392 26438 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 31077 26438 166 439 0 30634 0
[pid=11555] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11555/stat : 11555 (satsolver.sh) S 11543 11542 7066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287328065 9367552 267 33554432000 4194304 5064252 140735132549472 140735132548384 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11555/statm: 2287 267 226 213 0 72 0
[pid=11556] ppid=11555 vsize=146076 CPUtime=146.33 cores=0,2,4,6
/proc/11556/stat : 11556 (glucose) R 11555 11542 7066 0 -1 4202496 26055 0 0 0 14626 7 0 0 20 0 1 0 287328066 149581824 31801 33554432000 4194304 5208918 140735744299616 140735744297448 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11556/statm: 36519 31801 104 248 0 36268 0
Current children cumulated CPU time (s) 162.22

################
# More data... #
################

/proc/11555/statm: 2287 267 226 213 0 72 0
[pid=11556] ppid=11555 vsize=160528 CPUtime=326.29 cores=0,2,4,6
/proc/11556/stat : 11556 (glucose) R 11555 11542 7066 0 -1 4202496 26960 0 0 0 32622 7 0 0 20 0 1 0 287328066 164380672 33333 33554432000 4194304 5208918 140735744299616 140735744297576 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11556/statm: 40132 33333 105 248 0 39881 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 303132

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 11801
/proc/meminfo: memFree=30359236/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=124308 CPUtime=393.1 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 16370 111940 0 0 213 19 38830 248 20 0 1 0 287326473 127291392 25414 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 31077 25414 166 439 0 30634 0
[pid=11800] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11800/stat : 11800 (satsolver.sh) S 11543 11542 7066 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287365795 9367552 267 33554432000 4194304 5064252 140733199747200 140733199746112 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11800/statm: 2287 267 226 213 0 72 0
[pid=11801] ppid=11800 vsize=130784 CPUtime=9.07 cores=0,2,4,6
/proc/11801/stat : 11801 (glucose) R 11800 11542 7066 0 -1 4202496 24593 0 0 0 901 6 0 0 20 0 1 0 287365795 133922816 29559 33554432000 4194304 5208918 140733965522576 140733965520408 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11801/statm: 32696 29559 104 248 0 32445 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 273388

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 11801
/proc/meminfo: memFree=30356204/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=124308 CPUtime=393.1 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 16370 111940 0 0 213 19 38830 248 20 0 1 0 287326473 127291392 25414 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 31077 25414 166 439 0 30634 0
[pid=11800] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11800/stat : 11800 (satsolver.sh) S 11543 11542 7066 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287365795 9367552 267 33554432000 4194304 5064252 140733199747200 140733199746112 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11800/statm: 2287 267 226 213 0 72 0
[pid=11801] ppid=11800 vsize=130784 CPUtime=69.04 cores=0,2,4,6
/proc/11801/stat : 11801 (glucose) R 11800 11542 7066 0 -1 4202496 24876 0 0 0 6898 6 0 0 20 0 1 0 287365795 133922816 29930 33554432000 4194304 5208918 140733965522576 140733965520408 4211147 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11801/statm: 32696 29930 105 248 0 32445 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 273388

Solver just ended. Dumping a history of the last processes samples

[startup+486.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 11802
/proc/meminfo: memFree=30354188/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=124308 CPUtime=393.1 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 16370 111940 0 0 213 19 38830 248 20 0 1 0 287326473 127291392 25414 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 31077 25414 166 439 0 30634 0
[pid=11800] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11800/stat : 11800 (satsolver.sh) S 11543 11542 7066 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287365795 9367552 267 33554432000 4194304 5064252 140733199747200 140733199746112 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11800/statm: 2287 267 226 213 0 72 0
[pid=11801] ppid=11800 vsize=130784 CPUtime=93.04 cores=0,2,4,6
/proc/11801/stat : 11801 (glucose) R 11800 11542 7066 0 -1 4202496 24881 0 0 0 9298 6 0 0 20 0 1 0 287365795 133922816 30442 33554432000 4194304 5208918 140733965522576 140733965520408 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11801/statm: 32696 30442 105 248 0 32445 0
Current children cumulated CPU time (s) 486.14
Current children cumulated vsize (KiB) 273388

[startup+499.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 11809
/proc/meminfo: memFree=30424996/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=91540 CPUtime=491.1 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 21088 150633 0 0 230 21 48587 272 20 0 1 0 287326473 93736960 19167 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 22885 19167 166 439 0 22442 0
[pid=11808] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11808/stat : 11808 (satsolver.sh) S 11543 11542 7066 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287375597 9367552 267 33554432000 4194304 5064252 140737020655568 140737020654480 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11808/statm: 2287 267 226 213 0 72 0
[pid=11809] ppid=11808 vsize=102692 CPUtime=7.84 cores=0,2,4,6
/proc/11809/stat : 11809 (glucose) R 11808 11542 7066 0 -1 4202496 17322 0 0 0 781 3 0 0 20 0 1 0 287375598 105156608 22360 33554432000 4194304 5208918 140737346872512 140737346870344 4205203 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11809/statm: 25673 22360 104 248 0 25422 0
Current children cumulated CPU time (s) 498.94
Current children cumulated vsize (KiB) 212528

[startup+511.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 11809
/proc/meminfo: memFree=30485096/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=91540 CPUtime=511.24 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 21095 168563 0 0 230 21 50597 276 20 0 1 0 287326473 93736960 19167 33554432000 4194304 5990268 140733910159344 140733910150272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11543/statm: 22885 19167 166 439 0 22442 0
Current children cumulated CPU time (s) 511.24
Current children cumulated vsize (KiB) 100688

[startup+515.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 11826
/proc/meminfo: memFree=30419280/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=91540 CPUtime=514.92 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 28658 239070 0 0 243 22 50914 313 20 0 1 0 287326473 93736960 19167 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11543/statm: 22885 19167 166 439 0 22442 0
Current children cumulated CPU time (s) 514.92
Current children cumulated vsize (KiB) 100688

[startup+516.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 11833
/proc/meminfo: memFree=30447124/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=91540 CPUtime=516.09 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 30718 266203 0 0 246 22 51018 323 20 0 1 0 287326473 93736960 19167 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11543/statm: 22885 19167 166 439 0 22442 0
Current children cumulated CPU time (s) 516.09
Current children cumulated vsize (KiB) 100688

[startup+517.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 11837
/proc/meminfo: memFree=30462376/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=91540 CPUtime=516.85 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 30725 280607 0 0 246 22 51089 328 20 0 1 0 287326473 93736960 19167 33554432000 4194304 5990268 140733910159344 140733910150272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11543/statm: 22885 19167 166 439 0 22442 0
Current children cumulated CPU time (s) 516.85
Current children cumulated vsize (KiB) 100688

[startup+518.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 11844
/proc/meminfo: memFree=30467020/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=91540 CPUtime=517.57 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 32778 294220 0 0 249 23 51151 334 20 0 1 0 287326473 93736960 19167 33554432000 4194304 5990268 140733910159344 140733910150784 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11543/statm: 22885 19167 166 439 0 22442 0
[pid=11843] ppid=11543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11843/stat : 11843 (satsolver.sh) S 11543 11542 7066 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287378255 9367552 267 33554432000 4194304 5064252 140736357947328 140736357946240 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11843/statm: 2287 267 226 213 0 72 0
[pid=11844] ppid=11843 vsize=85432 CPUtime=0.46 cores=0,2,4,6
/proc/11844/stat : 11844 (glucose) R 11843 11542 7066 0 -1 4202496 13487 0 0 0 44 2 0 0 20 0 1 0 287378255 87482368 15183 33554432000 4194304 5208918 140733453483360 140733453481192 4232841 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11844/statm: 21358 15183 95 248 0 21107 0
Current children cumulated CPU time (s) 518.03
Current children cumulated vsize (KiB) 195268

[startup+518.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 11844
/proc/meminfo: memFree=30467020/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=91540 CPUtime=518.2 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 32785 308349 0 0 249 23 51211 337 20 0 1 0 287326473 93736960 19167 33554432000 4194304 5990268 140733910159344 140733910150272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11543/statm: 22885 19167 166 439 0 22442 0
Current children cumulated CPU time (s) 518.2
Current children cumulated vsize (KiB) 100688

[startup+518.8 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 11844
/proc/meminfo: memFree=30467020/32873844 swapFree=7624/7624
[pid=11542] ppid=11540 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11542/stat : 11542 (npSolver-wbo.sh) S 11540 11542 7066 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287326473 9367552 275 33554432000 4194304 5064252 140733351612912 140733351611824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11542/statm: 2287 275 233 213 0 72 0
[pid=11543] ppid=11542 vsize=91540 CPUtime=518.2 cores=0,2,4,6
/proc/11543/stat : 11543 (npSolver-wbo) S 11542 11542 7066 0 -1 4202496 32785 308349 0 0 249 23 51211 337 20 0 1 0 287326473 93736960 19167 33554432000 4194304 5990268 140733910159344 140733910150272 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11543/statm: 22885 19167 166 439 0 22442 0
Current children cumulated CPU time (s) 518.2
Current children cumulated vsize (KiB) 100688

Child status: 0
Real time (s): 518.9
CPU time (s): 518.662
CPU user time (s): 515
CPU system time (s): 3.66244
CPU usage (%): 99.9541
Max. virtual memory (cumulated for all children) (KiB): 492848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 515
system time used= 3.66244
maximum resident set size= 409060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 359416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8219
involuntary context switches= 710

runsolver used 1.17182 second user time and 2.95455 second system time

The end