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 /var/tmp/evaluation-result-3500070-1307990189/watcher-3500070-1307990189 -o /var/tmp/evaluation-result-3500070-1307990189/solver-3500070-1307990189 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500070-1307990189.opb
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: 1.87 1.98 1.99 2/172 19335
/proc/meminfo: memFree=5059888/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=2836 CPUtime=0 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) R 19333 19335 19040 0 -1 4202496 414 0 0 0 0 0 0 0 24 0 1 0 910618714 2904064 367 33554432000 4194304 5714118 140736169406816 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19335/statm: 709 367 163 372 0 254 0
[startup+0.100236 s]
/proc/loadavg: 1.87 1.98 1.99 2/172 19335
/proc/meminfo: memFree=5059888/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=219024 CPUtime=0.16 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 17584 0 0 0 12 4 0 0 24 0 3 0 910618714 224280576 17226 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 54756 17239 177 372 0 54381 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 219024
[startup+0.201218 s]
/proc/loadavg: 1.87 1.98 1.99 2/172 19335
/proc/meminfo: memFree=5059888/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=222668 CPUtime=0.37 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 28047 0 0 0 23 14 0 0 24 0 3 0 910618714 228012032 27688 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 55667 27693 177 372 0 55292 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 222668
[startup+0.301093 s]
/proc/loadavg: 1.87 1.98 1.99 2/172 19335
/proc/meminfo: memFree=5059888/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=293124 CPUtime=0.56 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 37757 0 0 0 34 22 0 0 24 0 3 0 910618714 300158976 37372 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 73281 37376 177 372 0 72906 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 293124
[startup+0.701133 s]
/proc/loadavg: 1.87 1.98 1.99 2/172 19335
/proc/meminfo: memFree=5059888/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=299596 CPUtime=1.36 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 47768 0 0 0 107 29 0 0 24 0 3 0 910618714 306786304 47258 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 74899 47258 178 372 0 74524 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 299596
[startup+1.50094 s]
/proc/loadavg: 1.87 1.98 1.99 5/182 19354
/proc/meminfo: memFree=4769076/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=299596 CPUtime=2.97 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 49040 0 0 0 266 31 0 0 24 0 3 0 910618714 306786304 48197 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 74899 48197 179 372 0 74524 0
[pid=19335/tid=19337] ppid=19333 vsize=299596 CPUtime=1.46 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 2173 0 0 0 145 1 0 0 25 0 3 0 910618716 306786304 48197 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=299596 CPUtime=1.47 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 46098 0 0 0 118 29 0 0 19 0 3 0 910618716 306786304 48197 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 299596
[startup+3.1006 s]
/proc/loadavg: 1.87 1.98 1.99 5/182 19354
/proc/meminfo: memFree=4752088/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=299596 CPUtime=6.17 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 50356 0 0 0 584 33 0 0 24 0 3 0 910618714 306786304 49487 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 74899 49487 179 372 0 74524 0
[pid=19335/tid=19337] ppid=19333 vsize=299596 CPUtime=3.06 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 3467 0 0 0 303 3 0 0 25 0 3 0 910618716 306786304 49487 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=299596 CPUtime=3.06 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 46120 0 0 0 277 29 0 0 23 0 3 0 910618716 306786304 49487 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 299596
[startup+6.30103 s]
/proc/loadavg: 2.04 2.01 2.00 5/182 19354
/proc/meminfo: memFree=4715592/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=299596 CPUtime=12.57 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 51319 0 0 0 1218 39 0 0 24 0 3 0 910618714 306786304 50450 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 74899 50450 179 372 0 74524 0
[pid=19335/tid=19337] ppid=19333 vsize=299596 CPUtime=6.27 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 4184 0 0 0 619 8 0 0 25 0 3 0 910618716 306786304 50450 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=299596 CPUtime=6.26 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 46366 0 0 0 596 30 0 0 25 0 3 0 910618716 306786304 50450 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 299596
[startup+12.701 s]
/proc/loadavg: 2.20 2.04 2.01 5/182 19354
/proc/meminfo: memFree=4662452/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=299980 CPUtime=25.37 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 53627 0 0 0 2490 47 0 0 24 0 3 0 910618714 307179520 52743 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 74995 52743 180 372 0 74620 0
[pid=19335/tid=19337] ppid=19333 vsize=299980 CPUtime=12.67 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 6188 0 0 0 1254 13 0 0 25 0 3 0 910618716 307179520 52743 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=299980 CPUtime=12.66 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 46670 0 0 0 1233 33 0 0 25 0 3 0 910618716 307179520 52743 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319153 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 299980
[startup+25.5007 s]
/proc/loadavg: 2.60 2.14 2.04 5/182 19355
/proc/meminfo: memFree=4596328/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=300412 CPUtime=50.97 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 57145 0 0 0 5038 59 0 0 24 0 3 0 910618714 307621888 56261 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 75103 56261 180 372 0 74728 0
[pid=19335/tid=19337] ppid=19333 vsize=300412 CPUtime=25.46 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 8945 0 0 0 2525 21 0 0 25 0 3 0 910618716 307621888 56261 33554432000 4194304 5714118 140736169406816 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=300412 CPUtime=25.46 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 47431 0 0 0 2509 37 0 0 22 0 3 0 910618716 307621888 56261 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 300412
[startup+51.1012 s]
/proc/loadavg: 3.07 2.29 2.09 5/182 19355
/proc/meminfo: memFree=4455648/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=300216 CPUtime=102.16 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 63444 0 0 0 10100 116 0 0 24 0 3 0 910618714 307421184 61991 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 75054 61991 180 372 0 74679 0
[pid=19335/tid=19337] ppid=19333 vsize=300216 CPUtime=51.06 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 12883 0 0 0 5041 65 0 0 25 0 3 0 910618716 307421184 61991 33554432000 4194304 5714118 140736169406816 18446744073709551615 4323227 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=300216 CPUtime=51.06 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 49792 0 0 0 5056 50 0 0 25 0 3 0 910618716 307421184 61991 33554432000 4194304 5714118 140736169406816 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 300216
[startup+102.301 s]
/proc/loadavg: 3.60 2.55 2.19 5/182 19357
/proc/meminfo: memFree=4243060/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=433800 CPUtime=204.57 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 79977 0 0 0 20244 213 0 0 24 0 3 0 910618714 444211200 78524 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 108450 78524 180 372 0 108075 0
[pid=19335/tid=19337] ppid=19333 vsize=433800 CPUtime=102.26 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 22934 0 0 0 10086 140 0 0 25 0 3 0 910618716 444211200 78524 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=433800 CPUtime=102.27 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 56274 0 0 0 10155 72 0 0 25 0 3 0 910618716 444211200 78524 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 433800
[startup+162.3 s]
/proc/loadavg: 3.85 2.81 2.30 5/182 19358
/proc/meminfo: memFree=4168604/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=501984 CPUtime=324.56 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 99078 0 0 0 32147 309 0 0 24 0 3 0 910618714 514031616 97625 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 125496 97625 180 372 0 125121 0
[pid=19335/tid=19337] ppid=19333 vsize=501984 CPUtime=162.27 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 34202 0 0 0 16018 209 0 0 25 0 3 0 910618716 514031616 97625 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=501984 CPUtime=162.27 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 64107 0 0 0 16127 100 0 0 25 0 3 0 910618716 514031616 97625 33554432000 4194304 5714118 140736169406816 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 501984
[startup+222.307 s]
/proc/loadavg: 3.94 3.02 2.40 5/182 19360
/proc/meminfo: memFree=4005852/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=503276 CPUtime=444.58 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 115492 0 0 0 44067 391 0 0 24 0 3 0 910618714 515354624 114039 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 125819 114039 180 372 0 125444 0
[pid=19335/tid=19337] ppid=19333 vsize=503276 CPUtime=222.27 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 44276 0 0 0 21957 270 0 0 25 0 3 0 910618716 515354624 114039 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=503276 CPUtime=222.28 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 70447 0 0 0 22108 120 0 0 25 0 3 0 910618716 515354624 114039 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 503276
[startup+282.3 s]
/proc/loadavg: 3.98 3.20 2.50 5/182 19362
/proc/meminfo: memFree=3702864/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=636196 CPUtime=564.57 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 130970 0 0 0 55973 484 0 0 24 0 3 0 910618714 651464704 129517 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 159049 129517 180 372 0 158674 0
[pid=19335/tid=19337] ppid=19333 vsize=636196 CPUtime=282.26 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 54068 0 0 0 27880 346 0 0 25 0 3 0 910618716 651464704 129517 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=636196 CPUtime=282.27 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 76133 0 0 0 28090 137 0 0 25 0 3 0 910618716 651464704 129517 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 636196
[startup+342.301 s]
/proc/loadavg: 3.99 3.34 2.59 5/182 19363
/proc/meminfo: memFree=3319644/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=704220 CPUtime=684.56 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 150069 0 0 0 67882 574 0 0 24 0 3 0 910618714 721121280 148616 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 176055 148616 180 372 0 175680 0
[pid=19335/tid=19337] ppid=19333 vsize=704220 CPUtime=342.26 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 65966 0 0 0 33815 411 0 0 25 0 3 0 910618716 721121280 148616 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=704220 CPUtime=342.26 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 83334 0 0 0 34064 162 0 0 25 0 3 0 910618716 721121280 148616 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.56
Current children cumulated vsize (KiB) 704220
[startup+402.301 s]
/proc/loadavg: 3.99 3.46 2.68 5/182 19365
/proc/meminfo: memFree=2940640/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=704436 CPUtime=804.57 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 163386 0 0 0 79811 646 0 0 24 0 3 0 910618714 721342464 161933 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 176109 161933 180 372 0 175734 0
[pid=19335/tid=19337] ppid=19333 vsize=704436 CPUtime=402.27 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 73885 0 0 0 39762 465 0 0 25 0 3 0 910618716 721342464 161933 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=704436 CPUtime=402.27 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 88732 0 0 0 40046 181 0 0 25 0 3 0 910618716 721342464 161933 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 704436
[startup+462.3 s]
/proc/loadavg: 3.99 3.56 2.76 5/182 19366
/proc/meminfo: memFree=2667292/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=773000 CPUtime=924.57 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 174995 0 0 0 91743 714 0 0 24 0 3 0 910618714 791552000 173538 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 193250 173538 180 372 0 192875 0
[pid=19335/tid=19337] ppid=19333 vsize=773000 CPUtime=462.27 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 80529 0 0 0 45710 517 0 0 25 0 3 0 910618716 791552000 173538 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=773000 CPUtime=462.27 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 93697 0 0 0 46030 197 0 0 25 0 3 0 910618716 791552000 173538 33554432000 4194304 5714118 140736169406816 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 773000
[startup+522.301 s]
/proc/loadavg: 3.99 3.63 2.83 5/182 19368
/proc/meminfo: memFree=2343732/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=839216 CPUtime=1044.57 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 186375 0 0 0 103672 785 0 0 24 0 3 0 910618714 859357184 184917 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 209804 184917 180 372 0 209429 0
[pid=19335/tid=19337] ppid=19333 vsize=839216 CPUtime=522.26 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 87504 0 0 0 51657 569 0 0 25 0 3 0 910618716 859357184 184917 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=839216 CPUtime=522.27 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 98102 0 0 0 52012 215 0 0 25 0 3 0 910618716 859357184 184917 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (KiB) 839216
[startup+582.3 s]
/proc/loadavg: 3.99 3.70 2.90 5/182 19370
/proc/meminfo: memFree=1934712/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=841856 CPUtime=1164.57 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 195076 0 0 0 115614 843 0 0 24 0 3 0 910618714 862060544 193617 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 210464 193617 180 372 0 210089 0
[pid=19335/tid=19337] ppid=19333 vsize=841856 CPUtime=582.27 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 92224 0 0 0 57614 613 0 0 25 0 3 0 910618716 862060544 193617 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=841856 CPUtime=582.28 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 102083 0 0 0 57998 230 0 0 25 0 3 0 910618716 862060544 193617 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 841856
[startup+642.301 s]
/proc/loadavg: 3.99 3.75 2.97 5/182 19371
/proc/meminfo: memFree=1532896/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=908576 CPUtime=1284.57 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 206055 0 0 0 127557 900 0 0 24 0 3 0 910618714 930381824 204596 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 227144 204596 180 372 0 226769 0
[pid=19335/tid=19337] ppid=19333 vsize=908576 CPUtime=642.27 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 99592 0 0 0 63572 655 0 0 25 0 3 0 910618716 930381824 204596 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=908576 CPUtime=642.27 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 105694 0 0 0 63982 245 0 0 25 0 3 0 910618716 930381824 204596 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.57
Current children cumulated vsize (KiB) 908576
[startup+702.301 s]
/proc/loadavg: 3.99 3.79 3.03 5/182 19373
/proc/meminfo: memFree=1196764/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=975024 CPUtime=1404.58 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 213492 0 0 0 139495 963 0 0 24 0 3 0 910618714 998424576 212033 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 243756 212033 180 372 0 243381 0
[pid=19335/tid=19337] ppid=19333 vsize=975024 CPUtime=702.27 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 103359 0 0 0 69522 705 0 0 25 0 3 0 910618716 998424576 212033 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=975024 CPUtime=702.28 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 109364 0 0 0 69971 257 0 0 25 0 3 0 910618716 998424576 212033 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 975024
[startup+762.301 s]
/proc/loadavg: 3.99 3.83 3.09 5/182 19374
/proc/meminfo: memFree=582800/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=976636 CPUtime=1524.59 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 221245 0 0 0 151440 1019 0 0 24 0 3 0 910618714 1000075264 219785 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 244159 219785 180 372 0 243784 0
[pid=19335/tid=19337] ppid=19333 vsize=976636 CPUtime=762.27 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 107325 0 0 0 75478 749 0 0 25 0 3 0 910618716 1000075264 219785 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=976636 CPUtime=762.29 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 113151 0 0 0 75960 269 0 0 25 0 3 0 910618716 1000075264 219785 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 976636
[startup+822.301 s]
/proc/loadavg: 3.99 3.86 3.14 5/182 19376
/proc/meminfo: memFree=203844/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=1045552 CPUtime=1644.58 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 236295 0 0 0 163367 1091 0 0 24 0 3 0 910618714 1070645248 234834 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 261388 234834 180 372 0 261013 0
[pid=19335/tid=19337] ppid=19333 vsize=1045552 CPUtime=822.27 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 116381 0 0 0 81420 807 0 0 25 0 3 0 910618716 1070645248 234834 33554432000 4194304 5714118 140736169406816 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=1045552 CPUtime=822.27 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 119145 0 0 0 81944 283 0 0 25 0 3 0 910618716 1070645248 234834 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 1045552
[startup+882.306 s]
/proc/loadavg: 3.99 3.88 3.19 6/182 19378
/proc/meminfo: memFree=98964/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=1111800 CPUtime=1764.6 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 249647 0 0 0 175318 1142 0 0 24 0 3 0 910618714 1138483200 248164 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 277950 248164 180 372 0 277575 0
[pid=19335/tid=19337] ppid=19333 vsize=1111800 CPUtime=882.28 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 123259 0 0 0 87386 842 0 0 25 0 3 0 910618716 1138483200 248164 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=1111800 CPUtime=882.28 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 125619 0 0 0 87929 299 0 0 22 0 3 0 910618716 1138483200 248164 33554432000 4194304 5714118 140736169406816 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.6
Current children cumulated vsize (KiB) 1111800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 3.99 3.89 3.21 5/182 19378
/proc/meminfo: memFree=96720/32950928 swapFree=67055156/67111528
[pid=19335] ppid=19333 vsize=1112016 CPUtime=1800.2 cores=0,2,4,6
/proc/19335/stat : 19335 (pwbo1.1) S 19333 19335 19040 0 -1 4202496 253311 0 0 0 178867 1153 0 0 24 0 3 0 910618714 1138704384 251828 33554432000 4194304 5714118 140736169406816 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19335/statm: 278004 251828 180 372 0 277629 0
[pid=19335/tid=19337] ppid=19333 vsize=1112016 CPUtime=900.08 cores=0,2,4,6
/proc/19335/task/19337/stat : 19337 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 124926 0 0 0 89160 848 0 0 25 0 3 0 910618716 1138704384 251828 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319289 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19335/tid=19338] ppid=19333 vsize=1112016 CPUtime=900.09 cores=0,2,4,6
/proc/19335/task/19338/stat : 19338 (pwbo1.1) R 19333 19335 19040 0 -1 4202560 127616 0 0 0 89704 305 0 0 25 0 3 0 910618716 1138704384 251828 33554432000 4194304 5714118 140736169406816 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 1112016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.154
CPU time (s): 1800.26
CPU user time (s): 1788.68
CPU system time (s): 11.5772
CPU usage (%): 199.995
Max. virtual memory (cumulated for all children) (KiB): 1112016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.68
system time used= 11.5772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253316
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 377
involuntary context switches= 2495
runsolver used 1.35779 second user time and 3.3125 second system time
The end