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-3748516-1339179230/watcher-3748516-1339179230 -o /tmp/evaluation-result-3748516-1339179230/solver-3748516-1339179230 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748516-1339179230.opb 2060595836 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: 2.03 2.01 2.00 2/178 9315
/proc/meminfo: memFree=29616760/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[startup+0.106059 s]
/proc/loadavg: 2.03 2.01 2.00 2/178 9315
/proc/meminfo: memFree=29616760/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.20035 s]
/proc/loadavg: 2.03 2.01 2.00 2/178 9315
/proc/meminfo: memFree=29616760/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300222 s]
/proc/loadavg: 2.03 2.01 2.00 2/178 9315
/proc/meminfo: memFree=29616760/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700225 s]
/proc/loadavg: 2.03 2.01 2.00 2/178 9315
/proc/meminfo: memFree=29616760/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 9324
/proc/meminfo: memFree=29569916/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22528 CPUtime=0.54 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 5694 6732 0 0 15 5 33 1 20 0 1 0 384048417 23068672 4769 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5632 4769 184 442 0 5186 0
[pid=9324] ppid=9316 vsize=28192 CPUtime=0.92 cores=0,2,4,6
/proc/9324/stat : 9324 (glucosInc) R 9316 9315 8594 0 -1 4202496 6455 0 0 0 91 1 0 0 20 0 1 0 384048474 28868608 5593 33554432000 4194304 5654031 140736307175008 140736307172792 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9324/statm: 7048 5593 132 357 0 6688 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 59868
[startup+3.10034 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 9324
/proc/meminfo: memFree=29567124/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22528 CPUtime=0.54 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 5694 6732 0 0 15 5 33 1 20 0 1 0 384048417 23068672 4769 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5632 4769 184 442 0 5186 0
[pid=9324] ppid=9316 vsize=28456 CPUtime=2.52 cores=0,2,4,6
/proc/9324/stat : 9324 (glucosInc) R 9316 9315 8594 0 -1 4202496 6560 0 0 0 251 1 0 0 20 0 1 0 384048474 29138944 6209 33554432000 4194304 5654031 140736307175008 140736307172792 4208584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9324/statm: 7114 6209 132 357 0 6754 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 60132
[startup+6.30036 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 9324
/proc/meminfo: memFree=29565888/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22528 CPUtime=0.54 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 5694 6732 0 0 15 5 33 1 20 0 1 0 384048417 23068672 4769 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5632 4769 184 442 0 5186 0
[pid=9324] ppid=9316 vsize=28784 CPUtime=5.71 cores=0,2,4,6
/proc/9324/stat : 9324 (glucosInc) R 9316 9315 8594 0 -1 4202496 6907 0 0 0 570 1 0 0 20 0 1 0 384048474 29474816 6362 33554432000 4194304 5654031 140736307175008 140736307173032 4232380 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9324/statm: 7196 6362 132 357 0 6836 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 60460
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9328
/proc/meminfo: memFree=29570864/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=12.48 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 14385 27346 0 0 42 8 1191 7 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 31932
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9332
/proc/meminfo: memFree=29572720/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=15.38 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 16255 32982 0 0 49 8 1472 9 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9332] ppid=9316 vsize=24312 CPUtime=10.08 cores=0,2,4,6
/proc/9332/stat : 9332 (glucosInc) R 9316 9315 8594 0 -1 4202496 5038 0 0 0 1007 1 0 0 20 0 1 0 384049957 24895488 4748 33554432000 4194304 5654031 140734546494304 140734546482120 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9332/statm: 6078 4748 138 357 0 5718 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 56244
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 9374
/proc/meminfo: memFree=30709856/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=15.38 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 16255 32982 0 0 49 8 1472 9 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9332] ppid=9316 vsize=40352 CPUtime=35.67 cores=0,2,4,6
/proc/9332/stat : 9332 (glucosInc) R 9316 9315 8594 0 -1 4202496 6945 0 0 0 3566 1 0 0 20 0 1 0 384049957 41320448 9126 33554432000 4194304 5654031 140734546494304 140734546492104 4208683 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9332/statm: 10088 9126 138 357 0 9728 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 72284
[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 9376
/proc/meminfo: memFree=30678452/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=15.38 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 16255 32982 0 0 49 8 1472 9 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9332] ppid=9316 vsize=40352 CPUtime=86.88 cores=0,2,4,6
/proc/9332/stat : 9332 (glucosInc) R 9316 9315 8594 0 -1 4202496 7056 0 0 0 8686 2 0 0 20 0 1 0 384049957 41320448 9253 33554432000 4194304 5654031 140734546494304 140734546482120 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9332/statm: 10088 9253 138 357 0 9728 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 72284
[startup+162.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/181 9376
/proc/meminfo: memFree=30643696/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=15.38 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 16255 32982 0 0 49 8 1472 9 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9332] ppid=9316 vsize=47980 CPUtime=146.86 cores=0,2,4,6
/proc/9332/stat : 9332 (glucosInc) R 9316 9315 8594 0 -1 4202496 7323 0 0 0 14684 2 0 0 20 0 1 0 384049957 49131520 11033 33554432000 4194304 5654031 140734546494304 140734546492104 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9332/statm: 11995 11033 138 357 0 11635 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 79912
[startup+222.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 9376
/proc/meminfo: memFree=30634140/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=15.38 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 16255 32982 0 0 49 8 1472 9 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9332] ppid=9316 vsize=59836 CPUtime=206.85 cores=0,2,4,6
/proc/9332/stat : 9332 (glucosInc) R 9316 9315 8594 0 -1 4202496 8082 0 0 0 20683 2 0 0 20 0 1 0 384049957 61272064 13128 33554432000 4194304 5654031 140734546494304 140734546492328 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9332/statm: 14959 13128 138 357 0 14599 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 91768
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 9376
/proc/meminfo: memFree=30598392/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=30612592/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1285.6 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 27202 79903 0 0 89 13 128428 30 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9400] ppid=9316 vsize=21792 CPUtime=16.46 cores=0,2,4,6
/proc/9400/stat : 9400 (glucosInc) R 9316 9315 8594 0 -1 4202496 5468 0 0 0 1645 1 0 0 20 0 1 0 384177000 22315008 4586 33554432000 4194304 5654031 140734906303536 140734906291352 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9400/statm: 5448 4586 138 357 0 5088 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 53724
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9400
/proc/meminfo: memFree=30603788/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1285.6 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 27202 79903 0 0 89 13 128428 30 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9400] ppid=9316 vsize=33336 CPUtime=76.44 cores=0,2,4,6
/proc/9400/stat : 9400 (glucosInc) R 9316 9315 8594 0 -1 4202496 7506 0 0 0 7642 2 0 0 20 0 1 0 384177000 34136064 7232 33554432000 4194304 5654031 140734906303536 140734906301416 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9400/statm: 8334 7232 141 357 0 7974 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 65268
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9402
/proc/meminfo: memFree=30588528/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=28896 CPUtime=11.46 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 6153 0 0 0 1145 1 0 0 20 0 1 0 384189500 29589504 5930 33554432000 4194304 5654031 140736277458592 140736277446408 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 7224 5930 141 357 0 6864 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 60828
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9402
/proc/meminfo: memFree=30580468/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=40388 CPUtime=71.44 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 8034 0 0 0 7143 1 0 0 20 0 1 0 384189500 41357312 9280 33554432000 4194304 5654031 140736277458592 140736277456392 4232403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 10097 9280 141 357 0 9737 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 72320
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9403
/proc/meminfo: memFree=30584764/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=40388 CPUtime=131.43 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 8034 0 0 0 13142 1 0 0 20 0 1 0 384189500 41357312 9280 33554432000 4194304 5654031 140736277458592 140736277456392 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 10097 9280 141 357 0 9737 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 72320
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9406
/proc/meminfo: memFree=30585580/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=45064 CPUtime=191.43 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 8613 0 0 0 19141 2 0 0 20 0 1 0 384189500 46145536 10061 33554432000 4194304 5654031 140736277458592 140736277446408 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 11266 10061 141 357 0 10906 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 76996
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 9406
/proc/meminfo: memFree=30585664/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=63740 CPUtime=251.41 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 9142 0 0 0 25139 2 0 0 20 0 1 0 384189500 65269760 11597 33554432000 4194304 5654031 140736277458592 140736277446408 4216213 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 15935 11597 141 357 0 15575 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 95672
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9406
/proc/meminfo: memFree=30586052/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=63740 CPUtime=311.4 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 9143 0 0 0 31138 2 0 0 20 0 1 0 384189500 65269760 12109 33554432000 4194304 5654031 140736277458592 140736277446408 4232710 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 15935 12109 141 357 0 15575 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 95672
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9406
/proc/meminfo: memFree=30563712/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=63740 CPUtime=371.4 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 9143 0 0 0 37137 3 0 0 20 0 1 0 384189500 65269760 12109 33554432000 4194304 5654031 140736277458592 140736277446408 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 15935 12109 141 357 0 15575 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 95672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9406
/proc/meminfo: memFree=30581972/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=63740 CPUtime=389.5 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 9143 0 0 0 38947 3 0 0 20 0 1 0 384189500 65269760 12109 33554432000 4194304 5654031 140736277458592 140736277446408 4216722 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 15935 12109 141 357 0 15575 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 95672
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 2.00 3/181 9406
/proc/meminfo: memFree=30581972/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=63740 CPUtime=389.5 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 9143 0 0 0 38947 3 0 0 20 0 1 0 384189500 65269760 12109 33554432000 4194304 5654031 140736277458592 140736277446408 4216722 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 15935 12109 141 357 0 15575 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 95672
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.59
CPU system time (s): 0.517921
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 133976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.517921
maximum resident set size= 86876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 119368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 835
involuntary context switches= 2122
runsolver used 3.2645 second user time and 7.43987 second system time
The end