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-4243012-1500633406/watcher-4243012-1500633406 -o /tmp/evaluation-result-4243012-1500633406/solver-4243012-1500633406 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500623775-4222 --watchdog 2560 BTD 2400 HOME/instance-4243012-1500633406.xml
pid=6877
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.07 2.03 2.05 3/186 6880
/proc/meminfo: memFree=30439832/32770624 swapFree=6204/1368828
[pid=6880] ppid=6877 vsize=30936 CPUtime=0 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 460 0 0 0 0 0 0 0 20 0 1 0 16779559 31678464 313 33554432000 4194304 35031059 140733299213024 140733299213024 7408842 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 7734 313 217 7529 0 181 0
[startup+0.100109 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 6880
/proc/meminfo: memFree=30439832/32770624 swapFree=6204/1368828
[pid=6880] ppid=6877 vsize=33532 CPUtime=0.09 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 1301 0 0 0 9 0 0 0 20 0 1 0 16779559 34336768 1150 33554432000 4194304 35031059 140733299213024 140733299205864 4750333 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 8383 1150 399 7529 0 830 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33532
[startup+0.200313 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 6880
/proc/meminfo: memFree=30439832/32770624 swapFree=6204/1368828
[pid=6880] ppid=6877 vsize=33656 CPUtime=0.19 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 1344 0 0 0 19 0 0 0 20 0 1 0 16779559 34463744 1194 33554432000 4194304 35031059 140733299213024 140733299205864 7398300 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 8414 1194 412 7529 0 861 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33656
[startup+0.300225 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 6880
/proc/meminfo: memFree=30439832/32770624 swapFree=6204/1368828
[pid=6880] ppid=6877 vsize=33904 CPUtime=0.29 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 1388 0 0 0 29 0 0 0 20 0 1 0 16779559 34717696 1256 33554432000 4194304 35031059 140733299213024 140733299205864 6446144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 8476 1256 412 7529 0 923 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33904
[startup+0.700178 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 6880
/proc/meminfo: memFree=30439832/32770624 swapFree=6204/1368828
[pid=6880] ppid=6877 vsize=47760 CPUtime=0.69 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 4758 0 0 0 69 0 0 0 20 0 1 0 16779559 48906240 4615 33554432000 4194304 35031059 140733299213024 140733299212024 4497598 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 11940 4615 463 7529 0 4387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47760
[startup+1.50017 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 6881
/proc/meminfo: memFree=30423424/32770624 swapFree=6204/1368868
[pid=6880] ppid=6877 vsize=47760 CPUtime=1.49 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 4768 0 0 0 149 0 0 0 20 0 1 0 16779559 48906240 4615 33554432000 4194304 35031059 140733299213024 140733299212024 4496728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 11940 4615 463 7529 0 4387 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47760
[startup+3.10017 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 6881
/proc/meminfo: memFree=30422220/32770624 swapFree=6204/1368848
[pid=6880] ppid=6877 vsize=47760 CPUtime=3.09 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 5585 0 0 0 309 0 0 0 20 0 1 0 16779559 48906240 4639 33554432000 4194304 35031059 140733299213024 140733299212024 4497572 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 11940 4639 468 7529 0 4387 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47760
[startup+6.30017 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 6881
/proc/meminfo: memFree=30419372/32770624 swapFree=6204/1368848
[pid=6880] ppid=6877 vsize=47760 CPUtime=6.28 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 6430 0 0 0 625 3 0 0 20 0 1 0 16779559 48906240 4649 33554432000 4194304 35031059 140733299213024 140733299212024 7760138 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 11940 4649 468 7529 0 4387 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 47760
[startup+12.7002 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 6881
/proc/meminfo: memFree=30420864/32770624 swapFree=6204/1368864
[pid=6880] ppid=6877 vsize=47892 CPUtime=12.68 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 7272 0 0 0 1262 6 0 0 20 0 1 0 16779559 49041408 4665 33554432000 4194304 35031059 140733299213024 140733299212024 4541462 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 11973 4665 468 7529 0 4420 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47892
[startup+25.5002 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 6881
/proc/meminfo: memFree=30420876/32770624 swapFree=6204/1368872
[pid=6880] ppid=6877 vsize=48024 CPUtime=25.48 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 8933 0 0 0 2535 13 0 0 20 0 1 0 16779559 49176576 4708 33554432000 4194304 35031059 140733299213024 140733299212024 4497616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12006 4708 468 7529 0 4453 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48024
[startup+51.1002 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 6881
/proc/meminfo: memFree=30420876/32770624 swapFree=6204/1368888
[pid=6880] ppid=6877 vsize=48156 CPUtime=51.08 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 9838 0 0 0 5081 27 0 0 20 0 1 0 16779559 49311744 4734 33554432000 4194304 35031059 140733299213024 140733299212024 7760138 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12039 4734 468 7529 0 4486 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48156
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6882
/proc/meminfo: memFree=30418996/32770624 swapFree=6204/1368920
[pid=6880] ppid=6877 vsize=48288 CPUtime=102.27 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 10756 0 0 0 10175 52 0 0 20 0 1 0 16779559 49446912 4784 33554432000 4194304 35031059 140733299213024 140733299212024 7760138 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12072 4784 468 7529 0 4519 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48288
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6883
/proc/meminfo: memFree=30419576/32770624 swapFree=6204/1368948
[pid=6880] ppid=6877 vsize=48420 CPUtime=162.26 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 11136 0 0 0 16148 78 0 0 20 0 1 0 16779559 49582080 4797 33554432000 4194304 35031059 140733299213024 140733299212024 4497598 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12105 4797 468 7529 0 4552 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 48420
[startup+222.306 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 6891
/proc/meminfo: memFree=30419020/32770624 swapFree=6204/1368980
[pid=6880] ppid=6877 vsize=48420 CPUtime=222.25 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 11523 0 0 0 22122 103 0 0 20 0 1 0 16779559 49582080 4808 33554432000 4194304 35031059 140733299213024 140733299212024 4497572 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12105 4808 468 7529 0 4552 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 48420
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 6892
/proc/meminfo: memFree=30419800/32770624 swapFree=6204/1369016
[pid=6880] ppid=6877 vsize=48420 CPUtime=282.23 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 11937 0 0 0 28094 129 0 0 20 0 1 0 16779559 49582080 4822 33554432000 4194304 35031059 140733299213024 140733299212024 4544915 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12105 4822 468 7529 0 4552 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 48420
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6893
/proc/meminfo: memFree=30421024/32770624 swapFree=6204/1369048
[pid=6880] ppid=6877 vsize=48552 CPUtime=342.22 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 12306 0 0 0 34068 154 0 0 20 0 1 0 16779559 49717248 4831 33554432000 4194304 35031059 140733299213024 140733299212024 4497591 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12138 4831 468 7529 0 4585 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 48552
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6895
/proc/meminfo: memFree=30420032/32770624 swapFree=6204/1369076
[pid=6880] ppid=6877 vsize=48552 CPUtime=402.21 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 12701 0 0 0 40035 186 0 0 20 0 1 0 16779559 49717248 4839 33554432000 4194304 35031059 140733299213024 140733299212024 6458023 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12138 4839 468 7529 0 4585 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 48552
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6896
/proc/meminfo: memFree=30420084/32770624 swapFree=6204/1369104
[pid=6880] ppid=6877 vsize=48552 CPUtime=462.2 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 13065 0 0 0 46009 211 0 0 20 0 1 0 16779559 49717248 4854 33554432000 4194304 35031059 140733299213024 140733299212024 4497598 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12138 4854 468 7529 0 4585 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 48552
[startup+522.3 s]
/proc/loadavg: 1.78 1.97 2.03 2/180 6943
/proc/meminfo: memFree=30525656/32770624 swapFree=6204/1369152
[pid=6880] ppid=6877 vsize=48552 CPUtime=522.19 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 13459 0 0 0 51984 235 0 0 20 0 1 0 16779559 49717248 4854 33554432000 4194304 35031059 140733299213024 140733299212024 4497632 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12138 4854 468 7529 0 4585 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 48552
[startup+582.3 s]
/proc/loadavg: 1.29 1.79 1.96 2/180 6944
/proc/meminfo: memFree=30526468/32770624 swapFree=6204/1369196
[pid=6880] ppid=6877 vsize=48684 CPUtime=582.17 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 13849 0 0 0 57958 259 0 0 20 0 1 0 16779559 49852416 4860 33554432000 4194304 35031059 140733299213024 140733299212024 7760138 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12171 4860 468 7529 0 4618 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 48684
################
# More data... #
################
/proc/loadavg: 1.00 1.03 1.30 2/180 7002
/proc/meminfo: memFree=30526012/32770624 swapFree=6204/1369624
[pid=6880] ppid=6877 vsize=48816 CPUtime=1721.96 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 21373 0 0 0 171440 756 0 0 20 0 1 0 16779559 49987584 4926 33554432000 4194304 35031059 140733299213024 140733299212024 4497197 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12204 4926 468 7529 0 4651 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 48816
[startup+1782.3 s]
/proc/loadavg: 1.05 1.04 1.29 2/180 7003
/proc/meminfo: memFree=30526140/32770624 swapFree=6204/1369652
[pid=6880] ppid=6877 vsize=48816 CPUtime=1781.95 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 21781 0 0 0 177408 787 0 0 20 0 1 0 16779559 49987584 4930 33554432000 4194304 35031059 140733299213024 140733299212024 7760138 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12204 4930 468 7529 0 4651 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 48816
[startup+1842.3 s]
/proc/loadavg: 1.02 1.03 1.27 2/180 7004
/proc/meminfo: memFree=30526152/32770624 swapFree=6204/1369668
[pid=6880] ppid=6877 vsize=48816 CPUtime=1841.94 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 22123 0 0 0 183374 820 0 0 20 0 1 0 16779559 49987584 4930 33554432000 4194304 35031059 140733299213024 140733299212024 4213497 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12204 4930 468 7529 0 4651 0
Current children cumulated CPU time (s) 1841.94
Current children cumulated vsize (KiB) 48816
[startup+1902.3 s]
/proc/loadavg: 1.01 1.03 1.25 2/180 7005
/proc/meminfo: memFree=30525680/32770624 swapFree=6204/1369688
[pid=6880] ppid=6877 vsize=48948 CPUtime=1901.93 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 22501 0 0 0 189352 841 0 0 20 0 1 0 16779559 50122752 4935 33554432000 4194304 35031059 140733299213024 140733299212024 4497598 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4935 468 7529 0 4684 0
Current children cumulated CPU time (s) 1901.93
Current children cumulated vsize (KiB) 48948
[startup+1962.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/180 7006
/proc/meminfo: memFree=30525672/32770624 swapFree=6204/1369708
[pid=6880] ppid=6877 vsize=48948 CPUtime=1961.92 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 22823 0 0 0 195328 864 0 0 20 0 1 0 16779559 50122752 4935 33554432000 4194304 35031059 140733299213024 140733299212024 7760138 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4935 468 7529 0 4684 0
Current children cumulated CPU time (s) 1961.92
Current children cumulated vsize (KiB) 48948
[startup+2022.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/180 7014
/proc/meminfo: memFree=30525280/32770624 swapFree=6204/1369736
[pid=6880] ppid=6877 vsize=48948 CPUtime=2021.9 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 23189 0 0 0 201305 885 0 0 20 0 1 0 16779559 50122752 4935 33554432000 4194304 35031059 140733299213024 140733299212024 7760138 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4935 468 7529 0 4684 0
Current children cumulated CPU time (s) 2021.9
Current children cumulated vsize (KiB) 48948
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/180 7015
/proc/meminfo: memFree=30525224/32770624 swapFree=6204/1369760
[pid=6880] ppid=6877 vsize=48948 CPUtime=2081.9 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 23542 0 0 0 207279 911 0 0 20 0 1 0 16779559 50122752 4935 33554432000 4194304 35031059 140733299213024 140733299212024 4497598 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4935 468 7529 0 4684 0
Current children cumulated CPU time (s) 2081.9
Current children cumulated vsize (KiB) 48948
[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/180 7016
/proc/meminfo: memFree=30525184/32770624 swapFree=6204/1369780
[pid=6880] ppid=6877 vsize=48948 CPUtime=2141.88 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 23859 0 0 0 213239 949 0 0 20 0 1 0 16779559 50122752 4939 33554432000 4194304 35031059 140733299213024 140733299212024 4497528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4939 468 7529 0 4684 0
Current children cumulated CPU time (s) 2141.88
Current children cumulated vsize (KiB) 48948
[startup+2202.31 s]
/proc/loadavg: 1.00 1.01 1.18 2/180 7017
/proc/meminfo: memFree=30524972/32770624 swapFree=6204/1369804
[pid=6880] ppid=6877 vsize=48948 CPUtime=2201.88 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 24216 0 0 0 219199 989 0 0 20 0 1 0 16779559 50122752 4939 33554432000 4194304 35031059 140733299213024 140733299212024 4497172 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4939 468 7529 0 4684 0
Current children cumulated CPU time (s) 2201.88
Current children cumulated vsize (KiB) 48948
[startup+2262.3 s]
/proc/loadavg: 1.06 1.03 1.18 2/180 7018
/proc/meminfo: memFree=30524620/32770624 swapFree=6204/1369824
[pid=6880] ppid=6877 vsize=48948 CPUtime=2261.86 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 24630 0 0 0 225172 1014 0 0 20 0 1 0 16779559 50122752 4941 33554432000 4194304 35031059 140733299213024 140733299212024 4497598 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4941 468 7529 0 4684 0
Current children cumulated CPU time (s) 2261.86
Current children cumulated vsize (KiB) 48948
[startup+2322.3 s]
/proc/loadavg: 1.02 1.02 1.17 2/180 7019
/proc/meminfo: memFree=30524624/32770624 swapFree=6204/1369840
[pid=6880] ppid=6877 vsize=48948 CPUtime=2321.84 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 25130 0 0 0 231145 1039 0 0 20 0 1 0 16779559 50122752 4941 33554432000 4194304 35031059 140733299213024 140733299212024 4497598 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4941 468 7529 0 4684 0
Current children cumulated CPU time (s) 2321.84
Current children cumulated vsize (KiB) 48948
[startup+2382.3 s]
/proc/loadavg: 1.01 1.02 1.16 2/180 7020
/proc/meminfo: memFree=30524492/32770624 swapFree=6204/1369860
[pid=6880] ppid=6877 vsize=48948 CPUtime=2381.83 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 25533 0 0 0 237124 1059 0 0 20 0 1 0 16779559 50122752 4941 33554432000 4194304 35031059 140733299213024 140733299212024 4213580 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4941 468 7529 0 4684 0
Current children cumulated CPU time (s) 2381.83
Current children cumulated vsize (KiB) 48948
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6880 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 1.01 1.02 1.15 2/180 7020
/proc/meminfo: memFree=30524640/32770624 swapFree=6204/1369868
[pid=6880] ppid=6877 vsize=48948 CPUtime=2393.14 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 25538 0 0 0 238250 1064 0 0 20 0 1 0 16779559 50122752 4941 33554432000 4194304 35031059 140733299213024 140733299212024 4497528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4941 468 7529 0 4684 0
Current children cumulated CPU time (s) 2393.14
Current children cumulated vsize (KiB) 48948
[startup+2396.8 s]
/proc/loadavg: 1.01 1.02 1.15 2/180 7020
/proc/meminfo: memFree=30524764/32770624 swapFree=6204/1369868
[pid=6880] ppid=6877 vsize=48948 CPUtime=2396.33 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 25544 0 0 0 238568 1065 0 0 20 0 1 0 16779559 50122752 4941 33554432000 4194304 35031059 140733299213024 140733299212024 4496728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4941 468 7529 0 4684 0
Current children cumulated CPU time (s) 2396.33
Current children cumulated vsize (KiB) 48948
[startup+2398.4 s]
/proc/loadavg: 1.01 1.02 1.15 2/180 7020
/proc/meminfo: memFree=30524772/32770624 swapFree=6204/1369868
[pid=6880] ppid=6877 vsize=48948 CPUtime=2397.93 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 25859 0 0 0 238728 1065 0 0 20 0 1 0 16779559 50122752 4941 33554432000 4194304 35031059 140733299213024 140733299212024 4213530 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4941 468 7529 0 4684 0
Current children cumulated CPU time (s) 2397.93
Current children cumulated vsize (KiB) 48948
[startup+2399.21 s]
/proc/loadavg: 1.01 1.02 1.15 2/180 7020
/proc/meminfo: memFree=30524772/32770624 swapFree=6204/1369868
[pid=6880] ppid=6877 vsize=48948 CPUtime=2398.74 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 25861 0 0 0 238808 1066 0 0 20 0 1 0 16779559 50122752 4941 33554432000 4194304 35031059 140733299213024 140733299212024 4497555 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4941 468 7529 0 4684 0
Current children cumulated CPU time (s) 2398.74
Current children cumulated vsize (KiB) 48948
[startup+2400 s]
/proc/loadavg: 1.01 1.02 1.15 2/180 7020
/proc/meminfo: memFree=30524772/32770624 swapFree=6204/1369868
[pid=6880] ppid=6877 vsize=48948 CPUtime=2399.53 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 25862 0 0 0 238887 1066 0 0 20 0 1 0 16779559 50122752 4941 33554432000 4194304 35031059 140733299213024 140733299212024 4497351 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4941 468 7529 0 4684 0
Current children cumulated CPU time (s) 2399.53
Current children cumulated vsize (KiB) 48948
[startup+2400.4 s]
/proc/loadavg: 1.01 1.02 1.15 2/180 7020
/proc/meminfo: memFree=30524772/32770624 swapFree=6204/1369868
[pid=6880] ppid=6877 vsize=48948 CPUtime=2399.93 cores=0,2,4,6
/proc/6880/stat : 6880 (BTD) R 6877 6880 4191 0 -1 4202496 25862 0 0 0 238927 1066 0 0 20 0 1 0 16779559 50122752 4941 33554432000 4194304 35031059 140733299213024 140733299212024 4497528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 37130264 37226188 57184256 140733299217658 140733299217734 140733299217734 140733299220433 0
/proc/6880/statm: 12237 4941 468 7529 0 4684 0
Current children cumulated CPU time (s) 2399.93
Current children cumulated vsize (KiB) 48948
Child status: 0
Real time (s): 2400.47
CPU time (s): 2400.01
CPU user time (s): 2389.34
CPU system time (s): 10.666
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 48948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.34
system time used= 10.666
maximum resident set size= 19764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26201
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= 6
involuntary context switches= 122834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35363 second user time and 8.00744 second system time
The end