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-4260810-1502254037/watcher-4260810-1502254037 -o /tmp/evaluation-result-4260810-1502254037/solver-4260810-1502254037 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502234551-16045 --watchdog 2580 BTD 2520 HOME/instance-4260810-1502254037.xml
pid=20753
running on 4 cores: 1,3,5,7
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: 2.00 2.03 2.05 3/181 20756
/proc/meminfo: memFree=31468884/32770624 swapFree=0/151000
[pid=20756] ppid=20753 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20756/stat : 20756 (runsolver) D 20753 20756 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 27599390 24240128 106 18446744073709551615 4194304 4338465 140728743011744 140728743009384 140166630834903 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 38174720 140728743018709 140728743019082 140728743019082 140728743022538 0
/proc/20756/statm: 5918 106 53 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 20756
/proc/meminfo: memFree=31468884/32770624 swapFree=0/151000
[pid=20756] ppid=20753 vsize=30544 CPUtime=0 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 299 0 0 0 0 0 0 0 20 0 1 0 27599390 31277056 129 18446744073709551615 4194304 35031035 140731409388032 140731409388032 5775456 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 7636 194 168 7529 0 83 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30544
[startup+0.200262 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 20756
/proc/meminfo: memFree=31468884/32770624 swapFree=0/151000
[pid=20756] ppid=20753 vsize=34480 CPUtime=0.09 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 1334 0 0 0 9 0 0 0 20 0 1 0 27599390 35307520 1205 18446744073709551615 4194304 35031035 140731409388032 140731409388032 7408826 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 8620 1205 216 7529 0 1067 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34480
[startup+0.300271 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 20756
/proc/meminfo: memFree=31468884/32770624 swapFree=0/151000
[pid=20756] ppid=20753 vsize=38292 CPUtime=0.19 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 2291 0 0 0 19 0 0 0 20 0 1 0 27599390 39211008 2127 18446744073709551615 4194304 35031035 140731409388032 140731409388032 7391972 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 9573 2127 216 7529 0 2020 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38292
[startup+0.70023 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 20756
/proc/meminfo: memFree=31468884/32770624 swapFree=0/151000
[pid=20756] ppid=20753 vsize=53488 CPUtime=0.59 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 6102 0 0 0 59 0 0 0 20 0 1 0 27599390 54771712 5959 18446744073709551615 4194304 35031035 140731409388032 140731409388032 7408826 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 13372 5959 219 7529 0 5819 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 53488
[startup+1.50023 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 20757
/proc/meminfo: memFree=31430944/32770624 swapFree=0/151000
[pid=20756] ppid=20753 vsize=83644 CPUtime=1.4 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 13642 0 0 0 138 2 0 0 20 0 1 0 27599390 85651456 13500 18446744073709551615 4194304 35031035 140731409388032 140731409388032 4632139 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 20911 13500 219 7529 0 13358 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 83644
[startup+3.10027 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 20757
/proc/meminfo: memFree=31392648/32770624 swapFree=0/151000
[pid=20756] ppid=20753 vsize=112692 CPUtime=3 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 23114 0 0 0 297 3 0 0 20 0 1 0 27599390 115396608 20855 18446744073709551615 4194304 35031035 140731409388032 140731409385208 7408826 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 28173 20855 410 7529 0 20620 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 112692
[startup+6.30022 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 20757
/proc/meminfo: memFree=31381616/32770624 swapFree=0/151000
[pid=20756] ppid=20753 vsize=117996 CPUtime=6.19 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 26207 0 0 0 616 3 0 0 20 0 1 0 27599390 120827904 22177 18446744073709551615 4194304 35031035 140731409388032 140731409380856 4753540 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 29499 22177 410 7529 0 21946 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 117996
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 20757
/proc/meminfo: memFree=31371844/32770624 swapFree=0/151080
[pid=20756] ppid=20753 vsize=127460 CPUtime=12.59 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 32392 0 0 0 1256 3 0 0 20 0 1 0 27599390 130519040 24531 18446744073709551615 4194304 35031035 140731409388032 140731409380856 4255432 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 31865 24531 410 7529 0 24312 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 127460
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 20757
/proc/meminfo: memFree=30312928/32770624 swapFree=0/151080
[pid=20756] ppid=20753 vsize=1201948 CPUtime=25.38 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 317943 0 0 0 2503 35 0 0 20 0 1 0 27599390 1230794752 288799 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497582 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 300487 288799 466 7529 0 292934 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 1201948
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 20758
/proc/meminfo: memFree=30312436/32770624 swapFree=0/151108
[pid=20756] ppid=20753 vsize=1202608 CPUtime=50.99 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 318137 0 0 0 5062 37 0 0 20 0 1 0 27599390 1231470592 288948 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4496740 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 300652 288948 466 7529 0 293099 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 1202608
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 20759
/proc/meminfo: memFree=30310692/32770624 swapFree=0/151164
[pid=20756] ppid=20753 vsize=1203532 CPUtime=102.19 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 334480 0 0 0 10178 41 0 0 20 0 1 0 27599390 1232416768 289179 18446744073709551615 4194304 35031035 140731409388032 140731409387032 7760122 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 300883 289179 466 7529 0 293330 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 1203532
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 20761
/proc/meminfo: memFree=30308808/32770624 swapFree=0/151184
[pid=20756] ppid=20753 vsize=1204588 CPUtime=162.15 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 360621 0 0 0 16168 47 0 0 20 0 1 0 27599390 1233498112 289428 18446744073709551615 4194304 35031035 140731409388032 140731409387032 7760122 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301147 289428 466 7529 0 293594 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 1204588
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 20763
/proc/meminfo: memFree=30307720/32770624 swapFree=0/151212
[pid=20756] ppid=20753 vsize=1205116 CPUtime=222.14 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 361896 0 0 0 22163 51 0 0 20 0 1 0 27599390 1234038784 289589 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497582 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301279 289589 466 7529 0 293726 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 1205116
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 20765
/proc/meminfo: memFree=30308568/32770624 swapFree=0/151244
[pid=20756] ppid=20753 vsize=1205248 CPUtime=282.14 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 362573 0 0 0 28159 55 0 0 20 0 1 0 27599390 1234173952 289622 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497582 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301312 289622 466 7529 0 293759 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 1205248
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 20767
/proc/meminfo: memFree=30308528/32770624 swapFree=0/151268
[pid=20756] ppid=20753 vsize=1205248 CPUtime=342.13 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 363158 0 0 0 34154 59 0 0 20 0 1 0 27599390 1234173952 289631 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4496712 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301312 289631 466 7529 0 293759 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1205248
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 20769
/proc/meminfo: memFree=30308800/32770624 swapFree=0/151304
[pid=20756] ppid=20753 vsize=1205380 CPUtime=402.13 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 363728 0 0 0 40150 63 0 0 20 0 1 0 27599390 1234309120 289638 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4544899 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301345 289638 466 7529 0 293792 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 1205380
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 20786
/proc/meminfo: memFree=30304576/32770624 swapFree=0/151360
[pid=20756] ppid=20753 vsize=1205380 CPUtime=462.13 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 364108 0 0 0 46146 67 0 0 20 0 1 0 27599390 1234309120 289649 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497582 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301345 289649 466 7529 0 293792 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1205380
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20788
/proc/meminfo: memFree=30308248/32770624 swapFree=0/151396
[pid=20756] ppid=20753 vsize=1205380 CPUtime=522.12 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 364679 0 0 0 52141 71 0 0 20 0 1 0 27599390 1234309120 289659 18446744073709551615 4194304 35031035 140731409388032 140731409387032 7760122 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301345 289659 466 7529 0 293792 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1205380
[startup+582.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 20790
/proc/meminfo: memFree=30308052/32770624 swapFree=0/151420
[pid=20756] ppid=20753 vsize=1205380 CPUtime=582.13 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 365275 0 0 0 58137 76 0 0 20 0 1 0 27599390 1234309120 289665 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497575 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301345 289665 466 7529 0 293792 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1205380
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 21348
/proc/meminfo: memFree=30427080/32770624 swapFree=0/152752
[pid=20756] ppid=20753 vsize=1206568 CPUtime=1662.06 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 372248 0 0 0 166056 150 0 0 20 0 1 0 27599390 1235525632 291694 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497556 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301642 291694 466 7529 0 294089 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 1206568
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 21375
/proc/meminfo: memFree=30424972/32770624 swapFree=0/152824
[pid=20756] ppid=20753 vsize=1206568 CPUtime=1722.06 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 372428 0 0 0 172052 154 0 0 20 0 1 0 27599390 1235525632 291694 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4544902 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301642 291694 466 7529 0 294089 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 1206568
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 21377
/proc/meminfo: memFree=30428620/32770624 swapFree=0/152864
[pid=20756] ppid=20753 vsize=1206700 CPUtime=1782.07 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 372793 0 0 0 178051 156 0 0 20 0 1 0 27599390 1235660800 291712 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497575 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301675 291712 466 7529 0 294122 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 1206700
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 21379
/proc/meminfo: memFree=30428872/32770624 swapFree=0/152888
[pid=20756] ppid=20753 vsize=1206700 CPUtime=1842.06 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 373124 0 0 0 184046 160 0 0 20 0 1 0 27599390 1235660800 291712 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497556 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301675 291712 466 7529 0 294122 0
Current children cumulated CPU time (s) 1842.06
Current children cumulated vsize (KiB) 1206700
[startup+1902.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 21381
/proc/meminfo: memFree=30428500/32770624 swapFree=0/152916
[pid=20756] ppid=20753 vsize=1206700 CPUtime=1902.06 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 373307 0 0 0 190041 165 0 0 20 0 1 0 27599390 1235660800 291712 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497582 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301675 291712 466 7529 0 294122 0
Current children cumulated CPU time (s) 1902.06
Current children cumulated vsize (KiB) 1206700
[startup+1962.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 21383
/proc/meminfo: memFree=30428888/32770624 swapFree=0/152948
[pid=20756] ppid=20753 vsize=1206700 CPUtime=1962.05 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 373688 0 0 0 196036 169 0 0 20 0 1 0 27599390 1235660800 291724 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497512 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301675 291724 466 7529 0 294122 0
Current children cumulated CPU time (s) 1962.05
Current children cumulated vsize (KiB) 1206700
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 21385
/proc/meminfo: memFree=30429012/32770624 swapFree=0/152972
[pid=20756] ppid=20753 vsize=1206700 CPUtime=2022.04 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 374029 0 0 0 202032 172 0 0 20 0 1 0 27599390 1235660800 291724 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497582 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301675 291724 466 7529 0 294122 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 1206700
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 21387
/proc/meminfo: memFree=30428996/32770624 swapFree=0/153008
[pid=20756] ppid=20753 vsize=1206700 CPUtime=2082.04 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 374213 0 0 0 208029 175 0 0 20 0 1 0 27599390 1235660800 291724 18446744073709551615 4194304 35031035 140731409388032 140731409387032 7760122 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301675 291724 466 7529 0 294122 0
Current children cumulated CPU time (s) 2082.04
Current children cumulated vsize (KiB) 1206700
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 21389
/proc/meminfo: memFree=30428624/32770624 swapFree=0/153032
[pid=20756] ppid=20753 vsize=1206832 CPUtime=2142.04 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 374571 0 0 0 214025 179 0 0 20 0 1 0 27599390 1235795968 291737 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497582 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301708 291737 466 7529 0 294155 0
Current children cumulated CPU time (s) 2142.04
Current children cumulated vsize (KiB) 1206832
[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 21391
/proc/meminfo: memFree=30428848/32770624 swapFree=0/153064
[pid=20756] ppid=20753 vsize=1206832 CPUtime=2202.04 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 374905 0 0 0 220022 182 0 0 20 0 1 0 27599390 1235795968 291737 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4496685 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301708 291737 466 7529 0 294155 0
Current children cumulated CPU time (s) 2202.04
Current children cumulated vsize (KiB) 1206832
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 21407
/proc/meminfo: memFree=30425760/32770624 swapFree=0/153120
[pid=20756] ppid=20753 vsize=1206832 CPUtime=2262.04 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 375087 0 0 0 226017 187 0 0 20 0 1 0 27599390 1235795968 291737 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497578 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301708 291737 466 7529 0 294155 0
Current children cumulated CPU time (s) 2262.04
Current children cumulated vsize (KiB) 1206832
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21409
/proc/meminfo: memFree=30428800/32770624 swapFree=0/153156
[pid=20756] ppid=20753 vsize=1206832 CPUtime=2322.04 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 375469 0 0 0 232013 191 0 0 20 0 1 0 27599390 1235795968 291737 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4544913 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301708 291737 466 7529 0 294155 0
Current children cumulated CPU time (s) 2322.04
Current children cumulated vsize (KiB) 1206832
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21411
/proc/meminfo: memFree=30428428/32770624 swapFree=0/153180
[pid=20756] ppid=20753 vsize=1206832 CPUtime=2382.03 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 375808 0 0 0 238008 195 0 0 20 0 1 0 27599390 1235795968 291763 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4496712 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301708 291763 466 7529 0 294155 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 1206832
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21413
/proc/meminfo: memFree=30428676/32770624 swapFree=0/153212
[pid=20756] ppid=20753 vsize=1206832 CPUtime=2442.04 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 375991 0 0 0 244004 200 0 0 20 0 1 0 27599390 1235795968 291763 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4496712 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301708 291763 466 7529 0 294155 0
Current children cumulated CPU time (s) 2442.04
Current children cumulated vsize (KiB) 1206832
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21415
/proc/meminfo: memFree=30428304/32770624 swapFree=0/153240
[pid=20756] ppid=20753 vsize=1206832 CPUtime=2502.02 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 376317 0 0 0 249997 205 0 0 20 0 1 0 27599390 1235795968 291763 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4497556 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301708 291763 466 7529 0 294155 0
Current children cumulated CPU time (s) 2502.02
Current children cumulated vsize (KiB) 1206832
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 21416
/proc/meminfo: memFree=30428304/32770624 swapFree=0/153252
[pid=20756] ppid=20753 vsize=1207096 CPUtime=2519.72 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 376408 0 0 0 251766 206 0 0 20 0 1 0 27599390 1236066304 291802 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4496712 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301774 291802 466 7529 0 294221 0
Current children cumulated CPU time (s) 2519.72
Current children cumulated vsize (KiB) 1207096
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 20756 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 21416
/proc/meminfo: memFree=30428304/32770624 swapFree=0/153252
[pid=20756] ppid=20753 vsize=1207096 CPUtime=2519.72 cores=1,3,5,7
/proc/20756/stat : 20756 (BTD) R 20753 20756 15981 0 -1 4202496 376408 0 0 0 251766 206 0 0 20 0 1 0 27599390 1236066304 291802 18446744073709551615 4194304 35031035 140731409388032 140731409387032 4496712 0 0 1 0 0 0 0 17 3 0 0 9 0 0 37130264 37226188 47173632 140731409392133 140731409392209 140731409392209 140731409395665 0
/proc/20756/statm: 301774 291802 466 7529 0 294221 0
Current children cumulated CPU time (s) 2519.72
Current children cumulated vsize (KiB) 1207096
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.74
CPU user time (s): 2517.67
CPU system time (s): 2.06789
CPU usage (%): 99.9894
Max. virtual memory (cumulated for all children) (KiB): 1207096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.67
system time used= 2.06789
maximum resident set size= 1167212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376408
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= 52
involuntary context switches= 736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05118 second user time and 11.0782 second system time
The end