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-3699327-1338133666/watcher-3699327-1338133666 -o /tmp/evaluation-result-3699327-1338133666/solver-3699327-1338133666 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699327-1338133666.opb 302150113 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.03 2.04 2.00 3/178 13017
/proc/meminfo: memFree=29664804/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[startup+0.0174039 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 13017
/proc/meminfo: memFree=29664804/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100201 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 13017
/proc/meminfo: memFree=29664804/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300201 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 13017
/proc/meminfo: memFree=29664804/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 13017
/proc/meminfo: memFree=29664804/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.03 2.04 2.00 3/182 13021
/proc/meminfo: memFree=29546292/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=65024 CPUtime=0.83 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 11201 0 0 0 74 9 0 0 20 0 1 0 279490702 66584576 15058 33554432000 4194304 5992684 140736015402288 140736015396736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13018/statm: 16256 15058 172 440 0 15812 0
[pid=13020] ppid=13018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13020/stat : 13020 (cp2_pre.sh) S 13018 13017 11017 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 279490786 9367552 277 33554432000 4194304 5064252 140735955822048 140735955820752 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13020/statm: 2287 277 234 213 0 72 0
[pid=13021] ppid=13020 vsize=281824 CPUtime=0.65 cores=1,3,5,7
/proc/13021/stat : 13021 (coprocessor) R 13020 13017 11017 0 -1 4202496 28202 0 0 0 58 7 0 0 20 0 1 0 279490786 288587776 61971 33554432000 4194304 6586260 140733338433952 140735955820776 4496489 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/13021/statm: 70456 61971 166 584 0 69868 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 365144
[startup+3.10038 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 13021
/proc/meminfo: memFree=29272716/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=65024 CPUtime=0.83 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 11201 0 0 0 74 9 0 0 20 0 1 0 279490702 66584576 15058 33554432000 4194304 5992684 140736015402288 140736015396736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13018/statm: 16256 15058 172 440 0 15812 0
[pid=13020] ppid=13018 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13020/stat : 13020 (cp2_pre.sh) S 13018 13017 11017 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 279490786 9367552 277 33554432000 4194304 5064252 140735955822048 140735955820752 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13020/statm: 2287 277 234 213 0 72 0
[pid=13021] ppid=13020 vsize=366764 CPUtime=2.25 cores=1,3,5,7
/proc/13021/stat : 13021 (coprocessor) R 13020 13017 11017 0 -1 4202496 48749 0 0 0 214 11 0 0 20 0 1 0 279490786 375566336 89158 33554432000 4194304 6586260 140733338433952 140733338430104 4753400 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/13021/statm: 91691 89158 182 584 0 91103 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 450084
[startup+6.30029 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 13021
/proc/meminfo: memFree=29106484/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=65024 CPUtime=5.78 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 11217 57763 0 0 74 9 426 69 20 0 1 0 279490702 66584576 15060 33554432000 4194304 5992684 140736015402288 140736015388552 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13018/statm: 16256 15060 174 440 0 15812 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 74172
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.00 3/180 13025
/proc/meminfo: memFree=29416328/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=253704 CPUtime=12.57 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) R 13017 13017 11017 0 -1 4202496 20680 90577 0 0 277 185 714 81 20 0 1 0 279490702 259792896 58817 33554432000 4194304 5992684 140736015402288 140736015394424 4523482 0 0 4096 0 0 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 63426 58817 192 440 0 62982 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 262852
[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 13027
/proc/meminfo: memFree=28730224/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=122632 CPUtime=13.83 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 21872 91092 0 0 369 215 714 85 20 0 1 0 279490702 125575168 29478 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 30658 29478 192 440 0 30214 0
[pid=13027] ppid=13018 vsize=617472 CPUtime=11.51 cores=1,3,5,7
/proc/13027/stat : 13027 (glucosInc) R 13018 13017 11017 0 -1 4202496 94809 0 0 0 1125 26 0 0 20 0 1 0 279492099 632291328 140395 33554432000 4194304 5654031 140736661978752 140736661966568 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 154368 140395 141 357 0 154008 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 749252
[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 13027
/proc/meminfo: memFree=28711668/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=122632 CPUtime=13.83 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 21872 91092 0 0 369 215 714 85 20 0 1 0 279490702 125575168 29478 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 30658 29478 192 440 0 30214 0
[pid=13027] ppid=13018 vsize=617472 CPUtime=37.11 cores=1,3,5,7
/proc/13027/stat : 13027 (glucosInc) R 13018 13017 11017 0 -1 4202496 94810 0 0 0 3685 26 0 0 20 0 1 0 279492099 632291328 140907 33554432000 4194304 5654031 140736661978752 140736661966568 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 154368 140907 141 357 0 154008 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 749252
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 13027
/proc/meminfo: memFree=28661304/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=122632 CPUtime=13.83 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 21872 91092 0 0 369 215 714 85 20 0 1 0 279490702 125575168 29478 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 30658 29478 192 440 0 30214 0
[pid=13027] ppid=13018 vsize=699180 CPUtime=88.31 cores=1,3,5,7
/proc/13027/stat : 13027 (glucosInc) R 13018 13017 11017 0 -1 4202496 96769 0 0 0 8798 33 0 0 20 0 1 0 279492099 715960320 145818 33554432000 4194304 5654031 140736661978752 140736661976840 4214603 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13027/statm: 174795 145818 141 357 0 174435 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 830960
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 13032
/proc/meminfo: memFree=28727760/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=550072 CPUtime=20.06 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 85550 0 0 0 1984 22 0 0 20 0 1 0 279504924 563273728 124482 33554432000 4194304 5654031 140734027788512 140734027786200 4214638 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 137518 124482 140 357 0 137158 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 694768
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 13032
/proc/meminfo: memFree=28623012/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=634296 CPUtime=80.05 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 88708 0 0 0 7972 33 0 0 20 0 1 0 279504924 649519104 142943 33554432000 4194304 5654031 140734027788512 140734027786296 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 158574 142943 140 357 0 158214 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 778992
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28884320/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=682636 CPUtime=1219.82 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 123579 0 0 0 121779 203 0 0 20 0 1 0 279504924 699019264 148890 33554432000 4194304 5654031 140734027788512 140734027776328 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 170659 148890 141 357 0 170299 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 827332
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13117
/proc/meminfo: memFree=28865748/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=682636 CPUtime=1279.82 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 123588 0 0 0 127778 204 0 0 20 0 1 0 279504924 699019264 153640 33554432000 4194304 5654031 140734027788512 140734027776328 4215182 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 170659 153640 141 357 0 170299 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 827332
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13117
/proc/meminfo: memFree=28843340/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=682636 CPUtime=1339.8 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 123595 0 0 0 133776 204 0 0 20 0 1 0 279504924 699019264 157224 33554432000 4194304 5654031 140734027788512 140734027776328 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 170659 157224 141 357 0 170299 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 827332
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 13117
/proc/meminfo: memFree=28824916/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=682636 CPUtime=1399.79 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 123603 0 0 0 139775 204 0 0 20 0 1 0 279504924 699019264 161320 33554432000 4194304 5654031 140734027788512 140734027776328 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 170659 161320 141 357 0 170299 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 827332
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13118
/proc/meminfo: memFree=28746344/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=817696 CPUtime=1459.79 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 124631 0 0 0 145772 207 0 0 20 0 1 0 279504924 837320704 171546 33554432000 4194304 5654031 140734027788512 140734027776328 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 204424 171546 141 357 0 204064 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 962392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13118
/proc/meminfo: memFree=28738712/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=822004 CPUtime=1519.78 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 124950 0 0 0 151771 207 0 0 20 0 1 0 279504924 841732096 172887 33554432000 4194304 5654031 140734027788512 140734027776328 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 205501 172887 141 357 0 205141 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 966700
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13118
/proc/meminfo: memFree=28721804/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=822004 CPUtime=1579.77 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 124957 0 0 0 157770 207 0 0 20 0 1 0 279504924 841732096 176471 33554432000 4194304 5654031 140734027788512 140734027776328 4215121 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 205501 176471 141 357 0 205141 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 966700
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 13118
/proc/meminfo: memFree=28705324/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=822004 CPUtime=1639.76 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 125128 0 0 0 163769 207 0 0 20 0 1 0 279504924 841732096 181241 33554432000 4194304 5654031 140734027788512 140734027776328 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 205501 181241 141 357 0 205141 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 966700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 13118
/proc/meminfo: memFree=28839340/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=689744 CPUtime=1657.96 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 125612 0 0 0 165586 210 0 0 20 0 1 0 279504924 706297856 148008 33554432000 4194304 5654031 140734027788512 140734027776328 4232611 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 172436 148008 141 357 0 172076 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 834440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 13118
/proc/meminfo: memFree=28839340/32873648 swapFree=7368/7368
[pid=13017] ppid=13015 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13017/stat : 13017 (npSolver-pbo-I.) S 13015 13017 11017 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279490702 9367552 274 33554432000 4194304 5064252 140735628832336 140735628831248 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13017/statm: 2287 274 233 213 0 72 0
[pid=13018] ppid=13017 vsize=135548 CPUtime=142.09 cores=1,3,5,7
/proc/13018/stat : 13018 (npSolver-pbo) S 13017 13017 11017 0 -1 4202496 32140 192058 0 0 602 247 13222 138 20 0 1 0 279490702 138801152 32707 33554432000 4194304 5992684 140736015402288 140736015387192 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 12 0 0
/proc/13018/statm: 33887 32707 192 440 0 33443 0
[pid=13032] ppid=13018 vsize=689744 CPUtime=1657.96 cores=1,3,5,7
/proc/13032/stat : 13032 (glucosInc) R 13018 13017 11017 0 -1 4202496 125612 0 0 0 165586 210 0 0 20 0 1 0 279504924 706297856 148008 33554432000 4194304 5654031 140734027788512 140734027776328 4232611 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13032/statm: 172436 148008 141 357 0 172076 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 834440
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13017 and gives
# childrusage.ru_utime.tv_sec=138
# childrusage.ru_utime.tv_usec=252982
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=873411
# CPU time returned by wait4() is 142.126
# 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.52
CPU time (s): 1800.05
CPU user time (s): 1794.1
CPU system time (s): 5.95
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 1370184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.253
system time used= 3.87341
maximum resident set size= 730432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 993880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4040
involuntary context switches= 178
runsolver used 4.43033 second user time and 10.4064 second system time
The end