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-3500069-1307990169/watcher-3500069-1307990169 -o /var/tmp/evaluation-result-3500069-1307990169/solver-3500069-1307990169 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500069-1307990169.opb
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: 3.85 3.87 3.20 3/179 24811
/proc/meminfo: memFree=15066584/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=3260 CPUtime=0 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) R 24809 24811 24381 0 -1 4202496 569 0 0 0 0 0 0 0 25 0 1 0 891432225 3338240 522 33554432000 4194304 5714118 140734003398592 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/24811/statm: 815 522 168 372 0 413 0
[startup+0.057272 s]
/proc/loadavg: 3.85 3.87 3.20 3/179 24811
/proc/meminfo: memFree=15066584/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=136860 CPUtime=0.09 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 1956 0 0 0 9 0 0 0 25 0 3 0 891432225 140144640 1881 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 34215 1881 181 372 0 33840 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 136860
[startup+0.100264 s]
/proc/loadavg: 3.85 3.87 3.20 3/179 24811
/proc/meminfo: memFree=15066584/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=136860 CPUtime=0.18 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 2533 0 0 0 18 0 0 0 25 0 3 0 891432225 140144640 2358 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 34215 2358 181 372 0 33840 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 136860
[startup+0.30024 s]
/proc/loadavg: 3.85 3.87 3.20 3/179 24811
/proc/meminfo: memFree=15066584/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=136860 CPUtime=0.58 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 5394 0 0 0 57 1 0 0 25 0 3 0 891432225 140144640 4195 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 34215 4195 181 372 0 33840 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 136860
[startup+0.700163 s]
/proc/loadavg: 3.85 3.87 3.20 3/179 24811
/proc/meminfo: memFree=15066584/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=136860 CPUtime=1.37 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 10371 0 0 0 134 3 0 0 25 0 3 0 891432225 140144640 6964 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 34215 6964 181 372 0 33840 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 136860
[startup+1.50102 s]
/proc/loadavg: 3.85 3.87 3.20 5/182 24814
/proc/meminfo: memFree=15022128/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=136860 CPUtime=2.97 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 16854 0 0 0 284 13 0 0 25 0 3 0 891432225 140144640 10112 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 34215 10112 181 372 0 33840 0
[pid=24811/tid=24813] ppid=24809 vsize=136860 CPUtime=1.48 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 13352 0 0 0 137 11 0 0 20 0 3 0 891432226 140144640 10112 33554432000 4194304 5714118 140734003398592 18446744073709551615 4967619 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=136860 CPUtime=1.47 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 2644 0 0 0 145 2 0 0 18 0 3 0 891432226 140144640 10112 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 136860
[startup+3.10073 s]
/proc/loadavg: 3.85 3.87 3.20 5/182 24814
/proc/meminfo: memFree=15010968/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=138304 CPUtime=6.17 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 21210 0 0 0 591 26 0 0 25 0 3 0 891432225 141623296 12436 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 34576 12436 181 372 0 34201 0
[pid=24811/tid=24813] ppid=24809 vsize=138304 CPUtime=3.08 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 16721 0 0 0 288 20 0 0 25 0 3 0 891432226 141623296 12436 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=138304 CPUtime=3.07 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 3631 0 0 0 302 5 0 0 20 0 3 0 891432226 141623296 12436 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 138304
[startup+6.30118 s]
/proc/loadavg: 3.86 3.87 3.20 5/182 24814
/proc/meminfo: memFree=14996076/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=136860 CPUtime=12.58 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 25060 0 0 0 1221 37 0 0 25 0 3 0 891432225 140144640 16024 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 34215 16024 181 372 0 33840 0
[pid=24811/tid=24813] ppid=24809 vsize=136860 CPUtime=6.28 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 19456 0 0 0 603 25 0 0 25 0 3 0 891432226 140144640 16024 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319153 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=136860 CPUtime=6.28 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 4746 0 0 0 617 11 0 0 25 0 3 0 891432226 140144640 16024 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 136860
[startup+12.701 s]
/proc/loadavg: 3.87 3.88 3.21 5/182 24814
/proc/meminfo: memFree=14954060/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=136860 CPUtime=25.37 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 27455 0 0 0 2487 50 0 0 25 0 3 0 891432225 140144640 18419 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 34215 18419 181 372 0 33840 0
[pid=24811/tid=24813] ppid=24809 vsize=136860 CPUtime=12.68 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 19695 0 0 0 1237 31 0 0 25 0 3 0 891432226 140144640 18419 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319745 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=136860 CPUtime=12.68 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 6902 0 0 0 1249 19 0 0 25 0 3 0 891432226 140144640 18419 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 136860
[startup+25.5008 s]
/proc/loadavg: 3.90 3.88 3.22 5/182 24814
/proc/meminfo: memFree=14905388/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=136860 CPUtime=50.97 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 36592 0 0 0 5033 64 0 0 25 0 3 0 891432225 140144640 27556 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 34215 27556 182 372 0 33840 0
[pid=24811/tid=24813] ppid=24809 vsize=136860 CPUtime=25.48 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 23491 0 0 0 2511 37 0 0 25 0 3 0 891432226 140144640 27556 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=136860 CPUtime=25.47 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 12243 0 0 0 2520 27 0 0 25 0 3 0 891432226 140144640 27556 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 136860
[startup+51.1003 s]
/proc/loadavg: 3.93 3.89 3.24 5/182 24815
/proc/meminfo: memFree=14860880/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=202396 CPUtime=102.17 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 42034 0 0 0 10124 93 0 0 25 0 3 0 891432225 207253504 32997 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 50599 32997 182 372 0 50224 0
[pid=24811/tid=24813] ppid=24809 vsize=202396 CPUtime=51.08 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 27126 0 0 0 5055 53 0 0 25 0 3 0 891432226 207253504 32997 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=202396 CPUtime=51.07 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 14050 0 0 0 5068 39 0 0 25 0 3 0 891432226 207253504 32997 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 202396
[startup+102.306 s]
/proc/loadavg: 3.97 3.90 3.28 5/182 24816
/proc/meminfo: memFree=14808920/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=268068 CPUtime=204.59 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 49082 0 0 0 20323 136 0 0 25 0 3 0 891432225 274501632 39757 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 67017 39757 182 372 0 66642 0
[pid=24811/tid=24813] ppid=24809 vsize=268068 CPUtime=102.29 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 27357 0 0 0 10148 81 0 0 25 0 3 0 891432226 274501632 39757 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319915 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=268068 CPUtime=102.28 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 20867 0 0 0 10174 54 0 0 25 0 3 0 891432226 274501632 39757 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 268068
[startup+162.301 s]
/proc/loadavg: 4.06 3.93 3.32 5/182 24818
/proc/meminfo: memFree=14776156/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=268776 CPUtime=324.58 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 53647 0 0 0 32280 178 0 0 25 0 3 0 891432225 275226624 44322 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 67194 44322 182 372 0 66819 0
[pid=24811/tid=24813] ppid=24809 vsize=268776 CPUtime=162.28 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 31763 0 0 0 16124 104 0 0 25 0 3 0 891432226 275226624 44322 33554432000 4194304 5714118 140734003398592 18446744073709551615 4320111 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=268776 CPUtime=162.27 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 21026 0 0 0 16154 73 0 0 25 0 3 0 891432226 275226624 44322 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 268776
[startup+222.301 s]
/proc/loadavg: 4.02 3.94 3.36 5/182 24819
/proc/meminfo: memFree=14744636/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=268968 CPUtime=444.58 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 63297 0 0 0 44243 215 0 0 25 0 3 0 891432225 275423232 53972 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 67242 53972 182 372 0 66867 0
[pid=24811/tid=24813] ppid=24809 vsize=268968 CPUtime=222.28 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 38555 0 0 0 22102 126 0 0 25 0 3 0 891432226 275423232 53972 33554432000 4194304 5714118 140734003398592 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=268968 CPUtime=222.28 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 23884 0 0 0 22139 89 0 0 25 0 3 0 891432226 275423232 53972 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 268968
[startup+282.3 s]
/proc/loadavg: 4.07 3.97 3.40 5/182 24821
/proc/meminfo: memFree=14721048/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=269124 CPUtime=564.59 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 69454 0 0 0 56205 254 0 0 25 0 3 0 891432225 275582976 59618 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 67281 59618 182 372 0 66906 0
[pid=24811/tid=24813] ppid=24809 vsize=269124 CPUtime=282.29 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 41569 0 0 0 28083 146 0 0 25 0 3 0 891432226 275582976 59618 33554432000 4194304 5714118 140734003398592 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=269124 CPUtime=282.28 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 27027 0 0 0 28121 107 0 0 25 0 3 0 891432226 275582976 59618 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 269124
[startup+342.301 s]
/proc/loadavg: 4.02 3.97 3.44 5/182 24822
/proc/meminfo: memFree=14677004/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=334804 CPUtime=684.59 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 75680 0 0 0 68168 291 0 0 25 0 3 0 891432225 342839296 65844 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 83701 65844 182 372 0 83326 0
[pid=24811/tid=24813] ppid=24809 vsize=334804 CPUtime=342.28 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 45628 0 0 0 34061 167 0 0 25 0 3 0 891432226 342839296 65844 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=334804 CPUtime=342.28 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 29194 0 0 0 34105 123 0 0 25 0 3 0 891432226 342839296 65844 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 334804
[startup+402.301 s]
/proc/loadavg: 4.01 3.97 3.47 5/182 24824
/proc/meminfo: memFree=14628128/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=334804 CPUtime=804.59 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 81170 0 0 0 80134 325 0 0 25 0 3 0 891432225 342839296 71334 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 83701 71334 182 372 0 83326 0
[pid=24811/tid=24813] ppid=24809 vsize=334804 CPUtime=402.3 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 51103 0 0 0 40039 191 0 0 25 0 3 0 891432226 342839296 71334 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=334804 CPUtime=402.28 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 29209 0 0 0 40094 134 0 0 25 0 3 0 891432226 342839296 71334 33554432000 4194304 5714118 140734003398592 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 334804
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.50 5/182 24826
/proc/meminfo: memFree=14576652/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=335104 CPUtime=924.6 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 88998 0 0 0 92085 375 0 0 25 0 3 0 891432225 343146496 79154 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 83776 79154 182 372 0 83401 0
[pid=24811/tid=24813] ppid=24809 vsize=335104 CPUtime=462.3 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 58054 0 0 0 46018 212 0 0 25 0 3 0 891432226 343146496 79154 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319874 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=335104 CPUtime=462.28 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 30086 0 0 0 46066 162 0 0 25 0 3 0 891432226 343146496 79154 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 335104
[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.53 5/182 24827
/proc/meminfo: memFree=14547744/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=400772 CPUtime=1044.6 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 90183 0 0 0 104050 410 0 0 25 0 3 0 891432225 410390528 80336 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 100193 80336 182 372 0 99818 0
[pid=24811/tid=24813] ppid=24809 vsize=400772 CPUtime=522.29 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 58688 0 0 0 52000 229 0 0 25 0 3 0 891432226 410390528 80336 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=400772 CPUtime=522.28 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 30637 0 0 0 52049 179 0 0 25 0 3 0 891432226 410390528 80336 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 400772
[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.56 5/182 24829
/proc/meminfo: memFree=14503560/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=401080 CPUtime=1164.6 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 95282 0 0 0 116020 440 0 0 25 0 3 0 891432225 410705920 85435 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 100270 85435 182 372 0 99895 0
[pid=24811/tid=24813] ppid=24809 vsize=401080 CPUtime=582.3 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 61196 0 0 0 57979 251 0 0 25 0 3 0 891432226 410705920 85435 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=401080 CPUtime=582.29 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 33228 0 0 0 58040 189 0 0 25 0 3 0 891432226 410705920 85435 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 401080
[startup+642.301 s]
/proc/loadavg: 4.00 3.97 3.58 5/182 24831
/proc/meminfo: memFree=14470544/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=466616 CPUtime=1284.62 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 100067 0 0 0 127994 468 0 0 25 0 3 0 891432225 477814784 90220 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 116654 90220 182 372 0 116279 0
[pid=24811/tid=24813] ppid=24809 vsize=466616 CPUtime=642.31 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 64987 0 0 0 63959 272 0 0 25 0 3 0 891432226 477814784 90220 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=466616 CPUtime=642.29 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 34222 0 0 0 64034 195 0 0 25 0 3 0 891432226 477814784 90220 33554432000 4194304 5714118 140734003398592 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 466616
[startup+702.301 s]
/proc/loadavg: 4.00 3.97 3.60 5/182 24832
/proc/meminfo: memFree=14370824/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=466616 CPUtime=1404.61 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 105667 0 0 0 139959 502 0 0 25 0 3 0 891432225 477814784 95775 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 116654 95775 182 372 0 116279 0
[pid=24811/tid=24813] ppid=24809 vsize=466616 CPUtime=702.3 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 70315 0 0 0 69936 294 0 0 25 0 3 0 891432226 477814784 95775 33554432000 4194304 5714118 140734003398592 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=466616 CPUtime=702.29 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 34494 0 0 0 70022 207 0 0 25 0 3 0 891432226 477814784 95775 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 466616
[startup+762.307 s]
/proc/loadavg: 4.04 3.99 3.63 6/182 24834
/proc/meminfo: memFree=14313136/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=532152 CPUtime=1524.62 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 110004 0 0 0 151923 539 0 0 25 0 3 0 891432225 544923648 99930 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 133038 99930 182 372 0 132663 0
[pid=24811/tid=24813] ppid=24809 vsize=532152 CPUtime=762.3 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 74640 0 0 0 75916 314 0 0 25 0 3 0 891432226 544923648 99930 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319167 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=532152 CPUtime=762.3 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 34506 0 0 0 76005 225 0 0 25 0 3 0 891432226 544923648 99930 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 532152
[startup+822.301 s]
/proc/loadavg: 4.01 3.99 3.65 5/182 24835
/proc/meminfo: memFree=14300832/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=532152 CPUtime=1644.61 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 112655 0 0 0 163885 576 0 0 25 0 3 0 891432225 544923648 102573 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 133038 102573 182 372 0 132663 0
[pid=24811/tid=24813] ppid=24809 vsize=532152 CPUtime=822.3 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 77283 0 0 0 81899 331 0 0 25 0 3 0 891432226 544923648 102573 33554432000 4194304 5714118 140734003398592 18446744073709551615 4322874 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=532152 CPUtime=822.29 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 34514 0 0 0 81984 245 0 0 25 0 3 0 891432226 544923648 102573 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319916 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 532152
[startup+882.3 s]
/proc/loadavg: 4.04 4.00 3.67 5/182 24837
/proc/meminfo: memFree=14275264/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=532304 CPUtime=1764.61 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 118711 0 0 0 175854 607 0 0 25 0 3 0 891432225 545079296 108629 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 133076 108629 182 372 0 132701 0
[pid=24811/tid=24813] ppid=24809 vsize=532304 CPUtime=882.31 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 79731 0 0 0 87880 351 0 0 25 0 3 0 891432226 545079296 108629 33554432000 4194304 5714118 140734003398592 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=532304 CPUtime=882.29 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 38122 0 0 0 87973 256 0 0 25 0 3 0 891432226 545079296 108629 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 532304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.89 3.97 3.67 5/182 24879
/proc/meminfo: memFree=14272828/32951124 swapFree=67057920/67111528
[pid=24811] ppid=24809 vsize=532304 CPUtime=1800.03 cores=1,3,5,7
/proc/24811/stat : 24811 (pwbo1.1) S 24809 24811 24381 0 -1 4202496 118749 0 0 0 179388 615 0 0 25 0 3 0 891432225 545079296 108667 33554432000 4194304 5714118 140734003398592 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/24811/statm: 133076 108667 182 372 0 132701 0
[pid=24811/tid=24813] ppid=24809 vsize=532304 CPUtime=900 cores=1,3,5,7
/proc/24811/task/24813/stat : 24813 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 79766 0 0 0 89644 356 0 0 25 0 3 0 891432226 545079296 108667 33554432000 4194304 5714118 140734003398592 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=24811/tid=24814] ppid=24809 vsize=532304 CPUtime=900 cores=1,3,5,7
/proc/24811/task/24814/stat : 24814 (pwbo1.1) R 24809 24811 24381 0 -1 4202560 38125 0 0 0 89743 257 0 0 25 0 3 0 891432226 545079296 108667 33554432000 4194304 5714118 140734003398592 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 532304
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.033
CPU time (s): 1800.07
CPU user time (s): 1793.9
CPU system time (s): 6.17106
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 532304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.9
system time used= 6.17106
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118755
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= 145
involuntary context switches= 12525
runsolver used 1.56476 second user time and 3.33549 second system time
The end