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-4260590-1502245843/watcher-4260590-1502245843 -o /tmp/evaluation-result-4260590-1502245843/solver-4260590-1502245843 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502234590-9216 --watchdog 2580 BTD 2520 HOME/instance-4260590-1502245843.xml
pid=13000
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: 2.04 2.01 2.05 2/185 13003
/proc/meminfo: memFree=31054720/32770624 swapFree=0/391528
[pid=13003] ppid=13000 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13003/stat : 13003 (runsolver) D 13000 13003 9153 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 66495394 24240128 107 18446744073709551615 4194304 4338465 140733637460928 140733637458568 139930445050583 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 14110720 140733637468373 140733637468745 140733637468745 140733637472202 0
/proc/13003/statm: 5918 107 54 36 0 2156 0
[startup+0.100109 s]
/proc/loadavg: 2.04 2.01 2.05 2/185 13003
/proc/meminfo: memFree=31054720/32770624 swapFree=0/391528
[pid=13003] ppid=13000 vsize=31020 CPUtime=0.02 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 501 0 0 0 2 0 0 0 20 0 1 0 66495394 31764480 365 18446744073709551615 4194304 35031035 140733728722032 140733728722032 4208395 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 7755 365 229 7529 0 202 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 31020
[startup+0.200214 s]
/proc/loadavg: 2.04 2.01 2.05 2/185 13003
/proc/meminfo: memFree=31054720/32770624 swapFree=0/391528
[pid=13003] ppid=13000 vsize=31728 CPUtime=0.11 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 3128 0 0 0 11 0 0 0 20 0 1 0 66495394 32489472 521 18446744073709551615 4194304 35031035 140733728722032 140733728722032 4209291 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 7920 536 229 7529 0 367 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31728
[startup+0.300202 s]
/proc/loadavg: 2.04 2.01 2.05 2/185 13003
/proc/meminfo: memFree=31054720/32770624 swapFree=0/391528
[pid=13003] ppid=13000 vsize=31828 CPUtime=0.21 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 10409 0 0 0 20 1 0 0 20 0 1 0 66495394 32591872 582 18446744073709551615 4194304 35031035 140733728722032 140733728722032 4207325 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 7957 582 229 7529 0 404 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 31828
[startup+0.700173 s]
/proc/loadavg: 2.04 2.01 2.05 2/185 13003
/proc/meminfo: memFree=31054720/32770624 swapFree=0/391528
[pid=13003] ppid=13000 vsize=32864 CPUtime=0.62 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 70822 0 0 0 54 8 0 0 20 0 1 0 66495394 33652736 793 18446744073709551615 4194304 35031035 140733728722032 140733728722032 4207320 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 8216 793 229 7529 0 663 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 32864
[startup+1.50018 s]
/proc/loadavg: 2.04 2.01 2.05 3/186 13004
/proc/meminfo: memFree=31048148/32770624 swapFree=0/391528
[pid=13003] ppid=13000 vsize=33684 CPUtime=1.41 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 214770 0 0 0 117 24 0 0 20 0 1 0 66495394 34492416 1005 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4209296 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 8421 1005 229 7529 0 868 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 33684
[startup+3.10017 s]
/proc/loadavg: 2.04 2.01 2.05 3/186 13004
/proc/meminfo: memFree=31044456/32770624 swapFree=0/391248
[pid=13003] ppid=13000 vsize=34612 CPUtime=3.01 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 588000 0 0 0 238 63 0 0 20 0 1 0 66495394 35442688 1228 18446744073709551615 4194304 35031035 140733728722032 140733728717848 7403862 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 8653 1228 229 7529 0 1100 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 34612
[startup+6.30029 s]
/proc/loadavg: 2.12 2.03 2.05 3/186 13004
/proc/meminfo: memFree=31028600/32770624 swapFree=0/391248
[pid=13003] ppid=13000 vsize=39136 CPUtime=6.21 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 1003879 0 0 0 516 105 0 0 20 0 1 0 66495394 40075264 2327 18446744073709551615 4194304 35031035 140733728722032 140733728717800 4208995 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 9784 2327 230 7529 0 2231 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 39136
[startup+12.7003 s]
/proc/loadavg: 2.11 2.03 2.05 3/186 13004
/proc/meminfo: memFree=31003128/32770624 swapFree=0/391248
[pid=13003] ppid=13000 vsize=47560 CPUtime=12.62 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 1608429 0 0 0 1100 162 0 0 20 0 1 0 66495394 48701440 4448 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4208995 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 11890 4448 231 7529 0 4337 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 47560
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 13005
/proc/meminfo: memFree=30946900/32770624 swapFree=0/391256
[pid=13003] ppid=13000 vsize=60196 CPUtime=25.41 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 3223794 0 0 0 2222 319 0 0 20 0 1 0 66495394 61640704 7594 18446744073709551615 4194304 35031035 140733728722032 140733728717800 4209287 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 15049 7594 231 7529 0 7496 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 60196
[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 13005
/proc/meminfo: memFree=30844196/32770624 swapFree=0/391260
[pid=13003] ppid=13000 vsize=85948 CPUtime=51.01 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 6940869 0 0 0 4413 688 0 0 20 0 1 0 66495394 88010752 14059 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4207320 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 21487 14059 231 7529 0 13934 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 85948
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 13008
/proc/meminfo: memFree=26614916/32770624 swapFree=0/391284
[pid=13003] ppid=13000 vsize=136692 CPUtime=102.22 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 14022769 0 0 0 8824 1398 0 0 20 0 1 0 66495394 139972608 26738 18446744073709551615 4194304 35031035 140733728722032 140733728717992 4207320 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 34173 26738 231 7529 0 26620 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 136692
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 13010
/proc/meminfo: memFree=26554896/32770624 swapFree=0/391288
[pid=13003] ppid=13000 vsize=196032 CPUtime=162.22 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 22633386 0 0 0 14001 2221 0 0 20 0 1 0 66495394 200736768 41530 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4207320 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 49060 41595 231 7529 0 41507 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 196032
[startup+222.306 s]
/proc/loadavg: 2.16 2.06 2.06 3/189 13088
/proc/meminfo: memFree=31054504/32770624 swapFree=0/391360
[pid=13003] ppid=13000 vsize=254788 CPUtime=222.21 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 30991141 0 0 0 19160 3061 0 0 20 0 1 0 66495394 260902912 56232 18446744073709551615 4194304 35031035 140733728722032 140733728717848 7993641 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 63593 56167 231 7529 0 56040 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 254788
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/189 13090
/proc/meminfo: memFree=30991928/32770624 swapFree=0/391380
[pid=13003] ppid=13000 vsize=317132 CPUtime=282.19 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 39286093 0 0 0 24337 3882 0 0 20 0 1 0 66495394 324743168 71827 18446744073709551615 4194304 35031035 140733728722032 140733728717800 4208986 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 79283 71827 231 7529 0 71730 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 317132
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 13092
/proc/meminfo: memFree=30934536/32770624 swapFree=0/391384
[pid=13003] ppid=13000 vsize=376728 CPUtime=342.17 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 47338513 0 0 0 29533 4684 0 0 20 0 1 0 66495394 385769472 86770 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4208386 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 94234 86770 231 7529 0 86681 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 376728
[startup+402.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/186 13095
/proc/meminfo: memFree=30873596/32770624 swapFree=0/391412
[pid=13003] ppid=13000 vsize=439420 CPUtime=402.14 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 55188403 0 0 0 34765 5449 0 0 20 0 1 0 66495394 449966080 102435 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4209287 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 109855 102435 231 7529 0 102302 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 439420
[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 13097
/proc/meminfo: memFree=30812236/32770624 swapFree=0/391424
[pid=13003] ppid=13000 vsize=499188 CPUtime=462.13 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 63153243 0 0 0 39997 6216 0 0 20 0 1 0 66495394 511168512 117366 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4208390 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 124797 117366 231 7529 0 117244 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 499188
[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 13100
/proc/meminfo: memFree=30750208/32770624 swapFree=0/391440
[pid=13003] ppid=13000 vsize=561572 CPUtime=522.11 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 70740905 0 0 0 45243 6968 0 0 20 0 1 0 66495394 575049728 132968 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4207309 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 140393 132968 231 7529 0 132840 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 561572
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 13162
/proc/meminfo: memFree=30653064/32770624 swapFree=0/391472
[pid=13003] ppid=13000 vsize=621512 CPUtime=582.12 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 78106755 0 0 0 50503 7709 0 0 20 0 1 0 66495394 636428288 147894 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4207320 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 155378 147894 231 7529 0 147825 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 621512
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 13207
/proc/meminfo: memFree=29853536/32770624 swapFree=0/391596
[pid=13003] ppid=13000 vsize=1420700 CPUtime=1361.97 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 179928833 0 0 0 118526 17671 0 0 20 0 1 0 66495394 1454796800 347726 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4209287 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 355175 347726 231 7529 0 347622 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1420700
[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/189 13223
/proc/meminfo: memFree=29786396/32770624 swapFree=0/391636
[pid=13003] ppid=13000 vsize=1480108 CPUtime=1421.96 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 187457740 0 0 0 123774 18422 0 0 20 0 1 0 66495394 1515630592 362600 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4208386 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 370080 362600 231 7529 0 362527 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1480108
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/189 13225
/proc/meminfo: memFree=29723508/32770624 swapFree=0/391676
[pid=13003] ppid=13000 vsize=1543052 CPUtime=1481.94 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 194693790 0 0 0 129061 19133 0 0 20 0 1 0 66495394 1580085248 378341 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4208990 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 385812 378341 231 7529 0 378259 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1543052
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 13227
/proc/meminfo: memFree=29668096/32770624 swapFree=0/391700
[pid=13003] ppid=13000 vsize=1603000 CPUtime=1541.95 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 202111704 0 0 0 134303 19892 0 0 20 0 1 0 66495394 1641472000 393332 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4209291 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 400750 393332 231 7529 0 393197 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1603000
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/186 13229
/proc/meminfo: memFree=29605308/32770624 swapFree=0/391724
[pid=13003] ppid=13000 vsize=1665868 CPUtime=1601.94 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 209449433 0 0 0 139595 20599 0 0 20 0 1 0 66495394 1705848832 408997 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4208390 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 416467 408997 231 7529 0 408914 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1665868
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 13232
/proc/meminfo: memFree=29545504/32770624 swapFree=0/391736
[pid=13003] ppid=13000 vsize=1725188 CPUtime=1661.95 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 217095306 0 0 0 144832 21363 0 0 20 0 1 0 66495394 1766592512 423873 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4208995 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 431358 423873 231 7529 0 423805 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1725188
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 13234
/proc/meminfo: memFree=29482688/32770624 swapFree=0/391764
[pid=13003] ppid=13000 vsize=1788052 CPUtime=1721.95 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 224666297 0 0 0 150121 22074 0 0 20 0 1 0 66495394 1830965248 439592 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4208684 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 447013 439592 231 7529 0 439460 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1788052
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 13236
/proc/meminfo: memFree=29419692/32770624 swapFree=0/391776
[pid=13003] ppid=13000 vsize=1850520 CPUtime=1781.96 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 232650217 0 0 0 155378 22818 0 0 20 0 1 0 66495394 1894932480 455210 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4208986 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 462678 455210 231 7529 0 455125 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1850520
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13239
/proc/meminfo: memFree=29356420/32770624 swapFree=0/391788
[pid=13003] ppid=13000 vsize=1913680 CPUtime=1841.96 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 240113347 0 0 0 160666 23530 0 0 20 0 1 0 66495394 1959608320 471047 18446744073709551615 4194304 35031035 140733728722032 140733728717848 7993641 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 478420 471047 231 7529 0 470867 0
Current children cumulated CPU time (s) 1841.96
Current children cumulated vsize (KiB) 1913680
[startup+1902.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 13241
/proc/meminfo: memFree=29294420/32770624 swapFree=0/391792
[pid=13003] ppid=13000 vsize=1976928 CPUtime=1901.95 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 247549463 0 0 0 165968 24227 0 0 20 0 1 0 66495394 2024374272 486819 18446744073709551615 4194304 35031035 140733728722032 140733728717848 4208680 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 494232 486819 231 7529 0 486679 0
Current children cumulated CPU time (s) 1901.95
Current children cumulated vsize (KiB) 1976928
[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/186 13243
/proc/meminfo: memFree=29233656/32770624 swapFree=0/391812
[pid=13003] ppid=13000 vsize=2039860 CPUtime=1961.96 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 255608492 0 0 0 171220 24976 0 0 20 0 1 0 66495394 2088816640 502552 18446744073709551615 4194304 35031035 140733728722032 140733728717800 4209287 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 509965 502552 231 7529 0 502412 0
Current children cumulated CPU time (s) 1961.96
Current children cumulated vsize (KiB) 2039860
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 13259
/proc/meminfo: memFree=29166500/32770624 swapFree=0/391828
[pid=13003] ppid=13000 vsize=2103040 CPUtime=2021.96 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 263138182 0 0 0 176523 25673 0 0 20 0 1 0 66495394 2153512960 518347 18446744073709551615 4194304 35031035 140733728722032 140733728717800 4207316 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 525760 518347 231 7529 0 518207 0
Current children cumulated CPU time (s) 2021.96
Current children cumulated vsize (KiB) 2103040
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 13261
/proc/meminfo: memFree=29100592/32770624 swapFree=0/391864
[pid=13003] ppid=13000 vsize=2166732 CPUtime=2081.97 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 268639754 0 0 0 182011 26186 0 0 20 0 1 0 66495394 2218733568 534270 18446744073709551615 4194304 35031035 140733728722032 140733728714856 4801877 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 541683 534270 285 7529 0 534130 0
Current children cumulated CPU time (s) 2081.97
Current children cumulated vsize (KiB) 2166732
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2109.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13262
/proc/meminfo: memFree=16327276/32770624 swapFree=0/391880
[pid=13003] ppid=13000 vsize=15913308 CPUtime=2109.07 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4202496 272283927 0 0 0 184286 26621 0 0 20 0 1 0 66495394 16295227392 3970860 18446744073709551615 4194304 35031035 140733728722032 140733728720904 4537104 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 62484480 140733728727556 140733728727632 140733728727632 140733728731089 0
/proc/13003/statm: 3978327 3970926 315 7529 0 3970774 0
Current children cumulated CPU time (s) 2109.07
Current children cumulated vsize (KiB) 15913308
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 13003 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2109.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13262
/proc/meminfo: memFree=16327276/32770624 swapFree=0/391880
[pid=13003] ppid=13000 vsize=0 CPUtime=2109.27 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4203524 272283977 0 0 0 184286 26641 0 0 20 0 1 0 66495394 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/13003/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2109.27
Current children cumulated vsize (KiB) 0
[startup+2110 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13262
/proc/meminfo: memFree=23818572/32770624 swapFree=0/391880
[pid=13003] ppid=13000 vsize=0 CPUtime=2109.67 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4203524 272283977 0 0 0 184286 26681 0 0 20 0 1 0 66495394 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/13003/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2109.67
Current children cumulated vsize (KiB) 0
[startup+2110.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13262
/proc/meminfo: memFree=23818572/32770624 swapFree=0/391880
[pid=13003] ppid=13000 vsize=0 CPUtime=2109.87 cores=0,2,4,6
/proc/13003/stat : 13003 (BTD) R 13000 13003 9153 0 -1 4203524 272283977 0 0 0 184286 26701 0 0 20 0 1 0 66495394 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/13003/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2109.87
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2110.21
CPU time (s): 2109.88
CPU user time (s): 1842.86
CPU system time (s): 267.019
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 15913308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1842.86
system time used= 267.019
maximum resident set size= 15883888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272283977
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= 493
involuntary context switches= 2645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.86109 second user time and 9.44977 second system time
The end