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-4260668-1502243693/watcher-4260668-1502243693 -o /tmp/evaluation-result-4260668-1502243693/solver-4260668-1502243693 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502234853-1839 --watchdog 2580 BTD 2520 HOME/instance-4260668-1502243693.xml
pid=4001
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 1.92 1.98 2.03 4/189 4004
/proc/meminfo: memFree=31229284/32770624 swapFree=0/369796
[pid=4004] ppid=4001 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4004/stat : 4004 (runsolver) D 4001 4004 1774 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 72184525 24240128 108 18446744073709551615 4194304 4338465 140729039630656 140729039628296 139672955388631 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 38965248 140729039638741 140729039639113 140729039639113 140729039642570 0
/proc/4004/statm: 5918 108 54 36 0 2156 0
[startup+0.100199 s]
/proc/loadavg: 1.92 1.98 2.03 4/189 4004
/proc/meminfo: memFree=31229284/32770624 swapFree=0/369796
[pid=4004] ppid=4001 vsize=32640 CPUtime=0.01 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 960 0 0 0 1 0 0 0 20 0 1 0 72184525 33423360 790 18446744073709551615 4194304 35031035 140733686638816 140733686638816 7745319 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 8160 790 251 7529 0 607 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 32640
[startup+0.200346 s]
/proc/loadavg: 1.92 1.98 2.03 4/189 4004
/proc/meminfo: memFree=31229284/32770624 swapFree=0/369796
[pid=4004] ppid=4001 vsize=45728 CPUtime=0.1 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 4204 0 0 0 10 0 0 0 20 0 1 0 72184525 46825472 4023 18446744073709551615 4194304 35031035 140733686638816 140733686638816 4641188 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 11432 4023 251 7529 0 3879 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 45728
[startup+0.300382 s]
/proc/loadavg: 1.92 1.98 2.03 4/189 4004
/proc/meminfo: memFree=31229284/32770624 swapFree=0/369796
[pid=4004] ppid=4001 vsize=58896 CPUtime=0.2 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 7512 0 0 0 20 0 0 0 20 0 1 0 72184525 60309504 7323 18446744073709551615 4194304 35031035 140733686638816 140733686638816 7408826 0 0 1 0 0 0 0 17 2 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 14724 7323 252 7529 0 7171 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 58896
[startup+0.700224 s]
/proc/loadavg: 1.92 1.98 2.03 4/189 4004
/proc/meminfo: memFree=31229284/32770624 swapFree=0/369796
[pid=4004] ppid=4001 vsize=108312 CPUtime=0.61 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 19886 0 0 0 59 2 0 0 20 0 1 0 72184525 110911488 19665 18446744073709551615 4194304 35031035 140733686638816 140733686633928 7406384 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 27078 19665 253 7529 0 19525 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 108312
[startup+1.50025 s]
/proc/loadavg: 1.92 1.98 2.03 3/190 4006
/proc/meminfo: memFree=31115028/32770624 swapFree=0/369960
[pid=4004] ppid=4001 vsize=144844 CPUtime=1.4 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 29089 0 0 0 137 3 0 0 20 0 1 0 72184525 148320256 28840 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376729 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28840 261 7529 0 28658 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 144844
[startup+3.10025 s]
/proc/loadavg: 1.92 1.98 2.03 3/190 4006
/proc/meminfo: memFree=31114656/32770624 swapFree=0/369960
[pid=4004] ppid=4001 vsize=144844 CPUtime=3 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 57621 0 0 0 295 5 0 0 20 0 1 0 72184525 148320256 28871 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376729 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28871 292 7529 0 28658 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 144844
[startup+6.30024 s]
/proc/loadavg: 1.92 1.98 2.03 3/190 4006
/proc/meminfo: memFree=31114300/32770624 swapFree=0/369952
[pid=4004] ppid=4001 vsize=144844 CPUtime=6.2 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 86146 0 0 0 614 6 0 0 20 0 1 0 72184525 148320256 28871 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7398458 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28871 292 7529 0 28658 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 144844
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 2.03 3/190 4006
/proc/meminfo: memFree=31113928/32770624 swapFree=0/369952
[pid=4004] ppid=4001 vsize=144844 CPUtime=12.6 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 114689 0 0 0 1252 8 0 0 20 0 1 0 72184525 148320256 28871 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7416186 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28871 292 7529 0 28658 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 144844
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 2.03 3/189 4006
/proc/meminfo: memFree=31114088/32770624 swapFree=0/369952
[pid=4004] ppid=4001 vsize=144844 CPUtime=25.4 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 171774 0 0 0 2529 11 0 0 20 0 1 0 72184525 148320256 28871 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7416166 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28871 292 7529 0 28658 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 144844
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 2.03 3/190 4007
/proc/meminfo: memFree=31113984/32770624 swapFree=0/369948
[pid=4004] ppid=4001 vsize=144844 CPUtime=51 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 200327 0 0 0 5087 13 0 0 20 0 1 0 72184525 148320256 28871 18446744073709551615 4194304 35031035 140733686638816 140733686637816 6441376 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28871 292 7529 0 28658 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 144844
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/187 4009
/proc/meminfo: memFree=31115548/32770624 swapFree=0/369956
[pid=4004] ppid=4001 vsize=144844 CPUtime=102.18 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 220724 0 0 0 10202 16 0 0 20 0 1 0 72184525 148320256 28871 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4346776 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28871 292 7529 0 28658 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 144844
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 4011
/proc/meminfo: memFree=31116152/32770624 swapFree=0/369972
[pid=4004] ppid=4001 vsize=144844 CPUtime=162.17 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 221191 0 0 0 16198 19 0 0 20 0 1 0 72184525 148320256 28871 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4346776 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28871 292 7529 0 28658 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 144844
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4013
/proc/meminfo: memFree=31116624/32770624 swapFree=0/369972
[pid=4004] ppid=4001 vsize=144844 CPUtime=222.17 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 221647 0 0 0 22196 21 0 0 20 0 1 0 72184525 148320256 28871 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4346776 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28871 292 7529 0 28658 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 144844
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 4015
/proc/meminfo: memFree=31116272/32770624 swapFree=0/369988
[pid=4004] ppid=4001 vsize=144844 CPUtime=282.16 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 222104 0 0 0 28193 23 0 0 20 0 1 0 72184525 148320256 28872 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7398510 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28872 292 7529 0 28658 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 144844
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 4017
/proc/meminfo: memFree=31116596/32770624 swapFree=0/370000
[pid=4004] ppid=4001 vsize=144844 CPUtime=342.15 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 222562 0 0 0 34190 25 0 0 20 0 1 0 72184525 148320256 28873 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376729 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28873 292 7529 0 28658 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 144844
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 4020
/proc/meminfo: memFree=31116792/32770624 swapFree=0/370012
[pid=4004] ppid=4001 vsize=144844 CPUtime=402.15 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 223021 0 0 0 40188 27 0 0 20 0 1 0 72184525 148320256 28874 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376535 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28874 292 7529 0 28658 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 144844
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 4022
/proc/meminfo: memFree=31116316/32770624 swapFree=0/370016
[pid=4004] ppid=4001 vsize=144844 CPUtime=462.15 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 223480 0 0 0 46185 30 0 0 20 0 1 0 72184525 148320256 28875 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376729 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28875 292 7529 0 28658 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 144844
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 4025
/proc/meminfo: memFree=31116712/32770624 swapFree=0/370036
[pid=4004] ppid=4001 vsize=144844 CPUtime=522.14 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 223940 0 0 0 52182 32 0 0 20 0 1 0 72184525 148320256 28876 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7406616 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28876 292 7529 0 28658 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 144844
[startup+582.3 s]
/proc/loadavg: 2.07 2.00 2.04 3/189 4041
/proc/meminfo: memFree=31113052/32770624 swapFree=0/370080
[pid=4004] ppid=4001 vsize=144844 CPUtime=582.13 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 224399 0 0 0 58179 34 0 0 20 0 1 0 72184525 148320256 28876 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376729 0 0 1 0 0 0 0 17 0 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28876 292 7529 0 28658 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 144844
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4120
/proc/meminfo: memFree=31115748/32770624 swapFree=0/370264
[pid=4004] ppid=4001 vsize=144844 CPUtime=1602.16 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 229971 0 0 0 160138 78 0 0 20 0 1 0 72184525 148320256 28882 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376535 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28882 292 7529 0 28658 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 144844
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4122
/proc/meminfo: memFree=31115680/32770624 swapFree=0/370276
[pid=4004] ppid=4001 vsize=144844 CPUtime=1662.17 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 230437 0 0 0 166135 82 0 0 20 0 1 0 72184525 148320256 28883 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376729 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28883 292 7529 0 28658 0
Current children cumulated CPU time (s) 1662.17
Current children cumulated vsize (KiB) 144844
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4125
/proc/meminfo: memFree=31115884/32770624 swapFree=0/370284
[pid=4004] ppid=4001 vsize=144844 CPUtime=1722.17 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 230437 0 0 0 172133 84 0 0 20 0 1 0 72184525 148320256 28883 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376558 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28883 292 7529 0 28658 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 144844
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/190 4143
/proc/meminfo: memFree=31111836/32770624 swapFree=0/370316
[pid=4004] ppid=4001 vsize=144844 CPUtime=1782.18 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 230904 0 0 0 178132 86 0 0 20 0 1 0 72184525 148320256 28883 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7398458 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28883 292 7529 0 28658 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 144844
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 4146
/proc/meminfo: memFree=31111644/32770624 swapFree=0/370320
[pid=4004] ppid=4001 vsize=144844 CPUtime=1842.18 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 230904 0 0 0 184128 90 0 0 20 0 1 0 72184525 148320256 28883 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7406566 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28883 292 7529 0 28658 0
Current children cumulated CPU time (s) 1842.18
Current children cumulated vsize (KiB) 144844
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4148
/proc/meminfo: memFree=31115320/32770624 swapFree=0/370328
[pid=4004] ppid=4001 vsize=144844 CPUtime=1902.19 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 231370 0 0 0 190127 92 0 0 20 0 1 0 72184525 148320256 28883 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376729 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28883 292 7529 0 28658 0
Current children cumulated CPU time (s) 1902.19
Current children cumulated vsize (KiB) 144844
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4150
/proc/meminfo: memFree=31114728/32770624 swapFree=0/370328
[pid=4004] ppid=4001 vsize=144844 CPUtime=1962.19 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 231372 0 0 0 196125 94 0 0 20 0 1 0 72184525 148320256 28883 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376729 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28883 292 7529 0 28658 0
Current children cumulated CPU time (s) 1962.19
Current children cumulated vsize (KiB) 144844
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4152
/proc/meminfo: memFree=31115280/32770624 swapFree=0/370340
[pid=4004] ppid=4001 vsize=144844 CPUtime=2022.2 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 231838 0 0 0 202123 97 0 0 20 0 1 0 72184525 148320256 28884 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7415481 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28884 292 7529 0 28658 0
Current children cumulated CPU time (s) 2022.2
Current children cumulated vsize (KiB) 144844
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4154
/proc/meminfo: memFree=31115548/32770624 swapFree=0/370356
[pid=4004] ppid=4001 vsize=144844 CPUtime=2082.21 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 231838 0 0 0 208122 99 0 0 20 0 1 0 72184525 148320256 28884 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376729 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28884 292 7529 0 28658 0
Current children cumulated CPU time (s) 2082.21
Current children cumulated vsize (KiB) 144844
[startup+2142.3 s]
/proc/loadavg: 1.96 2.01 2.04 3/186 4218
/proc/meminfo: memFree=31102932/32770624 swapFree=0/370412
[pid=4004] ppid=4001 vsize=144844 CPUtime=2142.2 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 232308 0 0 0 214119 101 0 0 20 0 1 0 72184525 148320256 28885 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7415457 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28885 292 7529 0 28658 0
Current children cumulated CPU time (s) 2142.2
Current children cumulated vsize (KiB) 144844
[startup+2202.31 s]
/proc/loadavg: 1.98 2.01 2.04 3/186 4220
/proc/meminfo: memFree=31092992/32770624 swapFree=0/370412
[pid=4004] ppid=4001 vsize=144844 CPUtime=2202.22 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 232308 0 0 0 220118 104 0 0 20 0 1 0 72184525 148320256 28885 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4346776 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28885 292 7529 0 28658 0
Current children cumulated CPU time (s) 2202.22
Current children cumulated vsize (KiB) 144844
[startup+2262.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 4222
/proc/meminfo: memFree=31085776/32770624 swapFree=0/370420
[pid=4004] ppid=4001 vsize=144844 CPUtime=2262.22 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 232775 0 0 0 226116 106 0 0 20 0 1 0 72184525 148320256 28885 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7405890 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28885 292 7529 0 28658 0
Current children cumulated CPU time (s) 2262.22
Current children cumulated vsize (KiB) 144844
[startup+2322.3 s]
/proc/loadavg: 1.96 1.99 2.04 3/186 4225
/proc/meminfo: memFree=31081868/32770624 swapFree=0/370428
[pid=4004] ppid=4001 vsize=144844 CPUtime=2322.22 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 232777 0 0 0 232114 108 0 0 20 0 1 0 72184525 148320256 28885 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4346776 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28885 292 7529 0 28658 0
Current children cumulated CPU time (s) 2322.22
Current children cumulated vsize (KiB) 144844
[startup+2382.3 s]
/proc/loadavg: 1.99 1.99 2.04 3/189 4241
/proc/meminfo: memFree=31055408/32770624 swapFree=0/370460
[pid=4004] ppid=4001 vsize=144844 CPUtime=2382.23 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 233244 0 0 0 238113 110 0 0 20 0 1 0 72184525 148320256 28885 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7415264 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28885 292 7529 0 28658 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 144844
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.04 3/189 4244
/proc/meminfo: memFree=31055104/32770624 swapFree=0/370472
[pid=4004] ppid=4001 vsize=144844 CPUtime=2442.23 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 233244 0 0 0 244111 112 0 0 20 0 1 0 72184525 148320256 28885 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376535 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28885 292 7529 0 28658 0
Current children cumulated CPU time (s) 2442.23
Current children cumulated vsize (KiB) 144844
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.04 3/186 4246
/proc/meminfo: memFree=31057740/32770624 swapFree=0/370484
[pid=4004] ppid=4001 vsize=144844 CPUtime=2502.23 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 233708 0 0 0 250108 115 0 0 20 0 1 0 72184525 148320256 28885 18446744073709551615 4194304 35031035 140733686638816 140733686637816 4376734 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28885 292 7529 0 28658 0
Current children cumulated CPU time (s) 2502.23
Current children cumulated vsize (KiB) 144844
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 1.99 2.04 3/186 4246
/proc/meminfo: memFree=31057824/32770624 swapFree=0/370488
[pid=4004] ppid=4001 vsize=144844 CPUtime=2519.94 cores=0,2,4,6
/proc/4004/stat : 4004 (BTD) R 4001 4004 1774 0 -1 4202496 233714 0 0 0 251878 116 0 0 20 0 1 0 72184525 148320256 28885 18446744073709551615 4194304 35031035 140733686638816 140733686637816 7760122 0 0 1 0 0 0 0 17 4 0 0 8 0 0 37130264 37226188 59109376 140733686641156 140733686641232 140733686641232 140733686644689 0
/proc/4004/statm: 36211 28885 292 7529 0 28658 0
Current children cumulated CPU time (s) 2519.94
Current children cumulated vsize (KiB) 144844
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 4004 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.95
CPU user time (s): 2518.78
CPU system time (s): 1.16403
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 144844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.78
system time used= 1.16403
maximum resident set size= 115544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233714
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= 36
involuntary context switches= 1235
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0642 second user time and 10.611 second system time
The end