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-4241293-1500626378/watcher-4241293-1500626378 -o /tmp/evaluation-result-4241293-1500626378/solver-4241293-1500626378 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500623775-5881 --watchdog 2560 BTD 2400 HOME/instance-4241293-1500626378.xml
pid=7064
running on 4 cores: 0,2,4,6
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.03 2.06 1.92 2/191 7067
/proc/meminfo: memFree=31050304/32770624 swapFree=6272/659032
[pid=7067] ppid=7064 vsize=31220 CPUtime=0 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 531 0 0 0 0 0 0 0 20 0 1 0 16080746 31969280 397 33554432000 4194304 35031059 140731793370928 140731793368104 7408842 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 7805 397 226 7529 0 252 0
[startup+0.100117 s]
/proc/loadavg: 2.03 2.06 1.92 2/191 7067
/proc/meminfo: memFree=31050304/32770624 swapFree=6272/659032
[pid=7067] ppid=7064 vsize=34132 CPUtime=0.09 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 1292 0 0 0 9 0 0 0 20 0 1 0 16080746 34951168 1160 33554432000 4194304 35031059 140731793370928 140731793366792 4632163 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 8533 1160 232 7529 0 980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34132
[startup+0.200257 s]
/proc/loadavg: 2.03 2.06 1.92 2/191 7067
/proc/meminfo: memFree=31050304/32770624 swapFree=6272/659032
[pid=7067] ppid=7064 vsize=35528 CPUtime=0.19 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 4535 0 0 0 19 0 0 0 20 0 1 0 16080746 36380672 1521 33554432000 4194304 35031059 140731793370928 140731793363720 4254064 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 8882 1521 270 7529 0 1329 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35528
[startup+0.300205 s]
/proc/loadavg: 2.03 2.06 1.92 2/191 7067
/proc/meminfo: memFree=31050304/32770624 swapFree=6272/659032
[pid=7067] ppid=7064 vsize=36020 CPUtime=0.29 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 4665 0 0 0 29 0 0 0 20 0 1 0 16080746 36884480 1646 33554432000 4194304 35031059 140731793370928 140731793363720 7501326 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 9005 1646 272 7529 0 1452 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36020
[startup+0.700194 s]
/proc/loadavg: 2.03 2.06 1.92 2/191 7067
/proc/meminfo: memFree=31050304/32770624 swapFree=6272/659032
[pid=7067] ppid=7064 vsize=42616 CPUtime=0.68 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 6509 0 0 0 68 0 0 0 20 0 1 0 16080746 43638784 3282 33554432000 4194304 35031059 140731793370928 140731793362408 6572352 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 10654 3282 273 7529 0 3101 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42616
[startup+1.50017 s]
/proc/loadavg: 2.03 2.06 1.92 3/192 7068
/proc/meminfo: memFree=31037580/32770624 swapFree=6272/658844
[pid=7067] ppid=7064 vsize=43972 CPUtime=1.48 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 6836 0 0 0 148 0 0 0 20 0 1 0 16080746 45027328 3612 33554432000 4194304 35031059 140731793370928 140731793363752 7415470 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 10993 3612 296 7529 0 3440 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43972
[startup+3.10017 s]
/proc/loadavg: 2.03 2.06 1.92 3/192 7068
/proc/meminfo: memFree=31035348/32770624 swapFree=6272/658844
[pid=7067] ppid=7064 vsize=46404 CPUtime=3.08 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 8919 0 0 0 308 0 0 0 20 0 1 0 16080746 47517696 4271 33554432000 4194304 35031059 140731793370928 140731793363752 7511512 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 11601 4271 296 7529 0 4048 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 46404
[startup+6.30019 s]
/proc/loadavg: 2.02 2.06 1.92 3/192 7130
/proc/meminfo: memFree=31041004/32770624 swapFree=6272/658928
[pid=7067] ppid=7064 vsize=51272 CPUtime=6.29 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 12274 0 0 0 628 1 0 0 20 0 1 0 16080746 52502528 5471 33554432000 4194304 35031059 140731793370928 140731793363752 4256483 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 12818 5471 296 7529 0 5265 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51272
[startup+12.7002 s]
/proc/loadavg: 2.02 2.06 1.92 3/192 7130
/proc/meminfo: memFree=31005792/32770624 swapFree=6272/658884
[pid=7067] ppid=7064 vsize=59664 CPUtime=12.68 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 18018 0 0 0 1267 1 0 0 20 0 1 0 16080746 61095936 7567 33554432000 4194304 35031059 140731793370928 140731793363752 4254231 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 14916 7567 296 7529 0 7363 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 59664
[startup+25.5002 s]
/proc/loadavg: 2.02 2.05 1.92 3/192 7137
/proc/meminfo: memFree=30991388/32770624 swapFree=6272/658900
[pid=7067] ppid=7064 vsize=71776 CPUtime=25.48 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 24508 0 0 0 2546 2 0 0 20 0 1 0 16080746 73498624 10573 33554432000 4194304 35031059 140731793370928 140731793363752 7415261 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 17944 10573 296 7529 0 10391 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71776
[startup+51.1002 s]
/proc/loadavg: 2.09 2.06 1.93 3/192 7137
/proc/meminfo: memFree=30932360/32770624 swapFree=6272/658928
[pid=7067] ppid=7064 vsize=148736 CPUtime=51.05 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 41732 0 0 0 5100 5 0 0 20 0 1 0 16080746 152305664 25237 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37184 25237 343 7529 0 29631 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 148736
[startup+102.3 s]
/proc/loadavg: 2.04 2.05 1.93 3/192 7138
/proc/meminfo: memFree=30929680/32770624 swapFree=6272/658960
[pid=7067] ppid=7064 vsize=148736 CPUtime=102.22 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 44089 0 0 0 10217 5 0 0 20 0 1 0 16080746 152305664 25237 33554432000 4194304 35031059 140731793370928 140731793369928 4544922 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37184 25237 343 7529 0 29631 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 148736
[startup+162.3 s]
/proc/loadavg: 2.06 2.06 1.94 3/192 7139
/proc/meminfo: memFree=30928344/32770624 swapFree=6272/658984
[pid=7067] ppid=7064 vsize=148868 CPUtime=162.19 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 46412 0 0 0 16213 6 0 0 20 0 1 0 16080746 152440832 25277 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37217 25277 343 7529 0 29664 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 148868
[startup+222.3 s]
/proc/loadavg: 2.07 2.06 1.95 3/192 7140
/proc/meminfo: memFree=30909344/32770624 swapFree=6272/659008
[pid=7067] ppid=7064 vsize=149000 CPUtime=222.15 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 46698 0 0 0 22209 6 0 0 20 0 1 0 16080746 152576000 29949 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37250 29949 343 7529 0 29697 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 149000
[startup+282.3 s]
/proc/loadavg: 2.03 2.05 1.95 3/191 7141
/proc/meminfo: memFree=30909360/32770624 swapFree=6272/659032
[pid=7067] ppid=7064 vsize=149000 CPUtime=282.12 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 46827 0 0 0 28205 7 0 0 20 0 1 0 16080746 152576000 29970 33554432000 4194304 35031059 140731793370928 140731793369928 4544915 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37250 29970 343 7529 0 29697 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 149000
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/192 7143
/proc/meminfo: memFree=30909392/32770624 swapFree=6272/659052
[pid=7067] ppid=7064 vsize=149132 CPUtime=342.09 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 46970 0 0 0 34201 8 0 0 20 0 1 0 16080746 152711168 30001 33554432000 4194304 35031059 140731793370928 140731793369928 4544915 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37283 30001 343 7529 0 29730 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 149132
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/192 7144
/proc/meminfo: memFree=30909124/32770624 swapFree=6272/659080
[pid=7067] ppid=7064 vsize=149396 CPUtime=402.07 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 47183 0 0 0 40197 10 0 0 20 0 1 0 16080746 152981504 30060 33554432000 4194304 35031059 140731793370928 140731793369928 4544922 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37349 30060 343 7529 0 29796 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 149396
[startup+462.306 s]
/proc/loadavg: 2.00 2.03 1.95 3/192 7145
/proc/meminfo: memFree=30908928/32770624 swapFree=6272/659096
[pid=7067] ppid=7064 vsize=149528 CPUtime=462.04 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 47329 0 0 0 46193 11 0 0 20 0 1 0 16080746 153116672 30085 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37382 30085 343 7529 0 29829 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 149528
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/192 7146
/proc/meminfo: memFree=30908752/32770624 swapFree=6272/659116
[pid=7067] ppid=7064 vsize=149664 CPUtime=522 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 47497 0 0 0 52188 12 0 0 20 0 1 0 16080746 153255936 30121 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37416 30121 343 7529 0 29863 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 149664
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/192 7147
/proc/meminfo: memFree=30908832/32770624 swapFree=6272/659144
[pid=7067] ppid=7064 vsize=149804 CPUtime=581.96 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 47681 0 0 0 58183 13 0 0 20 0 1 0 16080746 153399296 30154 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37451 30154 343 7529 0 29898 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 149804
################
# More data... #
################
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/192 7206
/proc/meminfo: memFree=30905632/32770624 swapFree=6272/659556
[pid=7067] ppid=7064 vsize=151696 CPUtime=1541.46 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 50661 0 0 0 154112 34 0 0 20 0 1 0 16080746 155336704 30640 33554432000 4194304 35031059 140731793370928 140731793369928 4544918 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37924 30640 343 7529 0 30371 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 151696
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/192 7208
/proc/meminfo: memFree=30905352/32770624 swapFree=6272/659588
[pid=7067] ppid=7064 vsize=151696 CPUtime=1601.44 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 50772 0 0 0 160108 36 0 0 20 0 1 0 16080746 155336704 30660 33554432000 4194304 35031059 140731793370928 140731793369928 4544918 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37924 30660 343 7529 0 30371 0
Current children cumulated CPU time (s) 1601.44
Current children cumulated vsize (KiB) 151696
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/192 7209
/proc/meminfo: memFree=30905144/32770624 swapFree=6272/659596
[pid=7067] ppid=7064 vsize=151836 CPUtime=1661.42 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 51005 0 0 0 166104 38 0 0 20 0 1 0 16080746 155480064 30685 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37959 30685 343 7529 0 30406 0
Current children cumulated CPU time (s) 1661.42
Current children cumulated vsize (KiB) 151836
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/192 7210
/proc/meminfo: memFree=30905144/32770624 swapFree=6272/659612
[pid=7067] ppid=7064 vsize=151976 CPUtime=1721.37 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 51135 0 0 0 172099 38 0 0 20 0 1 0 16080746 155623424 30693 33554432000 4194304 35031059 140731793370928 140731793369928 4544915 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37994 30693 343 7529 0 30441 0
Current children cumulated CPU time (s) 1721.37
Current children cumulated vsize (KiB) 151976
[startup+1782.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 7211
/proc/meminfo: memFree=30904432/32770624 swapFree=6272/659636
[pid=7067] ppid=7064 vsize=151976 CPUtime=1781.35 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 51257 0 0 0 178096 39 0 0 20 0 1 0 16080746 155623424 30710 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37994 30710 343 7529 0 30441 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (KiB) 151976
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/192 7219
/proc/meminfo: memFree=30903864/32770624 swapFree=6272/659668
[pid=7067] ppid=7064 vsize=151976 CPUtime=1841.31 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 51377 0 0 0 184090 41 0 0 20 0 1 0 16080746 155623424 30735 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 37994 30735 343 7529 0 30441 0
Current children cumulated CPU time (s) 1841.31
Current children cumulated vsize (KiB) 151976
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/192 7220
/proc/meminfo: memFree=30904220/32770624 swapFree=6272/659692
[pid=7067] ppid=7064 vsize=152248 CPUtime=1901.28 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 51522 0 0 0 190086 42 0 0 20 0 1 0 16080746 155901952 30760 33554432000 4194304 35031059 140731793370928 140731793369928 4544915 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 38062 30760 343 7529 0 30509 0
Current children cumulated CPU time (s) 1901.28
Current children cumulated vsize (KiB) 152248
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 7221
/proc/meminfo: memFree=30904752/32770624 swapFree=6272/659720
[pid=7067] ppid=7064 vsize=152248 CPUtime=1961.25 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 51742 0 0 0 196083 42 0 0 20 0 1 0 16080746 155901952 30778 33554432000 4194304 35031059 140731793370928 140731793369928 4544915 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 38062 30778 343 7529 0 30509 0
Current children cumulated CPU time (s) 1961.25
Current children cumulated vsize (KiB) 152248
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/192 7222
/proc/meminfo: memFree=30904196/32770624 swapFree=6272/659744
[pid=7067] ppid=7064 vsize=152248 CPUtime=2021.22 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 51826 0 0 0 202077 45 0 0 20 0 1 0 16080746 155901952 30784 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 38062 30784 343 7529 0 30509 0
Current children cumulated CPU time (s) 2021.22
Current children cumulated vsize (KiB) 152248
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/192 7223
/proc/meminfo: memFree=30904444/32770624 swapFree=6272/659768
[pid=7067] ppid=7064 vsize=152248 CPUtime=2081.19 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 51933 0 0 0 208073 46 0 0 20 0 1 0 16080746 155901952 30803 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 38062 30803 343 7529 0 30509 0
Current children cumulated CPU time (s) 2081.19
Current children cumulated vsize (KiB) 152248
[startup+2142.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/192 7224
/proc/meminfo: memFree=30904336/32770624 swapFree=6272/659796
[pid=7067] ppid=7064 vsize=152528 CPUtime=2141.15 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 52084 0 0 0 214068 47 0 0 20 0 1 0 16080746 156188672 30845 33554432000 4194304 35031059 140731793370928 140731793369928 4544918 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 38132 30845 343 7529 0 30579 0
Current children cumulated CPU time (s) 2141.15
Current children cumulated vsize (KiB) 152528
[startup+2202.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/192 7226
/proc/meminfo: memFree=30904212/32770624 swapFree=6272/659828
[pid=7067] ppid=7064 vsize=152800 CPUtime=2201.13 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 52414 0 0 0 220063 50 0 0 20 0 1 0 16080746 156467200 30910 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 38200 30910 343 7529 0 30647 0
Current children cumulated CPU time (s) 2201.13
Current children cumulated vsize (KiB) 152800
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/192 7227
/proc/meminfo: memFree=30904684/32770624 swapFree=6272/659852
[pid=7067] ppid=7064 vsize=152800 CPUtime=2261.09 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 52545 0 0 0 226058 51 0 0 20 0 1 0 16080746 156467200 30910 33554432000 4194304 35031059 140731793370928 140731793369928 4544929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 38200 30910 343 7529 0 30647 0
Current children cumulated CPU time (s) 2261.09
Current children cumulated vsize (KiB) 152800
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/192 7228
/proc/meminfo: memFree=30904412/32770624 swapFree=6272/659880
[pid=7067] ppid=7064 vsize=152800 CPUtime=2321.07 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 52847 0 0 0 232055 52 0 0 20 0 1 0 16080746 156467200 30915 33554432000 4194304 35031059 140731793370928 140731793369928 4544931 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 38200 30915 343 7529 0 30647 0
Current children cumulated CPU time (s) 2321.07
Current children cumulated vsize (KiB) 152800
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/192 7229
/proc/meminfo: memFree=30903148/32770624 swapFree=6272/659868
[pid=7067] ppid=7064 vsize=152932 CPUtime=2381.03 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 52955 0 0 0 238050 53 0 0 20 0 1 0 16080746 156602368 30940 33554432000 4194304 35031059 140731793370928 140731793369928 4544952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 38233 30940 343 7529 0 30680 0
Current children cumulated CPU time (s) 2381.03
Current children cumulated vsize (KiB) 152932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 7229
/proc/meminfo: memFree=30903272/32770624 swapFree=6272/659872
[pid=7067] ppid=7064 vsize=93172 CPUtime=2400.03 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 53399 0 0 0 239949 54 0 0 20 0 1 0 16080746 95408128 16043 33554432000 4194304 35031059 140731793370928 140731793370280 4364228 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 23293 16043 351 7529 0 15740 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 93172
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 7067 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/192 7229
/proc/meminfo: memFree=30903272/32770624 swapFree=6272/659872
[pid=7067] ppid=7064 vsize=93172 CPUtime=2400.03 cores=0,2,4,6
/proc/7067/stat : 7067 (BTD) R 7064 7067 5850 0 -1 4202496 53399 0 0 0 239949 54 0 0 20 0 1 0 16080746 95408128 16043 33554432000 4194304 35031059 140731793370928 140731793370280 4364228 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 69005312 140731793376506 140731793376582 140731793376582 140731793379281 0
/proc/7067/statm: 23293 16043 351 7529 0 15740 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 93172
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2401.3
CPU time (s): 2400.03
CPU user time (s): 2399.49
CPU system time (s): 0.541718
CPU usage (%): 99.9473
Max. virtual memory (cumulated for all children) (KiB): 152932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.49
system time used= 0.541718
maximum resident set size= 123852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53399
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= 30
involuntary context switches= 122269
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40782 second user time and 10.1409 second system time
The end