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-4242545-1500631358/watcher-4242545-1500631358 -o /tmp/evaluation-result-4242545-1500631358/solver-4242545-1500631358 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500623775-3732 --watchdog 2560 BTD 2400 HOME/instance-4242545-1500631358.xml
pid=5770
running on 4 cores: 1,3,5,7
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: 1.85 1.98 2.02 3/186 5773
/proc/meminfo: memFree=29796840/32770624 swapFree=6172/1912732
[pid=5773] ppid=5770 vsize=31044 CPUtime=0 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 16568322 31789056 395 33554432000 4194304 35031059 140726416425712 140726416421576 7408842 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 7761 395 266 7529 0 208 0
[startup+0.100158 s]
/proc/loadavg: 1.85 1.98 2.02 3/186 5773
/proc/meminfo: memFree=29796840/32770624 swapFree=6172/1912732
[pid=5773] ppid=5770 vsize=31828 CPUtime=0.09 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 787 0 0 0 9 0 0 0 20 0 1 0 16568322 32591872 629 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 7957 629 308 7529 0 404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31828
[startup+0.20029 s]
/proc/loadavg: 1.85 1.98 2.02 3/186 5773
/proc/meminfo: memFree=29796840/32770624 swapFree=6172/1912732
[pid=5773] ppid=5770 vsize=31828 CPUtime=0.19 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 798 0 0 0 18 1 0 0 20 0 1 0 16568322 32591872 629 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 7957 629 308 7529 0 404 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31828
[startup+0.300247 s]
/proc/loadavg: 1.85 1.98 2.02 3/186 5773
/proc/meminfo: memFree=29796840/32770624 swapFree=6172/1912732
[pid=5773] ppid=5770 vsize=31960 CPUtime=0.29 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 805 0 0 0 28 1 0 0 20 0 1 0 16568322 32727040 629 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 7990 629 308 7529 0 437 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31960
[startup+0.700221 s]
/proc/loadavg: 1.85 1.98 2.02 3/186 5773
/proc/meminfo: memFree=29796840/32770624 swapFree=6172/1912732
[pid=5773] ppid=5770 vsize=31960 CPUtime=0.69 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 818 0 0 0 66 3 0 0 20 0 1 0 16568322 32727040 629 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 7990 629 308 7529 0 437 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31960
[startup+1.50022 s]
/proc/loadavg: 1.85 1.98 2.02 3/187 5774
/proc/meminfo: memFree=29794972/32770624 swapFree=6172/1912752
[pid=5773] ppid=5770 vsize=31960 CPUtime=1.49 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 828 0 0 0 141 8 0 0 20 0 1 0 16568322 32727040 695 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 7990 695 313 7529 0 437 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31960
[startup+3.10022 s]
/proc/loadavg: 1.85 1.98 2.02 3/187 5774
/proc/meminfo: memFree=29794724/32770624 swapFree=6172/1912752
[pid=5773] ppid=5770 vsize=32092 CPUtime=3.09 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 1015 0 0 0 291 18 0 0 20 0 1 0 16568322 32862208 702 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8023 702 313 7529 0 470 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32092
[startup+6.30022 s]
/proc/loadavg: 1.86 1.98 2.02 3/187 5774
/proc/meminfo: memFree=29794756/32770624 swapFree=6172/1912764
[pid=5773] ppid=5770 vsize=32092 CPUtime=6.29 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 1211 0 0 0 591 38 0 0 20 0 1 0 16568322 32862208 711 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8023 711 313 7529 0 470 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32092
[startup+12.7002 s]
/proc/loadavg: 1.95 2.00 2.03 3/187 5774
/proc/meminfo: memFree=29794880/32770624 swapFree=6172/1912772
[pid=5773] ppid=5770 vsize=32092 CPUtime=12.69 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 1418 0 0 0 1193 76 0 0 20 0 1 0 16568322 32862208 722 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8023 722 313 7529 0 470 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32092
[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 2.03 3/187 5774
/proc/meminfo: memFree=29794996/32770624 swapFree=6172/1912784
[pid=5773] ppid=5770 vsize=32224 CPUtime=25.49 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 1852 0 0 0 2403 146 0 0 20 0 1 0 16568322 32997376 740 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8056 740 313 7529 0 503 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32224
[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 2.03 3/187 5774
/proc/meminfo: memFree=29794872/32770624 swapFree=6172/1912788
[pid=5773] ppid=5770 vsize=32224 CPUtime=51.08 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 2089 0 0 0 4817 291 0 0 20 0 1 0 16568322 32997376 751 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8056 751 313 7529 0 503 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32224
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/187 5775
/proc/meminfo: memFree=29794680/32770624 swapFree=6172/1912828
[pid=5773] ppid=5770 vsize=32224 CPUtime=102.27 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 2336 0 0 0 9654 573 0 0 20 0 1 0 16568322 32997376 761 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8056 761 313 7529 0 503 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 32224
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 5776
/proc/meminfo: memFree=29794864/32770624 swapFree=6172/1912852
[pid=5773] ppid=5770 vsize=32356 CPUtime=162.26 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 2588 0 0 0 15317 909 0 0 20 0 1 0 16568322 33132544 769 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8089 769 313 7529 0 536 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 32356
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 5777
/proc/meminfo: memFree=29794788/32770624 swapFree=6172/1912880
[pid=5773] ppid=5770 vsize=32356 CPUtime=222.24 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 2848 0 0 0 20974 1250 0 0 20 0 1 0 16568322 33132544 780 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8089 780 313 7529 0 536 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 32356
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/187 5778
/proc/meminfo: memFree=29794864/32770624 swapFree=6172/1912920
[pid=5773] ppid=5770 vsize=32356 CPUtime=282.23 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 3112 0 0 0 26634 1589 0 0 20 0 1 0 16568322 33132544 785 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8089 785 313 7529 0 536 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 32356
[startup+342.3 s]
/proc/loadavg: 2.08 2.02 2.04 3/187 5779
/proc/meminfo: memFree=29795032/32770624 swapFree=6172/1912944
[pid=5773] ppid=5770 vsize=32356 CPUtime=342.21 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 3378 0 0 0 32297 1924 0 0 20 0 1 0 16568322 33132544 788 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8089 788 313 7529 0 536 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 32356
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/187 5780
/proc/meminfo: memFree=29795200/32770624 swapFree=6172/1912976
[pid=5773] ppid=5770 vsize=32356 CPUtime=402.2 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 3646 0 0 0 37946 2274 0 0 20 0 1 0 16568322 33132544 792 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8089 792 313 7529 0 536 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 32356
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/188 5789
/proc/meminfo: memFree=29794128/32770624 swapFree=6172/1913016
[pid=5773] ppid=5770 vsize=32356 CPUtime=462.19 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 3919 0 0 0 43629 2590 0 0 20 0 1 0 16568322 33132544 796 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8089 796 313 7529 0 536 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 32356
[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.04 3/188 5790
/proc/meminfo: memFree=29794668/32770624 swapFree=6172/1913040
[pid=5773] ppid=5770 vsize=32356 CPUtime=522.17 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 4193 0 0 0 49273 2944 0 0 20 0 1 0 16568322 33132544 799 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8089 799 313 7529 0 536 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 32356
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.04 3/188 5791
/proc/meminfo: memFree=29795068/32770624 swapFree=6172/1913076
[pid=5773] ppid=5770 vsize=32356 CPUtime=582.16 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 4463 0 0 0 54902 3314 0 0 20 0 1 0 16568322 33132544 801 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8089 801 313 7529 0 536 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 32356
################
# More data... #
################
/proc/loadavg: 2.00 2.01 2.05 3/187 5828
/proc/meminfo: memFree=29793504/32770624 swapFree=6172/1913716
[pid=5773] ppid=5770 vsize=32488 CPUtime=1781.89 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 10268 0 0 0 168017 10172 0 0 20 0 1 0 16568322 33267712 826 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 826 313 7529 0 569 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 32488
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5829
/proc/meminfo: memFree=29793428/32770624 swapFree=6172/1913744
[pid=5773] ppid=5770 vsize=32488 CPUtime=1841.88 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 10570 0 0 0 173676 10512 0 0 20 0 1 0 16568322 33267712 826 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 826 313 7529 0 569 0
Current children cumulated CPU time (s) 1841.88
Current children cumulated vsize (KiB) 32488
[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 5830
/proc/meminfo: memFree=29793480/32770624 swapFree=6172/1913772
[pid=5773] ppid=5770 vsize=32488 CPUtime=1901.87 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 10866 0 0 0 179351 10836 0 0 20 0 1 0 16568322 33267712 828 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 828 313 7529 0 569 0
Current children cumulated CPU time (s) 1901.87
Current children cumulated vsize (KiB) 32488
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 5831
/proc/meminfo: memFree=29793400/32770624 swapFree=6172/1913804
[pid=5773] ppid=5770 vsize=32488 CPUtime=1961.85 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 11162 0 0 0 185017 11168 0 0 20 0 1 0 16568322 33267712 828 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 828 313 7529 0 569 0
Current children cumulated CPU time (s) 1961.85
Current children cumulated vsize (KiB) 32488
[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 5832
/proc/meminfo: memFree=29793436/32770624 swapFree=6172/1913832
[pid=5773] ppid=5770 vsize=32488 CPUtime=2021.84 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 11458 0 0 0 190691 11493 0 0 20 0 1 0 16568322 33267712 828 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 828 313 7529 0 569 0
Current children cumulated CPU time (s) 2021.84
Current children cumulated vsize (KiB) 32488
[startup+2082.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 5833
/proc/meminfo: memFree=29793104/32770624 swapFree=6172/1913872
[pid=5773] ppid=5770 vsize=32488 CPUtime=2081.84 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 11763 0 0 0 196363 11821 0 0 20 0 1 0 16568322 33267712 830 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 830 313 7529 0 569 0
Current children cumulated CPU time (s) 2081.84
Current children cumulated vsize (KiB) 32488
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 5834
/proc/meminfo: memFree=29793148/32770624 swapFree=6172/1913896
[pid=5773] ppid=5770 vsize=32488 CPUtime=2141.82 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 12060 0 0 0 202006 12176 0 0 20 0 1 0 16568322 33267712 830 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 830 313 7529 0 569 0
Current children cumulated CPU time (s) 2141.82
Current children cumulated vsize (KiB) 32488
[startup+2202.31 s]
/proc/loadavg: 1.94 2.00 2.03 3/187 6999
/proc/meminfo: memFree=29640080/32770624 swapFree=6172/1915040
[pid=5773] ppid=5770 vsize=32488 CPUtime=2201.81 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 12357 0 0 0 207668 12513 0 0 20 0 1 0 16568322 33267712 830 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 830 313 7529 0 569 0
Current children cumulated CPU time (s) 2201.81
Current children cumulated vsize (KiB) 32488
[startup+2262.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/188 7008
/proc/meminfo: memFree=29429084/32770624 swapFree=6172/1915084
[pid=5773] ppid=5770 vsize=32488 CPUtime=2261.79 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 12663 0 0 0 213375 12804 0 0 20 0 1 0 16568322 33267712 830 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 830 313 7529 0 569 0
Current children cumulated CPU time (s) 2261.79
Current children cumulated vsize (KiB) 32488
[startup+2322.3 s]
/proc/loadavg: 2.07 2.02 2.04 3/188 7009
/proc/meminfo: memFree=29213100/32770624 swapFree=6172/1915108
[pid=5773] ppid=5770 vsize=32488 CPUtime=2321.77 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 12967 0 0 0 219044 13133 0 0 20 0 1 0 16568322 33267712 832 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 832 313 7529 0 569 0
Current children cumulated CPU time (s) 2321.77
Current children cumulated vsize (KiB) 32488
[startup+2382.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/188 7010
/proc/meminfo: memFree=29002396/32770624 swapFree=6172/1915132
[pid=5773] ppid=5770 vsize=32488 CPUtime=2381.76 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 13271 0 0 0 224706 13470 0 0 20 0 1 0 16568322 33267712 832 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 832 313 7529 0 569 0
Current children cumulated CPU time (s) 2381.76
Current children cumulated vsize (KiB) 32488
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5773 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2393.6 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 7010
/proc/meminfo: memFree=28959104/32770624 swapFree=6172/1915140
[pid=5773] ppid=5770 vsize=32488 CPUtime=2393.07 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 13271 0 0 0 225774 13533 0 0 20 0 1 0 16568322 33267712 832 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 832 313 7529 0 569 0
Current children cumulated CPU time (s) 2393.07
Current children cumulated vsize (KiB) 32488
[startup+2396.8 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 7010
/proc/meminfo: memFree=28951168/32770624 swapFree=6172/1915140
[pid=5773] ppid=5770 vsize=32488 CPUtime=2396.26 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 13271 0 0 0 226074 13552 0 0 20 0 1 0 16568322 33267712 832 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 832 313 7529 0 569 0
Current children cumulated CPU time (s) 2396.26
Current children cumulated vsize (KiB) 32488
[startup+2398.4 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 7010
/proc/meminfo: memFree=28942844/32770624 swapFree=6172/1915140
[pid=5773] ppid=5770 vsize=32488 CPUtime=2397.86 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 13567 0 0 0 226225 13561 0 0 20 0 1 0 16568322 33267712 832 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 832 313 7529 0 569 0
Current children cumulated CPU time (s) 2397.86
Current children cumulated vsize (KiB) 32488
[startup+2399.21 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 7010
/proc/meminfo: memFree=28938876/32770624 swapFree=6172/1915140
[pid=5773] ppid=5770 vsize=32488 CPUtime=2398.66 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 13575 0 0 0 226301 13565 0 0 20 0 1 0 16568322 33267712 832 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 832 313 7529 0 569 0
Current children cumulated CPU time (s) 2398.66
Current children cumulated vsize (KiB) 32488
[startup+2400 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 7010
/proc/meminfo: memFree=28938876/32770624 swapFree=6172/1915140
[pid=5773] ppid=5770 vsize=32488 CPUtime=2399.46 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 13575 0 0 0 226376 13570 0 0 20 0 1 0 16568322 33267712 832 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 832 313 7529 0 569 0
Current children cumulated CPU time (s) 2399.46
Current children cumulated vsize (KiB) 32488
[startup+2400.4 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 7011
/proc/meminfo: memFree=28935140/32770624 swapFree=6172/1915140
[pid=5773] ppid=5770 vsize=32488 CPUtime=2399.86 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 13575 0 0 0 226414 13572 0 0 20 0 1 0 16568322 33267712 832 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 832 313 7529 0 569 0
Current children cumulated CPU time (s) 2399.86
Current children cumulated vsize (KiB) 32488
[startup+2400.5 s]
/proc/loadavg: 2.02 2.01 2.04 3/188 7011
/proc/meminfo: memFree=28935140/32770624 swapFree=6172/1915140
[pid=5773] ppid=5770 vsize=32488 CPUtime=2399.95 cores=1,3,5,7
/proc/5773/stat : 5773 (BTD) R 5770 5773 3700 0 -1 4202496 13575 0 0 0 226423 13572 0 0 20 0 1 0 16568322 33267712 832 33554432000 4194304 35031059 140726416425712 140726416424712 7760138 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 49676288 140726416430330 140726416430406 140726416430406 140726416433105 0
/proc/5773/statm: 8122 832 313 7529 0 569 0
Current children cumulated CPU time (s) 2399.95
Current children cumulated vsize (KiB) 32488
Child status: 0
Real time (s): 2400.53
CPU time (s): 2400
CPU user time (s): 2264.27
CPU system time (s): 135.733
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 32488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2264.27
system time used= 135.733
maximum resident set size= 3388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13787
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= 2
involuntary context switches= 120761
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5369 second user time and 7.21798 second system time
The end