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-4242198-1500631005/watcher-4242198-1500631005 -o /tmp/evaluation-result-4242198-1500631005/solver-4242198-1500631005 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500623775-4222 --watchdog 2560 BTD 2400 HOME/instance-4242198-1500631005.xml
pid=5681
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.01 2.02 2.04 3/186 5684
/proc/meminfo: memFree=30508916/32770624 swapFree=6204/1366472
[pid=5684] ppid=5681 vsize=30928 CPUtime=0 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 489 0 0 0 0 0 0 0 20 0 1 0 16539434 31670272 330 33554432000 4194304 35031059 140720640324800 140720640324800 7408842 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 7732 330 232 7529 0 179 0
[startup+0.100109 s]
/proc/loadavg: 2.01 2.02 2.04 3/186 5684
/proc/meminfo: memFree=30508916/32770624 swapFree=6204/1366472
[pid=5684] ppid=5681 vsize=34352 CPUtime=0.09 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1427 0 0 0 9 0 0 0 20 0 1 0 16539434 35176448 1259 33554432000 4194304 35031059 140720640324800 140720640323672 4445148 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1259 322 7529 0 1035 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34352
[startup+0.200228 s]
/proc/loadavg: 2.01 2.02 2.04 3/186 5684
/proc/meminfo: memFree=30508916/32770624 swapFree=6204/1366472
[pid=5684] ppid=5681 vsize=34352 CPUtime=0.19 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1427 0 0 0 19 0 0 0 20 0 1 0 16539434 35176448 1259 33554432000 4194304 35031059 140720640324800 140720640323672 4213311 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1259 322 7529 0 1035 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34352
[startup+0.300321 s]
/proc/loadavg: 2.01 2.02 2.04 3/186 5684
/proc/meminfo: memFree=30508916/32770624 swapFree=6204/1366472
[pid=5684] ppid=5681 vsize=34352 CPUtime=0.29 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1427 0 0 0 29 0 0 0 20 0 1 0 16539434 35176448 1259 33554432000 4194304 35031059 140720640324800 140720640323672 6457976 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1259 322 7529 0 1035 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34352
[startup+0.700192 s]
/proc/loadavg: 2.01 2.02 2.04 3/186 5684
/proc/meminfo: memFree=30508916/32770624 swapFree=6204/1366472
[pid=5684] ppid=5681 vsize=34352 CPUtime=0.69 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1428 0 0 0 69 0 0 0 20 0 1 0 16539434 35176448 1259 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1259 322 7529 0 1035 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34352
[startup+1.50021 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 5685
/proc/meminfo: memFree=30504236/32770624 swapFree=6204/1366448
[pid=5684] ppid=5681 vsize=34352 CPUtime=1.49 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1428 0 0 0 149 0 0 0 20 0 1 0 16539434 35176448 1259 33554432000 4194304 35031059 140720640324800 140720640323672 4390064 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1259 322 7529 0 1035 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34352
[startup+3.10017 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 5685
/proc/meminfo: memFree=30503864/32770624 swapFree=6204/1366448
[pid=5684] ppid=5681 vsize=34352 CPUtime=3.09 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1443 0 0 0 309 0 0 0 20 0 1 0 16539434 35176448 1259 33554432000 4194304 35031059 140720640324800 140720640323672 4389913 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1259 322 7529 0 1035 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34352
[startup+6.30017 s]
/proc/loadavg: 2.01 2.02 2.04 3/187 5685
/proc/meminfo: memFree=30503288/32770624 swapFree=6204/1366456
[pid=5684] ppid=5681 vsize=34352 CPUtime=6.28 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1458 0 0 0 628 0 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389913 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34352
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.04 3/199 5896
/proc/meminfo: memFree=30492760/32770624 swapFree=6204/1366552
[pid=5684] ppid=5681 vsize=34352 CPUtime=12.68 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1475 0 0 0 1268 0 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389890 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34352
[startup+25.5002 s]
/proc/loadavg: 1.79 1.97 2.02 3/200 6327
/proc/meminfo: memFree=29707796/32770624 swapFree=6204/1367172
[pid=5684] ppid=5681 vsize=34352 CPUtime=25.48 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1507 0 0 0 2548 0 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34352
[startup+51.1002 s]
/proc/loadavg: 1.88 1.97 2.02 3/187 6667
/proc/meminfo: memFree=27183028/32770624 swapFree=6204/1367488
[pid=5684] ppid=5681 vsize=34352 CPUtime=51.07 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1524 0 0 0 5107 0 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389945 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34352
[startup+102.3 s]
/proc/loadavg: 1.95 1.98 2.02 3/187 6669
/proc/meminfo: memFree=27182124/32770624 swapFree=6204/1367544
[pid=5684] ppid=5681 vsize=34352 CPUtime=102.27 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1540 0 0 0 10226 1 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34352
[startup+162.3 s]
/proc/loadavg: 1.98 1.98 2.02 3/187 6670
/proc/meminfo: memFree=27182112/32770624 swapFree=6204/1367576
[pid=5684] ppid=5681 vsize=34352 CPUtime=162.25 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1556 0 0 0 16224 1 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389609 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34352
[startup+222.306 s]
/proc/loadavg: 1.99 1.99 2.02 3/187 6678
/proc/meminfo: memFree=27182056/32770624 swapFree=6204/1367612
[pid=5684] ppid=5681 vsize=34352 CPUtime=222.24 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1572 0 0 0 22223 1 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389925 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 34352
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 6701
/proc/meminfo: memFree=27181976/32770624 swapFree=6204/1367656
[pid=5684] ppid=5681 vsize=34352 CPUtime=282.22 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1588 0 0 0 28221 1 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 34352
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/187 6702
/proc/meminfo: memFree=27181504/32770624 swapFree=6204/1367684
[pid=5684] ppid=5681 vsize=34352 CPUtime=342.2 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1604 0 0 0 34219 1 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4390087 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 34352
[startup+402.3 s]
/proc/loadavg: 2.07 2.00 2.03 3/187 6703
/proc/meminfo: memFree=27182272/32770624 swapFree=6204/1367712
[pid=5684] ppid=5681 vsize=34352 CPUtime=402.19 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1620 0 0 0 40218 1 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4390016 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 34352
[startup+462.3 s]
/proc/loadavg: 2.03 2.00 2.03 3/187 6704
/proc/meminfo: memFree=27182128/32770624 swapFree=6204/1367744
[pid=5684] ppid=5681 vsize=34352 CPUtime=462.17 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1636 0 0 0 46216 1 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389913 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 34352
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/187 6765
/proc/meminfo: memFree=30441032/32770624 swapFree=6204/1367808
[pid=5684] ppid=5681 vsize=34352 CPUtime=522.16 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1652 0 0 0 52215 1 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4390016 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 34352
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 6766
/proc/meminfo: memFree=30439708/32770624 swapFree=6204/1367860
[pid=5684] ppid=5681 vsize=34352 CPUtime=582.15 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1668 0 0 0 58214 1 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389937 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 34352
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.04 3/187 6797
/proc/meminfo: memFree=30434756/32770624 swapFree=6204/1368364
[pid=5684] ppid=5681 vsize=34352 CPUtime=1542.02 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1924 0 0 0 154200 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 34352
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 6798
/proc/meminfo: memFree=30434492/32770624 swapFree=6204/1368392
[pid=5684] ppid=5681 vsize=34352 CPUtime=1602 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1940 0 0 0 160198 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389872 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 34352
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 6799
/proc/meminfo: memFree=30434864/32770624 swapFree=6204/1368420
[pid=5684] ppid=5681 vsize=34352 CPUtime=1662 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1956 0 0 0 166198 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 34352
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6801
/proc/meminfo: memFree=30435004/32770624 swapFree=6204/1368464
[pid=5684] ppid=5681 vsize=34352 CPUtime=1721.99 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1972 0 0 0 172197 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389935 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 34352
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6802
/proc/meminfo: memFree=30434768/32770624 swapFree=6204/1368496
[pid=5684] ppid=5681 vsize=34352 CPUtime=1781.98 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 1988 0 0 0 178196 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4390064 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 34352
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6803
/proc/meminfo: memFree=30434504/32770624 swapFree=6204/1368524
[pid=5684] ppid=5681 vsize=34352 CPUtime=1841.97 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2004 0 0 0 184195 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389890 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 1841.97
Current children cumulated vsize (KiB) 34352
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6805
/proc/meminfo: memFree=30433892/32770624 swapFree=6204/1368560
[pid=5684] ppid=5681 vsize=34352 CPUtime=1901.96 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2020 0 0 0 190194 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4390016 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 1901.96
Current children cumulated vsize (KiB) 34352
[startup+1962.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 6806
/proc/meminfo: memFree=30433512/32770624 swapFree=6204/1368588
[pid=5684] ppid=5681 vsize=34352 CPUtime=1961.95 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2036 0 0 0 196193 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389937 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 1961.95
Current children cumulated vsize (KiB) 34352
[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 6814
/proc/meminfo: memFree=30432992/32770624 swapFree=6204/1368628
[pid=5684] ppid=5681 vsize=34352 CPUtime=2021.94 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2052 0 0 0 202192 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4390181 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 2021.94
Current children cumulated vsize (KiB) 34352
[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 6815
/proc/meminfo: memFree=30432736/32770624 swapFree=6204/1368668
[pid=5684] ppid=5681 vsize=34352 CPUtime=2081.94 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2071 0 0 0 208192 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 2081.94
Current children cumulated vsize (KiB) 34352
[startup+2142.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 6816
/proc/meminfo: memFree=30432868/32770624 swapFree=6204/1368696
[pid=5684] ppid=5681 vsize=34352 CPUtime=2141.93 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2087 0 0 0 214191 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4390144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 2141.93
Current children cumulated vsize (KiB) 34352
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6817
/proc/meminfo: memFree=30432752/32770624 swapFree=6204/1368724
[pid=5684] ppid=5681 vsize=34352 CPUtime=2201.92 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2103 0 0 0 220190 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389609 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 2201.92
Current children cumulated vsize (KiB) 34352
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6818
/proc/meminfo: memFree=30433000/32770624 swapFree=6204/1368748
[pid=5684] ppid=5681 vsize=34352 CPUtime=2261.91 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2119 0 0 0 226189 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 2261.91
Current children cumulated vsize (KiB) 34352
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6819
/proc/meminfo: memFree=30432876/32770624 swapFree=6204/1368776
[pid=5684] ppid=5681 vsize=34352 CPUtime=2321.9 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2135 0 0 0 232188 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 2321.9
Current children cumulated vsize (KiB) 34352
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6820
/proc/meminfo: memFree=30432860/32770624 swapFree=6204/1368820
[pid=5684] ppid=5681 vsize=34352 CPUtime=2381.89 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2151 0 0 0 238187 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389913 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 2381.89
Current children cumulated vsize (KiB) 34352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 6820
/proc/meminfo: memFree=30432860/32770624 swapFree=6204/1368828
[pid=5684] ppid=5681 vsize=34352 CPUtime=2400.09 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2167 0 0 0 240007 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 34352
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 5684 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 6820
/proc/meminfo: memFree=30432860/32770624 swapFree=6204/1368828
[pid=5684] ppid=5681 vsize=34352 CPUtime=2400.09 cores=0,2,4,6
/proc/5684/stat : 5684 (BTD) R 5681 5684 4191 0 -1 4202496 2167 0 0 0 240007 2 0 0 20 0 1 0 16539434 35176448 1296 33554432000 4194304 35031059 140720640324800 140720640323672 4389999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 46448640 140720640328954 140720640329030 140720640329030 140720640331729 0
/proc/5684/statm: 8588 1296 328 7529 0 1035 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 34352
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.5
CPU time (s): 2400.1
CPU user time (s): 2400.07
CPU system time (s): 0.026995
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 34352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.026995
maximum resident set size= 5184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2167
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= 3
involuntary context switches= 122663
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.4566 second user time and 8.14786 second system time
The end