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-3698135-1338068016/watcher-3698135-1338068016 -o /tmp/evaluation-result-3698135-1338068016/solver-3698135-1338068016 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698135-1338068016.opb 21556526 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: 1.95 2.37 2.65 3/178 5080
/proc/meminfo: memFree=31245640/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[startup+0.106194 s]
/proc/loadavg: 1.95 2.37 2.65 3/178 5080
/proc/meminfo: memFree=31245640/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200309 s]
/proc/loadavg: 1.95 2.37 2.65 3/178 5080
/proc/meminfo: memFree=31245640/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300371 s]
/proc/loadavg: 1.95 2.37 2.65 3/178 5080
/proc/meminfo: memFree=31245640/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700283 s]
/proc/loadavg: 1.95 2.37 2.65 3/178 5080
/proc/meminfo: memFree=31245640/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 1.95 2.37 2.65 3/181 5091
/proc/meminfo: memFree=31215296/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=1.46 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 9655 24036 0 0 24 8 107 7 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 22304
[startup+3.10026 s]
/proc/loadavg: 1.95 2.37 2.65 3/181 5097
/proc/meminfo: memFree=31215236/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=2.26 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 13077 33923 0 0 32 8 176 10 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 22304
heavy processes:
[startup+6.30041 s]
/proc/loadavg: 1.96 2.36 2.64 3/181 5101
/proc/meminfo: memFree=31207852/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=3.69 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 14800 38689 0 0 36 9 313 11 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5101] ppid=5081 vsize=23284 CPUtime=2.58 cores=1,3,5,7
/proc/5101/stat : 5101 (glucosInc) R 5081 5080 2929 0 -1 4202496 4340 0 0 0 258 0 0 0 20 0 1 0 272930571 23842816 4684 33554432000 4194304 5654031 140736981352576 140736981340392 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5101/statm: 5821 4684 141 357 0 5461 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 45588
[startup+12.7003 s]
/proc/loadavg: 2.04 2.37 2.64 3/181 5103
/proc/meminfo: memFree=31203216/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=12.22 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 18221 49600 0 0 44 9 1155 14 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 22304
[startup+25.5005 s]
/proc/loadavg: 2.03 2.35 2.63 3/181 5107
/proc/meminfo: memFree=31188828/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=15.14 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 19921 54678 0 0 48 10 1441 15 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5107] ppid=5081 vsize=26348 CPUtime=10.32 cores=1,3,5,7
/proc/5107/stat : 5107 (glucosInc) R 5081 5080 2929 0 -1 4202496 7426 0 0 0 1031 1 0 0 20 0 1 0 272931716 26980352 5870 33554432000 4194304 5654031 140735558191600 140735558179416 4216325 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5107/statm: 6587 5870 142 357 0 6227 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 48652
[startup+51.1005 s]
/proc/loadavg: 2.02 2.32 2.62 3/181 5111
/proc/meminfo: memFree=31159532/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=31.38 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 23339 67843 0 0 55 11 3053 19 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5111] ppid=5081 vsize=33268 CPUtime=19.67 cores=1,3,5,7
/proc/5111/stat : 5111 (glucosInc) R 5081 5080 2929 0 -1 4202496 6995 0 0 0 1965 2 0 0 20 0 1 0 272933341 34066432 7595 33554432000 4194304 5654031 140734322610576 140734322598392 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5111/statm: 8317 7595 142 357 0 7957 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 55572
[startup+102.3 s]
/proc/loadavg: 2.01 2.27 2.58 3/181 5112
/proc/meminfo: memFree=31207352/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=31.38 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 23339 67843 0 0 55 11 3053 19 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5111] ppid=5081 vsize=49356 CPUtime=70.87 cores=1,3,5,7
/proc/5111/stat : 5111 (glucosInc) R 5081 5080 2929 0 -1 4202496 9121 0 0 0 7084 3 0 0 20 0 1 0 272933341 50540544 10630 33554432000 4194304 5654031 140734322610576 140734322598392 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5111/statm: 12339 10630 142 357 0 11979 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 71660
[startup+162.3 s]
/proc/loadavg: 2.00 2.22 2.54 3/181 5112
/proc/meminfo: memFree=31159796/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=31.38 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 23339 67843 0 0 55 11 3053 19 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5111] ppid=5081 vsize=52076 CPUtime=130.85 cores=1,3,5,7
/proc/5111/stat : 5111 (glucosInc) R 5081 5080 2929 0 -1 4202496 11591 0 0 0 13081 4 0 0 20 0 1 0 272933341 53325824 11968 33554432000 4194304 5654031 140734322610576 140734322598392 4218809 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5111/statm: 13019 11968 142 357 0 12659 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 74380
[startup+222.307 s]
/proc/loadavg: 2.00 2.18 2.51 3/181 5112
/proc/meminfo: memFree=31092924/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=31.38 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 23339 67843 0 0 55 11 3053 19 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5111] ppid=5081 vsize=75360 CPUtime=190.84 cores=1,3,5,7
/proc/5111/stat : 5111 (glucosInc) R 5081 5080 2929 0 -1 4202496 12248 0 0 0 19080 4 0 0 20 0 1 0 272933341 77168640 17733 33554432000 4194304 5654031 140734322610576 140734322598392 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5111/statm: 18840 17733 142 357 0 18480 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 97664
[startup+282.3 s]
/proc/loadavg: 2.03 2.16 2.48 3/181 5112
/proc/meminfo: memFree=31155028/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=31.38 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 23339 67843 0 0 55 11 3053 19 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
################
# More data... #
################
/proc/meminfo: memFree=31117668/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=89964 CPUtime=541.01 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 14885 0 0 0 54089 12 0 0 20 0 1 0 273006319 92123136 21820 33554432000 4194304 5654031 140734036782800 140734036770616 4232403 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 22491 21820 142 357 0 22131 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 112268
[startup+1362.3 s]
/proc/loadavg: 1.98 1.99 2.13 3/181 5180
/proc/meminfo: memFree=31108256/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=89964 CPUtime=600.99 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 15633 0 0 0 60086 13 0 0 20 0 1 0 273006319 92123136 21820 33554432000 4194304 5654031 140734036782800 140734036770616 4215033 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 22491 21820 142 357 0 22131 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 112268
[startup+1422.3 s]
/proc/loadavg: 1.99 1.99 2.11 3/181 5180
/proc/meminfo: memFree=31099308/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=91684 CPUtime=660.99 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 16072 0 0 0 66086 13 0 0 20 0 1 0 273006319 93884416 22250 33554432000 4194304 5654031 140734036782800 140734036780600 4232782 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 22921 22250 142 357 0 22561 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 113988
[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 2.10 3/181 5180
/proc/meminfo: memFree=31086740/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=111224 CPUtime=720.97 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 16603 0 0 0 72084 13 0 0 20 0 1 0 273006319 113893376 26356 33554432000 4194304 5654031 140734036782800 140734036780680 4232912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 27806 26356 142 357 0 27446 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 133528
[startup+1542.31 s]
/proc/loadavg: 1.99 1.99 2.09 3/181 5180
/proc/meminfo: memFree=31078420/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=111224 CPUtime=780.97 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 16606 0 0 0 78084 13 0 0 20 0 1 0 273006319 113893376 26868 33554432000 4194304 5654031 140734036782800 140734036780680 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 27806 26868 142 357 0 27446 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 133528
[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 2.08 3/182 5184
/proc/meminfo: memFree=31074316/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=111224 CPUtime=840.95 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 16606 0 0 0 84082 13 0 0 20 0 1 0 273006319 113893376 26868 33554432000 4194304 5654031 140734036782800 140734036780680 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 27806 26868 142 357 0 27446 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 133528
[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 2.08 3/182 5206
/proc/meminfo: memFree=31067224/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=111224 CPUtime=900.95 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 17280 0 0 0 90081 14 0 0 20 0 1 0 273006319 113893376 27161 33554432000 4194304 5654031 140734036782800 140734036780824 4208604 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 27806 27161 142 357 0 27446 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 133528
[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 2.07 3/181 5206
/proc/meminfo: memFree=31060748/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=111224 CPUtime=960.93 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 17652 0 0 0 96079 14 0 0 20 0 1 0 273006319 113893376 27161 33554432000 4194304 5654031 140734036782800 140734036780824 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 27806 27161 142 357 0 27446 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 133528
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 2.07 3/181 5206
/proc/meminfo: memFree=31040764/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=160744 CPUtime=1020.93 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 18422 0 0 0 102077 16 0 0 20 0 1 0 273006319 164601856 35734 33554432000 4194304 5654031 140734036782800 140734036780728 4232700 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 40186 35734 142 357 0 39826 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 183048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.99 1.99 2.07 3/181 5206
/proc/meminfo: memFree=31072352/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=111424 CPUtime=1039.03 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 18423 0 0 0 103887 16 0 0 20 0 1 0 273006319 114098176 27185 33554432000 4194304 5654031 140734036782800 140734036780824 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 27856 27185 142 357 0 27496 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 133728
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 1.99 1.99 2.07 3/181 5206
/proc/meminfo: memFree=31072352/32873844 swapFree=7108/7108
[pid=5080] ppid=5078 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5080/stat : 5080 (npSolver-pbo-It) S 5078 5080 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272930200 9367552 275 33554432000 4194304 5064252 140733863396464 140733863395376 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5080/statm: 2287 275 233 213 0 72 0
[pid=5081] ppid=5080 vsize=13156 CPUtime=761.03 cores=1,3,5,7
/proc/5081/stat : 5081 (npSolver-pbo) S 5080 5080 2929 0 -1 4202496 25062 88264 0 0 59 11 75994 39 20 0 1 0 272930200 13471744 2918 33554432000 4194304 5992684 140735812154672 140735812140504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5081/statm: 3289 2918 180 440 0 2845 0
[pid=5120] ppid=5081 vsize=111424 CPUtime=1039.03 cores=1,3,5,7
/proc/5120/stat : 5120 (glucosInc) R 5081 5080 2929 0 -1 4202496 18423 0 0 0 103887 16 0 0 20 0 1 0 273006319 114098176 27185 33554432000 4194304 5654031 140734036782800 140734036780824 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5120/statm: 27856 27185 142 357 0 27496 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 133728
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.42
CPU system time (s): 0.675897
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 189296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.675897
maximum resident set size= 144984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132129
page faults= 0
swaps= 0
block input operations= 0
block output operations= 49360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1586
involuntary context switches= 2501
runsolver used 3.07453 second user time and 8.48871 second system time
The end