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-3698061-1338062828/watcher-3698061-1338062828 -o /tmp/evaluation-result-3698061-1338062828/solver-3698061-1338062828 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698061-1338062828.opb 2040888888 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.12 2.05 2.01 3/178 3142
/proc/meminfo: memFree=29081420/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[startup+0.098446 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 3142
/proc/meminfo: memFree=29081420/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100231 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 3142
/proc/meminfo: memFree=29081420/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300279 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 3142
/proc/meminfo: memFree=29081420/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700244 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 3142
/proc/meminfo: memFree=29081420/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.12 2.05 2.01 3/181 3155
/proc/meminfo: memFree=29057824/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1.11 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 5211 16922 0 0 45 9 53 4 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 17176
[startup+3.10039 s]
/proc/loadavg: 2.11 2.04 2.01 3/181 3157
/proc/meminfo: memFree=29054792/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1.11 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 5211 16922 0 0 45 9 53 4 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3157] ppid=3143 vsize=20144 CPUtime=1.95 cores=1,3,5,7
/proc/3157/stat : 3157 (glucosInc) R 3143 3142 1914 0 -1 4202496 3962 0 0 0 195 0 0 0 20 0 1 0 272408420 20627456 4122 33554432000 4194304 5654031 140733491821408 140733491819176 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3157/statm: 5036 4122 140 357 0 4676 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 37320
[startup+6.30025 s]
/proc/loadavg: 2.11 2.04 2.01 3/181 3159
/proc/meminfo: memFree=29051628/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=5.54 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 7307 26041 0 0 62 10 476 6 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 17176
[startup+12.7004 s]
/proc/loadavg: 2.09 2.04 2.01 3/181 3163
/proc/meminfo: memFree=29045864/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=8.56 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 8355 30767 0 0 70 11 768 7 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3163] ppid=3143 vsize=20628 CPUtime=4.1 cores=1,3,5,7
/proc/3163/stat : 3163 (glucosInc) R 3143 3142 1914 0 -1 4202496 4515 0 0 0 409 1 0 0 20 0 1 0 272409165 21123072 4302 33554432000 4194304 5654031 140735022324256 140735022312072 4232662 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3163/statm: 5157 4302 142 357 0 4797 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 37804
[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 3169
/proc/meminfo: memFree=29067016/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=21.74 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 11499 47094 0 0 95 12 2055 12 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3169] ppid=3143 vsize=20632 CPUtime=3.72 cores=1,3,5,7
/proc/3169/stat : 3169 (glucosInc) R 3143 3142 1914 0 -1 4202496 4487 0 0 0 371 1 0 0 20 0 1 0 272410483 21127168 4199 33554432000 4194304 5654031 140735993366016 140735993353832 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3169/statm: 5158 4199 142 357 0 4798 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 37808
[startup+51.1004 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 3175
/proc/meminfo: memFree=29033080/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=47.08 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 14643 69902 0 0 120 13 4557 18 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3175] ppid=3143 vsize=20468 CPUtime=3.96 cores=1,3,5,7
/proc/3175/stat : 3175 (glucosInc) R 3143 3142 1914 0 -1 4202496 4908 0 0 0 396 0 0 0 20 0 1 0 272413018 20959232 4163 33554432000 4194304 5654031 140736133793040 140736133780856 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3175/statm: 5117 4163 142 357 0 4757 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 37644
[startup+102.307 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 3177
/proc/meminfo: memFree=29032004/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=81.9 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 15691 78871 0 0 129 14 8026 21 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3177] ppid=3143 vsize=37064 CPUtime=20.35 cores=1,3,5,7
/proc/3177/stat : 3177 (glucosInc) R 3143 3142 1914 0 -1 4202496 7123 0 0 0 2033 2 0 0 20 0 1 0 272416499 37953536 8673 33554432000 4194304 5654031 140733482683072 140733482670888 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3177/statm: 9266 8673 142 357 0 8906 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 54240
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 3178
/proc/meminfo: memFree=28987488/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=81.9 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 15691 78871 0 0 129 14 8026 21 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3177] ppid=3143 vsize=58708 CPUtime=80.34 cores=1,3,5,7
/proc/3177/stat : 3177 (glucosInc) R 3143 3142 1914 0 -1 4202496 9492 0 0 0 8030 4 0 0 20 0 1 0 272416499 60116992 14058 33554432000 4194304 5654031 140733482683072 140733482680872 4215097 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3177/statm: 14677 14058 142 357 0 14317 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 75884
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 3181
/proc/meminfo: memFree=28970560/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=81.9 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 15691 78871 0 0 129 14 8026 21 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3177] ppid=3143 vsize=81984 CPUtime=140.33 cores=1,3,5,7
/proc/3177/stat : 3177 (glucosInc) R 3143 3142 1914 0 -1 4202496 10200 0 0 0 14028 5 0 0 20 0 1 0 272416499 83951616 19418 33554432000 4194304 5654031 140733482683072 140733482670888 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3177/statm: 20496 19418 142 357 0 20136 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 99160
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 3181
/proc/meminfo: memFree=28940208/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=81.9 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=29164652/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=421.61 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 16739 91577 0 0 137 14 41981 29 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3184] ppid=3143 vsize=112268 CPUtime=820.41 cores=1,3,5,7
/proc/3184/stat : 3184 (glucosInc) R 3143 3142 1914 0 -1 4202496 15366 0 0 0 82024 17 0 0 20 0 1 0 272450479 114962432 23296 33554432000 4194304 5654031 140736653046048 140736653033864 4232810 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3184/statm: 28067 23296 142 357 0 27707 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 129444
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3262
/proc/meminfo: memFree=29092836/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=421.61 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 16739 91577 0 0 137 14 41981 29 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3184] ppid=3143 vsize=161588 CPUtime=880.4 cores=1,3,5,7
/proc/3184/stat : 3184 (glucosInc) R 3143 3142 1914 0 -1 4202496 15893 0 0 0 88021 19 0 0 20 0 1 0 272450479 165466112 34801 33554432000 4194304 5654031 140736653046048 140736653033864 4233144 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3184/statm: 40397 34801 142 357 0 40037 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 178764
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3265
/proc/meminfo: memFree=29198292/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1342.24 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 17787 108266 0 0 145 15 134013 51 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3265] ppid=3143 vsize=37128 CPUtime=19.77 cores=1,3,5,7
/proc/3265/stat : 3265 (glucosInc) R 3143 3142 1914 0 -1 4202496 9235 0 0 0 1975 2 0 0 20 0 1 0 272542557 38019072 8168 33554432000 4194304 5654031 140733569833936 140733569821752 4232398 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3265/statm: 9282 8168 142 357 0 8922 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 54304
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3268
/proc/meminfo: memFree=29177724/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1342.24 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 17787 108266 0 0 145 15 134013 51 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3265] ppid=3143 vsize=63116 CPUtime=79.76 cores=1,3,5,7
/proc/3265/stat : 3265 (glucosInc) R 3143 3142 1914 0 -1 4202496 11322 0 0 0 7973 3 0 0 20 0 1 0 272542557 64630784 12722 33554432000 4194304 5654031 140733569833936 140733569821752 4215883 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3265/statm: 15779 12722 142 357 0 15419 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 80292
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3268
/proc/meminfo: memFree=29143912/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1342.24 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 17787 108266 0 0 145 15 134013 51 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3265] ppid=3143 vsize=81972 CPUtime=139.75 cores=1,3,5,7
/proc/3265/stat : 3265 (glucosInc) R 3143 3142 1914 0 -1 4202496 11847 0 0 0 13971 4 0 0 20 0 1 0 272542557 83939328 17904 33554432000 4194304 5654031 140733569833936 140733569821752 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3265/statm: 20493 17904 142 357 0 20133 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 99148
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3268
/proc/meminfo: memFree=29158680/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1342.24 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 17787 108266 0 0 145 15 134013 51 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3265] ppid=3143 vsize=81976 CPUtime=199.73 cores=1,3,5,7
/proc/3265/stat : 3265 (glucosInc) R 3143 3142 1914 0 -1 4202496 12446 0 0 0 19969 4 0 0 20 0 1 0 272542557 83943424 14260 33554432000 4194304 5654031 140733569833936 140733569821752 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3265/statm: 20494 14260 142 357 0 20134 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 99152
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3268
/proc/meminfo: memFree=29124984/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1342.24 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 17787 108266 0 0 145 15 134013 51 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3265] ppid=3143 vsize=94812 CPUtime=259.72 cores=1,3,5,7
/proc/3265/stat : 3265 (glucosInc) R 3143 3142 1914 0 -1 4202496 13305 0 0 0 25967 5 0 0 20 0 1 0 272542557 97087488 22770 33554432000 4194304 5654031 140733569833936 140733569821752 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3265/statm: 23703 22770 142 357 0 23343 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 111988
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3269
/proc/meminfo: memFree=29089296/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1342.24 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 17787 108266 0 0 145 15 134013 51 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3265] ppid=3143 vsize=94812 CPUtime=319.71 cores=1,3,5,7
/proc/3265/stat : 3265 (glucosInc) R 3143 3142 1914 0 -1 4202496 13752 0 0 0 31964 7 0 0 20 0 1 0 272542557 97087488 23138 33554432000 4194304 5654031 140733569833936 140733569831960 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3265/statm: 23703 23138 142 357 0 23343 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 111988
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3269
/proc/meminfo: memFree=29122808/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1342.24 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 17787 108266 0 0 145 15 134013 51 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3265] ppid=3143 vsize=94812 CPUtime=379.7 cores=1,3,5,7
/proc/3265/stat : 3265 (glucosInc) R 3143 3142 1914 0 -1 4202496 13998 0 0 0 37961 9 0 0 20 0 1 0 272542557 97087488 23138 33554432000 4194304 5654031 140733569833936 140733569821752 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3265/statm: 23703 23138 142 357 0 23343 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 111988
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3269
/proc/meminfo: memFree=29122684/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1342.24 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 17787 108266 0 0 145 15 134013 51 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3265] ppid=3143 vsize=94812 CPUtime=439.68 cores=1,3,5,7
/proc/3265/stat : 3265 (glucosInc) R 3143 3142 1914 0 -1 4202496 14250 0 0 0 43957 11 0 0 20 0 1 0 272542557 97087488 23138 33554432000 4194304 5654031 140733569833936 140733569831960 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3265/statm: 23703 23138 142 357 0 23343 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 111988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3269
/proc/meminfo: memFree=29046040/32873844 swapFree=7384/7384
[pid=3142] ppid=3140 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3142/stat : 3142 (npSolver-pbo-It) S 3140 3142 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272408306 9367552 274 33554432000 4194304 5064252 140735519957600 140735519956512 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3142/statm: 2287 274 233 213 0 72 0
[pid=3143] ppid=3142 vsize=8028 CPUtime=1342.24 cores=1,3,5,7
/proc/3143/stat : 3143 (npSolver-pbo) S 3142 3142 1914 0 -1 4202496 17787 108266 0 0 145 15 134013 51 20 0 1 0 272408306 8220672 1606 33554432000 4194304 5992684 140737167661504 140737167647336 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3143/statm: 2007 1606 179 440 0 1563 0
[pid=3265] ppid=3143 vsize=144132 CPUtime=457.79 cores=1,3,5,7
/proc/3265/stat : 3265 (glucosInc) R 3143 3142 1914 0 -1 4202496 14333 0 0 0 45767 12 0 0 20 0 1 0 272542557 147591168 32419 33554432000 4194304 5654031 140733569833936 140733569821752 4232939 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3265/statm: 36033 32419 142 357 0 35673 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 161308
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.27
CPU system time (s): 0.789879
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 178764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.789879
maximum resident set size= 141252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 65072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1221
involuntary context switches= 3725
runsolver used 3.52846 second user time and 8.17476 second system time
The end