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-3727948-1338664562/watcher-3727948-1338664562 -o /tmp/evaluation-result-3727948-1338664562/solver-3727948-1338664562 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727948-1338664562.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: 2.01 2.02 2.00 2/179 5802
/proc/meminfo: memFree=28924716/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=11728 CPUtime=0 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) R 5800 5802 5745 0 -1 4202496 700 0 0 0 0 0 0 0 20 0 1 0 332581148 12009472 652 33554432000 4194304 5964350 140737161540560 140736922056936 5179527 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 2932 654 166 433 0 814 0
[startup+0.094459 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 5802
/proc/meminfo: memFree=28924716/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=29856 CPUtime=0.08 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) R 5800 5802 5745 0 -1 4202496 5549 0 0 0 8 0 0 0 20 0 1 0 332581148 30572544 5250 33554432000 4194304 5964350 140737161540560 140736922056936 5179543 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 7614 5257 356 433 0 5496 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29856
[startup+0.100249 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 5802
/proc/meminfo: memFree=28924716/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=31416 CPUtime=0.09 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) R 5800 5802 5745 0 -1 4202496 5786 0 0 0 9 0 0 0 20 0 1 0 332581148 32169984 5487 33554432000 4194304 5964350 140737161540560 140736922056936 5368325 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 7854 5487 365 433 0 5736 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31416
[startup+0.300195 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 5802
/proc/meminfo: memFree=28924716/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=45672 CPUtime=0.29 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) R 5800 5802 5745 0 -1 4202496 9593 0 0 0 28 1 0 0 20 0 1 0 332581148 46768128 9165 33554432000 4194304 5964350 140737161540560 140737161538856 5367006 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 11418 9165 868 433 0 9300 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45672
[startup+0.700267 s]
/proc/loadavg: 2.01 2.02 2.00 2/179 5802
/proc/meminfo: memFree=28924716/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=145972 CPUtime=0.69 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 20089 0 0 0 67 2 0 0 20 0 2 0 332581148 149475328 17979 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 36493 17980 177 433 0 36057 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 145972
[startup+1.50024 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 5810
/proc/meminfo: memFree=28697932/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=201136 CPUtime=1.49 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 38500 0 0 0 143 6 0 0 20 0 2 0 332581148 205963264 33089 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 50284 33089 192 433 0 49848 0
[pid=5802/tid=5809] ppid=5800 vsize=201136 CPUtime=0.83 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 22838 0 0 0 79 4 0 0 20 0 2 0 332581213 205963264 33089 33554432000 4194304 5964350 140737161540560 140728791808952 4410659 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201136
[startup+3.10024 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 5810
/proc/meminfo: memFree=28665684/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=201136 CPUtime=3.09 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 38502 0 0 0 303 6 0 0 20 0 2 0 332581148 205963264 33091 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 50284 33091 194 433 0 49848 0
[pid=5802/tid=5809] ppid=5800 vsize=201136 CPUtime=2.43 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 22840 0 0 0 239 4 0 0 20 0 2 0 332581213 205963264 33091 33554432000 4194304 5964350 140737161540560 140728791808952 4403647 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 201136
[startup+6.30022 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 5810
/proc/meminfo: memFree=28655568/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=201136 CPUtime=6.29 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 45603 0 0 0 622 7 0 0 20 0 2 0 332581148 205963264 40384 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 50284 40384 194 433 0 49848 0
[pid=5802/tid=5809] ppid=5800 vsize=201136 CPUtime=5.63 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 29941 0 0 0 558 5 0 0 20 0 2 0 332581213 205963264 40384 33554432000 4194304 5964350 140737161540560 140728791808360 4410659 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 201136
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 5810
/proc/meminfo: memFree=28601616/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=201136 CPUtime=12.69 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 45603 0 0 0 1262 7 0 0 20 0 2 0 332581148 205963264 40440 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 50284 40440 194 433 0 49848 0
[pid=5802/tid=5809] ppid=5800 vsize=201136 CPUtime=12.04 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 29941 0 0 0 1198 6 0 0 20 0 2 0 332581213 205963264 40440 33554432000 4194304 5964350 140737161540560 140728791808360 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 201136
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5810
/proc/meminfo: memFree=28597276/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=201136 CPUtime=25.48 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 46935 0 0 0 2541 7 0 0 20 0 2 0 332581148 205963264 41772 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 50284 41772 194 433 0 49848 0
[pid=5802/tid=5809] ppid=5800 vsize=201136 CPUtime=24.83 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 31273 0 0 0 2477 6 0 0 20 0 2 0 332581213 205963264 41772 33554432000 4194304 5964350 140737161540560 140728791807992 4388992 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 201136
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5810
/proc/meminfo: memFree=28524068/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=266672 CPUtime=51.07 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 56702 0 0 0 5098 9 0 0 20 0 2 0 332581148 273072128 52167 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 66668 52167 194 433 0 66232 0
[pid=5802/tid=5809] ppid=5800 vsize=266672 CPUtime=50.42 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 41040 0 0 0 5034 8 0 0 20 0 2 0 332581213 273072128 52167 33554432000 4194304 5964350 140737161540560 140728791807512 4389080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 266672
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 5811
/proc/meminfo: memFree=28344436/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=332208 CPUtime=102.26 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 79466 0 0 0 10210 16 0 0 20 0 2 0 332581148 340180992 75012 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 83052 75012 194 433 0 82616 0
[pid=5802/tid=5809] ppid=5800 vsize=332208 CPUtime=101.62 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 63805 0 0 0 10147 15 0 0 20 0 2 0 332581213 340180992 75013 33554432000 4194304 5964350 140737161540560 140728791807512 5136410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 332208
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5811
/proc/meminfo: memFree=28124004/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=463280 CPUtime=162.22 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 107848 0 0 0 16198 24 0 0 20 0 2 0 332581148 474398720 103393 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 115820 103393 194 433 0 115384 0
[pid=5802/tid=5809] ppid=5800 vsize=463280 CPUtime=161.6 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 92186 0 0 0 16135 25 0 0 20 0 2 0 332581213 474398720 103393 33554432000 4194304 5964350 140737161540560 140728791807512 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 463280
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5811
/proc/meminfo: memFree=27899592/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=594352 CPUtime=222.21 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 133709 0 0 0 22189 32 0 0 20 0 2 0 332581148 608616448 129254 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 148588 129254 194 433 0 148152 0
[pid=5802/tid=5809] ppid=5800 vsize=594352 CPUtime=221.6 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 118047 0 0 0 22127 33 0 0 20 0 2 0 332581213 608616448 129254 33554432000 4194304 5964350 140737161540560 140728791807992 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 594352
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 5814
/proc/meminfo: memFree=27699660/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=659888 CPUtime=282.2 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 153049 0 0 0 28181 39 0 0 20 0 2 0 332581148 675725312 149104 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 164972 149104 194 433 0 164536 0
[pid=5802/tid=5809] ppid=5800 vsize=659888 CPUtime=281.6 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 137387 0 0 0 28118 42 0 0 20 0 2 0 332581213 675725312 149104 33554432000 4194304 5964350 140737161540560 140728791808328 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 659888
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 5814
/proc/meminfo: memFree=27575944/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=659888 CPUtime=342.19 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 153070 0 0 0 34180 39 0 0 20 0 2 0 332581148 675725312 149125 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 164972 149125 194 433 0 164536 0
[pid=5802/tid=5809] ppid=5800 vsize=659888 CPUtime=341.61 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 137408 0 0 0 34118 43 0 0 20 0 2 0 332581213 675725312 149125 33554432000 4194304 5964350 140737161540560 140728791808328 4389783 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 659888
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5815
/proc/meminfo: memFree=27450548/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=659888 CPUtime=402.18 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 153077 0 0 0 40179 39 0 0 20 0 2 0 332581148 675725312 149132 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 164972 149132 194 433 0 164536 0
[pid=5802/tid=5809] ppid=5800 vsize=659888 CPUtime=401.61 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 137415 0 0 0 40117 44 0 0 20 0 2 0 332581213 675725312 149132 33554432000 4194304 5964350 140737161540560 140728791808328 4389030 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 659888
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5815
/proc/meminfo: memFree=27312324/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=659888 CPUtime=462.18 cores=0,2,4,6
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5820
/proc/meminfo: memFree=25334784/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1905072 CPUtime=1062.01 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 471984 0 0 0 106060 141 0 0 20 0 2 0 332581148 1950793728 468965 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 476268 468965 194 433 0 475832 0
[pid=5802/tid=5809] ppid=5800 vsize=1905072 CPUtime=1061.57 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 456322 0 0 0 106001 156 0 0 20 0 2 0 332581213 1950793728 468965 33554432000 4194304 5964350 140737161540560 140728791807992 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1905072
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 5820
/proc/meminfo: memFree=25278092/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1970608 CPUtime=1122 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 485873 0 0 0 112055 145 0 0 20 0 2 0 332581148 2017902592 482854 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 492652 482854 194 433 0 492216 0
[pid=5802/tid=5809] ppid=5800 vsize=1970608 CPUtime=1121.58 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 470211 0 0 0 111997 161 0 0 20 0 2 0 332581213 2017902592 482854 33554432000 4194304 5964350 140737161540560 140728791807992 4388992 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1970608
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 5822
/proc/meminfo: memFree=25277608/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1970608 CPUtime=1181.99 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 485873 0 0 0 118054 145 0 0 20 0 2 0 332581148 2017902592 482854 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 492652 482854 194 433 0 492216 0
[pid=5802/tid=5809] ppid=5800 vsize=1970608 CPUtime=1181.58 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 470211 0 0 0 117997 161 0 0 20 0 2 0 332581213 2017902592 482854 33554432000 4194304 5964350 140737161540560 140728791807992 4389005 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1970608
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5822
/proc/meminfo: memFree=25277396/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1970608 CPUtime=1241.98 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 485874 0 0 0 124053 145 0 0 20 0 2 0 332581148 2017902592 482855 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 492652 482855 194 433 0 492216 0
[pid=5802/tid=5809] ppid=5800 vsize=1970608 CPUtime=1241.58 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 470212 0 0 0 123996 162 0 0 20 0 2 0 332581213 2017902592 482855 33554432000 4194304 5964350 140737161540560 140728791807992 4389052 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1970608
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5823
/proc/meminfo: memFree=25276804/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1970608 CPUtime=1301.98 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 485875 0 0 0 130053 145 0 0 20 0 2 0 332581148 2017902592 482856 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 492652 482856 194 433 0 492216 0
[pid=5802/tid=5809] ppid=5800 vsize=1970608 CPUtime=1301.59 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 470213 0 0 0 129996 163 0 0 20 0 2 0 332581213 2017902592 482856 33554432000 4194304 5964350 140737161540560 140728791807992 4403641 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1970608
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5823
/proc/meminfo: memFree=25276772/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1970608 CPUtime=1361.96 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 485878 0 0 0 136051 145 0 0 20 0 2 0 332581148 2017902592 482859 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 492652 482859 194 433 0 492216 0
[pid=5802/tid=5809] ppid=5800 vsize=1970608 CPUtime=1361.59 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 470216 0 0 0 135995 164 0 0 20 0 2 0 332581213 2017902592 482859 33554432000 4194304 5964350 140737161540560 140728791807992 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1970608
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5823
/proc/meminfo: memFree=25276428/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1970608 CPUtime=1421.96 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 485888 0 0 0 142051 145 0 0 20 0 2 0 332581148 2017902592 482869 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 492652 482869 194 433 0 492216 0
[pid=5802/tid=5809] ppid=5800 vsize=1970608 CPUtime=1421.6 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 470226 0 0 0 141995 165 0 0 20 0 2 0 332581213 2017902592 482869 33554432000 4194304 5964350 140737161540560 140728791807992 4403647 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1970608
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5826
/proc/meminfo: memFree=25276324/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1970608 CPUtime=1481.94 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 485899 0 0 0 148049 145 0 0 20 0 2 0 332581148 2017902592 482880 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 492652 482880 194 433 0 492216 0
[pid=5802/tid=5809] ppid=5800 vsize=1970608 CPUtime=1481.6 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 470237 0 0 0 147994 166 0 0 20 0 2 0 332581213 2017902592 482880 33554432000 4194304 5964350 140737161540560 140728791807992 4403290 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1970608
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5826
/proc/meminfo: memFree=25276484/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1970608 CPUtime=1541.93 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 485904 0 0 0 154048 145 0 0 20 0 2 0 332581148 2017902592 482885 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 492652 482885 194 433 0 492216 0
[pid=5802/tid=5809] ppid=5800 vsize=1970608 CPUtime=1541.6 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 470242 0 0 0 153993 167 0 0 20 0 2 0 332581213 2017902592 482885 33554432000 4194304 5964350 140737161540560 140728791807992 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1970608
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5827
/proc/meminfo: memFree=25189712/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1970608 CPUtime=1601.92 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 485907 0 0 0 160047 145 0 0 20 0 2 0 332581148 2017902592 482888 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 492652 482888 194 433 0 492216 0
[pid=5802/tid=5809] ppid=5800 vsize=1970608 CPUtime=1601.6 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 470245 0 0 0 159992 168 0 0 20 0 2 0 332581213 2017902592 482888 33554432000 4194304 5964350 140737161540560 140728791807992 4403290 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1970608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5827
/proc/meminfo: memFree=25050504/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=1970608 CPUtime=1661.91 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 485914 0 0 0 166046 145 0 0 20 0 2 0 332581148 2017902592 482895 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 492652 482895 194 433 0 492216 0
[pid=5802/tid=5809] ppid=5800 vsize=1970608 CPUtime=1661.6 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 470252 0 0 0 165991 169 0 0 20 0 2 0 332581213 2017902592 482895 33554432000 4194304 5964350 140737161540560 140728791807992 4389080 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1970608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5827
/proc/meminfo: memFree=24864752/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=2036144 CPUtime=1721.91 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 495666 0 0 0 172040 151 0 0 20 0 2 0 332581148 2085011456 492647 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 509036 492647 194 433 0 508600 0
[pid=5802/tid=5809] ppid=5800 vsize=2036144 CPUtime=1721.61 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 480004 0 0 0 171985 176 0 0 20 0 2 0 332581213 2085011456 492647 33554432000 4194304 5964350 140737161540560 140728791807992 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 2036144
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 5827
/proc/meminfo: memFree=24686316/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=2101680 CPUtime=1781.89 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) S 5800 5802 5745 0 -1 4202496 517706 0 0 0 178031 158 0 0 20 0 2 0 332581148 2152120320 514687 33554432000 4194304 5964350 140737161540560 140737161540080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 525420 514687 194 433 0 524984 0
[pid=5802/tid=5809] ppid=5800 vsize=2101680 CPUtime=1781.61 cores=0,2,4,6
/proc/5802/task/5809/stat : 5809 (wbo1.72) R 5800 5802 5745 0 -1 4202560 502044 0 0 0 177977 184 0 0 20 0 2 0 332581213 2152120320 514687 33554432000 4194304 5964350 140737161540560 140728791807992 4389090 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 2101680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 5827
/proc/meminfo: memFree=25994500/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=0 CPUtime=1800.08 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) R 5800 5802 5745 0 -1 4203524 524711 0 0 0 179809 199 0 0 20 0 1 0 332581148 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 0
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 5827
/proc/meminfo: memFree=25994500/32873844 swapFree=7380/7380
[pid=5802] ppid=5800 vsize=0 CPUtime=1800.08 cores=0,2,4,6
/proc/5802/stat : 5802 (wbo1.72) R 5800 5802 5745 0 -1 4203524 524711 0 0 0 179809 199 0 0 20 0 1 0 332581148 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5802/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.11
CPU time (s): 1800.1
CPU user time (s): 1798.1
CPU system time (s): 2.00369
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 2167216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.1
system time used= 2.0037
maximum resident set size= 2086768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524711
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= 186
involuntary context switches= 1863
runsolver used 3.60045 second user time and 9.37657 second system time
The end