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-4242565-1500631509/watcher-4242565-1500631509 -o /tmp/evaluation-result-4242565-1500631509/solver-4242565-1500631509 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500623775-4223 --watchdog 2560 BTD 2400 HOME/instance-4242565-1500631509.xml
pid=6761
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.00 2.03 2/186 6764
/proc/meminfo: memFree=30500164/32770624 swapFree=6204/1367800
[pid=6764] ppid=6761 vsize=31224 CPUtime=0 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 16589867 31973376 397 33554432000 4194304 35031059 140722637380192 140722637375816 7408842 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 7806 397 226 7529 0 253 0
[startup+0.100117 s]
/proc/loadavg: 2.01 2.00 2.03 2/186 6764
/proc/meminfo: memFree=30500164/32770624 swapFree=6204/1367800
[pid=6764] ppid=6761 vsize=34092 CPUtime=0.09 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 1279 0 0 0 9 0 0 0 20 0 1 0 16589867 34910208 1147 33554432000 4194304 35031059 140722637380192 140722637376056 4252912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 8523 1147 232 7529 0 970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34092
[startup+0.200279 s]
/proc/loadavg: 2.01 2.00 2.03 2/186 6764
/proc/meminfo: memFree=30500164/32770624 swapFree=6204/1367800
[pid=6764] ppid=6761 vsize=35580 CPUtime=0.19 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 7274 0 0 0 18 1 0 0 20 0 1 0 16589867 36433920 1478 33554432000 4194304 35031059 140722637380192 140722637375912 4632155 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 8895 1478 232 7529 0 1342 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35580
[startup+0.3002 s]
/proc/loadavg: 2.01 2.00 2.03 2/186 6764
/proc/meminfo: memFree=30500164/32770624 swapFree=6204/1367800
[pid=6764] ppid=6761 vsize=36248 CPUtime=0.29 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 7829 0 0 0 28 1 0 0 20 0 1 0 16589867 37117952 1689 33554432000 4194304 35031059 140722637380192 140722637370568 7547008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 9062 1689 271 7529 0 1509 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36248
[startup+0.700175 s]
/proc/loadavg: 2.01 2.00 2.03 2/186 6764
/proc/meminfo: memFree=30500164/32770624 swapFree=6204/1367800
[pid=6764] ppid=6761 vsize=37304 CPUtime=0.69 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 8105 0 0 0 68 1 0 0 20 0 1 0 16589867 38199296 1953 33554432000 4194304 35031059 140722637380192 140722637372488 7545075 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 9326 1953 271 7529 0 1773 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37304
[startup+1.50017 s]
/proc/loadavg: 2.01 2.00 2.03 3/187 6765
/proc/meminfo: memFree=30490824/32770624 swapFree=6204/1367792
[pid=6764] ppid=6761 vsize=41372 CPUtime=1.49 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 9127 0 0 0 148 1 0 0 20 0 1 0 16589867 42364928 2992 33554432000 4194304 35031059 140722637380192 140722637373128 4254323 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 10343 2992 276 7529 0 2790 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41372
[startup+3.10016 s]
/proc/loadavg: 2.01 2.00 2.03 3/187 6765
/proc/meminfo: memFree=30484500/32770624 swapFree=6204/1367792
[pid=6764] ppid=6761 vsize=50460 CPUtime=3.09 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 14852 0 0 0 307 2 0 0 20 0 1 0 16589867 51671040 5312 33554432000 4194304 35031059 140722637380192 140722637378888 4397345 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 12615 5312 302 7529 0 5062 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50460
[startup+6.30022 s]
/proc/loadavg: 2.01 2.00 2.03 3/187 6765
/proc/meminfo: memFree=30440976/32770624 swapFree=6204/1367792
[pid=6764] ppid=6761 vsize=88580 CPUtime=6.28 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 28714 0 0 0 625 3 0 0 20 0 1 0 16589867 90705920 14754 33554432000 4194304 35031059 140722637380192 140722637379192 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 22145 14754 317 7529 0 14592 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88580
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.03 3/187 6765
/proc/meminfo: memFree=30441172/32770624 swapFree=6204/1367808
[pid=6764] ppid=6761 vsize=88728 CPUtime=12.68 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 29082 0 0 0 1264 4 0 0 20 0 1 0 16589867 90857472 14781 33554432000 4194304 35031059 140722637380192 140722637379192 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 22182 14781 317 7529 0 14629 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88728
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.03 3/187 6765
/proc/meminfo: memFree=30441192/32770624 swapFree=6204/1367816
[pid=6764] ppid=6761 vsize=89008 CPUtime=25.48 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 29838 0 0 0 2542 6 0 0 20 0 1 0 16589867 91144192 14881 33554432000 4194304 35031059 140722637380192 140722637379192 4397308 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 22252 14881 317 7529 0 14699 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89008
[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.03 3/187 6765
/proc/meminfo: memFree=30440240/32770624 swapFree=6204/1367828
[pid=6764] ppid=6761 vsize=89700 CPUtime=51.07 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 30275 0 0 0 5099 8 0 0 20 0 1 0 16589867 91852800 15035 33554432000 4194304 35031059 140722637380192 140722637379192 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 22425 15035 317 7529 0 14872 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 89700
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 6766
/proc/meminfo: memFree=30438972/32770624 swapFree=6204/1367872
[pid=6764] ppid=6761 vsize=90964 CPUtime=102.27 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 31037 0 0 0 10213 14 0 0 20 0 1 0 16589867 93147136 15383 33554432000 4194304 35031059 140722637380192 140722637379192 4398919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 22741 15383 317 7529 0 15188 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 90964
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 6767
/proc/meminfo: memFree=30437776/32770624 swapFree=6204/1367900
[pid=6764] ppid=6761 vsize=91508 CPUtime=162.26 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 31433 0 0 0 16207 19 0 0 20 0 1 0 16589867 93704192 15575 33554432000 4194304 35031059 140722637380192 140722637379192 4398867 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 22877 15575 317 7529 0 15324 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 91508
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 6768
/proc/meminfo: memFree=30438344/32770624 swapFree=6204/1367928
[pid=6764] ppid=6761 vsize=91776 CPUtime=222.26 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 31747 0 0 0 22205 21 0 0 20 0 1 0 16589867 93978624 15612 33554432000 4194304 35031059 140722637380192 140722637379192 4397533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 22944 15612 317 7529 0 15391 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 91776
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 6769
/proc/meminfo: memFree=30438096/32770624 swapFree=6204/1367952
[pid=6764] ppid=6761 vsize=91776 CPUtime=282.25 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 31990 0 0 0 28201 24 0 0 20 0 1 0 16589867 93978624 15651 33554432000 4194304 35031059 140722637380192 140722637379192 4397338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 22944 15651 317 7529 0 15391 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 91776
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 6778
/proc/meminfo: memFree=30437020/32770624 swapFree=6204/1367996
[pid=6764] ppid=6761 vsize=92056 CPUtime=342.24 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 32398 0 0 0 34197 27 0 0 20 0 1 0 16589867 94265344 15697 33554432000 4194304 35031059 140722637380192 140722637379192 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23014 15697 317 7529 0 15461 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 92056
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 6779
/proc/meminfo: memFree=30436236/32770624 swapFree=6204/1368032
[pid=6764] ppid=6761 vsize=92452 CPUtime=402.24 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 32659 0 0 0 40192 32 0 0 20 0 1 0 16589867 94670848 15766 33554432000 4194304 35031059 140722637380192 140722637379192 4397312 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23113 15766 317 7529 0 15560 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 92452
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 6780
/proc/meminfo: memFree=30436364/32770624 swapFree=6204/1368060
[pid=6764] ppid=6761 vsize=92452 CPUtime=462.24 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 32864 0 0 0 46189 35 0 0 20 0 1 0 16589867 94670848 15820 33554432000 4194304 35031059 140722637380192 140722637379192 4397338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23113 15820 317 7529 0 15560 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 92452
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 6781
/proc/meminfo: memFree=30436860/32770624 swapFree=6204/1368088
[pid=6764] ppid=6761 vsize=92452 CPUtime=522.22 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 33064 0 0 0 52187 35 0 0 20 0 1 0 16589867 94670848 15820 33554432000 4194304 35031059 140722637380192 140722637379192 4397432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23113 15820 317 7529 0 15560 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 92452
[startup+582.306 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 6782
/proc/meminfo: memFree=30436480/32770624 swapFree=6204/1368116
[pid=6764] ppid=6761 vsize=92728 CPUtime=582.22 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 33328 0 0 0 58184 38 0 0 20 0 1 0 16589867 94953472 15844 33554432000 4194304 35031059 140722637380192 140722637379192 4397312 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23182 15844 317 7529 0 15629 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 92728
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 6806
/proc/meminfo: memFree=30433636/32770624 swapFree=6204/1368596
[pid=6764] ppid=6761 vsize=93964 CPUtime=1482.13 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 37594 0 0 0 148125 88 0 0 20 0 1 0 16589867 96219136 16200 33554432000 4194304 35031059 140722637380192 140722637379192 4397342 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23491 16200 317 7529 0 15938 0
Current children cumulated CPU time (s) 1482.13
Current children cumulated vsize (KiB) 93964
[startup+1542.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/187 6814
/proc/meminfo: memFree=30433240/32770624 swapFree=6204/1368636
[pid=6764] ppid=6761 vsize=94096 CPUtime=1542.12 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 37772 0 0 0 154118 94 0 0 20 0 1 0 16589867 96354304 16228 33554432000 4194304 35031059 140722637380192 140722637379192 4397357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23524 16228 317 7529 0 15971 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 94096
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 6815
/proc/meminfo: memFree=30432984/32770624 swapFree=6204/1368676
[pid=6764] ppid=6761 vsize=94096 CPUtime=1602.12 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 37906 0 0 0 160116 96 0 0 20 0 1 0 16589867 96354304 16228 33554432000 4194304 35031059 140722637380192 140722637379192 4397357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23524 16228 317 7529 0 15971 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 94096
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6816
/proc/meminfo: memFree=30432992/32770624 swapFree=6204/1368704
[pid=6764] ppid=6761 vsize=94096 CPUtime=1662.11 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 38039 0 0 0 166113 98 0 0 20 0 1 0 16589867 96354304 16228 33554432000 4194304 35031059 140722637380192 140722637379192 4541629 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23524 16228 317 7529 0 15971 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 94096
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6817
/proc/meminfo: memFree=30433000/32770624 swapFree=6204/1368728
[pid=6764] ppid=6761 vsize=94240 CPUtime=1722.1 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 38237 0 0 0 172110 100 0 0 20 0 1 0 16589867 96501760 16255 33554432000 4194304 35031059 140722637380192 140722637379192 4397357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23560 16255 317 7529 0 16007 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 94240
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6818
/proc/meminfo: memFree=30433000/32770624 swapFree=6204/1368756
[pid=6764] ppid=6761 vsize=94240 CPUtime=1782.1 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 38370 0 0 0 178107 103 0 0 20 0 1 0 16589867 96501760 16255 33554432000 4194304 35031059 140722637380192 140722637379192 4399180 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23560 16255 317 7529 0 16007 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 94240
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6819
/proc/meminfo: memFree=30432752/32770624 swapFree=6204/1368788
[pid=6764] ppid=6761 vsize=94240 CPUtime=1842.09 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 38504 0 0 0 184102 107 0 0 20 0 1 0 16589867 96501760 16255 33554432000 4194304 35031059 140722637380192 140722637379192 4544915 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23560 16255 317 7529 0 16007 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 94240
[startup+1902.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 6881
/proc/meminfo: memFree=30407540/32770624 swapFree=6204/1368848
[pid=6764] ppid=6761 vsize=94384 CPUtime=1902.09 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 38711 0 0 0 190098 111 0 0 20 0 1 0 16589867 96649216 16287 33554432000 4194304 35031059 140722637380192 140722637379192 4398934 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23596 16287 317 7529 0 16043 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 94384
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6882
/proc/meminfo: memFree=30420932/32770624 swapFree=6204/1368912
[pid=6764] ppid=6761 vsize=94384 CPUtime=1962.07 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 38845 0 0 0 196094 113 0 0 20 0 1 0 16589867 96649216 16287 33554432000 4194304 35031059 140722637380192 140722637379192 4397396 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23596 16287 317 7529 0 16043 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 94384
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6883
/proc/meminfo: memFree=30418864/32770624 swapFree=6204/1368940
[pid=6764] ppid=6761 vsize=94384 CPUtime=2022.07 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 38979 0 0 0 202091 116 0 0 20 0 1 0 16589867 96649216 16287 33554432000 4194304 35031059 140722637380192 140722637379192 4397308 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23596 16287 317 7529 0 16043 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 94384
[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 6884
/proc/meminfo: memFree=30419576/32770624 swapFree=6204/1368968
[pid=6764] ppid=6761 vsize=94384 CPUtime=2082.07 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 39139 0 0 0 208090 117 0 0 20 0 1 0 16589867 96649216 16287 33554432000 4194304 35031059 140722637380192 140722637379192 4397357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23596 16287 317 7529 0 16043 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 94384
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 6892
/proc/meminfo: memFree=30419424/32770624 swapFree=6204/1369000
[pid=6764] ppid=6761 vsize=94384 CPUtime=2142.06 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 39338 0 0 0 214086 120 0 0 20 0 1 0 16589867 96649216 16288 33554432000 4194304 35031059 140722637380192 140722637379192 4544915 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23596 16288 317 7529 0 16043 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 94384
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 6893
/proc/meminfo: memFree=30419704/32770624 swapFree=6204/1369040
[pid=6764] ppid=6761 vsize=94384 CPUtime=2202.05 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 39472 0 0 0 220080 125 0 0 20 0 1 0 16589867 96649216 16301 33554432000 4194304 35031059 140722637380192 140722637379192 4397479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23596 16301 317 7529 0 16043 0
Current children cumulated CPU time (s) 2202.05
Current children cumulated vsize (KiB) 94384
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6895
/proc/meminfo: memFree=30419644/32770624 swapFree=6204/1369068
[pid=6764] ppid=6761 vsize=94524 CPUtime=2262.04 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 39629 0 0 0 226072 132 0 0 20 0 1 0 16589867 96792576 16301 33554432000 4194304 35031059 140722637380192 140722637379192 4399211 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23631 16301 317 7529 0 16078 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 94524
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6896
/proc/meminfo: memFree=30419864/32770624 swapFree=6204/1369096
[pid=6764] ppid=6761 vsize=94524 CPUtime=2322.04 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 39782 0 0 0 232069 135 0 0 20 0 1 0 16589867 96792576 16323 33554432000 4194304 35031059 140722637380192 140722637379192 4397357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23631 16323 317 7529 0 16078 0
Current children cumulated CPU time (s) 2322.04
Current children cumulated vsize (KiB) 94524
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6897
/proc/meminfo: memFree=30419508/32770624 swapFree=6204/1369124
[pid=6764] ppid=6761 vsize=94524 CPUtime=2382.03 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 39932 0 0 0 238067 136 0 0 20 0 1 0 16589867 96792576 16323 33554432000 4194304 35031059 140722637380192 140722637379192 4397308 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23631 16323 317 7529 0 16078 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 94524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6897
/proc/meminfo: memFree=30419632/32770624 swapFree=6204/1369132
[pid=6764] ppid=6761 vsize=94524 CPUtime=2400.02 cores=1,3,5,7
/proc/6764/stat : 6764 (BTD) R 6761 6764 4191 0 -1 4202496 40064 0 0 0 239866 136 0 0 20 0 1 0 16589867 96792576 16323 33554432000 4194304 35031059 140722637380192 140722637379192 4397357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 69533696 140722637382906 140722637382982 140722637382982 140722637385681 0
/proc/6764/statm: 23631 16323 317 7529 0 16078 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 94524
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 6764 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): 2400.3
CPU time (s): 2400.04
CPU user time (s): 2398.67
CPU system time (s): 1.36985
CPU usage (%): 99.989
Max. virtual memory (cumulated for all children) (KiB): 94524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.67
system time used= 1.36986
maximum resident set size= 65292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40064
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= 12
involuntary context switches= 120761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88834 second user time and 9.8179 second system time
The end