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-4240190-1500623783/watcher-4240190-1500623783 -o /tmp/evaluation-result-4240190-1500623783/solver-4240190-1500623783 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500623775-4733 --watchdog 2560 BTD 2400 HOME/instance-4240190-1500623783.xml
pid=5004
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: 0.23 0.06 0.06 2/186 5007
/proc/meminfo: memFree=30281860/32770624 swapFree=6192/467520
[pid=5007] ppid=5004 vsize=30776 CPUtime=0 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 440 0 0 0 0 0 0 0 20 0 1 0 15807322 31514624 296 33554432000 4194304 35031059 140722603344864 140722603340824 4207320 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 7694 296 230 7529 0 141 0
[startup+0.10017 s]
/proc/loadavg: 0.23 0.06 0.06 2/186 5007
/proc/meminfo: memFree=30281860/32770624 swapFree=6192/467520
[pid=5007] ppid=5004 vsize=31508 CPUtime=0.09 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 635 0 0 0 9 0 0 0 20 0 1 0 15807322 32264192 460 33554432000 4194304 35031059 140722603344864 140722603340632 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 7877 460 231 7529 0 324 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31508
[startup+0.20035 s]
/proc/loadavg: 0.23 0.06 0.06 2/186 5007
/proc/meminfo: memFree=30281860/32770624 swapFree=6192/467520
[pid=5007] ppid=5004 vsize=32780 CPUtime=0.19 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 935 0 0 0 19 0 0 0 20 0 1 0 15807322 33566720 740 33554432000 4194304 35031059 140722603344864 140722603340824 4208986 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 8195 740 232 7529 0 642 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32780
[startup+0.300323 s]
/proc/loadavg: 0.23 0.06 0.06 2/186 5007
/proc/meminfo: memFree=30281860/32770624 swapFree=6192/467520
[pid=5007] ppid=5004 vsize=34124 CPUtime=0.29 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 1284 0 0 0 29 0 0 0 20 0 1 0 15807322 34942976 1135 33554432000 4194304 35031059 140722603344864 140722603340824 4208684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 8531 1135 232 7529 0 978 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34124
[startup+0.700284 s]
/proc/loadavg: 0.23 0.06 0.06 2/186 5007
/proc/meminfo: memFree=30281860/32770624 swapFree=6192/467520
[pid=5007] ppid=5004 vsize=39344 CPUtime=0.69 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 2584 0 0 0 69 0 0 0 20 0 1 0 15807322 40288256 2453 33554432000 4194304 35031059 140722603344864 140722603340632 4208781 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 9836 2453 232 7529 0 2283 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39344
[startup+1.50023 s]
/proc/loadavg: 0.23 0.06 0.06 3/187 5008
/proc/meminfo: memFree=29996324/32770624 swapFree=6192/467520
[pid=5007] ppid=5004 vsize=71972 CPUtime=1.49 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 10817 0 0 0 148 1 0 0 20 0 1 0 15807322 73699328 10658 33554432000 4194304 35031059 140722603344864 140722603343416 4300864 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 17993 10658 326 7529 0 10440 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71972
[startup+3.10028 s]
/proc/loadavg: 0.23 0.06 0.06 3/187 5008
/proc/meminfo: memFree=29621128/32770624 swapFree=6192/467520
[pid=5007] ppid=5004 vsize=72104 CPUtime=3.09 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 10918 0 0 0 308 1 0 0 20 0 1 0 15807322 73834496 10705 33554432000 4194304 35031059 140722603344864 140722603343416 4293328 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 18026 10705 326 7529 0 10473 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72104
[startup+6.30028 s]
/proc/loadavg: 0.29 0.08 0.07 3/187 5008
/proc/meminfo: memFree=28753252/32770624 swapFree=6192/467524
[pid=5007] ppid=5004 vsize=72764 CPUtime=6.29 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 11388 0 0 0 628 1 0 0 20 0 1 0 15807322 74510336 10894 33554432000 4194304 35031059 140722603344864 140722603343416 4293264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 18191 10894 327 7529 0 10638 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72764
[startup+12.7003 s]
/proc/loadavg: 0.43 0.11 0.08 3/187 5069
/proc/meminfo: memFree=31172040/32770624 swapFree=6192/467556
[pid=5007] ppid=5004 vsize=73952 CPUtime=12.68 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 11974 0 0 0 1267 1 0 0 20 0 1 0 15807322 75726848 11138 33554432000 4194304 35031059 140722603344864 140722603343416 4293272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 18488 11138 327 7529 0 10935 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73952
[startup+25.5003 s]
/proc/loadavg: 0.70 0.19 0.10 3/187 5191
/proc/meminfo: memFree=31170044/32770624 swapFree=6192/467624
[pid=5007] ppid=5004 vsize=76064 CPUtime=25.48 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 13064 0 0 0 2547 1 0 0 20 0 1 0 15807322 77889536 11707 33554432000 4194304 35031059 140722603344864 140722603343416 4293371 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 19016 11707 327 7529 0 11463 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76064
[startup+51.1003 s]
/proc/loadavg: 1.14 0.33 0.15 3/187 5191
/proc/meminfo: memFree=31164504/32770624 swapFree=6192/467656
[pid=5007] ppid=5004 vsize=80684 CPUtime=51.08 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 14821 0 0 0 5106 2 0 0 20 0 1 0 15807322 82620416 12874 33554432000 4194304 35031059 140722603344864 140722603343416 4293328 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 20171 12874 327 7529 0 12618 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80684
[startup+102.3 s]
/proc/loadavg: 1.63 0.59 0.25 3/187 5193
/proc/meminfo: memFree=31117748/32770624 swapFree=6192/467700
[pid=5007] ppid=5004 vsize=128992 CPUtime=102.27 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 27521 0 0 0 10224 3 0 0 20 0 1 0 15807322 132087808 24264 33554432000 4194304 35031059 140722603344864 140722603343064 4293309 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32248 24264 340 7529 0 24695 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 128992
[startup+162.3 s]
/proc/loadavg: 1.89 0.86 0.36 3/187 5194
/proc/meminfo: memFree=31112928/32770624 swapFree=6192/467740
[pid=5007] ppid=5004 vsize=131896 CPUtime=162.25 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 29116 0 0 0 16222 3 0 0 20 0 1 0 15807322 135061504 25507 33554432000 4194304 35031059 140722603344864 140722603343864 4213184 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25507 340 7529 0 25421 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 131896
[startup+222.306 s]
/proc/loadavg: 1.96 1.07 0.47 3/187 5202
/proc/meminfo: memFree=31112384/32770624 swapFree=6192/467768
[pid=5007] ppid=5004 vsize=131896 CPUtime=222.25 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 29996 0 0 0 22222 3 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300355 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 131896
[startup+282.3 s]
/proc/loadavg: 1.99 1.24 0.56 3/187 5225
/proc/meminfo: memFree=31112976/32770624 swapFree=6192/467812
[pid=5007] ppid=5004 vsize=131896 CPUtime=282.24 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 30365 0 0 0 28221 3 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4298464 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 131896
[startup+342.3 s]
/proc/loadavg: 1.99 1.38 0.65 3/187 5226
/proc/meminfo: memFree=31113368/32770624 swapFree=6192/467848
[pid=5007] ppid=5004 vsize=131896 CPUtime=342.23 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 30733 0 0 0 34220 3 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4213184 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 131896
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 3/187 5227
/proc/meminfo: memFree=31113276/32770624 swapFree=6192/467888
[pid=5007] ppid=5004 vsize=131896 CPUtime=402.22 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 31102 0 0 0 40219 3 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300355 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 131896
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.82 3/187 5228
/proc/meminfo: memFree=31113364/32770624 swapFree=6192/467912
[pid=5007] ppid=5004 vsize=131896 CPUtime=462.21 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 31471 0 0 0 46218 3 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300357 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 131896
[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.89 3/187 5229
/proc/meminfo: memFree=31113364/32770624 swapFree=6192/467940
[pid=5007] ppid=5004 vsize=131896 CPUtime=522.2 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 31833 0 0 0 52217 3 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4293309 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 131896
[startup+582.3 s]
/proc/loadavg: 2.00 1.72 0.96 3/187 5230
/proc/meminfo: memFree=31113240/32770624 swapFree=6192/467968
[pid=5007] ppid=5004 vsize=131896 CPUtime=582.19 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 32194 0 0 0 58216 3 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4293309 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 131896
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.62 3/187 5259
/proc/meminfo: memFree=31112696/32770624 swapFree=6192/468448
[pid=5007] ppid=5004 vsize=131896 CPUtime=1482.05 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 37593 0 0 0 148201 4 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300357 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 131896
[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 1.64 3/187 5260
/proc/meminfo: memFree=31113016/32770624 swapFree=6192/468480
[pid=5007] ppid=5004 vsize=131896 CPUtime=1542.05 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 37956 0 0 0 154201 4 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300342 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 131896
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/187 5261
/proc/meminfo: memFree=31112396/32770624 swapFree=6192/468516
[pid=5007] ppid=5004 vsize=131896 CPUtime=1602.03 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 38320 0 0 0 160199 4 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4293371 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 131896
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/187 5262
/proc/meminfo: memFree=31112500/32770624 swapFree=6192/468548
[pid=5007] ppid=5004 vsize=131896 CPUtime=1662.03 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 38688 0 0 0 166198 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 131896
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/187 5264
/proc/meminfo: memFree=31112840/32770624 swapFree=6192/468560
[pid=5007] ppid=5004 vsize=131896 CPUtime=1722.02 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 39056 0 0 0 172197 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300357 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 131896
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/187 5265
/proc/meminfo: memFree=31113252/32770624 swapFree=6192/468612
[pid=5007] ppid=5004 vsize=131896 CPUtime=1782.01 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 39421 0 0 0 178196 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300408 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 131896
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/187 5266
/proc/meminfo: memFree=31112648/32770624 swapFree=6192/468640
[pid=5007] ppid=5004 vsize=131896 CPUtime=1842 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 39782 0 0 0 184195 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300328 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 131896
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/187 5268
/proc/meminfo: memFree=31112932/32770624 swapFree=6192/468680
[pid=5007] ppid=5004 vsize=131896 CPUtime=1901.99 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 40143 0 0 0 190194 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4293694 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 1901.99
Current children cumulated vsize (KiB) 131896
[startup+1962.3 s]
/proc/loadavg: 2.04 2.01 1.78 3/187 5269
/proc/meminfo: memFree=31112984/32770624 swapFree=6192/468716
[pid=5007] ppid=5004 vsize=131896 CPUtime=1961.99 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 40503 0 0 0 196194 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4293309 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 131896
[startup+2022.3 s]
/proc/loadavg: 2.01 2.01 1.79 3/188 5278
/proc/meminfo: memFree=31112100/32770624 swapFree=6192/468740
[pid=5007] ppid=5004 vsize=131896 CPUtime=2021.98 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 40861 0 0 0 202193 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4213328 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 2021.98
Current children cumulated vsize (KiB) 131896
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/188 5279
/proc/meminfo: memFree=31112576/32770624 swapFree=6192/468776
[pid=5007] ppid=5004 vsize=131896 CPUtime=2081.97 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 41218 0 0 0 208192 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4293694 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 131896
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 1.82 3/188 5280
/proc/meminfo: memFree=31112728/32770624 swapFree=6192/468808
[pid=5007] ppid=5004 vsize=131896 CPUtime=2141.96 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 41576 0 0 0 214191 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300357 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 2141.96
Current children cumulated vsize (KiB) 131896
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 1.83 3/188 5281
/proc/meminfo: memFree=31112316/32770624 swapFree=6192/468844
[pid=5007] ppid=5004 vsize=131896 CPUtime=2201.95 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 41934 0 0 0 220190 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4293280 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 2201.95
Current children cumulated vsize (KiB) 131896
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 1.84 3/188 5282
/proc/meminfo: memFree=31112412/32770624 swapFree=6192/468872
[pid=5007] ppid=5004 vsize=131896 CPUtime=2261.94 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 42291 0 0 0 226189 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4293694 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 2261.94
Current children cumulated vsize (KiB) 131896
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/187 5283
/proc/meminfo: memFree=31113100/32770624 swapFree=6192/468900
[pid=5007] ppid=5004 vsize=131896 CPUtime=2321.93 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 42649 0 0 0 232188 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4300355 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 2321.93
Current children cumulated vsize (KiB) 131896
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/187 5284
/proc/meminfo: memFree=31112648/32770624 swapFree=6192/468928
[pid=5007] ppid=5004 vsize=131896 CPUtime=2381.92 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 43007 0 0 0 238187 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4293694 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 2381.92
Current children cumulated vsize (KiB) 131896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 5284
/proc/meminfo: memFree=31112648/32770624 swapFree=6192/468932
[pid=5007] ppid=5004 vsize=131896 CPUtime=2400.01 cores=0,2,4,6
/proc/5007/stat : 5007 (BTD) R 5004 5007 4702 0 -1 4202496 43282 0 0 0 239996 5 0 0 20 0 1 0 15807322 135061504 25552 33554432000 4194304 35031059 140722603344864 140722603343864 4213184 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 67629056 140722603353338 140722603353414 140722603353414 140722603356113 0
/proc/5007/statm: 32974 25552 340 7529 0 25421 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 131896
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 5007 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): 2400.4
CPU time (s): 2400.03
CPU user time (s): 2399.97
CPU system time (s): 0.05899
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 131896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.05899
maximum resident set size= 102208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43282
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= 11
involuntary context switches= 120714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58763 second user time and 8.80022 second system time
The end