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-4260529-1502248671/watcher-4260529-1502248671 -o /tmp/evaluation-result-4260529-1502248671/solver-4260529-1502248671 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502234551-16045 --watchdog 2580 BTD 2520 HOME/instance-4260529-1502248671.xml
pid=19806
running on 4 cores: 1,3,5,7
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.07 2.04 2.05 2/181 19809
/proc/meminfo: memFree=31608864/32770624 swapFree=0/147216
[pid=19809] ppid=19806 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19809/stat : 19809 (runsolver) D 19806 19809 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 27062790 24240128 108 18446744073709551615 4194304 4338465 140727727280464 140727727278104 139693140275927 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 32698368 140727727284437 140727727284810 140727727284810 140727727288266 0
/proc/19809/statm: 5918 108 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 2.07 2.04 2.05 2/181 19809
/proc/meminfo: memFree=31608864/32770624 swapFree=0/147216
[pid=19809] ppid=19806 vsize=30676 CPUtime=0.01 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 464 0 0 0 1 0 0 0 20 0 1 0 27062790 31412224 326 18446744073709551615 4194304 35031035 140726112417712 140726112417712 4394482 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30676
[startup+0.200253 s]
/proc/loadavg: 2.07 2.04 2.05 2/181 19809
/proc/meminfo: memFree=31608864/32770624 swapFree=0/147216
[pid=19809] ppid=19806 vsize=30676 CPUtime=0.11 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 464 0 0 0 11 0 0 0 20 0 1 0 27062790 31412224 326 18446744073709551615 4194304 35031035 140726112417712 140726112417032 4394322 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 30676
[startup+0.300248 s]
/proc/loadavg: 2.07 2.04 2.05 2/181 19809
/proc/meminfo: memFree=31608864/32770624 swapFree=0/147216
[pid=19809] ppid=19806 vsize=30676 CPUtime=0.21 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 464 0 0 0 21 0 0 0 20 0 1 0 27062790 31412224 326 18446744073709551615 4194304 35031035 140726112417712 140726112417032 4393910 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 30676
[startup+0.700217 s]
/proc/loadavg: 2.07 2.04 2.05 2/181 19809
/proc/meminfo: memFree=31608864/32770624 swapFree=0/147216
[pid=19809] ppid=19806 vsize=30676 CPUtime=0.61 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 493 0 0 0 61 0 0 0 20 0 1 0 27062790 31412224 326 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4393910 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 30676
[startup+1.50022 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 19810
/proc/meminfo: memFree=31608864/32770624 swapFree=0/147216
[pid=19809] ppid=19806 vsize=30676 CPUtime=1.41 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 494 0 0 0 141 0 0 0 20 0 1 0 27062790 31412224 326 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394322 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7669 326 277 7529 0 116 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 30676
[startup+3.10026 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 19810
/proc/meminfo: memFree=31608524/32770624 swapFree=0/147216
[pid=19809] ppid=19806 vsize=30676 CPUtime=3.01 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 532 0 0 0 301 0 0 0 20 0 1 0 27062790 31412224 372 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394482 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7669 372 305 7529 0 116 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 30676
[startup+6.30022 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 19811
/proc/meminfo: memFree=31607612/32770624 swapFree=0/147220
[pid=19809] ppid=19806 vsize=30676 CPUtime=6.21 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 570 0 0 0 621 0 0 0 20 0 1 0 27062790 31412224 372 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394334 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7669 372 305 7529 0 116 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 30676
[startup+12.7002 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 19811
/proc/meminfo: memFree=31607612/32770624 swapFree=0/147220
[pid=19809] ppid=19806 vsize=30676 CPUtime=12.61 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 608 0 0 0 1261 0 0 0 20 0 1 0 27062790 31412224 372 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394482 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7669 372 305 7529 0 116 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 30676
[startup+25.5002 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 19811
/proc/meminfo: memFree=31607740/32770624 swapFree=0/147224
[pid=19809] ppid=19806 vsize=30676 CPUtime=25.41 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 690 0 0 0 2541 0 0 0 20 0 1 0 27062790 31412224 372 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394482 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7669 372 305 7529 0 116 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 30676
[startup+51.1002 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 19811
/proc/meminfo: memFree=31607856/32770624 swapFree=0/147248
[pid=19809] ppid=19806 vsize=30808 CPUtime=51 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 737 0 0 0 5100 0 0 0 20 0 1 0 27062790 31547392 372 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394482 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 372 305 7529 0 149 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 30808
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 19813
/proc/meminfo: memFree=31607376/32770624 swapFree=0/147284
[pid=19809] ppid=19806 vsize=30808 CPUtime=102.18 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 783 0 0 0 10218 0 0 0 20 0 1 0 27062790 31547392 374 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394366 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 374 306 7529 0 149 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 30808
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 19815
/proc/meminfo: memFree=31607316/32770624 swapFree=0/147308
[pid=19809] ppid=19806 vsize=30808 CPUtime=162.16 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 830 0 0 0 16216 0 0 0 20 0 1 0 27062790 31547392 374 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394322 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 374 306 7529 0 149 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 30808
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 19817
/proc/meminfo: memFree=31607936/32770624 swapFree=0/147344
[pid=19809] ppid=19806 vsize=30808 CPUtime=222.15 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 878 0 0 0 22214 1 0 0 20 0 1 0 27062790 31547392 377 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394311 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 377 306 7529 0 149 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 30808
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19819
/proc/meminfo: memFree=31608000/32770624 swapFree=0/147368
[pid=19809] ppid=19806 vsize=30808 CPUtime=282.13 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 927 0 0 0 28212 1 0 0 20 0 1 0 27062790 31547392 378 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4393767 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 378 306 7529 0 149 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 30808
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 19821
/proc/meminfo: memFree=31608000/32770624 swapFree=0/147400
[pid=19809] ppid=19806 vsize=30808 CPUtime=342.11 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 978 0 0 0 34210 1 0 0 20 0 1 0 27062790 31547392 380 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394478 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 380 306 7529 0 149 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 30808
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 19838
/proc/meminfo: memFree=31603448/32770624 swapFree=0/147460
[pid=19809] ppid=19806 vsize=30808 CPUtime=402.09 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 1028 0 0 0 40208 1 0 0 20 0 1 0 27062790 31547392 380 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394107 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 380 306 7529 0 149 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 30808
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 19840
/proc/meminfo: memFree=31604508/32770624 swapFree=0/147504
[pid=19809] ppid=19806 vsize=30808 CPUtime=462.09 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 1079 0 0 0 46207 2 0 0 20 0 1 0 27062790 31547392 381 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4393789 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 381 306 7529 0 149 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 30808
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 19842
/proc/meminfo: memFree=31606540/32770624 swapFree=0/147524
[pid=19809] ppid=19806 vsize=30808 CPUtime=522.06 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 1130 0 0 0 52204 2 0 0 20 0 1 0 27062790 31547392 382 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394478 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 382 306 7529 0 149 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 30808
[startup+582.305 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 19844
/proc/meminfo: memFree=31607284/32770624 swapFree=0/147564
[pid=19809] ppid=19806 vsize=30808 CPUtime=582.05 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 1182 0 0 0 58202 3 0 0 20 0 1 0 27062790 31547392 382 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394405 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 382 306 7529 0 149 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 30808
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 19910
/proc/meminfo: memFree=31603368/32770624 swapFree=0/148180
[pid=19809] ppid=19806 vsize=30808 CPUtime=1661.74 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2114 0 0 0 166165 9 0 0 20 0 1 0 27062790 31547392 388 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394443 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 388 306 7529 0 149 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 30808
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 20034
/proc/meminfo: memFree=31596844/32770624 swapFree=0/148280
[pid=19809] ppid=19806 vsize=30808 CPUtime=1721.72 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2162 0 0 0 172162 10 0 0 20 0 1 0 27062790 31547392 388 18446744073709551615 4194304 35031035 140726112417712 140726112416712 7760122 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 388 306 7529 0 149 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 30808
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 20036
/proc/meminfo: memFree=31596960/32770624 swapFree=0/148316
[pid=19809] ppid=19806 vsize=30808 CPUtime=1781.71 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2208 0 0 0 178161 10 0 0 20 0 1 0 27062790 31547392 388 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394287 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 388 306 7529 0 149 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 30808
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 20039
/proc/meminfo: memFree=31597088/32770624 swapFree=0/148320
[pid=19809] ppid=19806 vsize=30808 CPUtime=1841.69 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2266 0 0 0 184159 10 0 0 20 0 1 0 27062790 31547392 388 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4393482 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 388 306 7529 0 149 0
Current children cumulated CPU time (s) 1841.69
Current children cumulated vsize (KiB) 30808
[startup+1902.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 20041
/proc/meminfo: memFree=31597648/32770624 swapFree=0/148380
[pid=19809] ppid=19806 vsize=30808 CPUtime=1901.68 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2314 0 0 0 190157 11 0 0 20 0 1 0 27062790 31547392 388 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394478 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 388 306 7529 0 149 0
Current children cumulated CPU time (s) 1901.68
Current children cumulated vsize (KiB) 30808
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20043
/proc/meminfo: memFree=31597136/32770624 swapFree=0/148388
[pid=19809] ppid=19806 vsize=30808 CPUtime=1961.66 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2360 0 0 0 196155 11 0 0 20 0 1 0 27062790 31547392 388 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394311 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 388 306 7529 0 149 0
Current children cumulated CPU time (s) 1961.66
Current children cumulated vsize (KiB) 30808
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20045
/proc/meminfo: memFree=31597172/32770624 swapFree=0/148424
[pid=19809] ppid=19806 vsize=30808 CPUtime=2021.64 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2414 0 0 0 202153 11 0 0 20 0 1 0 27062790 31547392 388 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394322 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 388 306 7529 0 149 0
Current children cumulated CPU time (s) 2021.64
Current children cumulated vsize (KiB) 30808
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20047
/proc/meminfo: memFree=31597032/32770624 swapFree=0/148468
[pid=19809] ppid=19806 vsize=30808 CPUtime=2081.63 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2463 0 0 0 208151 12 0 0 20 0 1 0 27062790 31547392 389 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394322 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 389 306 7529 0 149 0
Current children cumulated CPU time (s) 2081.63
Current children cumulated vsize (KiB) 30808
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 20049
/proc/meminfo: memFree=31597576/32770624 swapFree=0/148496
[pid=19809] ppid=19806 vsize=30808 CPUtime=2141.6 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2522 0 0 0 214148 12 0 0 20 0 1 0 27062790 31547392 389 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4393824 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 389 306 7529 0 149 0
Current children cumulated CPU time (s) 2141.6
Current children cumulated vsize (KiB) 30808
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 20065
/proc/meminfo: memFree=31592448/32770624 swapFree=0/148552
[pid=19809] ppid=19806 vsize=30808 CPUtime=2201.59 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2568 0 0 0 220147 12 0 0 20 0 1 0 27062790 31547392 389 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4393789 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 389 306 7529 0 149 0
Current children cumulated CPU time (s) 2201.59
Current children cumulated vsize (KiB) 30808
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 20067
/proc/meminfo: memFree=31592764/32770624 swapFree=0/148596
[pid=19809] ppid=19806 vsize=30808 CPUtime=2261.58 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2614 0 0 0 226145 13 0 0 20 0 1 0 27062790 31547392 389 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394482 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 389 306 7529 0 149 0
Current children cumulated CPU time (s) 2261.58
Current children cumulated vsize (KiB) 30808
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 20069
/proc/meminfo: memFree=31596020/32770624 swapFree=0/148600
[pid=19809] ppid=19806 vsize=30808 CPUtime=2321.56 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2663 0 0 0 232143 13 0 0 20 0 1 0 27062790 31547392 389 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394346 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 389 306 7529 0 149 0
Current children cumulated CPU time (s) 2321.56
Current children cumulated vsize (KiB) 30808
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 20071
/proc/meminfo: memFree=31595648/32770624 swapFree=0/148648
[pid=19809] ppid=19806 vsize=30808 CPUtime=2381.54 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2709 0 0 0 238141 13 0 0 20 0 1 0 27062790 31547392 389 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394297 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 389 306 7529 0 149 0
Current children cumulated CPU time (s) 2381.54
Current children cumulated vsize (KiB) 30808
[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 20073
/proc/meminfo: memFree=31595532/32770624 swapFree=0/148680
[pid=19809] ppid=19806 vsize=30808 CPUtime=2441.52 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2755 0 0 0 244139 13 0 0 20 0 1 0 27062790 31547392 389 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394482 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 389 306 7529 0 149 0
Current children cumulated CPU time (s) 2441.52
Current children cumulated vsize (KiB) 30808
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 20075
/proc/meminfo: memFree=31596136/32770624 swapFree=0/148716
[pid=19809] ppid=19806 vsize=30808 CPUtime=2501.51 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2804 0 0 0 250137 14 0 0 20 0 1 0 27062790 31547392 390 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394223 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 390 306 7529 0 149 0
Current children cumulated CPU time (s) 2501.51
Current children cumulated vsize (KiB) 30808
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 20075
/proc/meminfo: memFree=31596136/32770624 swapFree=0/148724
[pid=19809] ppid=19806 vsize=30808 CPUtime=2519.2 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2848 0 0 0 251906 14 0 0 20 0 1 0 27062790 31547392 390 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394322 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 390 306 7529 0 149 0
Current children cumulated CPU time (s) 2519.2
Current children cumulated vsize (KiB) 30808
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 19809 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 20075
/proc/meminfo: memFree=31596136/32770624 swapFree=0/148724
[pid=19809] ppid=19806 vsize=30808 CPUtime=2519.2 cores=1,3,5,7
/proc/19809/stat : 19809 (BTD) R 19806 19809 15981 0 -1 4202496 2848 0 0 0 251906 14 0 0 20 0 1 0 27062790 31547392 390 18446744073709551615 4194304 35031035 140726112417712 140726112416712 4394322 0 0 1 0 0 0 0 17 1 0 0 8 0 0 37130264 37226188 45129728 140726112424453 140726112424529 140726112424529 140726112427985 0
/proc/19809/statm: 7702 390 306 7529 0 149 0
Current children cumulated CPU time (s) 2519.2
Current children cumulated vsize (KiB) 30808
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.21
CPU user time (s): 2519.06
CPU system time (s): 0.148958
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 30808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.06
system time used= 0.148958
maximum resident set size= 1560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2848
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= 13295
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.28134 second user time and 8.62037 second system time
The end