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-4242063-1500630944/watcher-4242063-1500630944 -o /tmp/evaluation-result-4242063-1500630944/solver-4242063-1500630944 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500623775-3863 --watchdog 2560 BTD 2400 HOME/instance-4242063-1500630944.xml
pid=9139
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.00 2.01 2.03 3/186 9142
/proc/meminfo: memFree=31037900/32770624 swapFree=6164/832428
[pid=9142] ppid=9139 vsize=30924 CPUtime=0 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 483 0 0 0 0 0 0 0 20 0 1 0 16535254 31666176 330 33554432000 4194304 35031059 140723035464720 140723035464720 7408842 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 7731 330 232 7529 0 178 0
[startup+0.100158 s]
/proc/loadavg: 2.00 2.01 2.03 3/186 9142
/proc/meminfo: memFree=31037900/32770624 swapFree=6164/832428
[pid=9142] ppid=9139 vsize=34816 CPUtime=0.09 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 1450 0 0 0 9 0 0 0 20 0 1 0 16535254 35651584 1268 33554432000 4194304 35031059 140723035464720 140723035460488 7408842 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 8704 1268 232 7529 0 1151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34816
[startup+0.200313 s]
/proc/loadavg: 2.00 2.01 2.03 3/186 9142
/proc/meminfo: memFree=31037900/32770624 swapFree=6164/832428
[pid=9142] ppid=9139 vsize=40032 CPUtime=0.19 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 2751 0 0 0 19 0 0 0 20 0 1 0 16535254 40992768 2575 33554432000 4194304 35031059 140723035464720 140723035459960 7408842 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 10008 2575 232 7529 0 2455 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40032
[startup+0.300293 s]
/proc/loadavg: 2.00 2.01 2.03 3/186 9142
/proc/meminfo: memFree=31037900/32770624 swapFree=6164/832428
[pid=9142] ppid=9139 vsize=45120 CPUtime=0.29 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 4038 0 0 0 29 0 0 0 20 0 1 0 16535254 46202880 3878 33554432000 4194304 35031059 140723035464720 140723035460200 7408842 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 11280 3878 232 7529 0 3727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45120
[startup+0.700238 s]
/proc/loadavg: 2.00 2.01 2.03 3/186 9142
/proc/meminfo: memFree=31037900/32770624 swapFree=6164/832428
[pid=9142] ppid=9139 vsize=73216 CPUtime=0.69 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 11125 0 0 0 68 1 0 0 20 0 1 0 16535254 74973184 10967 33554432000 4194304 35031059 140723035464720 140723035463592 4445214 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10967 292 7529 0 10751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73216
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 9143
/proc/meminfo: memFree=30994552/32770624 swapFree=6164/832444
[pid=9142] ppid=9139 vsize=73216 CPUtime=1.49 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 11125 0 0 0 148 1 0 0 20 0 1 0 16535254 74973184 10967 33554432000 4194304 35031059 140723035464720 140723035463592 6458096 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10967 292 7529 0 10751 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73216
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 9143
/proc/meminfo: memFree=30994140/32770624 swapFree=6164/832452
[pid=9142] ppid=9139 vsize=73216 CPUtime=3.09 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 13863 0 0 0 308 1 0 0 20 0 1 0 16535254 74973184 10992 33554432000 4194304 35031059 140723035464720 140723035463592 4445156 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10992 298 7529 0 10751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73216
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.03 3/187 9143
/proc/meminfo: memFree=30986528/32770624 swapFree=6164/832456
[pid=9142] ppid=9139 vsize=73216 CPUtime=6.29 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 16632 0 0 0 628 1 0 0 20 0 1 0 16535254 74973184 10992 33554432000 4194304 35031059 140723035464720 140723035463592 4445172 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10992 298 7529 0 10751 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73216
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.04 3/187 9143
/proc/meminfo: memFree=30993652/32770624 swapFree=6164/832464
[pid=9142] ppid=9139 vsize=73216 CPUtime=12.68 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 19375 0 0 0 1267 1 0 0 20 0 1 0 16535254 74973184 10992 33554432000 4194304 35031059 140723035464720 140723035463592 4443315 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10992 298 7529 0 10751 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73216
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.04 3/187 9143
/proc/meminfo: memFree=30993276/32770624 swapFree=6164/832484
[pid=9142] ppid=9139 vsize=73216 CPUtime=25.49 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22162 0 0 0 2547 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389902 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73216
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.04 3/187 9143
/proc/meminfo: memFree=30992624/32770624 swapFree=6164/832496
[pid=9142] ppid=9139 vsize=73216 CPUtime=51.08 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22189 0 0 0 5106 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389576 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 73216
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/187 9205
/proc/meminfo: memFree=31002528/32770624 swapFree=6164/832548
[pid=9142] ppid=9139 vsize=73216 CPUtime=102.28 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22215 0 0 0 10226 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389967 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 73216
[startup+162.3 s]
/proc/loadavg: 1.96 2.00 2.03 3/187 9633
/proc/meminfo: memFree=30951492/32770624 swapFree=6164/832796
[pid=9142] ppid=9139 vsize=73216 CPUtime=162.27 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22241 0 0 0 16225 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390087 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 73216
[startup+222.306 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 9634
/proc/meminfo: memFree=30951496/32770624 swapFree=6164/832828
[pid=9142] ppid=9139 vsize=73216 CPUtime=222.27 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22267 0 0 0 22225 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390087 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 73216
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 9642
/proc/meminfo: memFree=30950908/32770624 swapFree=6164/832860
[pid=9142] ppid=9139 vsize=73216 CPUtime=282.26 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22293 0 0 0 28224 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390181 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 73216
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 9666
/proc/meminfo: memFree=30950380/32770624 swapFree=6164/832896
[pid=9142] ppid=9139 vsize=73216 CPUtime=342.26 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22319 0 0 0 34224 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390011 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 73216
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 9667
/proc/meminfo: memFree=30951088/32770624 swapFree=6164/832916
[pid=9142] ppid=9139 vsize=73216 CPUtime=402.25 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22345 0 0 0 40223 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390126 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 73216
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 9668
/proc/meminfo: memFree=30951224/32770624 swapFree=6164/832940
[pid=9142] ppid=9139 vsize=73216 CPUtime=462.24 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22371 0 0 0 46222 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390103 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 73216
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/188 9669
/proc/meminfo: memFree=30950756/32770624 swapFree=6164/832960
[pid=9142] ppid=9139 vsize=73216 CPUtime=522.24 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22397 0 0 0 52222 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390016 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 73216
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.04 3/188 9670
/proc/meminfo: memFree=30950716/32770624 swapFree=6164/832980
[pid=9142] ppid=9139 vsize=73216 CPUtime=582.23 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22423 0 0 0 58221 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389589 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 73216
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 9700
/proc/meminfo: memFree=30949960/32770624 swapFree=6164/833360
[pid=9142] ppid=9139 vsize=73216 CPUtime=1542.15 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22839 0 0 0 154213 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390087 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 73216
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9701
/proc/meminfo: memFree=30950084/32770624 swapFree=6164/833380
[pid=9142] ppid=9139 vsize=73216 CPUtime=1602.14 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22865 0 0 0 160212 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390016 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 73216
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9702
/proc/meminfo: memFree=30950208/32770624 swapFree=6164/833404
[pid=9142] ppid=9139 vsize=73216 CPUtime=1662.13 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22891 0 0 0 166211 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389890 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 73216
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9703
/proc/meminfo: memFree=30949900/32770624 swapFree=6164/833424
[pid=9142] ppid=9139 vsize=73216 CPUtime=1722.13 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22917 0 0 0 172211 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389981 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 73216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9705
/proc/meminfo: memFree=30949404/32770624 swapFree=6164/833452
[pid=9142] ppid=9139 vsize=73216 CPUtime=1782.12 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22943 0 0 0 178210 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389586 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 73216
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9706
/proc/meminfo: memFree=30949520/32770624 swapFree=6164/833480
[pid=9142] ppid=9139 vsize=73216 CPUtime=1842.12 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22969 0 0 0 184210 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389913 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 73216
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 9707
/proc/meminfo: memFree=30949372/32770624 swapFree=6164/833500
[pid=9142] ppid=9139 vsize=73216 CPUtime=1902.11 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 22995 0 0 0 190209 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389906 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 73216
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 9709
/proc/meminfo: memFree=30949744/32770624 swapFree=6164/833528
[pid=9142] ppid=9139 vsize=73216 CPUtime=1962.11 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 23021 0 0 0 196209 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390011 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 73216
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 9710
/proc/meminfo: memFree=30949620/32770624 swapFree=6164/833552
[pid=9142] ppid=9139 vsize=73216 CPUtime=2022.1 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 23048 0 0 0 202208 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389890 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 73216
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 9719
/proc/meminfo: memFree=30949764/32770624 swapFree=6164/833584
[pid=9142] ppid=9139 vsize=73216 CPUtime=2082.1 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 23074 0 0 0 208208 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4390016 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 73216
[startup+2142.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 9720
/proc/meminfo: memFree=30950004/32770624 swapFree=6164/833612
[pid=9142] ppid=9139 vsize=73216 CPUtime=2142.09 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 23100 0 0 0 214207 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389609 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 73216
[startup+2202.31 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 9721
/proc/meminfo: memFree=30950104/32770624 swapFree=6164/833632
[pid=9142] ppid=9139 vsize=73216 CPUtime=2202.09 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 23126 0 0 0 220207 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389906 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 73216
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 9722
/proc/meminfo: memFree=30950604/32770624 swapFree=6164/833652
[pid=9142] ppid=9139 vsize=73216 CPUtime=2262.08 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 23152 0 0 0 226206 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389906 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 73216
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 9723
/proc/meminfo: memFree=30950480/32770624 swapFree=6164/833676
[pid=9142] ppid=9139 vsize=73216 CPUtime=2322.07 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 23178 0 0 0 232205 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389576 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 2322.07
Current children cumulated vsize (KiB) 73216
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 9724
/proc/meminfo: memFree=30949936/32770624 swapFree=6164/833696
[pid=9142] ppid=9139 vsize=73216 CPUtime=2382.07 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 23204 0 0 0 238205 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 2382.07
Current children cumulated vsize (KiB) 73216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 9724
/proc/meminfo: memFree=30949936/32770624 swapFree=6164/833712
[pid=9142] ppid=9139 vsize=73216 CPUtime=2400.07 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 23230 0 0 0 240005 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389586 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 73216
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 9142 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 9724
/proc/meminfo: memFree=30949936/32770624 swapFree=6164/833712
[pid=9142] ppid=9139 vsize=73216 CPUtime=2400.07 cores=1,3,5,7
/proc/9142/stat : 9142 (BTD) R 9139 9142 3831 0 -1 4202496 23230 0 0 0 240005 2 0 0 20 0 1 0 16535254 74973184 10993 33554432000 4194304 35031059 140723035464720 140723035463592 4389586 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 49553408 140723035473146 140723035473222 140723035473222 140723035475921 0
/proc/9142/statm: 18304 10993 299 7529 0 10751 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 73216
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.31
CPU time (s): 2400.08
CPU user time (s): 2400.05
CPU system time (s): 0.025997
CPU usage (%): 99.9906
Max. virtual memory (cumulated for all children) (KiB): 73216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.025997
maximum resident set size= 43972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23230
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= 5
involuntary context switches= 120026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.21464 second user time and 8.27851 second system time
The end