runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4260544-1502242970/watcher-4260544-1502242970 -o /tmp/evaluation-result-4260544-1502242970/solver-4260544-1502242970 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502234551-16044 --watchdog 2580 BTD 2520 HOME/instance-4260544-1502242970.xml
pid=18068
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 18071
/proc/meminfo: memFree=31498836/32770624 swapFree=0/129380
[pid=18071] ppid=18068 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18071/stat : 18071 (runsolver) D 18068 18071 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 26492649 24240128 106 18446744073709551615 4194304 4338465 140722265940896 140722265938536 140214325457623 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 32079872 140722265944277 140722265944650 140722265944650 140722265948106 0
/proc/18071/statm: 5918 106 53 36 0 2156 0
[startup+0.100197 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 18071
/proc/meminfo: memFree=31498836/32770624 swapFree=0/129380
[pid=18071] ppid=18068 vsize=30804 CPUtime=0.02 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 492 0 0 0 2 0 0 0 20 0 1 0 26492649 31543296 338 18446744073709551615 4194304 35031035 140730220630368 140730220630368 4393824 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 338 269 7529 0 148 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 30804
[startup+0.200322 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 18071
/proc/meminfo: memFree=31498836/32770624 swapFree=0/129380
[pid=18071] ppid=18068 vsize=30804 CPUtime=0.12 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 492 0 0 0 12 0 0 0 20 0 1 0 26492649 31543296 338 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394187 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 338 269 7529 0 148 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 30804
[startup+0.300316 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 18071
/proc/meminfo: memFree=31498836/32770624 swapFree=0/129380
[pid=18071] ppid=18068 vsize=30804 CPUtime=0.22 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 492 0 0 0 22 0 0 0 20 0 1 0 26492649 31543296 338 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394056 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 338 269 7529 0 148 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 30804
[startup+0.70028 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 18071
/proc/meminfo: memFree=31498836/32770624 swapFree=0/129380
[pid=18071] ppid=18068 vsize=30804 CPUtime=0.62 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 492 0 0 0 62 0 0 0 20 0 1 0 26492649 31543296 338 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393880 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 338 269 7529 0 148 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 30804
[startup+1.50027 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 18072
/proc/meminfo: memFree=31498292/32770624 swapFree=0/129148
[pid=18071] ppid=18068 vsize=30804 CPUtime=1.42 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 492 0 0 0 142 0 0 0 20 0 1 0 26492649 31543296 338 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393466 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 338 269 7529 0 148 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 30804
[startup+3.10028 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 18072
/proc/meminfo: memFree=31498044/32770624 swapFree=0/129148
[pid=18071] ppid=18068 vsize=30804 CPUtime=3.02 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 503 0 0 0 302 0 0 0 20 0 1 0 26492649 31543296 338 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394226 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 338 269 7529 0 148 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 30804
[startup+6.30027 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 18072
/proc/meminfo: memFree=31497584/32770624 swapFree=0/129152
[pid=18071] ppid=18068 vsize=30804 CPUtime=6.22 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 514 0 0 0 622 0 0 0 20 0 1 0 26492649 31543296 338 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394482 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 338 269 7529 0 148 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 30804
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 18072
/proc/meminfo: memFree=31496916/32770624 swapFree=0/129148
[pid=18071] ppid=18068 vsize=30804 CPUtime=12.62 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 525 0 0 0 1262 0 0 0 20 0 1 0 26492649 31543296 338 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394223 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 338 269 7529 0 148 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 30804
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 18072
/proc/meminfo: memFree=31497064/32770624 swapFree=0/129156
[pid=18071] ppid=18068 vsize=30804 CPUtime=25.42 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 546 0 0 0 2542 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394056 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 30804
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 18073
/proc/meminfo: memFree=31496924/32770624 swapFree=0/129168
[pid=18071] ppid=18068 vsize=30804 CPUtime=51.02 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 558 0 0 0 5102 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393966 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 30804
[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 18089
/proc/meminfo: memFree=31488872/32770624 swapFree=0/129228
[pid=18071] ppid=18068 vsize=30804 CPUtime=102.22 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 569 0 0 0 10222 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393873 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 30804
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 18091
/proc/meminfo: memFree=31489596/32770624 swapFree=0/129272
[pid=18071] ppid=18068 vsize=30804 CPUtime=162.22 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 580 0 0 0 16222 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393767 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 30804
[startup+222.306 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 18093
/proc/meminfo: memFree=31493756/32770624 swapFree=0/129300
[pid=18071] ppid=18068 vsize=30804 CPUtime=222.22 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 591 0 0 0 22222 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394140 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 30804
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 18095
/proc/meminfo: memFree=31493708/32770624 swapFree=0/129328
[pid=18071] ppid=18068 vsize=30804 CPUtime=282.21 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 602 0 0 0 28221 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394456 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 30804
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 18097
/proc/meminfo: memFree=31493260/32770624 swapFree=0/129356
[pid=18071] ppid=18068 vsize=30804 CPUtime=342.21 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 613 0 0 0 34221 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394484 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 30804
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18099
/proc/meminfo: memFree=31493648/32770624 swapFree=0/129396
[pid=18071] ppid=18068 vsize=30804 CPUtime=402.21 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 625 0 0 0 40221 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393822 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 30804
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18101
/proc/meminfo: memFree=31494024/32770624 swapFree=0/129416
[pid=18071] ppid=18068 vsize=30804 CPUtime=462.21 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 636 0 0 0 46221 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393830 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 30804
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18103
/proc/meminfo: memFree=31493900/32770624 swapFree=0/129452
[pid=18071] ppid=18068 vsize=30804 CPUtime=522.2 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 647 0 0 0 52220 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393981 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 30804
[startup+582.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/181 18105
/proc/meminfo: memFree=31493404/32770624 swapFree=0/129480
[pid=18071] ppid=18068 vsize=30804 CPUtime=582.2 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 658 0 0 0 58220 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393997 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 30804
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18169
/proc/meminfo: memFree=31492204/32770624 swapFree=0/130040
[pid=18071] ppid=18068 vsize=30804 CPUtime=1602.16 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 848 0 0 0 160216 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394305 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 30804
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 18171
/proc/meminfo: memFree=31492960/32770624 swapFree=0/130088
[pid=18071] ppid=18068 vsize=30804 CPUtime=1662.16 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 859 0 0 0 166216 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393793 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 30804
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 18173
/proc/meminfo: memFree=31492824/32770624 swapFree=0/130116
[pid=18071] ppid=18068 vsize=30804 CPUtime=1722.16 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 870 0 0 0 172216 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394518 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 30804
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 18176
/proc/meminfo: memFree=31492232/32770624 swapFree=0/130148
[pid=18071] ppid=18068 vsize=30804 CPUtime=1782.16 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 881 0 0 0 178216 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393793 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 30804
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18178
/proc/meminfo: memFree=31492480/32770624 swapFree=0/130156
[pid=18071] ppid=18068 vsize=30804 CPUtime=1842.15 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 893 0 0 0 184215 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394092 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 1842.15
Current children cumulated vsize (KiB) 30804
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 18194
/proc/meminfo: memFree=31489076/32770624 swapFree=0/130240
[pid=18071] ppid=18068 vsize=30804 CPUtime=1902.15 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 904 0 0 0 190215 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394366 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 30804
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 18221
/proc/meminfo: memFree=31487468/32770624 swapFree=0/130312
[pid=18071] ppid=18068 vsize=30804 CPUtime=1962.15 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 915 0 0 0 196215 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393789 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 30804
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 18223
/proc/meminfo: memFree=31488064/32770624 swapFree=0/130352
[pid=18071] ppid=18068 vsize=30804 CPUtime=2022.15 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 926 0 0 0 202215 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393793 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 2022.15
Current children cumulated vsize (KiB) 30804
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 18225
/proc/meminfo: memFree=31491360/32770624 swapFree=0/130380
[pid=18071] ppid=18068 vsize=30804 CPUtime=2082.15 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 937 0 0 0 208215 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393822 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 30804
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 18227
/proc/meminfo: memFree=31491900/32770624 swapFree=0/130408
[pid=18071] ppid=18068 vsize=30804 CPUtime=2142.14 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 948 0 0 0 214214 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394015 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 2142.14
Current children cumulated vsize (KiB) 30804
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 18229
/proc/meminfo: memFree=31491880/32770624 swapFree=0/130424
[pid=18071] ppid=18068 vsize=30804 CPUtime=2202.15 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 960 0 0 0 220215 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394237 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 2202.15
Current children cumulated vsize (KiB) 30804
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 18231
/proc/meminfo: memFree=31491772/32770624 swapFree=0/130476
[pid=18071] ppid=18068 vsize=30804 CPUtime=2262.14 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 971 0 0 0 226214 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393466 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 2262.14
Current children cumulated vsize (KiB) 30804
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18233
/proc/meminfo: memFree=31491544/32770624 swapFree=0/130504
[pid=18071] ppid=18068 vsize=30804 CPUtime=2322.14 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 982 0 0 0 232214 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394390 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 2322.14
Current children cumulated vsize (KiB) 30804
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 18235
/proc/meminfo: memFree=31491420/32770624 swapFree=0/130532
[pid=18071] ppid=18068 vsize=30804 CPUtime=2382.13 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 993 0 0 0 238213 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394482 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 2382.13
Current children cumulated vsize (KiB) 30804
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 18298
/proc/meminfo: memFree=31615588/32770624 swapFree=0/130596
[pid=18071] ppid=18068 vsize=30804 CPUtime=2442.13 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 1004 0 0 0 244213 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393456 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 2442.13
Current children cumulated vsize (KiB) 30804
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 18314
/proc/meminfo: memFree=31610816/32770624 swapFree=0/130680
[pid=18071] ppid=18068 vsize=30804 CPUtime=2502.13 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 1015 0 0 0 250213 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4393783 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 2502.13
Current children cumulated vsize (KiB) 30804
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 18315
/proc/meminfo: memFree=31610940/32770624 swapFree=0/130688
[pid=18071] ppid=18068 vsize=30804 CPUtime=2519.83 cores=0,2,4,6
/proc/18071/stat : 18071 (BTD) R 18068 18071 15981 0 -1 4202496 1026 0 0 0 251983 0 0 0 20 0 1 0 26492649 31543296 370 18446744073709551615 4194304 35031035 140730220630368 140730220629688 4394223 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 41082880 140730220634629 140730220634705 140730220634705 140730220638161 0
/proc/18071/statm: 7701 370 297 7529 0 148 0
Current children cumulated CPU time (s) 2519.83
Current children cumulated vsize (KiB) 30804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18071 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.84
CPU user time (s): 2519.84
CPU system time (s): 0.000999
CPU usage (%): 99.9935
Max. virtual memory (cumulated for all children) (KiB): 30804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.84
system time used= 0.000999
maximum resident set size= 1480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1026
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= 2
involuntary context switches= 633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78644 second user time and 8.74939 second system time
The end