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-3750092-1339181571/watcher-3750092-1339181571 -o /tmp/evaluation-result-3750092-1339181571/solver-3750092-1339181571 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750092-1339181571.opb 1340212055 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.84 1.97 1.99 2/175 32694
/proc/meminfo: memFree=31528520/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[startup+0.0342411 s]
/proc/loadavg: 1.84 1.97 1.99 2/175 32694
/proc/meminfo: memFree=31528520/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 1.84 1.97 1.99 2/175 32694
/proc/meminfo: memFree=31528520/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300246 s]
/proc/loadavg: 1.84 1.97 1.99 2/175 32694
/proc/meminfo: memFree=31528520/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700148 s]
/proc/loadavg: 1.84 1.97 1.99 2/175 32694
/proc/meminfo: memFree=31528520/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 1.84 1.97 1.99 3/183 32702
/proc/meminfo: memFree=31176836/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=37592 CPUtime=0.49 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 8253 0 0 0 45 4 0 0 20 0 1 0 384285660 38494208 7798 33554432000 4194304 6004724 140737092111504 140737092105552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32696/statm: 9398 7798 164 442 0 8952 0
[pid=32699] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32699/stat : 32699 (cp2_pre.sh) S 32696 32694 31464 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 384285711 9367552 277 33554432000 4194304 5064252 140735424541648 140735424540352 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32699/statm: 2287 277 234 213 0 72 0
[pid=32700] ppid=32699 vsize=163544 CPUtime=0.98 cores=0,2,4,6
/proc/32700/stat : 32700 (coprocessor) R 32699 32694 31464 0 -1 4202496 29526 0 0 0 93 5 0 0 20 0 1 0 384285711 167469056 39259 33554432000 4194304 6586260 140735129450080 140735129446344 4775781 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/32700/statm: 40886 39259 182 584 0 40298 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 219432
[startup+3.10039 s]
/proc/loadavg: 1.85 1.97 1.99 3/183 32702
/proc/meminfo: memFree=31079384/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=37592 CPUtime=0.49 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 8253 0 0 0 45 4 0 0 20 0 1 0 384285660 38494208 7798 33554432000 4194304 6004724 140737092111504 140737092105552 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32696/statm: 9398 7798 164 442 0 8952 0
[pid=32699] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32699/stat : 32699 (cp2_pre.sh) S 32696 32694 31464 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 384285711 9367552 277 33554432000 4194304 5064252 140735424541648 140735424540352 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32699/statm: 2287 277 234 213 0 72 0
[pid=32700] ppid=32699 vsize=188828 CPUtime=2.57 cores=0,2,4,6
/proc/32700/stat : 32700 (coprocessor) R 32699 32694 31464 0 -1 4202496 33546 0 0 0 252 5 0 0 20 0 1 0 384285711 193359872 45834 33554432000 4194304 6586260 140735129450080 140735129445400 4683456 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/32700/statm: 47207 45834 192 584 0 46619 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 244716
[startup+6.30027 s]
/proc/loadavg: 1.85 1.97 1.99 3/181 32712
/proc/meminfo: memFree=31368592/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=37592 CPUtime=6.15 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) R 32694 32694 31464 0 -1 4202496 9894 59094 0 0 62 67 466 20 20 0 1 0 384285660 38494208 7804 33554432000 4194304 6004724 140737092111504 140737092105704 5190832 0 0 4096 0 0 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 9398 7804 170 442 0 8952 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 46740
[startup+12.7005 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 32722
/proc/meminfo: memFree=30410228/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=182196 CPUtime=8.07 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 16517 59607 0 0 202 116 466 23 20 0 1 0 384285660 186568704 36056 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 45549 36056 180 442 0 45103 0
[pid=32719] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32719/stat : 32719 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384286480 9367552 267 33554432000 4194304 5064252 140734299484496 140734299483408 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32719/statm: 2287 267 226 213 0 72 0
[pid=32720] ppid=32719 vsize=347772 CPUtime=4.48 cores=0,2,4,6
/proc/32720/stat : 32720 (glucose) R 32719 32694 31464 0 -1 4202496 58434 0 0 0 434 14 0 0 20 0 1 0 384286481 356118528 75176 33554432000 4194304 5208918 140735910856304 140735910853976 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32720/statm: 86943 75176 104 248 0 86692 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 548264
[startup+25.5004 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 32722
/proc/meminfo: memFree=30401560/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=182196 CPUtime=8.07 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 16517 59607 0 0 202 116 466 23 20 0 1 0 384285660 186568704 36056 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 45549 36056 180 442 0 45103 0
[pid=32719] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32719/stat : 32719 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384286480 9367552 267 33554432000 4194304 5064252 140734299484496 140734299483408 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32719/statm: 2287 267 226 213 0 72 0
[pid=32720] ppid=32719 vsize=354280 CPUtime=17.28 cores=0,2,4,6
/proc/32720/stat : 32720 (glucose) R 32719 32694 31464 0 -1 4202496 59357 0 0 0 1713 15 0 0 20 0 1 0 384286481 362782720 78654 33554432000 4194304 5208918 140735910856304 140735910854136 4229316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32720/statm: 88570 78654 105 248 0 88319 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 554772
[startup+51.107 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 32722
/proc/meminfo: memFree=30390300/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=182196 CPUtime=8.07 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 16517 59607 0 0 202 116 466 23 20 0 1 0 384285660 186568704 36056 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 45549 36056 180 442 0 45103 0
[pid=32719] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32719/stat : 32719 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384286480 9367552 267 33554432000 4194304 5064252 140734299484496 140734299483408 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32719/statm: 2287 267 226 213 0 72 0
[pid=32720] ppid=32719 vsize=354280 CPUtime=42.87 cores=0,2,4,6
/proc/32720/stat : 32720 (glucose) R 32719 32694 31464 0 -1 4202496 61521 0 0 0 4267 20 0 0 20 0 1 0 384286481 362782720 80705 33554432000 4194304 5208918 140735910856304 140735910852680 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32720/statm: 88570 80705 105 248 0 88319 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 554772
[startup+102.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 32722
/proc/meminfo: memFree=30381908/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=182196 CPUtime=8.07 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 16517 59607 0 0 202 116 466 23 20 0 1 0 384285660 186568704 36056 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 45549 36056 180 442 0 45103 0
[pid=32719] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32719/stat : 32719 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384286480 9367552 267 33554432000 4194304 5064252 140734299484496 140734299483408 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32719/statm: 2287 267 226 213 0 72 0
[pid=32720] ppid=32719 vsize=354280 CPUtime=94.06 cores=0,2,4,6
/proc/32720/stat : 32720 (glucose) R 32719 32694 31464 0 -1 4202496 62959 0 0 0 9383 23 0 0 20 0 1 0 384286481 362782720 81044 33554432000 4194304 5208918 140735910856304 140735910854392 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32720/statm: 88570 81044 105 248 0 88319 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 554772
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 32722
/proc/meminfo: memFree=30368988/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=182196 CPUtime=8.07 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 16517 59607 0 0 202 116 466 23 20 0 1 0 384285660 186568704 36056 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 45549 36056 180 442 0 45103 0
[pid=32719] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32719/stat : 32719 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384286480 9367552 267 33554432000 4194304 5064252 140734299484496 140734299483408 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32719/statm: 2287 267 226 213 0 72 0
[pid=32720] ppid=32719 vsize=354280 CPUtime=154.06 cores=0,2,4,6
/proc/32720/stat : 32720 (glucose) R 32719 32694 31464 0 -1 4202496 64077 0 0 0 15380 26 0 0 20 0 1 0 384286481 362782720 81058 33554432000 4194304 5208918 140735910856304 140735910854392 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32720/statm: 88570 81058 105 248 0 88319 0
Current children cumulated CPU time (s) 162.13
################
# More data... #
################
/proc/315/stat : 315 (glucose) R 314 32694 31464 0 -1 4202496 52663 0 0 0 20868 20 0 0 20 0 1 0 384406994 318046208 71141 33554432000 4194304 5208918 140734208175728 140734208172104 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/315/statm: 77648 71141 105 248 0 77397 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 492756
[startup+1482.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 322
/proc/meminfo: memFree=30763184/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=96608 CPUtime=1469.29 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 32415 211857 0 0 402 142 146186 199 20 0 1 0 384285660 98926592 21348 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 24152 21348 181 442 0 23706 0
[pid=321] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/321/stat : 321 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384432633 9367552 266 33554432000 4194304 5064252 140733628370432 140733628369344 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/321/statm: 2287 266 226 213 0 72 0
[pid=322] ppid=321 vsize=235164 CPUtime=12.54 cores=0,2,4,6
/proc/322/stat : 322 (glucose) R 321 32694 31464 0 -1 4202496 41222 0 0 0 1243 11 0 0 20 0 1 0 384432634 240807936 53236 33554432000 4194304 5208918 140736886379456 140736886377288 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/322/statm: 58791 53236 104 248 0 58540 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 350068
[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 323
/proc/meminfo: memFree=30717280/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=96608 CPUtime=1469.29 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 32415 211857 0 0 402 142 146186 199 20 0 1 0 384285660 98926592 21348 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 24152 21348 181 442 0 23706 0
[pid=321] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/321/stat : 321 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384432633 9367552 266 33554432000 4194304 5064252 140733628370432 140733628369344 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/321/statm: 2287 266 226 213 0 72 0
[pid=322] ppid=321 vsize=270324 CPUtime=72.49 cores=0,2,4,6
/proc/322/stat : 322 (glucose) R 321 32694 31464 0 -1 4202496 43381 0 0 0 7236 13 0 0 20 0 1 0 384432634 276811776 56454 33554432000 4194304 5208918 140736886379456 140736886375832 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/322/statm: 67581 56454 104 248 0 67330 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 385228
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 323
/proc/meminfo: memFree=30725504/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=96608 CPUtime=1469.29 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 32415 211857 0 0 402 142 146186 199 20 0 1 0 384285660 98926592 21348 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 24152 21348 181 442 0 23706 0
[pid=321] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/321/stat : 321 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384432633 9367552 266 33554432000 4194304 5064252 140733628370432 140733628369344 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/321/statm: 2287 266 226 213 0 72 0
[pid=322] ppid=321 vsize=272780 CPUtime=132.48 cores=0,2,4,6
/proc/322/stat : 322 (glucose) R 321 32694 31464 0 -1 4202496 45447 0 0 0 13231 17 0 0 20 0 1 0 384432634 279326720 58816 33554432000 4194304 5208918 140736886379456 140736886377608 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/322/statm: 68195 58816 104 248 0 67944 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 387684
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 326
/proc/meminfo: memFree=30623744/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=96608 CPUtime=1469.29 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 32415 211857 0 0 402 142 146186 199 20 0 1 0 384285660 98926592 21348 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 24152 21348 181 442 0 23706 0
[pid=321] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/321/stat : 321 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384432633 9367552 266 33554432000 4194304 5064252 140733628370432 140733628369344 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/321/statm: 2287 266 226 213 0 72 0
[pid=322] ppid=321 vsize=276052 CPUtime=192.46 cores=0,2,4,6
/proc/322/stat : 322 (glucose) R 321 32694 31464 0 -1 4202496 48891 0 0 0 19224 22 0 0 20 0 1 0 384432634 282677248 64159 33554432000 4194304 5208918 140736886379456 140736886377544 4211670 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/322/statm: 69013 64159 104 248 0 68762 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 390956
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 326
/proc/meminfo: memFree=30714624/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=96608 CPUtime=1469.29 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 32415 211857 0 0 402 142 146186 199 20 0 1 0 384285660 98926592 21348 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 24152 21348 181 442 0 23706 0
[pid=321] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/321/stat : 321 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384432633 9367552 266 33554432000 4194304 5064252 140733628370432 140733628369344 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/321/statm: 2287 266 226 213 0 72 0
[pid=322] ppid=321 vsize=279200 CPUtime=252.45 cores=0,2,4,6
/proc/322/stat : 322 (glucose) R 321 32694 31464 0 -1 4202496 51656 0 0 0 25217 28 0 0 20 0 1 0 384432634 285900800 63333 33554432000 4194304 5208918 140736886379456 140736886377544 4211682 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/322/statm: 69800 63333 104 248 0 69549 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 394104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 326
/proc/meminfo: memFree=30673464/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=96608 CPUtime=1469.29 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 32415 211857 0 0 402 142 146186 199 20 0 1 0 384285660 98926592 21348 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 24152 21348 181 442 0 23706 0
[pid=321] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/321/stat : 321 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384432633 9367552 266 33554432000 4194304 5064252 140733628370432 140733628369344 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/321/statm: 2287 266 226 213 0 72 0
[pid=322] ppid=321 vsize=281044 CPUtime=312.44 cores=0,2,4,6
/proc/322/stat : 322 (glucose) R 321 32694 31464 0 -1 4202496 55972 0 0 0 31205 39 0 0 20 0 1 0 384432634 287789056 67387 33554432000 4194304 5208918 140736886379456 140736886377544 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/322/statm: 70261 67387 104 248 0 70010 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 395948
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 350
/proc/meminfo: memFree=30998728/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=96608 CPUtime=1469.29 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 32415 211857 0 0 402 142 146186 199 20 0 1 0 384285660 98926592 21348 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 24152 21348 181 442 0 23706 0
[pid=321] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/321/stat : 321 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384432633 9367552 266 33554432000 4194304 5064252 140733628370432 140733628369344 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/321/statm: 2287 266 226 213 0 72 0
[pid=322] ppid=321 vsize=334544 CPUtime=330.74 cores=0,2,4,6
/proc/322/stat : 322 (glucose) R 321 32694 31464 0 -1 4202496 57125 0 0 0 33034 40 0 0 20 0 1 0 384432634 342573056 72113 33554432000 4194304 5208918 140736886379456 140736886377608 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/322/statm: 83636 72113 104 248 0 83385 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 449448
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 350
/proc/meminfo: memFree=30998728/32873844 swapFree=8656/8656
[pid=32694] ppid=32690 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32694/stat : 32694 (npSolver-pbo.sh) S 32690 32694 31464 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384285660 9367552 274 33554432000 4194304 5064252 140734489185584 140734489184496 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32694/statm: 2287 274 233 213 0 72 0
[pid=32696] ppid=32694 vsize=96608 CPUtime=1469.29 cores=0,2,4,6
/proc/32696/stat : 32696 (npSolver-pbo) S 32694 32694 31464 0 -1 4202496 32415 211857 0 0 402 142 146186 199 20 0 1 0 384285660 98926592 21348 33554432000 4194304 6004724 140737092111504 140737092103856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32696/statm: 24152 21348 181 442 0 23706 0
[pid=321] ppid=32696 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/321/stat : 321 (satsolver.sh) S 32696 32694 31464 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384432633 9367552 266 33554432000 4194304 5064252 140733628370432 140733628369344 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/321/statm: 2287 266 226 213 0 72 0
[pid=322] ppid=321 vsize=334544 CPUtime=330.74 cores=0,2,4,6
/proc/322/stat : 322 (glucose) R 321 32694 31464 0 -1 4202496 57125 0 0 0 33034 40 0 0 20 0 1 0 384432634 342573056 72113 33554432000 4194304 5208918 140736886379456 140736886377608 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/322/statm: 83636 72113 104 248 0 83385 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 449448
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32694 and gives
# childrusage.ru_utime.tv_sec=1465
# childrusage.ru_utime.tv_usec=885151
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=427478
# CPU time returned by wait4() is 1469.31
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.61
CPU time (s): 1800.03
CPU user time (s): 1796.22
CPU system time (s): 3.81
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 953956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1465.89
system time used= 3.42748
maximum resident set size= 633956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 634712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3296
involuntary context switches= 1605
runsolver used 5.9051 second user time and 20.1729 second system time
The end