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-3750465-1339124186/watcher-3750465-1339124186 -o /tmp/evaluation-result-3750465-1339124186/solver-3750465-1339124186 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750465-1339124186.opb 1381415959 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 2.03 3/179 27791
/proc/meminfo: memFree=28322812/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[startup+0.102876 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 27791
/proc/meminfo: memFree=28322812/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200363 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 27791
/proc/meminfo: memFree=28322812/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30036 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 27791
/proc/meminfo: memFree=28322812/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 27791
/proc/meminfo: memFree=28322812/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 27793
/proc/meminfo: memFree=28216196/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=185420 CPUtime=1.48 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) R 27791 27791 24192 0 -1 4202496 10258 0 0 0 144 4 0 0 20 0 1 0 378545949 189870080 33343 33554432000 4194304 6004724 140734255318816 140734255313416 4579258 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27792/statm: 46355 33343 154 442 0 45909 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 194568
[startup+3.10038 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 27793
/proc/meminfo: memFree=28137372/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=316492 CPUtime=3.09 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) R 27791 27791 24192 0 -1 4202496 10891 0 0 0 301 8 0 0 20 0 1 0 378545949 324087808 63039 33554432000 4194304 6004724 140734255318816 140734255314072 4536325 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27792/statm: 79123 63039 154 442 0 78677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 325640
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 27793
/proc/meminfo: memFree=27881036/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=578636 CPUtime=6.29 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) R 27791 27791 24192 0 -1 4202496 11651 0 0 0 613 16 0 0 20 0 1 0 378545949 592523264 124991 33554432000 4194304 6004724 140734255318816 140734255313416 4534752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27792/statm: 144659 124991 154 442 0 144213 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 587784
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 27793
/proc/meminfo: memFree=27364168/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=1102924 CPUtime=12.69 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) R 27791 27791 24192 0 -1 4202496 12660 0 0 0 1238 31 0 0 20 0 1 0 378545949 1129394176 248895 33554432000 4194304 6004724 140734255318816 140734255313864 4579232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27792/statm: 275731 248895 154 442 0 275285 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1112072
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.02 3/182 27795
/proc/meminfo: memFree=24995028/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=19.75 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14635 0 0 0 1737 238 0 0 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255312864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27794] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27794/stat : 27794 (cp2_pre.sh) S 27792 27791 24192 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378547930 9367552 276 33554432000 4194304 5064252 140737342578544 140737342577248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27794/statm: 2287 276 234 213 0 72 0
[pid=27795] ppid=27794 vsize=625072 CPUtime=5.68 cores=1,3,5,7
/proc/27795/stat : 27795 (coprocessor) R 27794 27791 24192 0 -1 4202496 16935 0 0 0 546 22 0 0 20 0 1 0 378547930 640073728 154232 33554432000 4194304 6586260 140735390777984 140735390774744 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/27795/statm: 156268 154232 137 584 0 155680 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 2767520
[startup+51.1004 s]
/proc/loadavg: 2.40 2.10 2.05 3/183 27796
/proc/meminfo: memFree=23014288/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=19.75 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14635 0 0 0 1737 238 0 0 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255312864 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27794] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27794/stat : 27794 (cp2_pre.sh) S 27792 27791 24192 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378547930 9367552 276 33554432000 4194304 5064252 140737342578544 140737342577248 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27794/statm: 2287 276 234 213 0 72 0
[pid=27795] ppid=27794 vsize=2672796 CPUtime=30.45 cores=1,3,5,7
/proc/27795/stat : 27795 (coprocessor) R 27794 27791 24192 0 -1 4202496 25438 0 0 0 2893 152 0 0 20 0 1 0 378547930 2736943104 566968 33554432000 4194304 6586260 140735390777984 140735390773736 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 81 0 0
/proc/27795/statm: 668199 566968 158 584 0 667611 0
Current children cumulated CPU time (s) 50.2
Current children cumulated vsize (KiB) 4815244
[startup+102.301 s]
/proc/loadavg: 2.63 2.22 2.10 3/183 27799
/proc/meminfo: memFree=22832208/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3004912 CPUtime=17.43 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 325948 0 0 0 1637 106 0 0 20 0 1 0 378554435 3077029888 702899 33554432000 4194304 5208918 140737393967392 140737393965240 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 751228 702899 103 248 0 750977 0
Current children cumulated CPU time (s) 100.69
Current children cumulated vsize (KiB) 5147360
[startup+162.3 s]
/proc/loadavg: 2.23 2.17 2.09 3/183 27799
/proc/meminfo: memFree=22780128/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3070516 CPUtime=77.42 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 331553 0 0 0 7634 108 0 0 20 0 1 0 378554435 3144208384 715658 33554432000 4194304 5208918 140737393967392 140737393965224 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 767629 715658 104 248 0 767378 0
Current children cumulated CPU time (s) 160.68
Current children cumulated vsize (KiB) 5212964
[startup+222.307 s]
/proc/loadavg: 2.15 2.16 2.09 3/184 27802
/proc/meminfo: memFree=22768288/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3070516 CPUtime=137.42 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 331558 0 0 0 13634 108 0 0 20 0 1 0 378554435 3144208384 718218 33554432000 4194304 5208918 140737393967392 140737393963768 4211066 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 767629 718218 104 248 0 767378 0
Current children cumulated CPU time (s) 220.68
################
# More data... #
################
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 333134 0 0 0 127611 113 0 0 20 0 1 0 378554435 3769511936 737671 33554432000 4194304 5208918 140737393967392 140737393963768 4211027 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 920291 737671 104 248 0 920040 0
Current children cumulated CPU time (s) 1360.5
Current children cumulated vsize (KiB) 5823612
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/184 27971
/proc/meminfo: memFree=9966740/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3681164 CPUtime=1337.23 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 333182 0 0 0 133610 113 0 0 20 0 1 0 378554435 3769511936 738234 33554432000 4194304 5208918 140737393967392 140737393963768 4205743 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 920291 738234 104 248 0 920040 0
Current children cumulated CPU time (s) 1420.49
Current children cumulated vsize (KiB) 5823612
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/183 27971
/proc/meminfo: memFree=9961304/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3681164 CPUtime=1397.21 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 333207 0 0 0 139608 113 0 0 20 0 1 0 378554435 3769511936 738782 33554432000 4194304 5208918 140737393967392 140737393963768 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 920291 738782 104 248 0 920040 0
Current children cumulated CPU time (s) 1480.47
Current children cumulated vsize (KiB) 5823612
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.07 3/183 27971
/proc/meminfo: memFree=9956120/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3700172 CPUtime=1457.21 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 333235 0 0 0 145608 113 0 0 20 0 1 0 378554435 3788976128 739335 33554432000 4194304 5208918 140737393967392 140737393965224 4205761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 925043 739335 104 248 0 924792 0
Current children cumulated CPU time (s) 1540.47
Current children cumulated vsize (KiB) 5842620
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.07 3/183 27972
/proc/meminfo: memFree=9950256/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3700172 CPUtime=1517.19 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 333440 0 0 0 151606 113 0 0 20 0 1 0 378554435 3788976128 740074 33554432000 4194304 5208918 140737393967392 140737393965224 4211019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 925043 740074 104 248 0 924792 0
Current children cumulated CPU time (s) 1600.45
Current children cumulated vsize (KiB) 5842620
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.06 3/183 27972
/proc/meminfo: memFree=9941660/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3700172 CPUtime=1577.18 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 333723 0 0 0 157605 113 0 0 20 0 1 0 378554435 3788976128 741393 33554432000 4194304 5208918 140737393967392 140737393963768 4229720 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 925043 741393 104 248 0 924792 0
Current children cumulated CPU time (s) 1660.44
Current children cumulated vsize (KiB) 5842620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/183 27972
/proc/meminfo: memFree=9939524/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3700172 CPUtime=1637.16 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 333749 0 0 0 163603 113 0 0 20 0 1 0 378554435 3788976128 741426 33554432000 4194304 5208918 140737393967392 140737393963768 4211176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 925043 741426 104 248 0 924792 0
Current children cumulated CPU time (s) 1720.42
Current children cumulated vsize (KiB) 5842620
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.06 3/183 27972
/proc/meminfo: memFree=9936612/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3700172 CPUtime=1697.15 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 333786 0 0 0 169602 113 0 0 20 0 1 0 378554435 3788976128 741988 33554432000 4194304 5208918 140737393967392 140737393963768 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 925043 741988 104 248 0 924792 0
Current children cumulated CPU time (s) 1780.41
Current children cumulated vsize (KiB) 5842620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.91 s]
/proc/loadavg: 2.04 2.02 2.06 3/183 27972
/proc/meminfo: memFree=9932112/32873648 swapFree=7120/7120
[pid=27791] ppid=27789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27791/stat : 27791 (npSolver-pbo.sh) S 27789 27791 24192 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 378545949 9367552 274 33554432000 4194304 5064252 140735767616352 140735767615264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27791/statm: 2287 274 233 213 0 72 0
[pid=27792] ppid=27791 vsize=2124152 CPUtime=83.26 cores=1,3,5,7
/proc/27792/stat : 27792 (npSolver-pbo) S 27791 27791 24192 0 -1 4202496 14644 26339 0 0 1737 238 5988 363 20 0 1 0 378545949 2175131648 333715 33554432000 4194304 6004724 140734255318816 140734255313952 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/27792/statm: 531038 333715 163 442 0 530592 0
[pid=27798] ppid=27792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27798/stat : 27798 (satsolver.sh) S 27792 27791 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378554435 9367552 267 33554432000 4194304 5064252 140736953923728 140736953922640 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27798/statm: 2287 267 226 213 0 72 0
[pid=27799] ppid=27798 vsize=3700172 CPUtime=1716.76 cores=1,3,5,7
/proc/27799/stat : 27799 (glucose) R 27798 27791 24192 0 -1 4202496 333788 0 0 0 171563 113 0 0 20 0 1 0 378554435 3788976128 742508 33554432000 4194304 5208918 140737393967392 140737393963768 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27799/statm: 925043 742508 104 248 0 924792 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 5842620
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 27791 and gives
# childrusage.ru_utime.tv_sec=77
# childrusage.ru_utime.tv_usec=263254
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=28083
# CPU time returned by wait4() is 83.2913
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.92
CPU time (s): 1800.02
CPU user time (s): 1792.88
CPU system time (s): 7.14
CPU usage (%): 99.8943
Max. virtual memory (cumulated for all children) (KiB): 5842620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.2633
system time used= 6.02808
maximum resident set size= 2644004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41959
page faults= 0
swaps= 0
block input operations= 96
block output operations= 5143696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 102
runsolver used 5.66514 second user time and 14.6448 second system time
The end