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-3747822-1339112697/watcher-3747822-1339112697 -o /tmp/evaluation-result-3747822-1339112697/solver-3747822-1339112697 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3747822-1339112697.opb 1371632220 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: 3.08 2.80 2.04 3/179 814
/proc/meminfo: memFree=17344304/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[startup+0.0478919 s]
/proc/loadavg: 3.08 2.80 2.04 3/179 814
/proc/meminfo: memFree=17344304/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100228 s]
/proc/loadavg: 3.08 2.80 2.04 3/179 814
/proc/meminfo: memFree=17344304/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30018 s]
/proc/loadavg: 3.08 2.80 2.04 3/179 814
/proc/meminfo: memFree=17344304/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700178 s]
/proc/loadavg: 3.08 2.80 2.04 3/179 814
/proc/meminfo: memFree=17344304/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 3.08 2.80 2.04 3/182 820
/proc/meminfo: memFree=17249904/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=15980 CPUtime=1.4 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 3148 0 0 0 140 0 0 0 20 0 1 0 377394199 16363520 3151 33554432000 4194304 5654031 140735516158288 140735516156376 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/820/statm: 3995 3151 141 357 0 3635 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 27692
[startup+3.1003 s]
/proc/loadavg: 3.08 2.80 2.04 3/182 820
/proc/meminfo: memFree=17166680/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=27472 CPUtime=3 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 3665 0 0 0 300 0 0 0 20 0 1 0 377394199 28131328 6223 33554432000 4194304 5654031 140735516158288 140735516156168 4233168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 6868 6223 141 357 0 6508 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 39184
[startup+6.3003 s]
/proc/loadavg: 2.99 2.79 2.04 3/182 820
/proc/meminfo: memFree=16716996/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=27472 CPUtime=6.2 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 3803 0 0 0 620 0 0 0 20 0 1 0 377394199 28131328 6360 33554432000 4194304 5654031 140735516158288 140735516156168 4217588 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 6868 6360 141 357 0 6508 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 39184
[startup+12.7003 s]
/proc/loadavg: 2.91 2.78 2.04 3/182 820
/proc/meminfo: memFree=16129492/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=34656 CPUtime=12.6 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 5077 0 0 0 1260 0 0 0 20 0 1 0 377394199 35487744 8130 33554432000 4194304 5654031 140735516158288 140735516156088 4233173 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 8664 8130 141 357 0 8304 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 46368
[startup+25.5003 s]
/proc/loadavg: 2.71 2.74 2.04 3/182 820
/proc/meminfo: memFree=14568356/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=27472 CPUtime=25.4 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 6082 0 0 0 2539 1 0 0 20 0 1 0 377394199 28131328 5712 33554432000 4194304 5654031 140735516158288 140735516156168 4232988 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 6868 5712 141 357 0 6508 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 39184
[startup+51.1004 s]
/proc/loadavg: 2.54 2.69 2.04 3/181 996
/proc/meminfo: memFree=31750880/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=58152 CPUtime=50.99 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 7176 0 0 0 5097 2 0 0 20 0 1 0 377394199 59547648 13391 33554432000 4194304 5654031 140735516158288 140735516156168 4217063 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 14538 13391 141 357 0 14178 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 69864
[startup+102.307 s]
/proc/loadavg: 2.23 2.59 2.03 3/181 996
/proc/meminfo: memFree=31689840/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=93692 CPUtime=102.19 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 8758 0 0 0 10216 3 0 0 20 0 1 0 377394199 95940608 22916 33554432000 4194304 5654031 140735516158288 140735516156312 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 23423 22916 142 357 0 23063 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 105404
[startup+162.3 s]
/proc/loadavg: 2.08 2.48 2.03 3/181 996
/proc/meminfo: memFree=31630124/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=143012 CPUtime=162.18 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 10755 0 0 0 16209 9 0 0 20 0 1 0 377394199 146444288 30800 33554432000 4194304 5654031 140735516158288 140735516156312 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 35753 30800 142 357 0 35393 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 154724
[startup+222.3 s]
/proc/loadavg: 2.03 2.39 2.02 3/181 996
/proc/meminfo: memFree=31586388/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=143012 CPUtime=222.17 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 12112 0 0 0 22204 13 0 0 20 0 1 0 377394199 146444288 33872 33554432000 4194304 5654031 140735516158288 140735516156216 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 35753 33872 142 357 0 35393 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 154724
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 1029
/proc/meminfo: memFree=31485500/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=224492 CPUtime=1302.01 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 59868 0 0 0 130120 81 0 0 20 0 1 0 377394199 229879808 48064 33554432000 4194304 5654031 140735516158288 140735516156216 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 56123 48064 142 357 0 55763 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 236204
[startup+1362.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/181 1029
/proc/meminfo: memFree=31472256/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=227072 CPUtime=1361.99 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 62085 0 0 0 136115 84 0 0 20 0 1 0 377394199 232521728 49230 33554432000 4194304 5654031 140735516158288 140735516156376 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 56768 49230 142 357 0 56408 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 238784
[startup+1422.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 1029
/proc/meminfo: memFree=31467452/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=229576 CPUtime=1421.99 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 64361 0 0 0 142112 87 0 0 20 0 1 0 377394199 235085824 53482 33554432000 4194304 5654031 140735516158288 140735516146104 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 57394 53482 142 357 0 57034 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 241288
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 1030
/proc/meminfo: memFree=31446888/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=279916 CPUtime=1481.97 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 65828 0 0 0 148109 88 0 0 20 0 1 0 377394199 286633984 57599 33554432000 4194304 5654031 140735516158288 140735516156376 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 69979 57599 142 357 0 69619 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 291628
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 1033
/proc/meminfo: memFree=31454304/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=229828 CPUtime=1541.97 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 67982 0 0 0 154106 91 0 0 20 0 1 0 377394199 235343872 53103 33554432000 4194304 5654031 140735516158288 140735516156376 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 57457 53103 142 357 0 57097 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 241540
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 1033
/proc/meminfo: memFree=31520736/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=199008 CPUtime=1601.96 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 70167 0 0 0 160102 94 0 0 20 0 1 0 377394199 203784192 48954 33554432000 4194304 5654031 140735516158288 140735516156312 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 49752 48954 142 357 0 49392 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 210720
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1033
/proc/meminfo: memFree=31480264/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=199008 CPUtime=1661.95 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 72820 0 0 0 166098 97 0 0 20 0 1 0 377394199 203784192 48495 33554432000 4194304 5654031 140735516158288 140735516156312 4233148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 49752 48495 142 357 0 49392 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 210720
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 1034
/proc/meminfo: memFree=31492144/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=229828 CPUtime=1721.94 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 74752 0 0 0 172095 99 0 0 20 0 1 0 377394199 235343872 56729 33554432000 4194304 5654031 140735516158288 140735516156376 4217053 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 57457 56729 142 357 0 57097 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 241540
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1035
/proc/meminfo: memFree=31478488/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=229828 CPUtime=1781.93 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 76024 0 0 0 178093 100 0 0 20 0 1 0 377394199 235343872 56603 33554432000 4194304 5654031 140735516158288 140735516156376 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 57457 56603 142 357 0 57097 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 241540
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1035
/proc/meminfo: memFree=31477372/32873844 swapFree=6904/6904
[pid=814] ppid=812 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/814/stat : 814 (npSolver-pbo-I.) S 812 814 30741 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377394191 9367552 274 33554432000 4194304 5064252 140734278777712 140734278776624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/814/statm: 2287 274 233 213 0 72 0
[pid=815] ppid=814 vsize=2564 CPUtime=0.02 cores=0,2,4,6
/proc/815/stat : 815 (npSolver-pbo) S 814 814 30741 0 -1 4202496 1842 1928 0 1 0 0 2 0 20 0 1 0 377394191 2625536 272 33554432000 4194304 6004724 140736544245376 140736544231656 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/815/statm: 641 272 152 442 0 195 0
[pid=820] ppid=815 vsize=229828 CPUtime=1800.03 cores=0,2,4,6
/proc/820/stat : 820 (glucosInc) R 815 814 30741 0 -1 4202496 77335 0 0 0 179901 102 0 0 20 0 1 0 377394199 235343872 50501 33554432000 4194304 5654031 140735516158288 140735516156376 4232912 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/820/statm: 57457 50501 142 357 0 57097 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 241540
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 814 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=31995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.046992
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.03
CPU system time (s): 1.02
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 340948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.031995
system time used= 0.014997
maximum resident set size= 29548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4145
page faults= 1
swaps= 0
block input operations= 232
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 6
runsolver used 6.07608 second user time and 13.6939 second system time
The end