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-4260592-1502245826/watcher-4260592-1502245826 -o /tmp/evaluation-result-4260592-1502245826/solver-4260592-1502245826 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502234853-1840 --watchdog 2580 BTD 2520 HOME/instance-4260592-1502245826.xml
pid=4214
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.04 2.03 2.05 2/185 4217
/proc/meminfo: memFree=31110188/32770624 swapFree=0/370360
[pid=4217] ppid=4214 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4217/stat : 4217 (runsolver) D 4214 4217 1774 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 72397839 24240128 106 18446744073709551615 4194304 4338465 140721373354144 140721373351784 140012842693335 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 23289856 140721373360341 140721373360713 140721373360713 140721373364170 0
/proc/4217/statm: 5918 106 53 36 0 2156 0
[startup+0.100134 s]
/proc/loadavg: 2.04 2.03 2.05 2/185 4217
/proc/meminfo: memFree=31110188/32770624 swapFree=0/370360
[pid=4217] ppid=4214 vsize=30900 CPUtime=0 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 465 0 0 0 0 0 0 0 20 0 1 0 72397839 31641600 294 18446744073709551615 4194304 35031035 140732187540384 140732187540384 4208995 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 7725 294 229 7529 0 172 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30900
[startup+0.200266 s]
/proc/loadavg: 2.04 2.03 2.05 2/185 4217
/proc/meminfo: memFree=31110188/32770624 swapFree=0/370360
[pid=4217] ppid=4214 vsize=31588 CPUtime=0.1 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 1735 0 0 0 10 0 0 0 20 0 1 0 72397839 32346112 522 18446744073709551615 4194304 35031035 140732187540384 140732187540384 7993641 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 7933 522 229 7529 0 380 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 31588
[startup+0.300251 s]
/proc/loadavg: 2.04 2.03 2.05 2/185 4217
/proc/meminfo: memFree=31110188/32770624 swapFree=0/370360
[pid=4217] ppid=4214 vsize=31872 CPUtime=0.19 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 9072 0 0 0 18 1 0 0 20 0 1 0 72397839 32636928 593 18446744073709551615 4194304 35031035 140732187540384 140732187540384 7993641 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 8012 593 229 7529 0 459 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31872
[startup+0.700226 s]
/proc/loadavg: 2.04 2.03 2.05 2/185 4217
/proc/meminfo: memFree=31110188/32770624 swapFree=0/370360
[pid=4217] ppid=4214 vsize=32528 CPUtime=0.6 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 65420 0 0 0 52 8 0 0 20 0 1 0 72397839 33308672 757 18446744073709551615 4194304 35031035 140732187540384 140732187536344 7993641 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 8132 757 229 7529 0 579 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 32528
[startup+1.50022 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 4218
/proc/meminfo: memFree=31107992/32770624 swapFree=0/370188
[pid=4217] ppid=4214 vsize=34164 CPUtime=1.4 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 236514 0 0 0 112 28 0 0 20 0 1 0 72397839 34983936 1123 18446744073709551615 4194304 35031035 140732187540384 140732187536344 4207320 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 8541 1123 229 7529 0 988 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 34164
[startup+3.10023 s]
/proc/loadavg: 1.96 2.01 2.04 3/186 4218
/proc/meminfo: memFree=31106788/32770624 swapFree=0/370420
[pid=4217] ppid=4214 vsize=34976 CPUtime=3 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 613906 0 0 0 233 67 0 0 20 0 1 0 72397839 35815424 1270 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4207320 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 8794 1335 229 7529 0 1241 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 34976
[startup+6.30023 s]
/proc/loadavg: 1.96 2.01 2.04 3/186 4218
/proc/meminfo: memFree=31104284/32770624 swapFree=0/370412
[pid=4217] ppid=4214 vsize=36472 CPUtime=6.19 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 1385526 0 0 0 472 147 0 0 20 0 1 0 72397839 37347328 1673 18446744073709551615 4194304 35031035 140732187540384 140732187536344 4208990 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 9118 1673 229 7529 0 1565 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 36472
[startup+12.7002 s]
/proc/loadavg: 1.96 2.01 2.04 3/186 4218
/proc/meminfo: memFree=31100956/32770624 swapFree=0/370416
[pid=4217] ppid=4214 vsize=38816 CPUtime=12.59 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 3087954 0 0 0 939 320 0 0 20 0 1 0 72397839 39747584 2296 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208390 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 9704 2296 229 7529 0 2151 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 38816
[startup+25.5003 s]
/proc/loadavg: 1.97 2.01 2.04 3/186 4218
/proc/meminfo: memFree=31098200/32770624 swapFree=0/370416
[pid=4217] ppid=4214 vsize=41388 CPUtime=25.38 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 6308510 0 0 0 1888 650 0 0 20 0 1 0 72397839 42381312 2900 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208386 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 10347 2900 229 7529 0 2794 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 41388
[startup+51.1003 s]
/proc/loadavg: 1.98 2.01 2.04 3/186 4219
/proc/meminfo: memFree=31093896/32770624 swapFree=0/370404
[pid=4217] ppid=4214 vsize=46336 CPUtime=50.99 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 12231614 0 0 0 3778 1321 0 0 20 0 1 0 72397839 47448064 4034 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4207320 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 11584 4034 229 7529 0 4031 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 46336
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/186 4221
/proc/meminfo: memFree=31086884/32770624 swapFree=0/370416
[pid=4217] ppid=4214 vsize=52696 CPUtime=102.19 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 22486548 0 0 0 7691 2528 0 0 20 0 1 0 72397839 53960704 5799 18446744073709551615 4194304 35031035 140732187540384 140732187536200 7993641 0 0 1 0 0 0 0 17 1 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 13174 5799 229 7529 0 5621 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 52696
[startup+162.3 s]
/proc/loadavg: 1.94 1.99 2.04 3/185 4223
/proc/meminfo: memFree=31086196/32770624 swapFree=0/370416
[pid=4217] ppid=4214 vsize=55748 CPUtime=162.18 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 33429843 0 0 0 12330 3888 0 0 20 0 1 0 72397839 57085952 6502 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208986 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 13937 6502 229 7529 0 6384 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 55748
[startup+222.306 s]
/proc/loadavg: 1.98 1.99 2.04 3/186 4226
/proc/meminfo: memFree=31081128/32770624 swapFree=0/370428
[pid=4217] ppid=4214 vsize=59300 CPUtime=222.18 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 43674972 0 0 0 16945 5273 0 0 20 0 1 0 72397839 60723200 7412 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208386 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 14825 7412 229 7529 0 7272 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 59300
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.04 3/189 4242
/proc/meminfo: memFree=31055952/32770624 swapFree=0/370452
[pid=4217] ppid=4214 vsize=79292 CPUtime=282.18 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 44627637 0 0 0 22820 5398 0 0 20 0 1 0 72397839 81195008 12418 18446744073709551615 4194304 35031035 140732187540384 140732187536152 4207316 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 19823 12418 231 7529 0 12270 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 79292
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.04 3/186 4245
/proc/meminfo: memFree=31057700/32770624 swapFree=0/370476
[pid=4217] ppid=4214 vsize=81764 CPUtime=342.18 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 44711814 0 0 0 28806 5412 0 0 20 0 1 0 72397839 83726336 13022 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208680 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 20441 13022 231 7529 0 12888 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 81764
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.04 3/186 4308
/proc/meminfo: memFree=31150448/32770624 swapFree=0/370580
[pid=4217] ppid=4214 vsize=103552 CPUtime=402.18 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 53730985 0 0 0 33506 6712 0 0 20 0 1 0 72397839 106037248 18471 18446744073709551615 4194304 35031035 140732187540384 140732187536152 4208995 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 25888 18471 231 7529 0 18335 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 103552
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/186 4310
/proc/meminfo: memFree=31049688/32770624 swapFree=0/370592
[pid=4217] ppid=4214 vsize=103552 CPUtime=462.18 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 53730986 0 0 0 39506 6712 0 0 20 0 1 0 72397839 106037248 18471 18446744073709551615 4194304 35031035 140732187540384 140732187536152 4209287 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 25888 18471 231 7529 0 18335 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 103552
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/186 4313
/proc/meminfo: memFree=31044856/32770624 swapFree=0/370596
[pid=4217] ppid=4214 vsize=107312 CPUtime=522.18 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 56747946 0 0 0 45056 7162 0 0 20 0 1 0 72397839 109887488 19141 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208990 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 26828 19206 231 7529 0 19275 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 107312
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 4316
/proc/meminfo: memFree=31022840/32770624 swapFree=0/370608
[pid=4217] ppid=4214 vsize=127812 CPUtime=582.19 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 66658743 0 0 0 49634 8585 0 0 20 0 1 0 72397839 130879488 24486 18446744073709551615 4194304 35031035 140732187540384 140732187536152 4208386 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 31953 24486 231 7529 0 24400 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 127812
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 4389
/proc/meminfo: memFree=30893724/32770624 swapFree=0/370844
[pid=4217] ppid=4214 vsize=254864 CPUtime=1602.22 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 171811723 0 0 0 137068 23154 0 0 20 0 1 0 72397839 260980736 56294 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208386 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 63716 56294 231 7529 0 56163 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 254864
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 4391
/proc/meminfo: memFree=30894896/32770624 swapFree=0/370864
[pid=4217] ppid=4214 vsize=255868 CPUtime=1662.21 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 179177301 0 0 0 142058 24163 0 0 20 0 1 0 72397839 262008832 56511 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4207320 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 63967 56511 231 7529 0 56414 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 255868
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 4393
/proc/meminfo: memFree=30874828/32770624 swapFree=0/370864
[pid=4217] ppid=4214 vsize=274156 CPUtime=1722.22 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 182229377 0 0 0 147621 24601 0 0 20 0 1 0 72397839 280735744 61123 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208995 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 68539 61123 231 7529 0 60986 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 274156
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.04 3/186 4395
/proc/meminfo: memFree=30869584/32770624 swapFree=0/370876
[pid=4217] ppid=4214 vsize=279080 CPUtime=1782.22 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 191656854 0 0 0 152396 25826 0 0 20 0 1 0 72397839 285777920 62330 18446744073709551615 4194304 35031035 140732187540384 140732187536344 4207316 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 69770 62330 231 7529 0 62217 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 279080
[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/184 4397
/proc/meminfo: memFree=30870324/32770624 swapFree=0/370884
[pid=4217] ppid=4214 vsize=280060 CPUtime=1842.22 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 200748660 0 0 0 157167 27055 0 0 20 0 1 0 72397839 286781440 62565 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4209287 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 70015 62565 231 7529 0 62462 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 280060
[startup+1902.3 s]
/proc/loadavg: 2.16 2.04 2.05 3/185 4400
/proc/meminfo: memFree=30851288/32770624 swapFree=0/370900
[pid=4217] ppid=4214 vsize=297620 CPUtime=1902.23 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 204923888 0 0 0 162592 27631 0 0 20 0 1 0 72397839 304762880 66950 18446744073709551615 4194304 35031035 140732187540384 140732187536152 4207325 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 74405 66950 231 7529 0 66852 0
Current children cumulated CPU time (s) 1902.23
Current children cumulated vsize (KiB) 297620
[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 4402
/proc/meminfo: memFree=30846608/32770624 swapFree=0/370928
[pid=4217] ppid=4214 vsize=299816 CPUtime=1962.22 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 210382554 0 0 0 167918 28304 0 0 20 0 1 0 72397839 307011584 67503 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208684 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 74954 67503 231 7529 0 67401 0
Current children cumulated CPU time (s) 1962.22
Current children cumulated vsize (KiB) 299816
[startup+2022.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/185 4404
/proc/meminfo: memFree=30845980/32770624 swapFree=0/370936
[pid=4217] ppid=4214 vsize=304124 CPUtime=2022.22 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 219941277 0 0 0 172563 29659 0 0 20 0 1 0 72397839 311422976 68606 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4209287 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 76031 68606 231 7529 0 68478 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 304124
[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 4420
/proc/meminfo: memFree=30824020/32770624 swapFree=0/370980
[pid=4217] ppid=4214 vsize=321880 CPUtime=2082.23 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 226196296 0 0 0 177686 30537 0 0 20 0 1 0 72397839 329605120 73065 18446744073709551615 4194304 35031035 140732187540384 140732187536152 4208386 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 80470 73065 231 7529 0 72917 0
Current children cumulated CPU time (s) 2082.23
Current children cumulated vsize (KiB) 321880
[startup+2142.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 4422
/proc/meminfo: memFree=30820100/32770624 swapFree=0/370980
[pid=4217] ppid=4214 vsize=327124 CPUtime=2142.22 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 231397937 0 0 0 183012 31210 0 0 20 0 1 0 72397839 334974976 74344 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4209287 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 81781 74344 231 7529 0 74228 0
Current children cumulated CPU time (s) 2142.22
Current children cumulated vsize (KiB) 327124
[startup+2202.31 s]
/proc/loadavg: 2.14 2.06 2.05 3/185 4425
/proc/meminfo: memFree=30822028/32770624 swapFree=0/371000
[pid=4217] ppid=4214 vsize=329544 CPUtime=2202.24 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 237547277 0 0 0 188178 32046 0 0 20 0 1 0 72397839 337453056 74978 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4207309 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 82386 74978 231 7529 0 74833 0
Current children cumulated CPU time (s) 2202.24
Current children cumulated vsize (KiB) 329544
[startup+2262.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/185 4427
/proc/meminfo: memFree=30801924/32770624 swapFree=0/371020
[pid=4217] ppid=4214 vsize=346136 CPUtime=2262.23 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 247034458 0 0 0 192877 33346 0 0 20 0 1 0 72397839 354443264 79074 18446744073709551615 4194304 35031035 140732187540384 140732187536152 4208386 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 86534 79074 231 7529 0 78981 0
Current children cumulated CPU time (s) 2262.23
Current children cumulated vsize (KiB) 346136
[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 4431
/proc/meminfo: memFree=30798352/32770624 swapFree=0/371024
[pid=4217] ppid=4214 vsize=351120 CPUtime=2322.23 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 249338090 0 0 0 198579 33644 0 0 20 0 1 0 72397839 359546880 80106 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208390 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 87780 80106 231 7529 0 80227 0
Current children cumulated CPU time (s) 2322.23
Current children cumulated vsize (KiB) 351120
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 4433
/proc/meminfo: memFree=30796044/32770624 swapFree=0/371052
[pid=4217] ppid=4214 vsize=353584 CPUtime=2382.23 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 258652223 0 0 0 203274 34949 0 0 20 0 1 0 72397839 362070016 80930 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208390 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 88396 80930 231 7529 0 80843 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 353584
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 4435
/proc/meminfo: memFree=30778040/32770624 swapFree=0/371068
[pid=4217] ppid=4214 vsize=370396 CPUtime=2442.24 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 266851553 0 0 0 208108 36116 0 0 20 0 1 0 72397839 379285504 85164 18446744073709551615 4194304 35031035 140732187540384 140732187536152 4207309 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 92599 85164 231 7529 0 85046 0
Current children cumulated CPU time (s) 2442.24
Current children cumulated vsize (KiB) 370396
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 4438
/proc/meminfo: memFree=30776640/32770624 swapFree=0/371084
[pid=4217] ppid=4214 vsize=372332 CPUtime=2502.24 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 269119766 0 0 0 213835 36389 0 0 20 0 1 0 72397839 381267968 85665 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208390 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 93083 85665 231 7529 0 85530 0
Current children cumulated CPU time (s) 2502.24
Current children cumulated vsize (KiB) 372332
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 4439
/proc/meminfo: memFree=30773112/32770624 swapFree=0/371084
[pid=4217] ppid=4214 vsize=373548 CPUtime=2519.94 cores=1,3,5,7
/proc/4217/stat : 4217 (BTD) R 4214 4217 1774 0 -1 4202496 272197563 0 0 0 215211 36783 0 0 20 0 1 0 72397839 382513152 85948 18446744073709551615 4194304 35031035 140732187540384 140732187536200 4208379 0 0 1 0 0 0 0 17 5 0 0 9 0 0 37130264 37226188 41439232 140732187542020 140732187542096 140732187542096 140732187545553 0
/proc/4217/statm: 93387 85948 231 7529 0 85834 0
Current children cumulated CPU time (s) 2519.94
Current children cumulated vsize (KiB) 373548
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 4217 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): 2152.12
CPU system time (s): 367.836
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 376492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2152.12
system time used= 367.836
maximum resident set size= 346628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272197563
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= 127
involuntary context switches= 2103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71747 second user time and 10.4571 second system time
The end