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-4260819-1502255873/watcher-4260819-1502255873 -o /tmp/evaluation-result-4260819-1502255873/solver-4260819-1502255873 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502234521-4121 --watchdog 2580 BTD 2520 HOME/instance-4260819-1502255873.xml
pid=8710
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: 1.85 1.97 2.03 3/181 8713
/proc/meminfo: memFree=31393088/32770624 swapFree=0/437392
[pid=8713] ppid=8710 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8713/stat : 8713 (runsolver) D 8710 8713 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 27808180 24240128 107 18446744073709551615 4194304 4338465 140723174720912 140723174718552 139773902746327 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 17035264 140723174727894 140723174728266 140723174728266 140723174731722 0
/proc/8713/statm: 5918 107 54 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 1.85 1.97 2.03 3/181 8713
/proc/meminfo: memFree=31393088/32770624 swapFree=0/437392
[pid=8713] ppid=8710 vsize=31768 CPUtime=0.01 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 698 0 0 0 1 0 0 0 20 0 1 0 27808180 32530432 525 18446744073709551615 4194304 35031035 140735016069520 140735016069520 6429792 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 7942 525 240 7529 0 389 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 31768
[startup+0.200273 s]
/proc/loadavg: 1.85 1.97 2.03 3/181 8713
/proc/meminfo: memFree=31393088/32770624 swapFree=0/437392
[pid=8713] ppid=8710 vsize=35956 CPUtime=0.11 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 2018 0 0 0 11 0 0 0 20 0 1 0 27808180 36818944 1514 18446744073709551615 4194304 35031035 140735016069520 140735016069520 7408826 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 8989 1514 240 7529 0 1436 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 35956
[startup+0.300307 s]
/proc/loadavg: 1.85 1.97 2.03 3/181 8713
/proc/meminfo: memFree=31393088/32770624 swapFree=0/437392
[pid=8713] ppid=8710 vsize=54928 CPUtime=0.22 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 6730 0 0 0 21 1 0 0 20 0 1 0 27808180 56246272 5848 18446744073709551615 4194304 35031035 140735016069520 140735016069520 4224380 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 13732 5848 251 7529 0 6179 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 54928
[startup+0.700308 s]
/proc/loadavg: 1.85 1.97 2.03 3/181 8713
/proc/meminfo: memFree=31393088/32770624 swapFree=0/437392
[pid=8713] ppid=8710 vsize=166772 CPUtime=0.61 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 34165 0 0 0 57 4 0 0 20 0 1 0 27808180 170774528 33815 18446744073709551615 4194304 35031035 140735016069520 140735016069520 7408826 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 41693 33815 256 7529 0 34140 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 166772
[startup+1.5003 s]
/proc/loadavg: 1.85 1.97 2.03 3/182 8714
/proc/meminfo: memFree=31150740/32770624 swapFree=0/437388
[pid=8713] ppid=8710 vsize=362488 CPUtime=1.41 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 83844 0 0 0 131 10 0 0 20 0 1 0 27808180 371187712 83014 18446744073709551615 4194304 35031035 140735016069520 140735016061752 6429792 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 90622 83014 256 7529 0 83069 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 362488
[startup+3.1003 s]
/proc/loadavg: 1.85 1.97 2.03 3/182 8714
/proc/meminfo: memFree=30903736/32770624 swapFree=0/437152
[pid=8713] ppid=8710 vsize=738064 CPUtime=3.01 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 187017 0 0 0 279 22 0 0 20 0 1 0 27808180 755777536 176852 18446744073709551615 4194304 35031035 140735016069520 140735016061768 7408826 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184516 176852 256 7529 0 176963 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 738064
[startup+6.30034 s]
/proc/loadavg: 1.78 1.96 2.02 3/182 8714
/proc/meminfo: memFree=30684744/32770624 swapFree=0/437140
[pid=8713] ppid=8710 vsize=736968 CPUtime=6.21 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 404960 0 0 0 590 31 0 0 20 0 1 0 27808180 754655232 176783 18446744073709551615 4194304 35031035 140735016069520 140735016068520 7416231 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176783 295 7529 0 176689 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 736968
[startup+12.7003 s]
/proc/loadavg: 1.88 1.97 2.03 3/182 8715
/proc/meminfo: memFree=30684496/32770624 swapFree=0/437144
[pid=8713] ppid=8710 vsize=736968 CPUtime=12.61 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 568752 0 0 0 1224 37 0 0 20 0 1 0 27808180 754655232 176783 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4346776 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176783 295 7529 0 176689 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 736968
[startup+25.5004 s]
/proc/loadavg: 1.91 1.97 2.03 3/182 8715
/proc/meminfo: memFree=30684744/32770624 swapFree=0/437140
[pid=8713] ppid=8710 vsize=736968 CPUtime=25.41 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 729184 0 0 0 2497 44 0 0 20 0 1 0 27808180 754655232 176783 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376729 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176783 295 7529 0 176689 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 736968
[startup+51.1004 s]
/proc/loadavg: 1.94 1.98 2.03 3/182 8715
/proc/meminfo: memFree=30684640/32770624 swapFree=0/437136
[pid=8713] ppid=8710 vsize=736968 CPUtime=51.01 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 945321 0 0 0 5048 53 0 0 20 0 1 0 27808180 754655232 176783 18446744073709551615 4194304 35031035 140735016069520 140735016068520 7406570 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176783 295 7529 0 176689 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 736968
[startup+102.3 s]
/proc/loadavg: 1.97 1.98 2.03 3/182 8717
/proc/meminfo: memFree=30684556/32770624 swapFree=0/437160
[pid=8713] ppid=8710 vsize=736968 CPUtime=102.23 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1160610 0 0 0 10159 64 0 0 20 0 1 0 27808180 754655232 176783 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376729 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176783 295 7529 0 176689 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 736968
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/181 8719
/proc/meminfo: memFree=30684608/32770624 swapFree=0/437172
[pid=8713] ppid=8710 vsize=736968 CPUtime=162.23 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1313313 0 0 0 16153 70 0 0 20 0 1 0 27808180 754655232 176783 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176783 295 7529 0 176689 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 736968
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 8721
/proc/meminfo: memFree=30684496/32770624 swapFree=0/437184
[pid=8713] ppid=8710 vsize=736968 CPUtime=222.24 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1438413 0 0 0 22148 76 0 0 20 0 1 0 27808180 754655232 176783 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4346776 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176783 295 7529 0 176689 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 736968
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 8723
/proc/meminfo: memFree=30684080/32770624 swapFree=0/437200
[pid=8713] ppid=8710 vsize=736968 CPUtime=282.24 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1532345 0 0 0 28144 80 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 736968
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 8725
/proc/meminfo: memFree=30684212/32770624 swapFree=0/437208
[pid=8713] ppid=8710 vsize=736968 CPUtime=342.24 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1547417 0 0 0 34144 80 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 736968
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 8742
/proc/meminfo: memFree=30680700/32770624 swapFree=0/437240
[pid=8713] ppid=8710 vsize=736968 CPUtime=402.25 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1593066 0 0 0 40142 83 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 736968
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 8766
/proc/meminfo: memFree=30682012/32770624 swapFree=0/437264
[pid=8713] ppid=8710 vsize=736968 CPUtime=462.25 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1612809 0 0 0 46141 84 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 736968
[startup+522.3 s]
/proc/loadavg: 2.05 2.00 2.03 3/182 8768
/proc/meminfo: memFree=30685848/32770624 swapFree=0/437276
[pid=8713] ppid=8710 vsize=736968 CPUtime=522.25 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1613606 0 0 0 52141 84 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376684 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 736968
[startup+582.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/182 8770
/proc/meminfo: memFree=30683808/32770624 swapFree=0/437268
[pid=8713] ppid=8710 vsize=736968 CPUtime=582.26 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1614268 0 0 0 58142 84 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 7415432 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 736968
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 8838
/proc/meminfo: memFree=30679752/32770624 swapFree=0/437544
[pid=8713] ppid=8710 vsize=736968 CPUtime=1662.38 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1626425 0 0 0 166150 88 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 7405834 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 1662.38
Current children cumulated vsize (KiB) 736968
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8840
/proc/meminfo: memFree=30682660/32770624 swapFree=0/437568
[pid=8713] ppid=8710 vsize=736968 CPUtime=1722.39 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1627207 0 0 0 172151 88 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376729 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 1722.39
Current children cumulated vsize (KiB) 736968
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8842
/proc/meminfo: memFree=30682412/32770624 swapFree=0/437600
[pid=8713] ppid=8710 vsize=736968 CPUtime=1782.39 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1627869 0 0 0 178151 88 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376729 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (KiB) 736968
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8844
/proc/meminfo: memFree=30682660/32770624 swapFree=0/437616
[pid=8713] ppid=8710 vsize=736968 CPUtime=1842.4 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1628115 0 0 0 184152 88 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 1842.4
Current children cumulated vsize (KiB) 736968
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8846
/proc/meminfo: memFree=30681984/32770624 swapFree=0/437624
[pid=8713] ppid=8710 vsize=736968 CPUtime=1902.4 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1628786 0 0 0 190152 88 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376729 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 1902.4
Current children cumulated vsize (KiB) 736968
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 8848
/proc/meminfo: memFree=30682108/32770624 swapFree=0/437648
[pid=8713] ppid=8710 vsize=736968 CPUtime=1962.41 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1629462 0 0 0 196153 88 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376729 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 1962.41
Current children cumulated vsize (KiB) 736968
[startup+2022.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/181 8850
/proc/meminfo: memFree=30682328/32770624 swapFree=0/437684
[pid=8713] ppid=8710 vsize=736968 CPUtime=2022.41 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1629696 0 0 0 202153 88 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2022.41
Current children cumulated vsize (KiB) 736968
[startup+2082.3 s]
/proc/loadavg: 1.96 2.02 2.04 3/174 8898
/proc/meminfo: memFree=30730864/32770624 swapFree=0/437724
[pid=8713] ppid=8710 vsize=736968 CPUtime=2082.43 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1630479 0 0 0 208154 89 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4346776 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2082.43
Current children cumulated vsize (KiB) 736968
[startup+2142.3 s]
/proc/loadavg: 1.35 1.84 1.98 2/174 8900
/proc/meminfo: memFree=30731332/32770624 swapFree=0/437740
[pid=8713] ppid=8710 vsize=736968 CPUtime=2142.43 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1631262 0 0 0 214154 89 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 7415432 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2142.43
Current children cumulated vsize (KiB) 736968
[startup+2202.31 s]
/proc/loadavg: 1.13 1.68 1.92 2/177 8916
/proc/meminfo: memFree=30727620/32770624 swapFree=0/437764
[pid=8713] ppid=8710 vsize=736968 CPUtime=2202.44 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1632071 0 0 0 220155 89 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376729 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2202.44
Current children cumulated vsize (KiB) 736968
[startup+2262.3 s]
/proc/loadavg: 1.05 1.56 1.86 2/177 8918
/proc/meminfo: memFree=30727868/32770624 swapFree=0/437776
[pid=8713] ppid=8710 vsize=736968 CPUtime=2262.44 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1632853 0 0 0 226155 89 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2262.44
Current children cumulated vsize (KiB) 736968
[startup+2322.3 s]
/proc/loadavg: 1.02 1.46 1.81 2/174 8920
/proc/meminfo: memFree=30731768/32770624 swapFree=0/437788
[pid=8713] ppid=8710 vsize=736968 CPUtime=2322.44 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1633648 0 0 0 232155 89 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376729 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2322.44
Current children cumulated vsize (KiB) 736968
[startup+2382.3 s]
/proc/loadavg: 1.01 1.37 1.76 2/174 8922
/proc/meminfo: memFree=30731768/32770624 swapFree=0/437788
[pid=8713] ppid=8710 vsize=736968 CPUtime=2382.46 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1634430 0 0 0 238156 90 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376656 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2382.46
Current children cumulated vsize (KiB) 736968
[startup+2442.3 s]
/proc/loadavg: 1.00 1.31 1.71 2/174 8924
/proc/meminfo: memFree=30731768/32770624 swapFree=0/437800
[pid=8713] ppid=8710 vsize=736968 CPUtime=2442.46 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1635212 0 0 0 244156 90 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2442.46
Current children cumulated vsize (KiB) 736968
[startup+2502.3 s]
/proc/loadavg: 1.08 1.27 1.67 2/174 8926
/proc/meminfo: memFree=30731880/32770624 swapFree=0/437820
[pid=8713] ppid=8710 vsize=736968 CPUtime=2502.47 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1636036 0 0 0 250157 90 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2502.47
Current children cumulated vsize (KiB) 736968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 1.06 1.25 1.66 2/174 8926
/proc/meminfo: memFree=30731880/32770624 swapFree=0/437820
[pid=8713] ppid=8710 vsize=736968 CPUtime=2520.07 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1636036 0 0 0 251917 90 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 736968
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 8713 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 1.06 1.25 1.66 2/174 8926
/proc/meminfo: memFree=30731880/32770624 swapFree=0/437820
[pid=8713] ppid=8710 vsize=736968 CPUtime=2520.07 cores=1,3,5,7
/proc/8713/stat : 8713 (BTD) R 8710 8713 4057 0 -1 4202496 1636036 0 0 0 251917 90 0 0 20 0 1 0 27808180 754655232 176903 18446744073709551615 4194304 35031035 140735016069520 140735016068520 4376535 0 0 1 0 0 0 0 17 3 0 0 8 0 0 37130264 37226188 48144384 140735016075781 140735016075857 140735016075857 140735016079313 0
/proc/8713/statm: 184242 176903 295 7529 0 176689 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 736968
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.9
CPU time (s): 2520.08
CPU user time (s): 2519.17
CPU system time (s): 0.905094
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 738064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.17
system time used= 0.905094
maximum resident set size= 709340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1636036
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= 17
involuntary context switches= 642
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32985 second user time and 10.5607 second system time
The end