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-4260472-1502332045/watcher-4260472-1502332045 -o /tmp/evaluation-result-4260472-1502332045/solver-4260472-1502332045 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502331205-2410 --watchdog 2580 BTD 2520 HOME/instance-4260472-1502332045.xml
pid=2431
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: 1.01 1.24 1.62 3/174 2434
/proc/meminfo: memFree=31522664/32770624 swapFree=0/212080
[pid=2434] ppid=2431 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2434/stat : 2434 (runsolver) D 2431 2434 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 35400110 24240128 107 18446744073709551615 4194304 4338465 140737016062448 140737016060088 140257308218071 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 24137728 140737016070358 140737016070730 140737016070730 140737016074186 0
/proc/2434/statm: 5918 107 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 1.01 1.24 1.62 3/174 2434
/proc/meminfo: memFree=31522664/32770624 swapFree=0/212080
[pid=2434] ppid=2431 vsize=32784 CPUtime=0.02 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 931 0 0 0 2 0 0 0 20 0 1 0 35400110 33570816 786 18446744073709551615 4194304 35031035 140737306723040 140737306723040 7408826 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 8196 786 231 7529 0 643 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 32784
[startup+0.20027 s]
/proc/loadavg: 1.01 1.24 1.62 3/174 2434
/proc/meminfo: memFree=31522664/32770624 swapFree=0/212080
[pid=2434] ppid=2431 vsize=39252 CPUtime=0.12 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 2570 0 0 0 12 0 0 0 20 0 1 0 35400110 40194048 2436 18446744073709551615 4194304 35031035 140737306723040 140737306723040 7408826 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 9813 2436 251 7529 0 2260 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 39252
[startup+0.300294 s]
/proc/loadavg: 1.01 1.24 1.62 3/174 2434
/proc/meminfo: memFree=31522664/32770624 swapFree=0/212080
[pid=2434] ppid=2431 vsize=64332 CPUtime=0.21 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 8924 0 0 0 21 0 0 0 20 0 1 0 35400110 65875968 8772 18446744073709551615 4194304 35031035 140737306723040 140737306723040 4394828 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 16083 8772 322 7529 0 8530 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 64332
[startup+0.700173 s]
/proc/loadavg: 1.01 1.24 1.62 3/174 2434
/proc/meminfo: memFree=31522664/32770624 swapFree=0/212080
[pid=2434] ppid=2431 vsize=66840 CPUtime=0.61 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 9541 0 0 0 61 0 0 0 20 0 1 0 35400110 68444160 9366 18446744073709551615 4194304 35031035 140737306723040 140737306721800 4623999 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 16710 9366 324 7529 0 9157 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 66840
[startup+1.50017 s]
/proc/loadavg: 1.01 1.24 1.62 3/181 2446
/proc/meminfo: memFree=31483340/32770624 swapFree=0/208820
[pid=2434] ppid=2431 vsize=67500 CPUtime=1.41 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 9713 0 0 0 141 0 0 0 20 0 1 0 35400110 69120000 9564 18446744073709551615 4194304 35031035 140737306723040 140737306721800 4623999 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 16875 9564 324 7529 0 9322 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 67500
[startup+3.10022 s]
/proc/loadavg: 1.01 1.24 1.62 3/181 2446
/proc/meminfo: memFree=31453676/32770624 swapFree=0/208824
[pid=2434] ppid=2431 vsize=97436 CPUtime=3.01 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 20124 0 0 0 300 1 0 0 20 0 1 0 35400110 99774464 16904 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544913 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 24359 16904 338 7529 0 16806 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 97436
[startup+6.30019 s]
/proc/loadavg: 1.01 1.24 1.62 3/181 2446
/proc/meminfo: memFree=31451752/32770624 swapFree=0/208580
[pid=2434] ppid=2431 vsize=97436 CPUtime=6.21 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 22861 0 0 0 620 1 0 0 20 0 1 0 35400110 99774464 16911 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4491596 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 24359 16911 338 7529 0 16806 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 97436
[startup+12.7002 s]
/proc/loadavg: 1.09 1.25 1.62 3/181 2447
/proc/meminfo: memFree=31450744/32770624 swapFree=0/208572
[pid=2434] ppid=2431 vsize=97700 CPUtime=12.6 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 24121 0 0 0 1259 1 0 0 20 0 1 0 35400110 100044800 16937 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4491569 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 24425 16937 338 7529 0 16872 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 97700
[startup+25.5002 s]
/proc/loadavg: 1.29 1.29 1.63 3/181 2447
/proc/meminfo: memFree=31450112/32770624 swapFree=0/208580
[pid=2434] ppid=2431 vsize=98360 CPUtime=25.41 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 26592 0 0 0 2539 2 0 0 20 0 1 0 35400110 100720640 17151 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4491882 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 24590 17151 338 7529 0 17037 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 98360
[startup+51.1003 s]
/proc/loadavg: 1.53 1.35 1.64 3/181 2447
/proc/meminfo: memFree=31449152/32770624 swapFree=0/208572
[pid=2434] ppid=2431 vsize=99416 CPUtime=51 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 27472 0 0 0 5097 3 0 0 20 0 1 0 35400110 101801984 17385 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4491786 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 24854 17385 338 7529 0 17301 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 99416
[startup+102.3 s]
/proc/loadavg: 1.80 1.45 1.66 3/181 2449
/proc/meminfo: memFree=31447860/32770624 swapFree=0/208600
[pid=2434] ppid=2431 vsize=100208 CPUtime=102.2 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 28338 0 0 0 10215 5 0 0 20 0 1 0 35400110 102612992 17598 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544915 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25052 17598 338 7529 0 17499 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 100208
[startup+162.3 s]
/proc/loadavg: 1.93 1.55 1.68 3/181 2451
/proc/meminfo: memFree=31447300/32770624 swapFree=0/208624
[pid=2434] ppid=2431 vsize=100472 CPUtime=162.17 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 28996 0 0 0 16212 5 0 0 20 0 1 0 35400110 102883328 17684 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544899 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25118 17684 338 7529 0 17565 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 100472
[startup+222.306 s]
/proc/loadavg: 1.97 1.63 1.70 3/181 2453
/proc/meminfo: memFree=31447764/32770624 swapFree=0/208628
[pid=2434] ppid=2431 vsize=100604 CPUtime=222.17 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 29577 0 0 0 22211 6 0 0 20 0 1 0 35400110 103018496 17698 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4491618 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25151 17698 338 7529 0 17598 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 100604
[startup+282.3 s]
/proc/loadavg: 1.99 1.70 1.72 3/181 2455
/proc/meminfo: memFree=31447144/32770624 swapFree=0/208632
[pid=2434] ppid=2431 vsize=100604 CPUtime=282.15 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 30152 0 0 0 28208 7 0 0 20 0 1 0 35400110 103018496 17724 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544915 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25151 17724 338 7529 0 17598 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 100604
[startup+342.3 s]
/proc/loadavg: 2.00 1.75 1.73 3/181 2457
/proc/meminfo: memFree=31446708/32770624 swapFree=0/208648
[pid=2434] ppid=2431 vsize=101000 CPUtime=342.14 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 30828 0 0 0 34206 8 0 0 20 0 1 0 35400110 103424000 17786 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544906 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25250 17786 338 7529 0 17697 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 101000
[startup+402.3 s]
/proc/loadavg: 2.00 1.80 1.75 3/185 2474
/proc/meminfo: memFree=31441532/32770624 swapFree=0/208668
[pid=2434] ppid=2431 vsize=101000 CPUtime=402.13 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 31385 0 0 0 40204 9 0 0 20 0 1 0 35400110 103424000 17807 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4491765 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25250 17807 338 7529 0 17697 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 101000
[startup+462.3 s]
/proc/loadavg: 2.00 1.83 1.77 3/185 2476
/proc/meminfo: memFree=31441984/32770624 swapFree=0/208704
[pid=2434] ppid=2431 vsize=101000 CPUtime=462.11 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 31939 0 0 0 46202 9 0 0 20 0 1 0 35400110 103424000 17809 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544906 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25250 17809 338 7529 0 17697 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 101000
[startup+522.3 s]
/proc/loadavg: 2.00 1.86 1.78 3/182 2478
/proc/meminfo: memFree=31445636/32770624 swapFree=0/208712
[pid=2434] ppid=2431 vsize=101000 CPUtime=522.1 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 32501 0 0 0 52200 10 0 0 20 0 1 0 35400110 103424000 17815 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4213296 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25250 17815 338 7529 0 17697 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 101000
[startup+582.3 s]
/proc/loadavg: 2.00 1.89 1.79 3/182 2480
/proc/meminfo: memFree=31445880/32770624 swapFree=0/208732
[pid=2434] ppid=2431 vsize=101000 CPUtime=582.09 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 33061 0 0 0 58198 11 0 0 20 0 1 0 35400110 103424000 17819 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544915 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25250 17819 338 7529 0 17697 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 101000
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/185 2547
/proc/meminfo: memFree=31441516/32770624 swapFree=0/209104
[pid=2434] ppid=2431 vsize=101264 CPUtime=1601.88 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 41970 0 0 0 160163 25 0 0 20 0 1 0 35400110 103694336 17882 18446744073709551615 4194304 35031035 140737306723040 140737306722040 6458007 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17882 338 7529 0 17763 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 101264
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 1.95 3/185 2549
/proc/meminfo: memFree=31441364/32770624 swapFree=0/209112
[pid=2434] ppid=2431 vsize=101264 CPUtime=1661.86 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 42459 0 0 0 166161 25 0 0 20 0 1 0 35400110 103694336 17882 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544902 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17882 338 7529 0 17763 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 101264
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/182 2551
/proc/meminfo: memFree=31444188/32770624 swapFree=0/209128
[pid=2434] ppid=2431 vsize=101264 CPUtime=1721.86 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 43031 0 0 0 172160 26 0 0 20 0 1 0 35400110 103694336 17886 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4491567 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17886 338 7529 0 17763 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 101264
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/182 2553
/proc/meminfo: memFree=31443448/32770624 swapFree=0/209148
[pid=2434] ppid=2431 vsize=101264 CPUtime=1781.85 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 43516 0 0 0 178159 26 0 0 20 0 1 0 35400110 103694336 17886 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544913 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17886 338 7529 0 17763 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 101264
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/182 2555
/proc/meminfo: memFree=31443792/32770624 swapFree=0/209168
[pid=2434] ppid=2431 vsize=101264 CPUtime=1841.85 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 43987 0 0 0 184157 28 0 0 20 0 1 0 35400110 103694336 17886 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4491567 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17886 338 7529 0 17763 0
Current children cumulated CPU time (s) 1841.85
Current children cumulated vsize (KiB) 101264
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 2557
/proc/meminfo: memFree=31443692/32770624 swapFree=0/209188
[pid=2434] ppid=2431 vsize=101264 CPUtime=1901.84 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 44570 0 0 0 190156 28 0 0 20 0 1 0 35400110 103694336 17886 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544913 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17886 338 7529 0 17763 0
Current children cumulated CPU time (s) 1901.84
Current children cumulated vsize (KiB) 101264
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 2559
/proc/meminfo: memFree=31444036/32770624 swapFree=0/209216
[pid=2434] ppid=2431 vsize=101264 CPUtime=1961.85 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 45070 0 0 0 196156 29 0 0 20 0 1 0 35400110 103694336 17892 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544936 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17892 338 7529 0 17763 0
Current children cumulated CPU time (s) 1961.85
Current children cumulated vsize (KiB) 101264
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 2561
/proc/meminfo: memFree=31444360/32770624 swapFree=0/209220
[pid=2434] ppid=2431 vsize=101264 CPUtime=2021.84 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 45531 0 0 0 202155 29 0 0 20 0 1 0 35400110 103694336 17892 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544913 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17892 338 7529 0 17763 0
Current children cumulated CPU time (s) 2021.84
Current children cumulated vsize (KiB) 101264
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 2563
/proc/meminfo: memFree=31444116/32770624 swapFree=0/209240
[pid=2434] ppid=2431 vsize=101264 CPUtime=2081.84 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 46092 0 0 0 208154 30 0 0 20 0 1 0 35400110 103694336 17892 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544936 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17892 338 7529 0 17763 0
Current children cumulated CPU time (s) 2081.84
Current children cumulated vsize (KiB) 101264
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 2565
/proc/meminfo: memFree=31444364/32770624 swapFree=0/209260
[pid=2434] ppid=2431 vsize=101264 CPUtime=2141.84 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 46552 0 0 0 214153 31 0 0 20 0 1 0 35400110 103694336 17895 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544899 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17895 338 7529 0 17763 0
Current children cumulated CPU time (s) 2141.84
Current children cumulated vsize (KiB) 101264
[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 1.96 3/185 2582
/proc/meminfo: memFree=31439088/32770624 swapFree=0/209284
[pid=2434] ppid=2431 vsize=101264 CPUtime=2201.84 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 47042 0 0 0 220152 32 0 0 20 0 1 0 35400110 103694336 17895 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544944 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25316 17895 338 7529 0 17763 0
Current children cumulated CPU time (s) 2201.84
Current children cumulated vsize (KiB) 101264
[startup+2262.3 s]
/proc/loadavg: 2.08 2.04 1.97 3/185 2584
/proc/meminfo: memFree=31440456/32770624 swapFree=0/209316
[pid=2434] ppid=2431 vsize=101396 CPUtime=2261.83 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 47617 0 0 0 226151 32 0 0 20 0 1 0 35400110 103829504 17895 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544913 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25349 17895 338 7529 0 17796 0
Current children cumulated CPU time (s) 2261.83
Current children cumulated vsize (KiB) 101396
[startup+2322.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/182 2586
/proc/meminfo: memFree=31443416/32770624 swapFree=0/209348
[pid=2434] ppid=2431 vsize=101396 CPUtime=2321.83 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 48115 0 0 0 232150 33 0 0 20 0 1 0 35400110 103829504 17905 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544902 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25349 17905 338 7529 0 17796 0
Current children cumulated CPU time (s) 2321.83
Current children cumulated vsize (KiB) 101396
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/182 2588
/proc/meminfo: memFree=31443044/32770624 swapFree=0/209364
[pid=2434] ppid=2431 vsize=101396 CPUtime=2381.83 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 48577 0 0 0 238150 33 0 0 20 0 1 0 35400110 103829504 17905 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544899 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25349 17905 338 7529 0 17796 0
Current children cumulated CPU time (s) 2381.83
Current children cumulated vsize (KiB) 101396
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/182 2590
/proc/meminfo: memFree=31443384/32770624 swapFree=0/209364
[pid=2434] ppid=2431 vsize=101396 CPUtime=2441.83 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 49044 0 0 0 244149 34 0 0 20 0 1 0 35400110 103829504 17905 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4491552 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25349 17905 338 7529 0 17796 0
Current children cumulated CPU time (s) 2441.83
Current children cumulated vsize (KiB) 101396
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/181 2593
/proc/meminfo: memFree=31443280/32770624 swapFree=0/209376
[pid=2434] ppid=2431 vsize=101396 CPUtime=2501.83 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 49622 0 0 0 250148 35 0 0 20 0 1 0 35400110 103829504 17912 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544913 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25349 17912 338 7529 0 17796 0
Current children cumulated CPU time (s) 2501.83
Current children cumulated vsize (KiB) 101396
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 1.97 3/181 2593
/proc/meminfo: memFree=31443384/32770624 swapFree=0/209364
[pid=2434] ppid=2431 vsize=101396 CPUtime=2519.52 cores=1,3,5,7
/proc/2434/stat : 2434 (BTD) R 2431 2434 15981 0 -1 4202496 50075 0 0 0 251917 35 0 0 20 0 1 0 35400110 103829504 17912 18446744073709551615 4194304 35031035 140737306723040 140737306722040 4544936 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 60932096 140737306726917 140737306726993 140737306726993 140737306730449 0
/proc/2434/statm: 25349 17912 338 7529 0 17796 0
Current children cumulated CPU time (s) 2519.52
Current children cumulated vsize (KiB) 101396
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 2434 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.53
CPU user time (s): 2519.18
CPU system time (s): 0.354945
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 101396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.18
system time used= 0.354945
maximum resident set size= 71648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50075
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= 9
involuntary context switches= 1734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99283 second user time and 9.41048 second system time
The end