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-3727424-1338654111/watcher-3727424-1338654111 -o /tmp/evaluation-result-3727424-1338654111/solver-3727424-1338654111 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727424-1338654111.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.00 2.00 1.96 3/177 18764
/proc/meminfo: memFree=30750360/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=21112 CPUtime=0 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) R 18762 18764 16985 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 331537128 21618688 496 33554432000 4194304 5964350 140736516439440 140733524079080 5180028 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 5278 496 156 433 0 634 0
[startup+0.0253111 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18764
/proc/meminfo: memFree=30750360/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=22936 CPUtime=0.02 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) R 18762 18764 16985 0 -1 4202496 1040 0 0 0 2 0 0 0 20 0 1 0 331537128 23486464 993 33554432000 4194304 5964350 140736516439440 140733524079080 4344688 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 5734 993 221 433 0 1090 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22936
[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18764
/proc/meminfo: memFree=30750360/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=26716 CPUtime=0.09 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) R 18762 18764 16985 0 -1 4202496 2248 0 0 0 9 0 0 0 20 0 1 0 331537128 27357184 2168 33554432000 4194304 5964350 140736516439440 140733524079080 4339289 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 6679 2168 490 433 0 2035 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26716
[startup+0.300157 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18764
/proc/meminfo: memFree=30750360/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=36016 CPUtime=0.29 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) R 18762 18764 16985 0 -1 4202496 5327 0 0 0 29 0 0 0 20 0 1 0 331537128 36880384 5053 33554432000 4194304 5964350 140736516439440 140733524079080 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 9004 5053 1196 433 0 4360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36016
[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 18764
/proc/meminfo: memFree=30750360/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=54640 CPUtime=0.69 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) R 18762 18764 16985 0 -1 4202496 11523 0 0 0 68 1 0 0 20 0 1 0 331537128 55951360 10992 33554432000 4194304 5964350 140736516439440 140736516437784 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 13660 10992 2605 433 0 9016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54640
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 18765
/proc/meminfo: memFree=30691944/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=206156 CPUtime=1.49 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 40260 0 0 0 143 6 0 0 20 0 2 0 331537128 211103744 35519 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 51539 35519 172 433 0 51103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206156
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18766
/proc/meminfo: memFree=30526632/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=265364 CPUtime=3.09 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 58276 0 0 0 300 9 0 0 20 0 2 0 331537128 271732736 53344 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 66341 53344 190 433 0 65905 0
[pid=18764/tid=18766] ppid=18762 vsize=265364 CPUtime=1.88 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 39113 0 0 0 180 8 0 0 20 0 2 0 331537248 271732736 53344 33554432000 4194304 5964350 140736516439440 139849636334120 5139086 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 265364
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18766
/proc/meminfo: memFree=30513300/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=265364 CPUtime=6.28 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 58499 0 0 0 619 9 0 0 20 0 2 0 331537128 271732736 53567 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 66341 53567 190 433 0 65905 0
[pid=18764/tid=18766] ppid=18762 vsize=265364 CPUtime=5.08 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 39336 0 0 0 500 8 0 0 20 0 2 0 331537248 271732736 53567 33554432000 4194304 5964350 140736516439440 139849636333912 5139038 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 265364
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18766
/proc/meminfo: memFree=30458332/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=265364 CPUtime=12.69 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 59308 0 0 0 1259 10 0 0 20 0 2 0 331537128 271732736 54376 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 66341 54376 190 433 0 65905 0
[pid=18764/tid=18766] ppid=18762 vsize=265364 CPUtime=11.49 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 40145 0 0 0 1140 9 0 0 20 0 2 0 331537248 271732736 54376 33554432000 4194304 5964350 140736516439440 139849636334104 4429699 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 265364
[startup+25.5064 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18766
/proc/meminfo: memFree=30431452/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=273568 CPUtime=25.49 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 72296 0 0 0 2536 13 0 0 20 0 2 0 331537128 280133632 60854 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 68392 60854 195 433 0 67956 0
[pid=18764/tid=18766] ppid=18762 vsize=273568 CPUtime=24.28 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 53133 0 0 0 2416 12 0 0 20 0 2 0 331537248 280133632 60854 33554432000 4194304 5964350 140736516439440 139849636333976 4399785 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 273568
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18766
/proc/meminfo: memFree=30221844/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=404640 CPUtime=51.06 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 99179 0 0 0 5089 17 0 0 20 0 2 0 331537128 414351360 87304 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 101160 87304 195 433 0 100724 0
[pid=18764/tid=18766] ppid=18762 vsize=404640 CPUtime=49.87 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 80016 0 0 0 4971 16 0 0 20 0 2 0 331537248 414351360 87304 33554432000 4194304 5964350 140736516439440 139849636333560 4400007 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 404640
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18766
/proc/meminfo: memFree=29622712/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=724116 CPUtime=102.26 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 174607 0 0 0 10195 31 0 0 20 0 2 0 331537128 741494784 164513 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 181029 164513 195 433 0 180593 0
[pid=18764/tid=18766] ppid=18762 vsize=724116 CPUtime=101.07 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 155444 0 0 0 10076 31 0 0 20 0 2 0 331537248 741494784 164513 33554432000 4194304 5964350 140736516439440 139849636334520 4403591 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 724116
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 18767
/proc/meminfo: memFree=29355832/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=724116 CPUtime=162.25 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 174641 0 0 0 16194 31 0 0 20 0 2 0 331537128 741494784 164547 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 181029 164547 195 433 0 180593 0
[pid=18764/tid=18766] ppid=18762 vsize=724116 CPUtime=161.06 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 155478 0 0 0 16074 32 0 0 20 0 2 0 331537248 741494784 164547 33554432000 4194304 5964350 140736516439440 139849636334520 4222474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 724116
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/179 18767
/proc/meminfo: memFree=29130876/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=724116 CPUtime=222.24 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 178829 0 0 0 22193 31 0 0 20 0 2 0 331537128 741494784 168735 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 181029 168735 195 433 0 180593 0
[pid=18764/tid=18766] ppid=18762 vsize=724116 CPUtime=221.07 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 159666 0 0 0 22074 33 0 0 20 0 2 0 331537248 741494784 168735 33554432000 4194304 5964350 140736516439440 139849636333560 4389080 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 724116
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/180 18768
/proc/meminfo: memFree=28647892/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=986260 CPUtime=282.23 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 248667 0 0 0 28177 46 0 0 20 0 2 0 331537128 1009930240 239290 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 246565 239290 195 433 0 246129 0
[pid=18764/tid=18766] ppid=18762 vsize=986260 CPUtime=281.06 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 229504 0 0 0 28057 49 0 0 20 0 2 0 331537248 1009930240 239290 33554432000 4194304 5964350 140736516439440 139849636333560 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 986260
[startup+342.307 s]
/proc/loadavg: 2.08 2.02 1.97 3/179 18768
/proc/meminfo: memFree=28303828/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=1248404 CPUtime=342.21 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 308007 0 0 0 34164 57 0 0 20 0 2 0 331537128 1278365696 298625 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 312101 298625 195 433 0 311665 0
[pid=18764/tid=18766] ppid=18762 vsize=1248404 CPUtime=341.05 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 288844 0 0 0 34044 61 0 0 20 0 2 0 331537248 1278365696 298625 33554432000 4194304 5964350 140736516439440 139849636333560 4389049 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1248404
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/179 18768
/proc/meminfo: memFree=27957036/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=1510548 CPUtime=402.18 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 366391 0 0 0 40147 71 0 0 20 0 2 0 331537128 1546801152 356996 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 377637 356996 195 433 0 377201 0
[pid=18764/tid=18766] ppid=18762 vsize=1510548 CPUtime=401.03 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 347228 0 0 0 40027 76 0 0 20 0 2 0 331537248 1546801152 356996 33554432000 4194304 5964350 140736516439440 139849636333560 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1510548
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/179 18769
/proc/meminfo: memFree=27612292/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=1707156 CPUtime=462.16 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 422210 0 0 0 46132 84 0 0 20 0 2 0 331537128 1748127744 413002 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 426789 413002 195 433 0 426353 0
################
# More data... #
################
/proc/loadavg: 2.01 2.02 1.99 3/179 18773
/proc/meminfo: memFree=25300004/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=3280020 CPUtime=1002 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 808663 0 0 0 100029 171 0 0 20 0 2 0 331537128 3358740480 799721 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 820005 799721 195 433 0 819569 0
[pid=18764/tid=18766] ppid=18762 vsize=3280020 CPUtime=1000.93 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 789500 0 0 0 99908 185 0 0 20 0 2 0 331537248 3358740480 799721 33554432000 4194304 5964350 140736516439440 139849636333560 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 3280020
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/179 18774
/proc/meminfo: memFree=25171952/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=3411092 CPUtime=1061.98 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 841180 0 0 0 106021 177 0 0 20 0 2 0 331537128 3492958208 832238 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 852773 832238 195 433 0 852337 0
[pid=18764/tid=18766] ppid=18762 vsize=3411092 CPUtime=1060.93 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 822017 0 0 0 105901 192 0 0 20 0 2 0 331537248 3492958208 832238 33554432000 4194304 5964350 140736516439440 139849636333560 4400023 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 3411092
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/180 18777
/proc/meminfo: memFree=25034488/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=3542164 CPUtime=1121.97 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 875211 0 0 0 112013 184 0 0 20 0 2 0 331537128 3627175936 866269 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 885541 866269 195 433 0 885105 0
[pid=18764/tid=18766] ppid=18762 vsize=3542164 CPUtime=1120.93 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 856048 0 0 0 111893 200 0 0 20 0 2 0 331537248 3627175936 866269 33554432000 4194304 5964350 140736516439440 139849636333560 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 3542164
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18777
/proc/meminfo: memFree=24881640/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=3673236 CPUtime=1181.96 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 913663 0 0 0 118004 192 0 0 20 0 2 0 331537128 3761393664 904721 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 918309 904721 195 433 0 917873 0
[pid=18764/tid=18766] ppid=18762 vsize=3673236 CPUtime=1180.93 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 894500 0 0 0 117885 208 0 0 20 0 2 0 331537248 3761393664 904721 33554432000 4194304 5964350 140736516439440 139849636333560 4399998 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 3673236
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18777
/proc/meminfo: memFree=24741672/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=3804308 CPUtime=1241.96 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 948208 0 0 0 123996 200 0 0 20 0 2 0 331537128 3895611392 939266 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 951077 939266 195 433 0 950641 0
[pid=18764/tid=18766] ppid=18762 vsize=3804308 CPUtime=1240.92 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 929045 0 0 0 123875 217 0 0 20 0 2 0 331537248 3895611392 939266 33554432000 4194304 5964350 140736516439440 139849636333560 4410416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 3804308
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18777
/proc/meminfo: memFree=24625512/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=3935380 CPUtime=1301.94 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 977378 0 0 0 129987 207 0 0 20 0 2 0 331537128 4029829120 968436 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 983845 968436 195 433 0 983409 0
[pid=18764/tid=18766] ppid=18762 vsize=3935380 CPUtime=1300.92 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 958215 0 0 0 129867 225 0 0 20 0 2 0 331537248 4029829120 968436 33554432000 4194304 5964350 140736516439440 139849636333560 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 3935380
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18778
/proc/meminfo: memFree=24491808/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=4066452 CPUtime=1361.94 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 1010531 0 0 0 135978 216 0 0 20 0 2 0 331537128 4164046848 1001589 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 1016613 1001589 195 433 0 1016177 0
[pid=18764/tid=18766] ppid=18762 vsize=4066452 CPUtime=1360.92 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 991368 0 0 0 135857 235 0 0 20 0 2 0 331537248 4164046848 1001589 33554432000 4194304 5964350 140736516439440 139849636333560 4389027 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 4066452
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18778
/proc/meminfo: memFree=24386572/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=4197524 CPUtime=1421.93 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 1036969 0 0 0 141970 223 0 0 20 0 2 0 331537128 4298264576 1028027 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 1049381 1028027 195 433 0 1048945 0
[pid=18764/tid=18766] ppid=18762 vsize=4197524 CPUtime=1420.92 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 1017806 0 0 0 141849 243 0 0 20 0 2 0 331537248 4298264576 1028027 33554432000 4194304 5964350 140736516439440 139849636333560 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 4197524
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18778
/proc/meminfo: memFree=24275256/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=4263060 CPUtime=1481.91 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 1064497 0 0 0 147963 228 0 0 20 0 2 0 331537128 4365373440 1055555 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 1065765 1055555 195 433 0 1065329 0
[pid=18764/tid=18766] ppid=18762 vsize=4263060 CPUtime=1480.92 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 1045334 0 0 0 147843 249 0 0 20 0 2 0 331537248 4365373440 1055555 33554432000 4194304 5964350 140736516439440 139849636333560 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 4263060
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18778
/proc/meminfo: memFree=24084944/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=4394132 CPUtime=1541.91 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 1092828 0 0 0 153957 234 0 0 20 0 2 0 331537128 4499591168 1083886 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 1098533 1083886 195 433 0 1098097 0
[pid=18764/tid=18766] ppid=18762 vsize=4394132 CPUtime=1540.93 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 1073665 0 0 0 153837 256 0 0 20 0 2 0 331537248 4499591168 1083886 33554432000 4194304 5964350 140736516439440 139849636333560 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 4394132
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18778
/proc/meminfo: memFree=23789240/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=4525204 CPUtime=1601.9 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 1119920 0 0 0 159949 241 0 0 20 0 2 0 331537128 4633808896 1110978 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 1131301 1110978 195 433 0 1130865 0
[pid=18764/tid=18766] ppid=18762 vsize=4525204 CPUtime=1600.92 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 1100757 0 0 0 159828 264 0 0 20 0 2 0 331537248 4633808896 1110978 33554432000 4194304 5964350 140736516439440 139849636333560 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 4525204
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18779
/proc/meminfo: memFree=23491172/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=4656276 CPUtime=1661.9 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 1153113 0 0 0 165941 249 0 0 20 0 2 0 331537128 4768026624 1144171 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 1164069 1144171 195 433 0 1163633 0
[pid=18764/tid=18766] ppid=18762 vsize=4656276 CPUtime=1660.92 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 1133950 0 0 0 165819 273 0 0 20 0 2 0 331537248 4768026624 1144171 33554432000 4194304 5964350 140736516439440 139849636333560 4399987 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 4656276
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 18782
/proc/meminfo: memFree=23207672/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=4721812 CPUtime=1721.88 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 1182390 0 0 0 171932 256 0 0 20 0 2 0 331537128 4835135488 1173448 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 1180453 1173448 195 433 0 1180017 0
[pid=18764/tid=18766] ppid=18762 vsize=4721812 CPUtime=1720.92 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 1163227 0 0 0 171811 281 0 0 20 0 2 0 331537248 4835135488 1173448 33554432000 4194304 5964350 140736516439440 139849636333560 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 4721812
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18821
/proc/meminfo: memFree=26193840/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=4852884 CPUtime=1781.87 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) S 18762 18764 16985 0 -1 4202496 1202571 0 0 0 177926 261 0 0 20 0 2 0 331537128 4969353216 1193629 33554432000 4194304 5964350 140736516439440 140736516438960 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 1213221 1193629 195 433 0 1212785 0
[pid=18764/tid=18766] ppid=18762 vsize=4852884 CPUtime=1780.92 cores=0,2,4,6
/proc/18764/task/18766/stat : 18766 (wbo1.72) R 18762 18764 16985 0 -1 4202560 1183408 0 0 0 177805 287 0 0 20 0 2 0 331537248 4969353216 1193629 33554432000 4194304 5964350 140736516439440 139849636333560 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 4852884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 18821
/proc/meminfo: memFree=29560352/32873648 swapFree=7628/7628
[pid=18764] ppid=18762 vsize=0 CPUtime=1800.03 cores=0,2,4,6
/proc/18764/stat : 18764 (wbo1.72) R 18762 18764 16985 0 -1 4203524 1208609 0 0 0 179691 312 0 0 20 0 1 0 331537128 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18764/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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
Child status: 255
Real time (s): 1800.23
CPU time (s): 1800.06
CPU user time (s): 1796.92
CPU system time (s): 3.14352
CPU usage (%): 99.9908
Max. virtual memory (cumulated for all children) (KiB): 4852884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.92
system time used= 3.14352
maximum resident set size= 4798668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1208609
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= 215
involuntary context switches= 1929
runsolver used 3.00154 second user time and 9.8925 second system time
The end