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-3749984-1339162143/watcher-3749984-1339162143 -o /tmp/evaluation-result-3749984-1339162143/solver-3749984-1339162143 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749984-1339162143.opb 842262289 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: 2.00 2.01 1.91 3/177 11500
/proc/meminfo: memFree=29917964/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[startup+0.0525021 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 11500
/proc/meminfo: memFree=29917964/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100364 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 11500
/proc/meminfo: memFree=29917964/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30028 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 11500
/proc/meminfo: memFree=29917964/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700278 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 11500
/proc/meminfo: memFree=29917964/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 1.91 3/179 11512
/proc/meminfo: memFree=29765576/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=94964 CPUtime=1.01 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 9489 6863 0 0 79 12 7 3 20 0 1 0 382342773 97243136 18839 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11501/statm: 23741 18839 174 442 0 23295 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 104112
[startup+3.10035 s]
/proc/loadavg: 2.00 2.01 1.91 3/179 11519
/proc/meminfo: memFree=29915760/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=2.48 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 14561 34769 0 0 151 22 63 12 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 87980
heavy processes:
[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 1.91 3/181 11521
/proc/meminfo: memFree=29702372/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=2.48 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 14561 34769 0 0 151 22 63 12 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11520] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11520/stat : 11520 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382343025 9367552 267 33554432000 4194304 5064252 140736608700768 140736608699680 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11520/statm: 2287 267 226 213 0 72 0
[pid=11521] ppid=11520 vsize=115284 CPUtime=3.77 cores=1,3,5,7
/proc/11521/stat : 11521 (glucose) R 11520 11500 6255 0 -1 4202496 25362 0 0 0 369 8 0 0 20 0 1 0 382343025 118050816 27072 33554432000 4194304 5208918 140737021773440 140737021771400 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11521/statm: 28821 27072 104 248 0 28570 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 212412
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.91 3/181 11521
/proc/meminfo: memFree=29696304/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=2.48 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 14561 34769 0 0 151 22 63 12 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11520] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11520/stat : 11520 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382343025 9367552 267 33554432000 4194304 5064252 140736608700768 140736608699680 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11520/statm: 2287 267 226 213 0 72 0
[pid=11521] ppid=11520 vsize=116192 CPUtime=10.17 cores=1,3,5,7
/proc/11521/stat : 11521 (glucose) R 11520 11500 6255 0 -1 4202496 25646 0 0 0 1009 8 0 0 20 0 1 0 382343025 118980608 27350 33554432000 4194304 5208918 140737021773440 140737021771288 4229748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11521/statm: 29048 27350 104 248 0 28797 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 213320
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 1.91 3/181 11521
/proc/meminfo: memFree=29699728/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=2.48 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 14561 34769 0 0 151 22 63 12 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11520] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11520/stat : 11520 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382343025 9367552 267 33554432000 4194304 5064252 140736608700768 140736608699680 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11520/statm: 2287 267 226 213 0 72 0
[pid=11521] ppid=11520 vsize=131188 CPUtime=22.96 cores=1,3,5,7
/proc/11521/stat : 11521 (glucose) R 11520 11500 6255 0 -1 4202496 26473 0 0 0 2288 8 0 0 20 0 1 0 382343025 134336512 28684 33554432000 4194304 5208918 140737021773440 140737021769816 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11521/statm: 32797 28684 104 248 0 32546 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 228316
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 11528
/proc/meminfo: memFree=29697448/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=45.23 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 19631 65275 0 0 223 32 4244 24 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11527] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11527/stat : 11527 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 382347301 9367552 266 33554432000 4194304 5064252 140733219806176 140733219805088 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11527/statm: 2287 266 226 213 0 72 0
[pid=11528] ppid=11527 vsize=118012 CPUtime=5.81 cores=1,3,5,7
/proc/11528/stat : 11528 (glucose) R 11527 11500 6255 0 -1 4202496 26712 0 0 0 574 7 0 0 20 0 1 0 382347301 120844288 27925 33554432000 4194304 5208918 140735058773104 140735058770936 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11528/statm: 29503 27925 104 248 0 29252 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 215140
[startup+102.307 s]
/proc/loadavg: 1.95 1.98 1.91 3/182 11545
/proc/meminfo: memFree=29696280/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=67.6 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 29771 125704 0 0 367 54 6291 48 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11544] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11544/stat : 11544 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382349537 9367552 267 33554432000 4194304 5064252 140737416870560 140737416869472 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11544/statm: 2287 267 226 213 0 72 0
[pid=11545] ppid=11544 vsize=121132 CPUtime=34.65 cores=1,3,5,7
/proc/11545/stat : 11545 (glucose) R 11544 11500 6255 0 -1 4202496 27530 0 0 0 3456 9 0 0 20 0 1 0 382349537 124039168 27498 33554432000 4194304 5208918 140736838255680 140736838253752 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11545/statm: 30283 27498 104 248 0 30032 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 218260
[startup+162.3 s]
/proc/loadavg: 1.98 1.98 1.91 3/181 11559
/proc/meminfo: memFree=29686064/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=130.3 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 39911 187359 0 0 511 75 12373 71 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11558] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11558/stat : 11558 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382355809 9367552 267 33554432000 4194304 5064252 140733327091216 140733327090128 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11558/statm: 2287 267 226 213 0 72 0
[pid=11559] ppid=11558 vsize=119568 CPUtime=31.92 cores=1,3,5,7
/proc/11559/stat : 11559 (glucose) R 11558 11500 6255 0 -1 4202496 27374 0 0 0 3183 9 0 0 20 0 1 0 382355809 122437632 27872 33554432000 4194304 5208918 140736463069632 140736463067304 4229335 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11559/statm: 29892 27872 104 248 0 29641 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 216696
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/181 11574
/proc/meminfo: memFree=29681588/32873844 swapFree=7124/7124
################
# More data... #
################
/proc/11656/stat : 11656 (glucose) R 11655 11500 6255 0 -1 4202496 30981 0 0 0 26137 14 0 0 20 0 1 0 382452847 171773952 40416 33554432000 4194304 5208918 140733605625568 140733605621944 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11656/statm: 41937 40416 104 248 0 41686 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 264876
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.96 3/181 11668
/proc/meminfo: memFree=29573744/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=1381.56 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 111003 631350 0 0 1525 221 136140 270 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11666] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11666/stat : 11666 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382480974 9367552 267 33554432000 4194304 5064252 140735479297552 140735479296464 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11666/statm: 2287 267 226 213 0 72 0
[pid=11667] ppid=11666 vsize=133712 CPUtime=40.25 cores=1,3,5,7
/proc/11667/stat : 11667 (glucose) R 11666 11500 6255 0 -1 4202496 28545 0 0 0 4016 9 0 0 20 0 1 0 382480974 136921088 29709 33554432000 4194304 5208918 140733480206672 140733480203048 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11667/statm: 33428 29709 104 248 0 33177 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 230840
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/181 11668
/proc/meminfo: memFree=29565396/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=1381.56 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 111003 631350 0 0 1525 221 136140 270 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11666] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11666/stat : 11666 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382480974 9367552 267 33554432000 4194304 5064252 140735479297552 140735479296464 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11666/statm: 2287 267 226 213 0 72 0
[pid=11667] ppid=11666 vsize=135216 CPUtime=100.24 cores=1,3,5,7
/proc/11667/stat : 11667 (glucose) R 11666 11500 6255 0 -1 4202496 29415 0 0 0 10014 10 0 0 20 0 1 0 382480974 138461184 30117 33554432000 4194304 5208918 140733480206672 140733480202376 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11667/statm: 33804 30117 104 248 0 33553 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 232344
[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 1.97 3/181 11668
/proc/meminfo: memFree=29581072/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=1381.56 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 111003 631350 0 0 1525 221 136140 270 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11666] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11666/stat : 11666 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382480974 9367552 267 33554432000 4194304 5064252 140735479297552 140735479296464 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11666/statm: 2287 267 226 213 0 72 0
[pid=11667] ppid=11666 vsize=138264 CPUtime=160.23 cores=1,3,5,7
/proc/11667/stat : 11667 (glucose) R 11666 11500 6255 0 -1 4202496 29947 0 0 0 16013 10 0 0 20 0 1 0 382480974 141582336 32693 33554432000 4194304 5208918 140733480206672 140733480203048 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11667/statm: 34566 32693 104 248 0 34315 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 235392
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/181 11668
/proc/meminfo: memFree=29547612/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=1381.56 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 111003 631350 0 0 1525 221 136140 270 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11666] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11666/stat : 11666 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382480974 9367552 267 33554432000 4194304 5064252 140735479297552 140735479296464 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11666/statm: 2287 267 226 213 0 72 0
[pid=11667] ppid=11666 vsize=167372 CPUtime=220.22 cores=1,3,5,7
/proc/11667/stat : 11667 (glucose) R 11666 11500 6255 0 -1 4202496 31285 0 0 0 22011 11 0 0 20 0 1 0 382480974 171388928 38653 33554432000 4194304 5208918 140733480206672 140733480204760 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11667/statm: 41843 38653 104 248 0 41592 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 264500
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/181 11668
/proc/meminfo: memFree=29532388/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=1381.56 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 111003 631350 0 0 1525 221 136140 270 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11666] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11666/stat : 11666 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382480974 9367552 267 33554432000 4194304 5064252 140735479297552 140735479296464 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11666/statm: 2287 267 226 213 0 72 0
[pid=11667] ppid=11666 vsize=167372 CPUtime=280.21 cores=1,3,5,7
/proc/11667/stat : 11667 (glucose) R 11666 11500 6255 0 -1 4202496 31288 0 0 0 28010 11 0 0 20 0 1 0 382480974 171388928 40189 33554432000 4194304 5208918 140733480206672 140733480203048 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11667/statm: 41843 40189 104 248 0 41592 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 264500
[startup+1722.3 s]
/proc/loadavg: 1.93 2.00 1.97 3/181 11714
/proc/meminfo: memFree=29789692/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=1381.56 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 111003 631350 0 0 1525 221 136140 270 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11666] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11666/stat : 11666 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382480974 9367552 267 33554432000 4194304 5064252 140735479297552 140735479296464 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11666/statm: 2287 267 226 213 0 72 0
[pid=11667] ppid=11666 vsize=216692 CPUtime=340.2 cores=1,3,5,7
/proc/11667/stat : 11667 (glucose) R 11666 11500 6255 0 -1 4202496 31861 0 0 0 34008 12 0 0 20 0 1 0 382480974 221892608 49439 33554432000 4194304 5208918 140733480206672 140733480203048 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11667/statm: 54173 49439 104 248 0 53922 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 313820
[startup+1782.3 s]
/proc/loadavg: 1.97 2.00 1.97 3/181 11721
/proc/meminfo: memFree=29863608/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=1772.83 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 116073 666280 0 0 1597 231 175171 284 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11720] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11720/stat : 11720 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382520111 9367552 267 33554432000 4194304 5064252 140736641340624 140736641339536 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11720/statm: 2287 267 226 213 0 72 0
[pid=11721] ppid=11720 vsize=117720 CPUtime=8.9 cores=1,3,5,7
/proc/11721/stat : 11721 (glucose) R 11720 11500 6255 0 -1 4202496 26615 0 0 0 882 8 0 0 20 0 1 0 382520112 120545280 27504 33554432000 4194304 5208918 140736974396128 140736974393960 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11721/statm: 29430 27504 104 248 0 29179 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 214848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.98 2.00 1.97 3/181 11721
/proc/meminfo: memFree=29851760/32873844 swapFree=7124/7124
[pid=11500] ppid=11498 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11500/stat : 11500 (npSolver-pbo.sh) S 11498 11500 6255 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382342773 9367552 275 33554432000 4194304 5064252 140734834381856 140734834380768 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11500/statm: 2287 275 233 213 0 72 0
[pid=11501] ppid=11500 vsize=78832 CPUtime=1772.83 cores=1,3,5,7
/proc/11501/stat : 11501 (npSolver-pbo) S 11500 11500 6255 0 -1 4202496 116073 666280 0 0 1597 231 175171 284 20 0 1 0 382342773 80723968 15352 33554432000 4194304 6004724 140736289546368 140736289538720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 4 0 0
/proc/11501/statm: 19708 15352 176 442 0 19262 0
[pid=11720] ppid=11501 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11720/stat : 11720 (satsolver.sh) S 11501 11500 6255 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382520111 9367552 267 33554432000 4194304 5064252 140736641340624 140736641339536 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11720/statm: 2287 267 226 213 0 72 0
[pid=11721] ppid=11720 vsize=130984 CPUtime=27.2 cores=1,3,5,7
/proc/11721/stat : 11721 (glucose) R 11720 11500 6255 0 -1 4202496 27375 0 0 0 2712 8 0 0 20 0 1 0 382520112 134127616 28751 33554432000 4194304 5208918 140736974396128 140736974392504 4211019 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11721/statm: 32746 28751 104 248 0 32495 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 228112
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11500 and gives
# childrusage.ru_utime.tv_sec=1767
# childrusage.ru_utime.tv_usec=694269
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=168214
# CPU time returned by wait4() is 1772.86
# 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.62
CPU time (s): 1800.03
CPU user time (s): 1794.8
CPU system time (s): 5.23
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 315676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.69
system time used= 5.16821
maximum resident set size= 226356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 783332
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2100832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1533
involuntary context switches= 2701
runsolver used 2.81757 second user time and 7.2419 second system time
The end