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-4242607-1500631965/watcher-4242607-1500631965 -o /tmp/evaluation-result-4242607-1500631965/solver-4242607-1500631965 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500623775-4154 --watchdog 2560 BTD 2400 HOME/instance-4242607-1500631965.xml
pid=6462
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: 2.00 2.01 2.05 3/186 6465
/proc/meminfo: memFree=31217308/32770624 swapFree=6836/527580
[pid=6465] ppid=6462 vsize=31228 CPUtime=0 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 16627714 31977472 399 33554432000 4194304 35031059 140731694990896 140731694990896 7408842 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 7807 399 226 7529 0 254 0
[startup+0.100161 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6465
/proc/meminfo: memFree=31217308/32770624 swapFree=6836/527580
[pid=6465] ppid=6462 vsize=34164 CPUtime=0.09 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 1299 0 0 0 9 0 0 0 20 0 1 0 16627714 34983936 1167 33554432000 4194304 35031059 140731694990896 140731694986760 7993657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 8541 1167 232 7529 0 988 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34164
[startup+0.200314 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6465
/proc/meminfo: memFree=31217308/32770624 swapFree=6836/527580
[pid=6465] ppid=6462 vsize=35672 CPUtime=0.19 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 7707 0 0 0 18 1 0 0 20 0 1 0 16627714 36528128 1502 33554432000 4194304 35031059 140731694990896 140731694986616 4632360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 8918 1502 232 7529 0 1365 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35672
[startup+0.300261 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6465
/proc/meminfo: memFree=31217308/32770624 swapFree=6836/527580
[pid=6465] ppid=6462 vsize=36252 CPUtime=0.29 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 9207 0 0 0 28 1 0 0 20 0 1 0 16627714 37122048 1696 33554432000 4194304 35031059 140731694990896 140731694983688 4254064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 9063 1696 266 7529 0 1510 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36252
[startup+0.700217 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 6465
/proc/meminfo: memFree=31217308/32770624 swapFree=6836/527580
[pid=6465] ppid=6462 vsize=37428 CPUtime=0.69 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 9500 0 0 0 68 1 0 0 20 0 1 0 16627714 38326272 1956 33554432000 4194304 35031059 140731694990896 140731694981416 7546975 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 9357 1956 275 7529 0 1804 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37428
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6466
/proc/meminfo: memFree=31197440/32770624 swapFree=6836/527568
[pid=6465] ppid=6462 vsize=76248 CPUtime=1.49 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 19225 0 0 0 146 3 0 0 20 0 1 0 16627714 78077952 11637 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 19062 11637 312 7529 0 11509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76248
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6466
/proc/meminfo: memFree=31170904/32770624 swapFree=6836/527568
[pid=6465] ppid=6462 vsize=76248 CPUtime=3.09 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 21091 0 0 0 306 3 0 0 20 0 1 0 16627714 78077952 11669 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 19062 11669 316 7529 0 11509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76248
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6466
/proc/meminfo: memFree=31170252/32770624 swapFree=6836/527568
[pid=6465] ppid=6462 vsize=76408 CPUtime=6.29 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 23291 0 0 0 624 5 0 0 20 0 1 0 16627714 78241792 11750 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 19102 11750 316 7529 0 11549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 76408
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6527
/proc/meminfo: memFree=31135368/32770624 swapFree=6836/527620
[pid=6465] ppid=6462 vsize=76564 CPUtime=12.68 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 25380 0 0 0 1262 6 0 0 20 0 1 0 16627714 78401536 11763 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 19141 11763 316 7529 0 11588 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 76564
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6655
/proc/meminfo: memFree=30819628/32770624 swapFree=6836/527768
[pid=6465] ppid=6462 vsize=77344 CPUtime=25.49 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 29934 0 0 0 2539 10 0 0 20 0 1 0 16627714 79200256 11984 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 19336 11984 316 7529 0 11783 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77344
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6783
/proc/meminfo: memFree=31161024/32770624 swapFree=6836/527864
[pid=6465] ppid=6462 vsize=78420 CPUtime=51.08 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 32594 0 0 0 5094 14 0 0 20 0 1 0 16627714 80302080 12189 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 19605 12189 316 7529 0 12052 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78420
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6783
/proc/meminfo: memFree=30908356/32770624 swapFree=6836/527904
[pid=6465] ppid=6462 vsize=79792 CPUtime=102.27 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 33460 0 0 0 10205 22 0 0 20 0 1 0 16627714 81707008 12655 33554432000 4194304 35031059 140731694990896 140731694989896 4540621 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 19948 12655 316 7529 0 12395 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 79792
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6784
/proc/meminfo: memFree=30907428/32770624 swapFree=6836/527932
[pid=6465] ppid=6462 vsize=81340 CPUtime=162.27 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 34269 0 0 0 16196 31 0 0 20 0 1 0 16627714 83292160 13042 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 20335 13042 316 7529 0 12782 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 81340
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6785
/proc/meminfo: memFree=30906628/32770624 swapFree=6836/527960
[pid=6465] ppid=6462 vsize=82392 CPUtime=222.26 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 35598 0 0 0 22188 38 0 0 20 0 1 0 16627714 84369408 13261 33554432000 4194304 35031059 140731694990896 140731694989896 4213184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 20598 13261 316 7529 0 13045 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 82392
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6786
/proc/meminfo: memFree=30905780/32770624 swapFree=6836/528000
[pid=6465] ppid=6462 vsize=83152 CPUtime=282.25 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 36711 0 0 0 28178 47 0 0 20 0 1 0 16627714 85147648 13458 33554432000 4194304 35031059 140731694990896 140731694989896 4399216 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 20788 13458 316 7529 0 13235 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 83152
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6787
/proc/meminfo: memFree=30905452/32770624 swapFree=6836/528024
[pid=6465] ppid=6462 vsize=83908 CPUtime=342.24 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 37371 0 0 0 34166 58 0 0 20 0 1 0 16627714 85921792 13649 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 20977 13649 316 7529 0 13424 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 83908
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6788
/proc/meminfo: memFree=30904772/32770624 swapFree=6836/528056
[pid=6465] ppid=6462 vsize=84516 CPUtime=402.23 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 37741 0 0 0 40156 67 0 0 20 0 1 0 16627714 86544384 13748 33554432000 4194304 35031059 140731694990896 140731694989896 4213195 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 21129 13748 316 7529 0 13576 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 84516
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6796
/proc/meminfo: memFree=30903736/32770624 swapFree=6836/528092
[pid=6465] ppid=6462 vsize=84972 CPUtime=462.22 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 38206 0 0 0 46146 76 0 0 20 0 1 0 16627714 87011328 13871 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 21243 13871 316 7529 0 13690 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 84972
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6797
/proc/meminfo: memFree=30903372/32770624 swapFree=6836/528120
[pid=6465] ppid=6462 vsize=85276 CPUtime=522.21 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 38708 0 0 0 52130 91 0 0 20 0 1 0 16627714 87322624 13974 33554432000 4194304 35031059 140731694990896 140731694989896 4399216 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 21319 13974 316 7529 0 13766 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 85276
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6798
/proc/meminfo: memFree=30903044/32770624 swapFree=6836/528156
[pid=6465] ppid=6462 vsize=85728 CPUtime=582.2 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 39311 0 0 0 58118 102 0 0 20 0 1 0 16627714 87785472 14078 33554432000 4194304 35031059 140731694990896 140731694989896 4544859 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 21432 14078 316 7529 0 13879 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 85728
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.08 2.05 2.05 3/187 6823
/proc/meminfo: memFree=30899768/32770624 swapFree=6836/528664
[pid=6465] ppid=6462 vsize=88004 CPUtime=1542.04 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 44889 0 0 0 153917 287 0 0 20 0 1 0 16627714 90116096 14683 33554432000 4194304 35031059 140731694990896 140731694989896 4398732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22001 14683 316 7529 0 14448 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 88004
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.05 4/187 6824
/proc/meminfo: memFree=30899624/32770624 swapFree=6836/528696
[pid=6465] ppid=6462 vsize=88004 CPUtime=1602.02 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 45111 0 0 0 159901 301 0 0 20 0 1 0 16627714 90116096 14683 33554432000 4194304 35031059 140731694990896 140731694989896 4399211 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22001 14683 316 7529 0 14448 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 88004
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6832
/proc/meminfo: memFree=30898488/32770624 swapFree=6836/528732
[pid=6465] ppid=6462 vsize=88152 CPUtime=1662.01 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 45429 0 0 0 165891 310 0 0 20 0 1 0 16627714 90267648 14733 33554432000 4194304 35031059 140731694990896 140731694989896 4399172 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22038 14733 316 7529 0 14485 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 88152
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6833
/proc/meminfo: memFree=30899032/32770624 swapFree=6836/528760
[pid=6465] ppid=6462 vsize=88152 CPUtime=1721.99 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 45695 0 0 0 171877 322 0 0 20 0 1 0 16627714 90267648 14733 33554432000 4194304 35031059 140731694990896 140731694989896 4213195 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22038 14733 316 7529 0 14485 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 88152
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6834
/proc/meminfo: memFree=30899084/32770624 swapFree=6836/528792
[pid=6465] ppid=6462 vsize=88304 CPUtime=1781.98 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 46001 0 0 0 177865 333 0 0 20 0 1 0 16627714 90423296 14765 33554432000 4194304 35031059 140731694990896 140731694989896 4399211 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22076 14765 316 7529 0 14523 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 88304
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 6835
/proc/meminfo: memFree=30900028/32770624 swapFree=6836/528828
[pid=6465] ppid=6462 vsize=88304 CPUtime=1841.97 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 46297 0 0 0 183851 346 0 0 20 0 1 0 16627714 90423296 14771 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22076 14771 316 7529 0 14523 0
Current children cumulated CPU time (s) 1841.97
Current children cumulated vsize (KiB) 88304
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6837
/proc/meminfo: memFree=30898320/32770624 swapFree=6836/528856
[pid=6465] ppid=6462 vsize=88456 CPUtime=1901.96 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 46645 0 0 0 189838 358 0 0 20 0 1 0 16627714 90578944 14771 33554432000 4194304 35031059 140731694990896 140731694989896 4399216 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22114 14771 316 7529 0 14561 0
Current children cumulated CPU time (s) 1901.96
Current children cumulated vsize (KiB) 88456
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 6838
/proc/meminfo: memFree=30898340/32770624 swapFree=6836/528884
[pid=6465] ppid=6462 vsize=88456 CPUtime=1961.95 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 46977 0 0 0 195823 372 0 0 20 0 1 0 16627714 90578944 14821 33554432000 4194304 35031059 140731694990896 140731694989896 4398728 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22114 14821 316 7529 0 14561 0
Current children cumulated CPU time (s) 1961.95
Current children cumulated vsize (KiB) 88456
[startup+2022.3 s]
/proc/loadavg: 2.18 2.06 2.06 3/187 6839
/proc/meminfo: memFree=30898588/32770624 swapFree=6836/528912
[pid=6465] ppid=6462 vsize=88608 CPUtime=2021.94 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 47348 0 0 0 201808 386 0 0 20 0 1 0 16627714 90734592 14826 33554432000 4194304 35031059 140731694990896 140731694989896 4213195 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22152 14826 316 7529 0 14599 0
Current children cumulated CPU time (s) 2021.94
Current children cumulated vsize (KiB) 88608
[startup+2082.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 6840
/proc/meminfo: memFree=30899188/32770624 swapFree=6836/528948
[pid=6465] ppid=6462 vsize=88608 CPUtime=2081.94 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 47712 0 0 0 207795 399 0 0 20 0 1 0 16627714 90734592 14859 33554432000 4194304 35031059 140731694990896 140731694989896 4399216 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22152 14859 316 7529 0 14599 0
Current children cumulated CPU time (s) 2081.94
Current children cumulated vsize (KiB) 88608
[startup+2142.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 6841
/proc/meminfo: memFree=30899068/32770624 swapFree=6836/528976
[pid=6465] ppid=6462 vsize=88608 CPUtime=2141.92 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 48076 0 0 0 213780 412 0 0 20 0 1 0 16627714 90734592 14859 33554432000 4194304 35031059 140731694990896 140731694989896 4398716 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22152 14859 316 7529 0 14599 0
Current children cumulated CPU time (s) 2141.92
Current children cumulated vsize (KiB) 88608
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 6842
/proc/meminfo: memFree=30899068/32770624 swapFree=6836/529008
[pid=6465] ppid=6462 vsize=88760 CPUtime=2201.91 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 48480 0 0 0 219767 424 0 0 20 0 1 0 16627714 90890240 14859 33554432000 4194304 35031059 140731694990896 140731694989896 4399188 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22190 14859 316 7529 0 14637 0
Current children cumulated CPU time (s) 2201.91
Current children cumulated vsize (KiB) 88760
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 6850
/proc/meminfo: memFree=30898688/32770624 swapFree=6836/529040
[pid=6465] ppid=6462 vsize=88760 CPUtime=2261.88 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 48862 0 0 0 225752 436 0 0 20 0 1 0 16627714 90890240 14897 33554432000 4194304 35031059 140731694990896 140731694989896 4398867 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22190 14897 316 7529 0 14637 0
Current children cumulated CPU time (s) 2261.88
Current children cumulated vsize (KiB) 88760
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6851
/proc/meminfo: memFree=30899064/32770624 swapFree=6836/529072
[pid=6465] ppid=6462 vsize=88760 CPUtime=2321.87 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 49244 0 0 0 231737 450 0 0 20 0 1 0 16627714 90890240 14897 33554432000 4194304 35031059 140731694990896 140731694989896 4398852 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22190 14897 316 7529 0 14637 0
Current children cumulated CPU time (s) 2321.87
Current children cumulated vsize (KiB) 88760
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6852
/proc/meminfo: memFree=30898444/32770624 swapFree=6836/529108
[pid=6465] ppid=6462 vsize=89060 CPUtime=2381.86 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 49678 0 0 0 237725 461 0 0 20 0 1 0 16627714 91197440 14897 33554432000 4194304 35031059 140731694990896 140731694989896 7760138 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 22265 14897 316 7529 0 14712 0
Current children cumulated CPU time (s) 2381.86
Current children cumulated vsize (KiB) 89060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6853
/proc/meminfo: memFree=30898304/32770624 swapFree=6836/529128
[pid=6465] ppid=6462 vsize=73956 CPUtime=2400.06 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 50255 0 0 0 239540 466 0 0 20 0 1 0 16627714 75730944 11214 33554432000 4194304 35031059 140731694990896 140731694989880 7392140 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 18489 11214 327 7529 0 10936 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 73956
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 6465 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 6853
/proc/meminfo: memFree=30898304/32770624 swapFree=6836/529128
[pid=6465] ppid=6462 vsize=73956 CPUtime=2400.06 cores=1,3,5,7
/proc/6465/stat : 6465 (BTD) R 6462 6465 4122 0 -1 4202496 50255 0 0 0 239540 466 0 0 20 0 1 0 16627714 75730944 11214 33554432000 4194304 35031059 140731694990896 140731694989880 7392140 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 37130264 37226188 53006336 140731694994682 140731694994758 140731694994758 140731694997457 0
/proc/6465/statm: 18489 11214 327 7529 0 10936 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 73956
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.5
CPU time (s): 2400.07
CPU user time (s): 2395.41
CPU system time (s): 4.66216
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 89060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.41
system time used= 4.66216
maximum resident set size= 59832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50255
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= 9
involuntary context switches= 120799
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.90236 second user time and 10.14 second system time
The end