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-3697906-1338050545/watcher-3697906-1338050545 -o /tmp/evaluation-result-3697906-1338050545/solver-3697906-1338050545 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697906-1338050545.opb 1837212493 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: 0.92 0.98 1.14 3/172 25832
/proc/meminfo: memFree=28608192/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[startup+0.103547 s]
/proc/loadavg: 0.92 0.98 1.14 3/172 25832
/proc/meminfo: memFree=28608192/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200337 s]
/proc/loadavg: 0.92 0.98 1.14 3/172 25832
/proc/meminfo: memFree=28608192/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300336 s]
/proc/loadavg: 0.92 0.98 1.14 3/172 25832
/proc/meminfo: memFree=28608192/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700341 s]
/proc/loadavg: 0.92 0.98 1.14 3/172 25832
/proc/meminfo: memFree=28608192/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 0.92 0.98 1.14 3/182 25845
/proc/meminfo: memFree=28510168/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=1.44 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 4340 22471 0 0 14 17 98 15 20 0 1 0 271179367 11288576 2404 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2404 181 440 0 2312 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 20172
[startup+3.10025 s]
/proc/loadavg: 0.92 0.98 1.14 3/182 25850
/proc/meminfo: memFree=28471588/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=2.57 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 5002 27768 0 0 15 17 209 16 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 20172
[startup+6.30041 s]
/proc/loadavg: 1.01 1.00 1.14 3/181 25857
/proc/meminfo: memFree=28294296/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=2.57 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 5002 27768 0 0 15 17 209 16 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25854] ppid=25835 vsize=25676 CPUtime=3.67 cores=1,3,5,7
/proc/25854/stat : 25854 (glucosInc) R 25835 25832 25792 0 -1 4202496 7413 0 0 0 366 1 0 0 20 0 1 0 271179628 26292224 5711 33554432000 4194304 5654031 140737267324912 140737267312728 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25854/statm: 6419 5711 142 357 0 6059 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 45848
[startup+12.7004 s]
/proc/loadavg: 1.09 1.02 1.15 3/181 25857
/proc/meminfo: memFree=28268548/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=2.57 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 5002 27768 0 0 15 17 209 16 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25854] ppid=25835 vsize=37168 CPUtime=10.07 cores=1,3,5,7
/proc/25854/stat : 25854 (glucosInc) R 25835 25832 25792 0 -1 4202496 8622 0 0 0 1005 2 0 0 20 0 1 0 271179628 38060032 8538 33554432000 4194304 5654031 140737267324912 140737267312728 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25854/statm: 9292 8538 142 357 0 8932 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 57340
[startup+25.5005 s]
/proc/loadavg: 1.29 1.06 1.16 3/181 25859
/proc/meminfo: memFree=28292804/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=23.64 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 5662 37996 0 0 17 17 2310 20 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25859] ppid=25835 vsize=22732 CPUtime=1.81 cores=1,3,5,7
/proc/25859/stat : 25859 (glucosInc) R 25835 25832 25792 0 -1 4202496 5134 0 0 0 180 1 0 0 20 0 1 0 271181735 23277568 4980 33554432000 4194304 5654031 140733487477120 140733487464936 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25859/statm: 5683 4980 142 357 0 5323 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 42904
[startup+51.1005 s]
/proc/loadavg: 1.53 1.14 1.18 3/181 25860
/proc/meminfo: memFree=28267336/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=23.64 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 5662 37996 0 0 17 17 2310 20 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25859] ppid=25835 vsize=46156 CPUtime=27.4 cores=1,3,5,7
/proc/25859/stat : 25859 (glucosInc) R 25835 25832 25792 0 -1 4202496 7397 0 0 0 2739 1 0 0 20 0 1 0 271181735 47263744 10898 33554432000 4194304 5654031 140733487477120 140733487464936 4216312 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25859/statm: 11539 10898 142 357 0 11179 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 66328
[startup+102.3 s]
/proc/loadavg: 1.79 1.27 1.22 3/181 25860
/proc/meminfo: memFree=28193768/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=23.64 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 5662 37996 0 0 17 17 2310 20 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25859] ppid=25835 vsize=128876 CPUtime=78.59 cores=1,3,5,7
/proc/25859/stat : 25859 (glucosInc) R 25835 25832 25792 0 -1 4202496 12005 0 0 0 7855 4 0 0 20 0 1 0 271181735 131969024 27949 33554432000 4194304 5654031 140733487477120 140733487464936 4232466 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25859/statm: 32219 27949 142 357 0 31859 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 149048
[startup+162.3 s]
/proc/loadavg: 1.92 1.40 1.27 3/181 25862
/proc/meminfo: memFree=28207780/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=109.7 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6324 50556 0 0 18 18 10908 26 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25862] ppid=25835 vsize=77632 CPUtime=52.51 cores=1,3,5,7
/proc/25862/stat : 25862 (glucosInc) R 25835 25832 25792 0 -1 4202496 12729 0 0 0 5247 4 0 0 20 0 1 0 271190344 79495168 18794 33554432000 4194304 5654031 140735502747040 140735502734856 4215121 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25862/statm: 19408 18794 142 357 0 19048 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 97804
[startup+222.307 s]
/proc/loadavg: 1.97 1.51 1.31 3/181 25862
/proc/meminfo: memFree=28153252/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=109.7 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6324 50556 0 0 18 18 10908 26 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25862] ppid=25835 vsize=126952 CPUtime=112.51 cores=1,3,5,7
/proc/25862/stat : 25862 (glucosInc) R 25835 25832 25792 0 -1 4202496 14072 0 0 0 11244 7 0 0 20 0 1 0 271190344 129998848 27321 33554432000 4194304 5654031 140735502747040 140735502734856 4232703 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25862/statm: 31738 27321 142 357 0 31378 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 147124
[startup+282.3 s]
/proc/loadavg: 1.99 1.59 1.35 3/181 25862
/proc/meminfo: memFree=28127688/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=109.7 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.77 3/181 25897
/proc/meminfo: memFree=27942764/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=339.1 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6985 69089 0 0 20 18 33829 43 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25864] ppid=25835 vsize=219684 CPUtime=1022.89 cores=1,3,5,7
/proc/25864/stat : 25864 (glucosInc) R 25835 25832 25792 0 -1 4202496 24610 0 0 0 102217 72 0 0 20 0 1 0 271213288 224956416 47720 33554432000 4194304 5654031 140734931455888 140734931443704 4216337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25864/statm: 54921 47720 142 357 0 54561 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 239856
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/181 25897
/proc/meminfo: memFree=27977492/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=339.1 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6985 69089 0 0 20 18 33829 43 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25864] ppid=25835 vsize=219684 CPUtime=1082.89 cores=1,3,5,7
/proc/25864/stat : 25864 (glucosInc) R 25835 25832 25792 0 -1 4202496 25622 0 0 0 108213 76 0 0 20 0 1 0 271213288 224956416 45160 33554432000 4194304 5654031 140734931455888 140734931443704 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25864/statm: 54921 45160 142 357 0 54561 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 239856
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/181 25897
/proc/meminfo: memFree=27984368/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=339.1 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6985 69089 0 0 20 18 33829 43 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25864] ppid=25835 vsize=219684 CPUtime=1142.87 cores=1,3,5,7
/proc/25864/stat : 25864 (glucosInc) R 25835 25832 25792 0 -1 4202496 26564 0 0 0 114208 79 0 0 20 0 1 0 271213288 224956416 43624 33554432000 4194304 5654031 140734931455888 140734931453976 4215017 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25864/statm: 54921 43624 142 357 0 54561 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 239856
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.81 3/181 25897
/proc/meminfo: memFree=27975788/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=339.1 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6985 69089 0 0 20 18 33829 43 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25864] ppid=25835 vsize=169596 CPUtime=1202.87 cores=1,3,5,7
/proc/25864/stat : 25864 (glucosInc) R 25835 25832 25792 0 -1 4202496 27207 0 0 0 120205 82 0 0 20 0 1 0 271213288 173666304 39739 33554432000 4194304 5654031 140734931455888 140734931443704 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25864/statm: 42399 39739 142 357 0 42039 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 189768
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/180 25898
/proc/meminfo: memFree=27996572/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=339.1 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6985 69089 0 0 20 18 33829 43 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25864] ppid=25835 vsize=169596 CPUtime=1262.84 cores=1,3,5,7
/proc/25864/stat : 25864 (glucosInc) R 25835 25832 25792 0 -1 4202496 28691 0 0 0 126197 87 0 0 20 0 1 0 271213288 173666304 36155 33554432000 4194304 5654031 140734931455888 140734931443704 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25864/statm: 42399 36155 142 357 0 42039 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 189768
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/182 25902
/proc/meminfo: memFree=28034564/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=339.1 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6985 69089 0 0 20 18 33829 43 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25864] ppid=25835 vsize=89456 CPUtime=1322.83 cores=1,3,5,7
/proc/25864/stat : 25864 (glucosInc) R 25835 25832 25792 0 -1 4202496 30063 0 0 0 132193 90 0 0 20 0 1 0 271213288 91602944 21750 33554432000 4194304 5654031 140734931455888 140734931443704 4216491 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25864/statm: 22364 21750 142 357 0 22004 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 109628
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/181 25902
/proc/meminfo: memFree=27911720/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=339.1 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6985 69089 0 0 20 18 33829 43 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25864] ppid=25835 vsize=301072 CPUtime=1382.82 cores=1,3,5,7
/proc/25864/stat : 25864 (glucosInc) R 25835 25832 25792 0 -1 4202496 31524 0 0 0 138189 93 0 0 20 0 1 0 271213288 308297728 54888 33554432000 4194304 5654031 140734931455888 140734931453976 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25864/statm: 75268 54888 142 357 0 74908 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 321244
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/181 25902
/proc/meminfo: memFree=27948560/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=339.1 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6985 69089 0 0 20 18 33829 43 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25864] ppid=25835 vsize=219684 CPUtime=1442.81 cores=1,3,5,7
/proc/25864/stat : 25864 (glucosInc) R 25835 25832 25792 0 -1 4202496 32465 0 0 0 144185 96 0 0 20 0 1 0 271213288 224956416 47720 33554432000 4194304 5654031 140734931455888 140734931443704 4215353 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25864/statm: 54921 47720 142 357 0 54561 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 239856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.84 3/181 25902
/proc/meminfo: memFree=27913064/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=339.1 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6985 69089 0 0 20 18 33829 43 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25864] ppid=25835 vsize=301072 CPUtime=1460.91 cores=1,3,5,7
/proc/25864/stat : 25864 (glucosInc) R 25835 25832 25792 0 -1 4202496 32990 0 0 0 145994 97 0 0 20 0 1 0 271213288 308297728 54888 33554432000 4194304 5654031 140734931455888 140734931453976 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25864/statm: 75268 54888 142 357 0 74908 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 321244
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.84 3/181 25902
/proc/meminfo: memFree=27913064/32873844 swapFree=7104/7104
[pid=25832] ppid=25829 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25832/stat : 25832 (npSolver-pbo-It) S 25829 25832 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271179367 9367552 275 33554432000 4194304 5064252 140735340996672 140735340995584 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25832/statm: 2287 275 233 213 0 72 0
[pid=25835] ppid=25832 vsize=11024 CPUtime=339.1 cores=1,3,5,7
/proc/25835/stat : 25835 (npSolver-pbo) S 25832 25832 25792 0 -1 4202496 6985 69089 0 0 20 18 33829 43 20 0 1 0 271179367 11288576 2407 33554432000 4194304 5992684 140736346934864 140736346920696 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25835/statm: 2756 2407 181 440 0 2312 0
[pid=25864] ppid=25835 vsize=301072 CPUtime=1460.91 cores=1,3,5,7
/proc/25864/stat : 25864 (glucosInc) R 25835 25832 25792 0 -1 4202496 32990 0 0 0 145994 97 0 0 20 0 1 0 271213288 308297728 54888 33554432000 4194304 5654031 140734931455888 140734931453976 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25864/statm: 75268 54888 142 357 0 74908 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 321244
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25832 and gives
# childrusage.ru_utime.tv_sec=338
# childrusage.ru_utime.tv_usec=497540
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=624905
# CPU time returned by wait4() is 339.122
# while last known CPU time is 1800.01
#
# 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.01
CPU user time (s): 1798.43
CPU system time (s): 1.58
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 321244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 338.498
system time used= 0.624905
maximum resident set size= 142320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76449
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 823
involuntary context switches= 680
runsolver used 3.03254 second user time and 8.46671 second system time
The end