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-4241423-1500627173/watcher-4241423-1500627173 -o /tmp/evaluation-result-4241423-1500627173/solver-4241423-1500627173 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500623775-4153 --watchdog 2560 BTD 2400 HOME/instance-4241423-1500627173.xml
pid=5780
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: 2.01 2.02 1.96 2/187 5783
/proc/meminfo: memFree=31082236/32770624 swapFree=6836/524672
[pid=5783] ppid=5780 vsize=30792 CPUtime=0 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 16148473 31531008 295 33554432000 4194304 35031059 140726701580016 140726701580016 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 7698 295 230 7529 0 145 0
[startup+0.100196 s]
/proc/loadavg: 2.01 2.02 1.96 2/187 5783
/proc/meminfo: memFree=31082236/32770624 swapFree=6836/524672
[pid=5783] ppid=5780 vsize=31676 CPUtime=0.09 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 1442 0 0 0 9 0 0 0 20 0 1 0 16148473 32436224 503 33554432000 4194304 35031059 140726701580016 140726701575976 4208990 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 7877 503 230 7529 0 324 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31676
[startup+0.200334 s]
/proc/loadavg: 2.01 2.02 1.96 2/187 5783
/proc/meminfo: memFree=31082236/32770624 swapFree=6836/524672
[pid=5783] ppid=5780 vsize=31784 CPUtime=0.19 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 6845 0 0 0 19 0 0 0 20 0 1 0 16148473 32546816 572 33554432000 4194304 35031059 140726701580016 140726701575976 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 7989 572 230 7529 0 436 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31784
[startup+0.300342 s]
/proc/loadavg: 2.01 2.02 1.96 2/187 5783
/proc/meminfo: memFree=31082236/32770624 swapFree=6836/524672
[pid=5783] ppid=5780 vsize=32272 CPUtime=0.29 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 18473 0 0 0 27 2 0 0 20 0 1 0 16148473 33046528 626 33554432000 4194304 35031059 140726701580016 140726701575976 4208684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 8000 626 230 7529 0 447 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32272
[startup+0.700276 s]
/proc/loadavg: 2.01 2.02 1.96 2/187 5783
/proc/meminfo: memFree=31082236/32770624 swapFree=6836/524672
[pid=5783] ppid=5780 vsize=32616 CPUtime=0.69 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 79081 0 0 0 59 10 0 0 20 0 1 0 16148473 33398784 780 33554432000 4194304 35031059 140726701580016 140726701575976 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 8154 780 230 7529 0 601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32616
[startup+1.50028 s]
/proc/loadavg: 2.01 2.02 1.96 3/188 5784
/proc/meminfo: memFree=31079076/32770624 swapFree=6836/524672
[pid=5783] ppid=5780 vsize=33740 CPUtime=1.49 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 257441 0 0 0 119 30 0 0 20 0 1 0 16148473 34549760 990 33554432000 4194304 35031059 140726701580016 140726701575976 4207320 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 8471 990 230 7529 0 918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33740
[startup+3.10028 s]
/proc/loadavg: 2.01 2.02 1.96 3/188 5784
/proc/meminfo: memFree=31077836/32770624 swapFree=6836/524672
[pid=5783] ppid=5780 vsize=34760 CPUtime=3.09 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 636355 0 0 0 240 69 0 0 20 0 1 0 16148473 35594240 1266 33554432000 4194304 35031059 140726701580016 140726701575832 4207320 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 8740 1266 230 7529 0 1187 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34760
[startup+6.30028 s]
/proc/loadavg: 2.01 2.02 1.96 3/188 5784
/proc/meminfo: memFree=31075524/32770624 swapFree=6836/524684
[pid=5783] ppid=5780 vsize=36748 CPUtime=6.28 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 1421080 0 0 0 486 142 0 0 20 0 1 0 16148473 37629952 1736 33554432000 4194304 35031059 140726701580016 140726701575832 4207320 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 9258 1736 230 7529 0 1705 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36748
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 1.96 3/188 5784
/proc/meminfo: memFree=31072944/32770624 swapFree=6836/524684
[pid=5783] ppid=5780 vsize=38520 CPUtime=12.68 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 3174698 0 0 0 959 309 0 0 20 0 1 0 16148473 39444480 2221 33554432000 4194304 35031059 140726701580016 140726701575832 4208684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 9630 2221 230 7529 0 2077 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38520
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 1.96 3/188 5784
/proc/meminfo: memFree=31068392/32770624 swapFree=6836/524692
[pid=5783] ppid=5780 vsize=41828 CPUtime=25.48 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 6583679 0 0 0 1899 649 0 0 20 0 1 0 16148473 42831872 3008 33554432000 4194304 35031059 140726701580016 140726701575832 4208684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 10457 3008 230 7529 0 2904 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41828
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 1.96 3/188 5784
/proc/meminfo: memFree=31065284/32770624 swapFree=6836/524708
[pid=5783] ppid=5780 vsize=46464 CPUtime=51.07 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 13093915 0 0 0 3739 1368 0 0 20 0 1 0 16148473 47579136 4182 33554432000 4194304 35031059 140726701580016 140726701575832 4208680 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 11616 4182 230 7529 0 4063 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46464
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/188 5785
/proc/meminfo: memFree=31040340/32770624 swapFree=6836/524740
[pid=5783] ppid=5780 vsize=71688 CPUtime=102.26 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 16548404 0 0 0 8477 1749 0 0 20 0 1 0 16148473 73408512 10499 33554432000 4194304 35031059 140726701580016 140726701575784 4209296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 17922 10499 232 7529 0 10369 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 71688
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 5787
/proc/meminfo: memFree=31023892/32770624 swapFree=6836/524772
[pid=5783] ppid=5780 vsize=86676 CPUtime=162.24 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 19373637 0 0 0 14166 2058 0 0 20 0 1 0 16148473 88756224 14260 33554432000 4194304 35031059 140726701580016 140726701575832 4209287 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 21669 14260 232 7529 0 14116 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 86676
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 5788
/proc/meminfo: memFree=30998620/32770624 swapFree=6836/524792
[pid=5783] ppid=5780 vsize=112624 CPUtime=222.2 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 28415832 0 0 0 19149 3071 0 0 20 0 1 0 16148473 115326976 20737 33554432000 4194304 35031059 140726701580016 140726701575784 4208386 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 28156 20737 232 7529 0 20603 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 112624
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/187 5789
/proc/meminfo: memFree=30983572/32770624 swapFree=6836/524816
[pid=5783] ppid=5780 vsize=127896 CPUtime=282.18 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 34448631 0 0 0 24516 3702 0 0 20 0 1 0 16148473 130965504 24528 33554432000 4194304 35031059 140726701580016 140726701575832 4208386 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 32110 24528 232 7529 0 24557 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 127896
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/187 5791
/proc/meminfo: memFree=30967588/32770624 swapFree=6836/524848
[pid=5783] ppid=5780 vsize=144796 CPUtime=342.17 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 44696369 0 0 0 29464 4753 0 0 20 0 1 0 16148473 148271104 28789 33554432000 4194304 35031059 140726701580016 140726701575832 4208395 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 36199 28789 232 7529 0 28646 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 144796
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/187 5792
/proc/meminfo: memFree=30942968/32770624 swapFree=6836/524872
[pid=5783] ppid=5780 vsize=167208 CPUtime=402.12 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 54520638 0 0 0 34390 5822 0 0 20 0 1 0 16148473 171220992 34377 33554432000 4194304 35031059 140726701580016 140726701575784 4209287 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 41802 34377 232 7529 0 34249 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 167208
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/187 5800
/proc/meminfo: memFree=30927612/32770624 swapFree=6836/524904
[pid=5783] ppid=5780 vsize=181376 CPUtime=462.09 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 61561411 0 0 0 39604 6605 0 0 20 0 1 0 16148473 185729024 37906 33554432000 4194304 35031059 140726701580016 140726701575832 4208684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 45344 37906 232 7529 0 37791 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 181376
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/187 5823
/proc/meminfo: memFree=30911100/32770624 swapFree=6836/524936
[pid=5783] ppid=5780 vsize=197812 CPUtime=522.08 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 71407031 0 0 0 44547 7661 0 0 20 0 1 0 16148473 202559488 42045 33554432000 4194304 35031059 140726701580016 140726701575832 4208390 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 49453 42045 232 7529 0 41900 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 197812
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/187 5824
/proc/meminfo: memFree=30897776/32770624 swapFree=6836/524964
[pid=5783] ppid=5780 vsize=211232 CPUtime=582.06 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 81977138 0 0 0 49411 8795 0 0 20 0 1 0 16148473 216301568 45374 33554432000 4194304 35031059 140726701580016 140726701575832 4209287 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 52808 45374 232 7529 0 45255 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 211232
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 1.99 3/187 5848
/proc/meminfo: memFree=30623560/32770624 swapFree=6836/525312
[pid=5783] ppid=5780 vsize=482200 CPUtime=1481.65 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 218082391 0 0 0 124547 23618 0 0 20 0 1 0 16148473 493772800 113100 33554432000 4194304 35031059 140726701580016 140726701575832 4208379 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 120550 113100 232 7529 0 112997 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 482200
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 1.99 3/187 5909
/proc/meminfo: memFree=30171632/32770624 swapFree=6836/525376
[pid=5783] ppid=5780 vsize=497508 CPUtime=1541.64 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 227959655 0 0 0 129450 24714 0 0 20 0 1 0 16148473 509448192 116917 33554432000 4194304 35031059 140726701580016 140726701575832 4209280 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 124377 116917 232 7529 0 116824 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 497508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 5910
/proc/meminfo: memFree=30157784/32770624 swapFree=6836/525420
[pid=5783] ppid=5780 vsize=521992 CPUtime=1601.61 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 239750152 0 0 0 134162 25999 0 0 20 0 1 0 16148473 534519808 123042 33554432000 4194304 35031059 140726701580016 140726701575784 4207866 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 130498 123042 232 7529 0 122945 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 521992
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/188 5919
/proc/meminfo: memFree=30131584/32770624 swapFree=6836/525448
[pid=5783] ppid=5780 vsize=536664 CPUtime=1661.6 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 245794313 0 0 0 139521 26639 0 0 20 0 1 0 16148473 549543936 126735 33554432000 4194304 35031059 140726701580016 140726701575832 4208995 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 134166 126735 232 7529 0 126613 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 536664
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/188 5920
/proc/meminfo: memFree=30118152/32770624 swapFree=6836/525472
[pid=5783] ppid=5780 vsize=551744 CPUtime=1721.57 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 257394410 0 0 0 144260 27897 0 0 20 0 1 0 16148473 564985856 130103 33554432000 4194304 35031059 140726701580016 140726701575832 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 137629 130103 232 7529 0 130076 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 551744
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/188 5921
/proc/meminfo: memFree=30102448/32770624 swapFree=6836/525496
[pid=5783] ppid=5780 vsize=566628 CPUtime=1781.54 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 266124664 0 0 0 149300 28854 0 0 20 0 1 0 16148473 580227072 134112 33554432000 4194304 35031059 140726701580016 140726701575832 4207320 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 141657 134112 232 7529 0 134104 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 566628
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/188 5922
/proc/meminfo: memFree=30079012/32770624 swapFree=6836/525524
[pid=5783] ppid=5780 vsize=590220 CPUtime=1841.49 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 275093446 0 0 0 154241 29908 0 0 20 0 1 0 16148473 604385280 140136 33554432000 4194304 35031059 140726701580016 140726701575784 4208986 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 147555 140136 232 7529 0 140002 0
Current children cumulated CPU time (s) 1841.49
Current children cumulated vsize (KiB) 590220
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/188 5923
/proc/meminfo: memFree=30063980/32770624 swapFree=6836/525540
[pid=5783] ppid=5780 vsize=605564 CPUtime=1901.47 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 282962820 0 0 0 159408 30739 0 0 20 0 1 0 16148473 620097536 143924 33554432000 4194304 35031059 140726701580016 140726701575832 4209291 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 151391 143924 232 7529 0 143838 0
Current children cumulated CPU time (s) 1901.47
Current children cumulated vsize (KiB) 605564
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 5925
/proc/meminfo: memFree=30049432/32770624 swapFree=6836/525572
[pid=5783] ppid=5780 vsize=619672 CPUtime=1961.46 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 291705797 0 0 0 164480 31666 0 0 20 0 1 0 16148473 634544128 147362 33554432000 4194304 35031059 140726701580016 140726701575832 7403878 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 154918 147362 232 7529 0 147365 0
Current children cumulated CPU time (s) 1961.46
Current children cumulated vsize (KiB) 619672
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 5926
/proc/meminfo: memFree=30024840/32770624 swapFree=6836/525596
[pid=5783] ppid=5780 vsize=644804 CPUtime=2021.44 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 300219800 0 0 0 169572 32572 0 0 20 0 1 0 16148473 660279296 153797 33554432000 4194304 35031059 140726701580016 140726701575784 4207316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 161201 153797 232 7529 0 153648 0
Current children cumulated CPU time (s) 2021.44
Current children cumulated vsize (KiB) 644804
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 5927
/proc/meminfo: memFree=30009296/32770624 swapFree=6836/525620
[pid=5783] ppid=5780 vsize=658996 CPUtime=2081.43 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 309312874 0 0 0 174613 33530 0 0 20 0 1 0 16148473 674811904 157305 33554432000 4194304 35031059 140726701580016 140726701575832 4208673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 164749 157305 232 7529 0 157196 0
Current children cumulated CPU time (s) 2081.43
Current children cumulated vsize (KiB) 658996
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 5929
/proc/meminfo: memFree=29993720/32770624 swapFree=6836/525648
[pid=5783] ppid=5780 vsize=675648 CPUtime=2141.4 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 318769184 0 0 0 179646 34494 0 0 20 0 1 0 16148473 691863552 161402 33554432000 4194304 35031059 140726701580016 140726701575832 4208390 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 168912 161402 232 7529 0 161359 0
Current children cumulated CPU time (s) 2141.4
Current children cumulated vsize (KiB) 675648
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 5930
/proc/meminfo: memFree=29964296/32770624 swapFree=6836/525672
[pid=5783] ppid=5780 vsize=699384 CPUtime=2201.38 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 329979113 0 0 0 184458 35680 0 0 20 0 1 0 16148473 716169216 167415 33554432000 4194304 35031059 140726701580016 140726701575784 4208386 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 174846 167415 232 7529 0 167293 0
Current children cumulated CPU time (s) 2201.38
Current children cumulated vsize (KiB) 699384
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/187 5938
/proc/meminfo: memFree=29949520/32770624 swapFree=6836/525696
[pid=5783] ppid=5780 vsize=713936 CPUtime=2261.36 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 338278459 0 0 0 189558 36578 0 0 20 0 1 0 16148473 731070464 171057 33554432000 4194304 35031059 140726701580016 140726701575832 4207316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 178484 171057 232 7529 0 170931 0
Current children cumulated CPU time (s) 2261.36
Current children cumulated vsize (KiB) 713936
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/187 5939
/proc/meminfo: memFree=29934904/32770624 swapFree=6836/525720
[pid=5783] ppid=5780 vsize=729356 CPUtime=2321.34 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 346600032 0 0 0 194715 37419 0 0 20 0 1 0 16148473 746860544 174926 33554432000 4194304 35031059 140726701580016 140726701575832 4209280 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 182339 174926 232 7529 0 174786 0
Current children cumulated CPU time (s) 2321.34
Current children cumulated vsize (KiB) 729356
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/187 5940
/proc/meminfo: memFree=29919364/32770624 swapFree=6836/525744
[pid=5783] ppid=5780 vsize=742628 CPUtime=2381.32 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 358377703 0 0 0 199460 38672 0 0 20 0 1 0 16148473 760451072 178224 33554432000 4194304 35031059 140726701580016 140726701575832 4207309 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 185657 178224 232 7529 0 178104 0
Current children cumulated CPU time (s) 2381.32
Current children cumulated vsize (KiB) 742628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401 s]
/proc/loadavg: 2.01 2.02 2.00 3/187 5941
/proc/meminfo: memFree=29907792/32770624 swapFree=6836/525768
[pid=5783] ppid=5780 vsize=755360 CPUtime=2400.01 cores=0,2,4,6
/proc/5783/stat : 5783 (BTD) R 5780 5783 4122 0 -1 4202496 359242936 0 0 0 201230 38771 0 0 20 0 1 0 16148473 773488640 181414 33554432000 4194304 35031059 140726701580016 140726701575832 4209296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62300160 140726701581562 140726701581638 140726701581638 140726701584337 0
/proc/5783/statm: 188840 181414 232 7529 0 181287 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 755360
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 5783 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): 2401.01
CPU time (s): 2400.04
CPU user time (s): 2012.31
CPU system time (s): 387.728
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 755360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2012.31
system time used= 387.728
maximum resident set size= 725744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359242936
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= 199
involuntary context switches= 123053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.12317 second user time and 10.5749 second system time
The end