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-3752847-1339211699/watcher-3752847-1339211699 -o /tmp/evaluation-result-3752847-1339211699/solver-3752847-1339211699 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752847-1339211699.wbo 215444042 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: 1.98 1.95 1.97 3/179 29589
/proc/meminfo: memFree=30869404/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[startup+0.027038 s]
/proc/loadavg: 1.98 1.95 1.97 3/179 29589
/proc/meminfo: memFree=30869404/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 1.98 1.95 1.97 3/179 29589
/proc/meminfo: memFree=30869404/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30016 s]
/proc/loadavg: 1.98 1.95 1.97 3/179 29589
/proc/meminfo: memFree=30869404/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700169 s]
/proc/loadavg: 1.98 1.95 1.97 3/179 29589
/proc/meminfo: memFree=30869404/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.98 1.95 1.97 3/178 29647
/proc/meminfo: memFree=30869728/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=12608 CPUtime=0.13 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 4004 6408 0 0 6 2 4 1 20 0 1 0 387297282 12910592 2649 33554432000 4194304 6006132 140735517681936 140735517673296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 3152 2649 176 443 0 2705 0
[pid=29605] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29605/stat : 29605 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387297298 9367552 267 33554432000 4194304 5064252 140734808469872 140734808468784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29605/statm: 2287 267 226 213 0 72 0
[pid=29606] ppid=29605 vsize=28664 CPUtime=1.31 cores=0,2,4,6
/proc/29606/stat : 29606 (glucose) R 29605 29589 9019 0 -1 4202496 6196 0 0 0 130 1 0 0 20 0 1 0 387297298 29351936 6478 33554432000 4194304 5208918 140736002403568 140736002401400 4229251 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29606/statm: 7166 6478 100 248 0 6915 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 59568
[startup+3.10035 s]
/proc/loadavg: 1.99 1.95 1.97 3/181 29670
/proc/meminfo: memFree=30855556/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=12608 CPUtime=0.13 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 4004 6408 0 0 6 2 4 1 20 0 1 0 387297282 12910592 2649 33554432000 4194304 6006132 140735517681936 140735517673296 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 3152 2649 176 443 0 2705 0
[pid=29605] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29605/stat : 29605 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387297298 9367552 267 33554432000 4194304 5064252 140734808469872 140734808468784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29605/statm: 2287 267 226 213 0 72 0
[pid=29606] ppid=29605 vsize=28796 CPUtime=2.91 cores=0,2,4,6
/proc/29606/stat : 29606 (glucose) R 29605 29589 9019 0 -1 4202496 6240 0 0 0 290 1 0 0 20 0 1 0 387297298 29487104 6522 33554432000 4194304 5208918 140736002403568 140736002401416 4229776 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29606/statm: 7199 6522 102 248 0 6948 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 59700
[startup+6.30031 s]
/proc/loadavg: 1.99 1.95 1.97 3/183 29672
/proc/meminfo: memFree=30623080/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.26 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) R 29589 29589 9019 0 -1 4202496 7448 16381 0 0 35 3 584 4 20 0 1 0 387297282 56713216 10582 33554432000 4194304 6006132 140735517681936 140735517673872 4583839 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 10582 192 443 0 13399 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 64532
[startup+12.7003 s]
/proc/loadavg: 1.99 1.96 1.97 3/183 29679
/proc/meminfo: memFree=30528076/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=71116 CPUtime=6.32 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 15464 0 0 0 628 4 0 0 20 0 1 0 387297918 72822784 16615 33554432000 4194304 5208918 140735576016064 140735576013912 4229776 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29679/statm: 17779 16615 104 248 0 17528 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 144796
[startup+25.5004 s]
/proc/loadavg: 1.99 1.96 1.97 3/183 29679
/proc/meminfo: memFree=30477824/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=121252 CPUtime=19.11 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 17162 0 0 0 1906 5 0 0 20 0 1 0 387297918 124162048 27248 33554432000 4194304 5208918 140735576016064 140735576011752 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 30313 27248 104 248 0 30062 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 194932
[startup+51.1004 s]
/proc/loadavg: 1.99 1.96 1.97 3/183 29679
/proc/meminfo: memFree=30460472/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=121252 CPUtime=44.71 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 17167 0 0 0 4465 6 0 0 20 0 1 0 387297918 124162048 28786 33554432000 4194304 5208918 140735576016064 140735576012440 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 30313 28786 104 248 0 30062 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 194932
[startup+102.307 s]
/proc/loadavg: 1.99 1.96 1.97 3/183 29680
/proc/meminfo: memFree=30436300/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=121252 CPUtime=95.9 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 18292 0 0 0 9583 7 0 0 20 0 1 0 387297918 124162048 29172 33554432000 4194304 5208918 140735576016064 140735576012440 4211599 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29679/statm: 30313 29172 104 248 0 30062 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 194932
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.97 3/183 29680
/proc/meminfo: memFree=30354060/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=182892 CPUtime=155.88 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 19579 0 0 0 15578 10 0 0 20 0 1 0 387297918 187281408 43742 33554432000 4194304 5208918 140735576016064 140735576012376 4213136 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29679/statm: 45723 43742 104 248 0 45472 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 42086 0 0 0 141496 65 0 0 20 0 1 0 387297918 270131200 58451 33554432000 4194304 5208918 140735576016064 140735576012440 4212818 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29679/statm: 65950 58451 104 248 0 65699 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 337480
[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 29692
/proc/meminfo: memFree=30143236/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=263800 CPUtime=1475.6 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 43219 0 0 0 147492 68 0 0 20 0 1 0 387297918 270131200 56403 33554432000 4194304 5208918 140735576016064 140735576012440 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29679/statm: 65950 56403 104 248 0 65699 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 337480
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 29695
/proc/meminfo: memFree=30175120/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=263800 CPUtime=1535.59 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 44359 0 0 0 153488 71 0 0 20 0 1 0 387297918 270131200 55379 33554432000 4194304 5208918 140735576016064 140735576012440 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29679/statm: 65950 55379 104 248 0 65699 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 337480
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 29696
/proc/meminfo: memFree=30162168/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=213712 CPUtime=1595.58 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 44664 0 0 0 159485 73 0 0 20 0 1 0 387297918 218841088 50983 33554432000 4194304 5208918 140735576016064 140735576012440 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29679/statm: 53428 50983 104 248 0 53177 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 287392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 29696
/proc/meminfo: memFree=30161068/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=265080 CPUtime=1655.56 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 45726 0 0 0 165482 74 0 0 20 0 1 0 387297918 271441920 56122 33554432000 4194304 5208918 140735576016064 140735576013896 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29679/statm: 66270 56122 104 248 0 66019 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 338760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 29696
/proc/meminfo: memFree=30130036/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=216336 CPUtime=1715.54 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 46365 0 0 0 171479 75 0 0 20 0 1 0 387297918 221528064 51034 33554432000 4194304 5208918 140735576016064 140735576013896 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29679/statm: 54084 51034 104 248 0 53833 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 290016
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 29696
/proc/meminfo: memFree=30104304/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=266580 CPUtime=1775.53 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 47346 0 0 0 177477 76 0 0 20 0 1 0 387297918 272977920 61715 33554432000 4194304 5208918 140735576016064 140735576012440 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29679/statm: 66645 61715 104 248 0 66394 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 340260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 29696
/proc/meminfo: memFree=30136440/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=266712 CPUtime=1793.73 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 47354 0 0 0 179297 76 0 0 20 0 1 0 387297918 273113088 63256 33554432000 4194304 5208918 140735576016064 140735576013912 4213115 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29679/statm: 66678 63256 104 248 0 66427 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 340392
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.00 2.01 2.00 3/183 29696
/proc/meminfo: memFree=30136440/32873648 swapFree=7124/7124
[pid=29589] ppid=29587 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29589/stat : 29589 (npSolver-wbo-It) S 29587 29589 9019 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387297282 9367552 274 33554432000 4194304 5064252 140734177652112 140734177651024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29589/statm: 2287 274 233 213 0 72 0
[pid=29590] ppid=29589 vsize=55384 CPUtime=6.34 cores=0,2,4,6
/proc/29590/stat : 29590 (npSolver-wbo) S 29589 29589 9019 0 -1 4202496 8167 16381 0 0 39 7 584 4 20 0 1 0 387297282 56713216 11094 33554432000 4194304 6006132 140735517681936 140735517673328 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29590/statm: 13846 11094 192 443 0 13399 0
[pid=29678] ppid=29590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29678/stat : 29678 (satsolver.sh) S 29590 29589 9019 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387297918 9367552 267 33554432000 4194304 5064252 140734200034480 140734200033392 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29678/statm: 2287 267 226 213 0 72 0
[pid=29679] ppid=29678 vsize=266712 CPUtime=1793.73 cores=0,2,4,6
/proc/29679/stat : 29679 (glucose) R 29678 29589 9019 0 -1 4202496 47354 0 0 0 179297 76 0 0 20 0 1 0 387297918 273113088 63256 33554432000 4194304 5208918 140735576016064 140735576013912 4213115 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29679/statm: 66678 63256 104 248 0 66427 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 340392
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29589 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=236051
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118981
# CPU time returned by wait4() is 6.35503
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.2
CPU system time (s): 0.87
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 419668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.23605
system time used= 0.118981
maximum resident set size= 65636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 49424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42
involuntary context switches= 54
runsolver used 2.80457 second user time and 7.03893 second system time
The end