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-4260470-1502332301/watcher-4260470-1502332301 -o /tmp/evaluation-result-4260470-1502332301/solver-4260470-1502332301 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502331454-22990 --watchdog 2580 BTD 2520 HOME/instance-4260470-1502332301.xml
pid=23013
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: 1.29 1.12 1.41 2/183 23019
/proc/meminfo: memFree=31169080/32770624 swapFree=0/390200
[pid=23019] ppid=23013 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/23019/stat : 23019 (runsolver) D 23013 23019 1774 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 81045359 24240128 108 18446744073709551615 4194304 4338465 140722416684448 140722416682088 140530830861015 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 6807552 140722416693460 140722416693833 140722416693833 140722416697290 0
/proc/23019/statm: 5918 108 54 36 0 2156 0
[startup+0.106148 s]
/proc/loadavg: 1.29 1.12 1.41 2/183 23019
/proc/meminfo: memFree=31169080/32770624 swapFree=0/390200
[pid=23019] ppid=23013 vsize=31600 CPUtime=0 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 644 0 0 0 0 0 0 0 20 0 1 0 81045359 32358400 458 18446744073709551615 4194304 35031035 140720953051760 140720953044232 4254191 0 0 1 0 0 0 0 17 6 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 7900 458 250 7529 0 347 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 31600
[startup+0.201142 s]
/proc/loadavg: 1.29 1.12 1.41 2/183 23019
/proc/meminfo: memFree=31169080/32770624 swapFree=0/390200
[pid=23019] ppid=23013 vsize=34832 CPUtime=0.1 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 1526 0 0 0 10 0 0 0 20 0 1 0 81045359 35667968 1383 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4544913 0 0 1 0 0 0 0 17 6 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8708 1383 335 7529 0 1155 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 34832
[startup+0.30114 s]
/proc/loadavg: 1.29 1.12 1.41 2/183 23019
/proc/meminfo: memFree=31169080/32770624 swapFree=0/390200
[pid=23019] ppid=23013 vsize=34832 CPUtime=0.2 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 1530 0 0 0 20 0 0 0 20 0 1 0 81045359 35667968 1383 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4213280 0 0 1 0 0 0 0 17 6 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8708 1383 335 7529 0 1155 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 34832
[startup+0.701142 s]
/proc/loadavg: 1.29 1.12 1.41 2/183 23019
/proc/meminfo: memFree=31169080/32770624 swapFree=0/390200
[pid=23019] ppid=23013 vsize=34832 CPUtime=0.59 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 1549 0 0 0 59 0 0 0 20 0 1 0 81045359 35667968 1383 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491569 0 0 1 0 0 0 0 17 6 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8708 1383 335 7529 0 1155 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 34832
[startup+1.50018 s]
/proc/loadavg: 1.29 1.12 1.41 5/185 23021
/proc/meminfo: memFree=31163616/32770624 swapFree=0/390204
[pid=23019] ppid=23013 vsize=34964 CPUtime=1.39 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 1569 0 0 0 139 0 0 0 20 0 1 0 81045359 35803136 1383 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491564 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8741 1383 335 7529 0 1188 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 34964
[startup+3.10019 s]
/proc/loadavg: 1.29 1.12 1.41 4/185 23021
/proc/meminfo: memFree=31147072/32770624 swapFree=0/390204
[pid=23019] ppid=23013 vsize=35096 CPUtime=2.98 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 2030 0 0 0 298 0 0 0 20 0 1 0 81045359 35938304 1458 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4544936 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8774 1458 336 7529 0 1221 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 35096
[startup+6.30019 s]
/proc/loadavg: 1.34 1.13 1.41 4/185 23021
/proc/meminfo: memFree=31161692/32770624 swapFree=0/390204
[pid=23019] ppid=23013 vsize=35096 CPUtime=6.19 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 2486 0 0 0 618 1 0 0 20 0 1 0 81045359 35938304 1474 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491559 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8774 1474 336 7529 0 1221 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 35096
[startup+12.7002 s]
/proc/loadavg: 1.40 1.15 1.42 5/185 23022
/proc/meminfo: memFree=31161480/32770624 swapFree=0/390208
[pid=23019] ppid=23013 vsize=35096 CPUtime=12.59 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 2918 0 0 0 1257 2 0 0 20 0 1 0 81045359 35938304 1483 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4213314 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8774 1483 336 7529 0 1221 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 35096
[startup+25.5002 s]
/proc/loadavg: 1.53 1.19 1.43 4/185 23022
/proc/meminfo: memFree=31161440/32770624 swapFree=0/390208
[pid=23019] ppid=23013 vsize=35228 CPUtime=25.39 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 3800 0 0 0 2535 4 0 0 20 0 1 0 81045359 36073472 1504 18446744073709551615 4194304 35031035 140720953051760 140720953050760 7760122 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8807 1504 336 7529 0 1254 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 35228
[startup+51.1002 s]
/proc/loadavg: 1.69 1.26 1.44 4/186 23023
/proc/meminfo: memFree=31161204/32770624 swapFree=0/390204
[pid=23019] ppid=23013 vsize=35228 CPUtime=50.99 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 4277 0 0 0 5089 10 0 0 20 0 1 0 81045359 36073472 1516 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491900 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8807 1516 336 7529 0 1254 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 35228
[startup+102.3 s]
/proc/loadavg: 1.87 1.37 1.47 4/185 23025
/proc/meminfo: memFree=31160268/32770624 swapFree=0/390220
[pid=23019] ppid=23013 vsize=35360 CPUtime=102.19 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 4783 0 0 0 10198 21 0 0 20 0 1 0 81045359 36208640 1547 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491552 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8840 1547 336 7529 0 1287 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 35360
[startup+162.3 s]
/proc/loadavg: 1.95 1.48 1.50 4/189 23042
/proc/meminfo: memFree=31155080/32770624 swapFree=0/390256
[pid=23019] ppid=23013 vsize=35360 CPUtime=162.17 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 4923 0 0 0 16185 32 0 0 20 0 1 0 81045359 36208640 1558 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491569 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8840 1558 336 7529 0 1287 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 35360
[startup+222.306 s]
/proc/loadavg: 1.98 1.58 1.53 4/189 23044
/proc/meminfo: memFree=31155132/32770624 swapFree=0/390264
[pid=23019] ppid=23013 vsize=35492 CPUtime=222.18 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 5000 0 0 0 22177 41 0 0 20 0 1 0 81045359 36343808 1567 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491564 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8873 1567 336 7529 0 1320 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 35492
[startup+282.3 s]
/proc/loadavg: 2.05 1.67 1.57 4/186 23046
/proc/meminfo: memFree=31158612/32770624 swapFree=0/390280
[pid=23019] ppid=23013 vsize=35492 CPUtime=282.17 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 5126 0 0 0 28166 51 0 0 20 0 1 0 81045359 36343808 1579 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491564 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8873 1579 336 7529 0 1320 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 35492
[startup+342.3 s]
/proc/loadavg: 2.02 1.73 1.60 5/186 23048
/proc/meminfo: memFree=31158708/32770624 swapFree=0/390296
[pid=23019] ppid=23013 vsize=35492 CPUtime=342.17 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 5248 0 0 0 34154 63 0 0 20 0 1 0 81045359 36343808 1586 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4395167 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8873 1586 336 7529 0 1320 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 35492
[startup+402.3 s]
/proc/loadavg: 2.01 1.78 1.62 4/186 23051
/proc/meminfo: memFree=31158900/32770624 swapFree=0/390304
[pid=23019] ppid=23013 vsize=35492 CPUtime=402.17 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 5342 0 0 0 40144 73 0 0 20 0 1 0 81045359 36343808 1598 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491555 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8873 1598 336 7529 0 1320 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 35492
[startup+462.3 s]
/proc/loadavg: 2.00 1.82 1.64 4/186 23054
/proc/meminfo: memFree=31158348/32770624 swapFree=0/390324
[pid=23019] ppid=23013 vsize=35492 CPUtime=462.16 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 5519 0 0 0 46132 84 0 0 20 0 1 0 81045359 36343808 1598 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491611 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8873 1598 336 7529 0 1320 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 35492
[startup+522.3 s]
/proc/loadavg: 2.00 1.85 1.67 4/186 23056
/proc/meminfo: memFree=31158324/32770624 swapFree=0/390344
[pid=23019] ppid=23013 vsize=35492 CPUtime=522.15 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 5609 0 0 0 52121 94 0 0 20 0 1 0 81045359 36343808 1604 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491564 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8873 1604 336 7529 0 1320 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 35492
[startup+582.3 s]
/proc/loadavg: 2.00 1.88 1.69 4/186 23058
/proc/meminfo: memFree=31158076/32770624 swapFree=0/390352
[pid=23019] ppid=23013 vsize=35624 CPUtime=582.15 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 5764 0 0 0 58110 105 0 0 20 0 1 0 81045359 36478976 1610 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4213314 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8906 1610 336 7529 0 1353 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 35624
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 1.91 4/186 23128
/proc/meminfo: memFree=31157348/32770624 swapFree=0/390600
[pid=23019] ppid=23013 vsize=35756 CPUtime=1602.1 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 8104 0 0 0 159923 287 0 0 20 0 1 0 81045359 36614144 1651 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491611 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1651 336 7529 0 1386 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 35756
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.91 4/186 23130
/proc/meminfo: memFree=31157680/32770624 swapFree=0/390616
[pid=23019] ppid=23013 vsize=35756 CPUtime=1662.1 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 8255 0 0 0 165911 299 0 0 20 0 1 0 81045359 36614144 1656 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4577888 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1656 336 7529 0 1386 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 35756
[startup+1722.3 s]
/proc/loadavg: 2.15 2.05 1.93 4/186 23133
/proc/meminfo: memFree=31157628/32770624 swapFree=0/390628
[pid=23019] ppid=23013 vsize=35756 CPUtime=1722.09 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 8428 0 0 0 171899 310 0 0 20 0 1 0 81045359 36614144 1656 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4213307 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1656 336 7529 0 1386 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 35756
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 1.94 4/186 23135
/proc/meminfo: memFree=31156968/32770624 swapFree=0/390636
[pid=23019] ppid=23013 vsize=35756 CPUtime=1782.09 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 8529 0 0 0 177888 321 0 0 20 0 1 0 81045359 36614144 1656 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491765 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1656 336 7529 0 1386 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 35756
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 1.94 4/186 23137
/proc/meminfo: memFree=31157632/32770624 swapFree=0/390648
[pid=23019] ppid=23013 vsize=35756 CPUtime=1842.09 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 8701 0 0 0 183878 331 0 0 20 0 1 0 81045359 36614144 1662 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491578 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1662 336 7529 0 1386 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 35756
[startup+1902.3 s]
/proc/loadavg: 2.01 2.03 1.95 4/186 23140
/proc/meminfo: memFree=31157680/32770624 swapFree=0/390660
[pid=23019] ppid=23013 vsize=35756 CPUtime=1902.09 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 8843 0 0 0 189868 341 0 0 20 0 1 0 81045359 36614144 1662 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4213296 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1662 336 7529 0 1386 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 35756
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/190 23157
/proc/meminfo: memFree=31154440/32770624 swapFree=0/390688
[pid=23019] ppid=23013 vsize=35756 CPUtime=1962.08 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 8961 0 0 0 195857 351 0 0 20 0 1 0 81045359 36614144 1662 18446744073709551615 4194304 35031035 140720953051760 140720953050760 7760122 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1662 336 7529 0 1386 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 35756
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/190 23160
/proc/meminfo: memFree=31153720/32770624 swapFree=0/390716
[pid=23019] ppid=23013 vsize=35756 CPUtime=2022.08 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 9177 0 0 0 201846 362 0 0 20 0 1 0 81045359 36614144 1669 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491832 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1669 336 7529 0 1386 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 35756
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 23162
/proc/meminfo: memFree=31157156/32770624 swapFree=0/390736
[pid=23019] ppid=23013 vsize=35756 CPUtime=2082.08 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 9320 0 0 0 207838 370 0 0 20 0 1 0 81045359 36614144 1669 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491552 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1669 336 7529 0 1386 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 35756
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 23164
/proc/meminfo: memFree=31156988/32770624 swapFree=0/390752
[pid=23019] ppid=23013 vsize=35756 CPUtime=2142.07 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 9481 0 0 0 213824 383 0 0 20 0 1 0 81045359 36614144 1669 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491569 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1669 336 7529 0 1386 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 35756
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.95 4/187 23167
/proc/meminfo: memFree=31156876/32770624 swapFree=0/390760
[pid=23019] ppid=23013 vsize=35756 CPUtime=2202.07 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 9657 0 0 0 219813 394 0 0 20 0 1 0 81045359 36614144 1669 18446744073709551615 4194304 35031035 140720953051760 140720953050760 6458000 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1669 336 7529 0 1386 0
Current children cumulated CPU time (s) 2202.07
Current children cumulated vsize (KiB) 35756
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/186 23170
/proc/meminfo: memFree=31156604/32770624 swapFree=0/390776
[pid=23019] ppid=23013 vsize=35756 CPUtime=2262.06 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 9771 0 0 0 225802 404 0 0 20 0 1 0 81045359 36614144 1671 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4213307 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1671 336 7529 0 1386 0
Current children cumulated CPU time (s) 2262.06
Current children cumulated vsize (KiB) 35756
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/185 23172
/proc/meminfo: memFree=31156744/32770624 swapFree=0/390784
[pid=23019] ppid=23013 vsize=35756 CPUtime=2322.06 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 9942 0 0 0 231791 415 0 0 20 0 1 0 81045359 36614144 1671 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4544915 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1671 336 7529 0 1386 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 35756
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/186 23175
/proc/meminfo: memFree=31156108/32770624 swapFree=0/390796
[pid=23019] ppid=23013 vsize=35756 CPUtime=2382.05 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 10091 0 0 0 237779 426 0 0 20 0 1 0 81045359 36614144 1671 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491567 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8939 1671 336 7529 0 1386 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 35756
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/186 23178
/proc/meminfo: memFree=31155240/32770624 swapFree=0/390804
[pid=23019] ppid=23013 vsize=35888 CPUtime=2442.05 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 10228 0 0 0 243769 436 0 0 20 0 1 0 81045359 36749312 1676 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491877 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8972 1676 336 7529 0 1419 0
Current children cumulated CPU time (s) 2442.05
Current children cumulated vsize (KiB) 35888
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/185 23180
/proc/meminfo: memFree=31155724/32770624 swapFree=0/390808
[pid=23019] ppid=23013 vsize=35888 CPUtime=2502.05 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 10444 0 0 0 249756 449 0 0 20 0 1 0 81045359 36749312 1676 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491900 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8972 1676 336 7529 0 1419 0
Current children cumulated CPU time (s) 2502.05
Current children cumulated vsize (KiB) 35888
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 1.95 4/186 23181
/proc/meminfo: memFree=31155708/32770624 swapFree=0/390808
[pid=23019] ppid=23013 vsize=35888 CPUtime=2519.75 cores=0,2,4,6
/proc/23019/stat : 23019 (BTD) R 23013 23019 1774 0 -1 4202496 10543 0 0 0 251523 452 0 0 20 0 1 0 81045359 36749312 1676 18446744073709551615 4194304 35031035 140720953051760 140720953050760 4491569 0 0 1 0 0 0 0 17 0 0 0 9 0 0 37130264 37226188 69050368 140720953053700 140720953053776 140720953053776 140720953057233 0
/proc/23019/statm: 8972 1676 336 7529 0 1419 0
Current children cumulated CPU time (s) 2519.75
Current children cumulated vsize (KiB) 35888
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 23019 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.76
CPU user time (s): 2515.24
CPU system time (s): 4.52175
CPU usage (%): 99.9905
Max. virtual memory (cumulated for all children) (KiB): 35888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.24
system time used= 4.52175
maximum resident set size= 6704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10543
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= 4
involuntary context switches= 2137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.57508 second user time and 8.84093 second system time
The end