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-3714349-1338310762/watcher-3714349-1338310762 -o /tmp/evaluation-result-3714349-1338310762/solver-3714349-1338310762 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714349-1338310762.wbo 2123189216 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.00 0.00 1.40 2/173 19536
/proc/meminfo: memFree=30657832/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[startup+0.046813 s]
/proc/loadavg: 0.00 0.00 1.40 2/173 19536
/proc/meminfo: memFree=30657832/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100246 s]
/proc/loadavg: 0.00 0.00 1.40 2/173 19536
/proc/meminfo: memFree=30657832/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 0.00 0.00 1.40 2/173 19536
/proc/meminfo: memFree=30657832/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700294 s]
/proc/loadavg: 0.00 0.00 1.40 2/173 19536
/proc/meminfo: memFree=30657832/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 0.00 0.00 1.40 2/178 19545
/proc/meminfo: memFree=30558408/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=19744 CPUtime=0.63 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 4971 0 0 0 59 4 0 0 20 0 1 0 297200973 20217856 4085 33554432000 4194304 5990268 140736836411552 140736836404704 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 4936 4085 153 439 0 4493 0
[pid=19539] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19539/stat : 19539 (cp2_pre.sh) S 19537 19536 19506 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 297201037 9367552 277 33554432000 4194304 5064252 140734411931952 140734411930656 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19539/statm: 2287 277 234 213 0 72 0
[pid=19540] ppid=19539 vsize=104236 CPUtime=0.84 cores=1,3,5,7
/proc/19540/stat : 19540 (coprocessor) R 19539 19536 19506 0 -1 4202496 18586 0 0 0 80 4 0 0 20 0 1 0 297201037 106737664 25179 33554432000 4194304 6586260 140734030148144 140734030144408 5599243 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19540/statm: 26059 25179 191 584 0 25471 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 142276
[startup+3.10041 s]
/proc/loadavg: 0.00 0.00 1.40 3/185 19557
/proc/meminfo: memFree=30487684/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=19744 CPUtime=0.63 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 4971 0 0 0 59 4 0 0 20 0 1 0 297200973 20217856 4085 33554432000 4194304 5990268 140736836411552 140736836404704 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 4936 4085 153 439 0 4493 0
[pid=19539] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19539/stat : 19539 (cp2_pre.sh) S 19537 19536 19506 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 297201037 9367552 277 33554432000 4194304 5064252 140734411931952 140734411930656 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19539/statm: 2287 277 234 213 0 72 0
[pid=19540] ppid=19539 vsize=120860 CPUtime=2.45 cores=1,3,5,7
/proc/19540/stat : 19540 (coprocessor) R 19539 19536 19506 0 -1 4202496 20980 0 0 0 240 5 0 0 20 0 1 0 297201037 123760640 28522 33554432000 4194304 6586260 140734030148144 140734030144472 4668254 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19540/statm: 30215 28522 200 584 0 29627 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 158900
[startup+6.30031 s]
/proc/loadavg: 0.16 0.03 1.40 3/183 19575
/proc/meminfo: memFree=30128772/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=271776 CPUtime=6.13 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) R 19536 19536 19506 0 -1 4202496 13603 36802 0 0 205 35 327 46 20 0 1 0 297200973 278298624 59702 33554432000 4194304 5990268 140736836411552 140736836403912 5180875 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 67944 59702 166 439 0 67501 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 280924
[startup+12.7003 s]
/proc/loadavg: 0.39 0.08 1.41 3/185 19577
/proc/meminfo: memFree=29675532/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=308660 CPUtime=6.27 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 50033 0 0 0 610 17 0 0 20 0 1 0 297201614 316067840 64346 33554432000 4194304 5208918 140736408026160 140736408023992 4211599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 77165 64346 104 248 0 76914 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 499272
[startup+25.5005 s]
/proc/loadavg: 0.74 0.18 1.42 3/185 19577
/proc/meminfo: memFree=29679124/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=308660 CPUtime=19.07 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 50034 0 0 0 1890 17 0 0 20 0 1 0 297201614 316067840 64858 33554432000 4194304 5208918 140736408026160 140736408023992 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 77165 64858 104 248 0 76914 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 499272
[startup+51.1004 s]
/proc/loadavg: 1.17 0.32 1.43 3/186 19580
/proc/meminfo: memFree=29674764/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=308660 CPUtime=44.67 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 50034 0 0 0 4450 17 0 0 20 0 1 0 297201614 316067840 64858 33554432000 4194304 5208918 140736408026160 140736408023992 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 77165 64858 104 248 0 76914 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 499272
[startup+102.307 s]
/proc/loadavg: 1.64 0.58 1.46 3/186 19604
/proc/meminfo: memFree=29668448/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=308660 CPUtime=95.87 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 50034 0 0 0 9570 17 0 0 20 0 1 0 297201614 316067840 64858 33554432000 4194304 5208918 140736408026160 140736408023992 4211042 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 77165 64858 104 248 0 76914 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 499272
[startup+162.3 s]
/proc/loadavg: 1.87 0.83 1.49 3/185 19604
/proc/meminfo: memFree=29661876/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=308660 CPUtime=155.85 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 50034 0 0 0 15568 17 0 0 20 0 1 0 297201614 316067840 64858 33554432000 4194304 5208918 140736408026160 140736408023992 4211019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 77165 64858 104 248 0 76914 0
Current children cumulated CPU time (s) 162.1
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.07 2.00 1.85 3/185 19614
/proc/meminfo: memFree=29567204/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=315332 CPUtime=1415.63 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 52000 0 0 0 141545 18 0 0 20 0 1 0 297201614 322899968 71432 33554432000 4194304 5208918 140736408026160 140736408023912 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 78833 71432 105 248 0 78582 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 505944
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.85 3/185 19614
/proc/meminfo: memFree=29565032/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=315332 CPUtime=1475.62 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 52028 0 0 0 147544 18 0 0 20 0 1 0 297201614 322899968 71460 33554432000 4194304 5208918 140736408026160 140736408021864 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 78833 71460 105 248 0 78582 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 505944
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.86 3/185 19614
/proc/meminfo: memFree=29559504/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=317032 CPUtime=1535.6 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 52337 0 0 0 153542 18 0 0 20 0 1 0 297201614 324640768 72345 33554432000 4194304 5208918 140736408026160 140736408022536 4211156 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 79258 72345 105 248 0 79007 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 507644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/185 19614
/proc/meminfo: memFree=29554416/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=317788 CPUtime=1595.6 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 52581 0 0 0 159541 19 0 0 20 0 1 0 297201614 325414912 72589 33554432000 4194304 5208918 140736408026160 140736408023912 4228947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 79447 72589 105 248 0 79196 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 508400
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/185 19615
/proc/meminfo: memFree=29549700/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=318244 CPUtime=1655.59 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 52708 0 0 0 165540 19 0 0 20 0 1 0 297201614 325881856 73227 33554432000 4194304 5208918 140736408026160 140736408023912 4211162 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 79561 73227 105 248 0 79310 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 508856
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.88 3/185 19615
/proc/meminfo: memFree=29547652/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=318400 CPUtime=1715.58 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 52747 0 0 0 171539 19 0 0 20 0 1 0 297201614 326041600 73266 33554432000 4194304 5208918 140736408026160 140736408023912 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 79600 73266 105 248 0 79349 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 509012
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.89 3/185 19615
/proc/meminfo: memFree=29544860/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=318708 CPUtime=1775.57 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 52808 0 0 0 177538 19 0 0 20 0 1 0 297201614 326356992 73327 33554432000 4194304 5208918 140736408026160 140736408023912 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 79677 73327 105 248 0 79426 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 509320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 1.89 3/185 19615
/proc/meminfo: memFree=29545232/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=318708 CPUtime=1793.77 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 52809 0 0 0 179358 19 0 0 20 0 1 0 297201614 326356992 73328 33554432000 4194304 5208918 140736408026160 140736408023912 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 79677 73328 105 248 0 79426 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 509320
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 1.89 3/185 19615
/proc/meminfo: memFree=29545232/32873844 swapFree=7620/7620
[pid=19536] ppid=19534 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (npSolver-wbo-I.) S 19534 19536 19506 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297200973 9367552 275 33554432000 4194304 5064252 140734808983312 140734808982224 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19536/statm: 2287 275 233 213 0 72 0
[pid=19537] ppid=19536 vsize=172316 CPUtime=6.25 cores=1,3,5,7
/proc/19537/stat : 19537 (npSolver-wbo) S 19536 19536 19506 0 -1 4202496 13605 36802 0 0 205 47 327 46 20 0 1 0 297200973 176451584 34838 33554432000 4194304 5990268 140736836411552 140736836402992 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19537/statm: 43079 34838 166 439 0 42636 0
[pid=19576] ppid=19537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19576/stat : 19576 (satsolver.sh) S 19537 19536 19506 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297201614 9367552 267 33554432000 4194304 5064252 140734656690864 140734656689776 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19576/statm: 2287 267 226 213 0 72 0
[pid=19577] ppid=19576 vsize=318708 CPUtime=1793.77 cores=1,3,5,7
/proc/19577/stat : 19577 (glucose) R 19576 19536 19506 0 -1 4202496 52809 0 0 0 179358 19 0 0 20 0 1 0 297201614 326356992 73328 33554432000 4194304 5208918 140736408026160 140736408023912 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19577/statm: 79677 73328 105 248 0 79426 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 509320
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1798.92
CPU system time (s): 1.13983
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 567012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.13983
maximum resident set size= 325736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104206
page faults= 0
swaps= 0
block input operations= 0
block output operations= 245560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 336
involuntary context switches= 1870
runsolver used 7.03193 second user time and 18.6112 second system time
The end