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-3754733-1339183734/watcher-3754733-1339183734 -o /tmp/evaluation-result-3754733-1339183734/solver-3754733-1339183734 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754733-1339183734.wbo 1715963961 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 1.27 1.65 3/175 2397
/proc/meminfo: memFree=30640172/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[startup+0.027288 s]
/proc/loadavg: 0.93 1.27 1.65 3/175 2397
/proc/meminfo: memFree=30640172/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 0.93 1.27 1.65 3/175 2397
/proc/meminfo: memFree=30640172/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300308 s]
/proc/loadavg: 0.93 1.27 1.65 3/175 2397
/proc/meminfo: memFree=30640172/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700308 s]
/proc/loadavg: 0.93 1.27 1.65 3/175 2397
/proc/meminfo: memFree=30640172/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 0.93 1.27 1.65 3/177 2399
/proc/meminfo: memFree=30418776/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=195492 CPUtime=1.49 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) R 2397 2397 982 0 -1 4202496 22618 0 0 0 143 6 0 0 20 0 1 0 384498933 200183808 41133 33554432000 4194304 6006132 140733556291152 140733556286504 4721343 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2398/statm: 48873 41133 151 443 0 48426 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 204640
[startup+3.10026 s]
/proc/loadavg: 0.93 1.27 1.65 3/179 2401
/proc/meminfo: memFree=30251728/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=195492 CPUtime=3.08 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) R 2397 2397 982 0 -1 4202496 22623 0 0 0 278 30 0 0 20 0 1 0 384498933 200183808 41138 33554432000 4194304 6006132 140733556291152 140733556286504 5192048 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2398/statm: 48873 41138 156 443 0 48426 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 204640
[startup+6.30034 s]
/proc/loadavg: 1.09 1.30 1.66 3/182 2409
/proc/meminfo: memFree=30041612/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=195492 CPUtime=3.36 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 22626 0 0 0 283 53 0 0 20 0 1 0 384498933 200183808 41140 33554432000 4194304 6006132 140733556291152 140733556284256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/2398/statm: 48873 41140 158 443 0 48426 0
[pid=2402] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2402/stat : 2402 (cp2_pre.sh) S 2398 2397 982 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 384499282 9367552 276 33554432000 4194304 5064252 140734585860416 140734585859120 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2402/statm: 2287 276 234 213 0 72 0
[pid=2403] ppid=2402 vsize=312316 CPUtime=2.79 cores=1,3,5,7
/proc/2403/stat : 2403 (coprocessor) R 2402 2397 982 0 -1 4202496 37411 0 0 0 270 9 0 0 20 0 1 0 384499282 319811584 75927 33554432000 4194304 6586260 140733971008192 140733971004056 5599555 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/2403/statm: 78079 75927 189 584 0 77491 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 526104
[startup+12.7003 s]
/proc/loadavg: 1.25 1.33 1.66 3/181 2413
/proc/meminfo: memFree=29192660/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=195492 CPUtime=3.36 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 22626 0 0 0 283 53 0 0 20 0 1 0 384498933 200183808 41140 33554432000 4194304 6006132 140733556291152 140733556284256 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/2398/statm: 48873 41140 158 443 0 48426 0
[pid=2402] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2402/stat : 2402 (cp2_pre.sh) S 2398 2397 982 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 384499282 9367552 276 33554432000 4194304 5064252 140734585860416 140734585859120 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2402/statm: 2287 276 234 213 0 72 0
[pid=2403] ppid=2402 vsize=313504 CPUtime=9.2 cores=1,3,5,7
/proc/2403/stat : 2403 (coprocessor) R 2402 2397 982 0 -1 4202496 37719 0 0 0 909 11 0 0 20 0 1 0 384499282 321028096 76235 33554432000 4194304 6586260 140733971008192 140733971003560 5599492 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/2403/statm: 78376 76235 190 584 0 77788 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 527292
[startup+25.5004 s]
/proc/loadavg: 1.49 1.37 1.67 3/179 2421
/proc/meminfo: memFree=28437548/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=1157052 CPUtime=25.35 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) R 2397 2397 982 0 -1 4202496 74136 71703 0 0 705 151 1648 31 20 0 1 0 384498933 1184821248 203142 33554432000 4194304 6006132 140733556291152 140733556283512 5057738 0 0 4096 0 0 0 0 17 3 0 0 11 0 0
/proc/2398/statm: 289263 203142 179 443 0 288816 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 1166200
[startup+51.1004 s]
/proc/loadavg: 1.66 1.42 1.68 3/179 2421
/proc/meminfo: memFree=24784264/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=4325836 CPUtime=50.95 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) R 2397 2397 982 0 -1 4202496 78353 71703 0 0 3106 310 1648 31 20 0 1 0 384498933 4429656064 1059850 33554432000 4194304 6006132 140733556291152 140733556283304 5195051 0 0 4096 0 0 0 0 17 3 0 0 11 0 0
/proc/2398/statm: 1081459 1059850 180 443 0 1081012 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 4334984
[startup+102.308 s]
/proc/loadavg: 2.39 1.66 1.75 3/182 2426
/proc/meminfo: memFree=20576892/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4452000 CPUtime=48.77 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 485748 0 0 0 4651 226 0 0 20 0 1 0 384504285 4558848000 1050203 33554432000 4194304 5208918 140734561942128 140734561940088 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113000 1050203 96 248 0 1112749 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 6756224
[startup+162.3 s]
/proc/loadavg: 2.14 1.72 1.76 3/181 2426
/proc/meminfo: memFree=20577272/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4452000 CPUtime=108.75 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 485749 0 0 0 10649 226 0 0 20 0 1 0 384504285 4558848000 1050204 33554432000 4194304 5208918 140734561942128 140734561940088 4205207 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113000 1050204 96 248 0 1112749 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 6756224
[startup+222.3 s]
/proc/loadavg: 2.05 1.77 1.77 3/181 2426
/proc/meminfo: memFree=20579256/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4452000 CPUtime=168.74 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 485751 0 0 0 16648 226 0 0 20 0 1 0 384504285 4558848000 1050206 33554432000 4194304 5208918 140734561942128 140734561940088 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113000 1050206 96 248 0 1112749 0
Current children cumulated CPU time (s) 222.07
################
# More data... #
################
/proc/2423/statm: 1113037 1050248 96 248 0 1112786 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 6756372
[startup+1482.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/181 2438
/proc/meminfo: memFree=20579380/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4452148 CPUtime=1428.55 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 485794 0 0 0 142629 226 0 0 20 0 1 0 384504285 4558999552 1050249 33554432000 4194304 5208918 140734561942128 140734561939800 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113037 1050249 96 248 0 1112786 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 6756372
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/181 2438
/proc/meminfo: memFree=20577892/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4453336 CPUtime=1488.55 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 486199 0 0 0 148628 227 0 0 20 0 1 0 384504285 4560216064 1050654 33554432000 4194304 5208918 140734561942128 140734561939976 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113334 1050654 96 248 0 1113083 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 6757560
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 2438
/proc/meminfo: memFree=20575164/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4455816 CPUtime=1548.54 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 486759 0 0 0 154627 227 0 0 20 0 1 0 384504285 4562755584 1051214 33554432000 4194304 5208918 140734561942128 140734561940008 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113954 1051214 105 248 0 1113703 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 6760040
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 2438
/proc/meminfo: memFree=20575288/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4455816 CPUtime=1608.53 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 486760 0 0 0 160626 227 0 0 20 0 1 0 384504285 4562755584 1051215 33554432000 4194304 5208918 140734561942128 140734561940008 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113954 1051215 105 248 0 1113703 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 6760040
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 2438
/proc/meminfo: memFree=20575164/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4455816 CPUtime=1668.52 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 486760 0 0 0 166625 227 0 0 20 0 1 0 384504285 4562755584 1051215 33554432000 4194304 5208918 140734561942128 140734561940008 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113954 1051215 105 248 0 1113703 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 6760040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 2439
/proc/meminfo: memFree=20574792/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4455816 CPUtime=1728.51 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 486761 0 0 0 172624 227 0 0 20 0 1 0 384504285 4562755584 1051216 33554432000 4194304 5208918 140734561942128 140734561940008 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113954 1051216 105 248 0 1113703 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 6760040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.91 2/173 2464
/proc/meminfo: memFree=22179816/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4455816 CPUtime=1746.72 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 486761 0 0 0 174445 227 0 0 20 0 1 0 384504285 4562755584 1051216 33554432000 4194304 5208918 140734561942128 140734561940008 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113954 1051216 105 248 0 1113703 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 6760040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.91 2/173 2464
/proc/meminfo: memFree=22179816/32873852 swapFree=7632/7632
[pid=2397] ppid=2395 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2397/stat : 2397 (npSolver-wbo.sh) S 2395 2397 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384498933 9367552 275 33554432000 4194304 5064252 140736552804592 140736552803504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2397/statm: 2287 275 233 213 0 72 0
[pid=2398] ppid=2397 vsize=2285928 CPUtime=53.33 cores=1,3,5,7
/proc/2398/stat : 2398 (npSolver-wbo) S 2397 2397 982 0 -1 4202496 78354 71703 0 0 3106 548 1648 31 20 0 1 0 384498933 2340790272 549874 33554432000 4194304 6006132 140733556291152 140733556282560 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/2398/statm: 571482 549874 180 443 0 571035 0
[pid=2422] ppid=2398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2422/stat : 2422 (satsolver.sh) S 2398 2397 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384504284 9367552 267 33554432000 4194304 5064252 140734130394624 140734130393536 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2422/statm: 2287 267 226 213 0 72 0
[pid=2423] ppid=2422 vsize=4455816 CPUtime=1746.72 cores=1,3,5,7
/proc/2423/stat : 2423 (glucose) R 2422 2397 982 0 -1 4202496 486761 0 0 0 174445 227 0 0 20 0 1 0 384504285 4562755584 1051216 33554432000 4194304 5208918 140734561942128 140734561940008 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2423/statm: 1113954 1051216 105 248 0 1113703 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 6760040
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2397 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.05
CPU user time (s): 1791.99
CPU system time (s): 8.06
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 8173876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 4.27135 second user time and 12.6531 second system time
The end