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-4260515-1502248851/watcher-4260515-1502248851 -o /tmp/evaluation-result-4260515-1502248851/solver-4260515-1502248851 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502234853-1839 --watchdog 2580 BTD 2520 HOME/instance-4260515-1502248851.xml
pid=4941
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 4944
/proc/meminfo: memFree=31226140/32770624 swapFree=0/371540
[pid=4944] ppid=4941 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (runsolver) D 4941 4944 1774 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 72700374 24240128 107 18446744073709551615 4194304 4338465 140722113979664 140722113977304 140129579008727 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 10764288 140722113982677 140722113983049 140722113983049 140722113986506 0
/proc/4944/statm: 5918 107 54 36 0 2156 0
[startup+0.100132 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 4944
/proc/meminfo: memFree=31226140/32770624 swapFree=0/371540
[pid=4944] ppid=4941 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4944/stat : 4944 (runsolver) D 4941 4944 1774 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 72700374 24240128 107 18446744073709551615 4194304 4338465 140722113979664 140722113977304 140129579008727 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 10764288 140722113982677 140722113983049 140722113983049 140722113986506 0
/proc/4944/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200367 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 4944
/proc/meminfo: memFree=31226140/32770624 swapFree=0/371540
[pid=4944] ppid=4941 vsize=37256 CPUtime=0.09 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 2046 0 0 0 9 0 0 0 20 0 1 0 72700374 38150144 1910 18446744073709551615 4194304 35031035 140733454734544 140733454734544 7408826 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 9314 1910 231 7529 0 1761 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37256
[startup+0.300351 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 4944
/proc/meminfo: memFree=31226140/32770624 swapFree=0/371540
[pid=4944] ppid=4941 vsize=40680 CPUtime=0.19 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 2958 0 0 0 19 0 0 0 20 0 1 0 72700374 41656320 2807 18446744073709551615 4194304 35031035 140733454734544 140733454734544 4443392 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2807 291 7529 0 2617 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40680
[startup+0.700277 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 4944
/proc/meminfo: memFree=31226140/32770624 swapFree=0/371540
[pid=4944] ppid=4941 vsize=40680 CPUtime=0.59 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 2958 0 0 0 59 0 0 0 20 0 1 0 72700374 41656320 2807 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4443292 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2807 291 7529 0 2617 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 40680
[startup+1.50028 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 4945
/proc/meminfo: memFree=31216160/32770624 swapFree=0/371492
[pid=4944] ppid=4941 vsize=40680 CPUtime=1.39 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 2958 0 0 0 139 0 0 0 20 0 1 0 72700374 41656320 2807 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4445167 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2807 291 7529 0 2617 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 40680
[startup+3.10027 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 4945
/proc/meminfo: memFree=31216036/32770624 swapFree=0/371492
[pid=4944] ppid=4941 vsize=40680 CPUtime=2.99 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 2959 0 0 0 299 0 0 0 20 0 1 0 72700374 41656320 2807 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389929 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2807 291 7529 0 2617 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 40680
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 4945
/proc/meminfo: memFree=31216024/32770624 swapFree=0/371488
[pid=4944] ppid=4941 vsize=40680 CPUtime=6.19 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 2998 0 0 0 619 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389995 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 40680
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 2.04 3/186 4945
/proc/meminfo: memFree=31215164/32770624 swapFree=0/371492
[pid=4944] ppid=4941 vsize=40680 CPUtime=12.59 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3016 0 0 0 1259 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389570 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 40680
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/186 4946
/proc/meminfo: memFree=31216040/32770624 swapFree=0/371472
[pid=4944] ppid=4941 vsize=40680 CPUtime=25.39 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3052 0 0 0 2539 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389608 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 40680
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.04 3/186 4946
/proc/meminfo: memFree=31215928/32770624 swapFree=0/371460
[pid=4944] ppid=4941 vsize=40680 CPUtime=50.99 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3070 0 0 0 5099 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390000 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 40680
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 4948
/proc/meminfo: memFree=31215688/32770624 swapFree=0/371472
[pid=4944] ppid=4941 vsize=40680 CPUtime=102.2 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3090 0 0 0 10220 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390071 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 40680
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 4950
/proc/meminfo: memFree=31215592/32770624 swapFree=0/371492
[pid=4944] ppid=4941 vsize=40680 CPUtime=162.2 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3113 0 0 0 16220 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389979 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 40680
[startup+222.306 s]
/proc/loadavg: 2.05 2.01 2.05 3/188 4966
/proc/meminfo: memFree=31212664/32770624 swapFree=0/371516
[pid=4944] ppid=4941 vsize=40680 CPUtime=222.21 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3132 0 0 0 22221 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390071 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 40680
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 4968
/proc/meminfo: memFree=31212316/32770624 swapFree=0/371536
[pid=4944] ppid=4941 vsize=40680 CPUtime=282.21 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3132 0 0 0 28221 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390110 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 40680
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/185 4971
/proc/meminfo: memFree=31214916/32770624 swapFree=0/371556
[pid=4944] ppid=4941 vsize=40680 CPUtime=342.21 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3156 0 0 0 34221 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390075 0 0 1 0 0 0 0 17 2 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 40680
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4973
/proc/meminfo: memFree=31215316/32770624 swapFree=0/371568
[pid=4944] ppid=4941 vsize=40680 CPUtime=402.21 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3156 0 0 0 40221 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390000 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 40680
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4976
/proc/meminfo: memFree=31215480/32770624 swapFree=0/371584
[pid=4944] ppid=4941 vsize=40680 CPUtime=462.21 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3176 0 0 0 46221 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389897 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 40680
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4978
/proc/meminfo: memFree=31215092/32770624 swapFree=0/371596
[pid=4944] ppid=4941 vsize=40680 CPUtime=522.21 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3198 0 0 0 52221 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390000 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 40680
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 4980
/proc/meminfo: memFree=31215180/32770624 swapFree=0/371608
[pid=4944] ppid=4941 vsize=40680 CPUtime=582.2 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3217 0 0 0 58220 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390075 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 40680
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 5049
/proc/meminfo: memFree=31214156/32770624 swapFree=0/371876
[pid=4944] ppid=4941 vsize=40680 CPUtime=1602.14 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3570 0 0 0 160214 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390126 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 40680
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 5052
/proc/meminfo: memFree=31214484/32770624 swapFree=0/371900
[pid=4944] ppid=4941 vsize=40680 CPUtime=1662.14 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3589 0 0 0 166214 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389886 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 40680
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 5054
/proc/meminfo: memFree=31214468/32770624 swapFree=0/371912
[pid=4944] ppid=4941 vsize=40680 CPUtime=1722.14 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3612 0 0 0 172214 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389897 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 40680
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 5056
/proc/meminfo: memFree=31214416/32770624 swapFree=0/371932
[pid=4944] ppid=4941 vsize=40680 CPUtime=1782.13 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3631 0 0 0 178213 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390071 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 40680
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 5058
/proc/meminfo: memFree=31213868/32770624 swapFree=0/371948
[pid=4944] ppid=4941 vsize=40680 CPUtime=1842.13 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3651 0 0 0 184213 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389886 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 40680
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 5060
/proc/meminfo: memFree=31213588/32770624 swapFree=0/371960
[pid=4944] ppid=4941 vsize=40680 CPUtime=1902.13 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3674 0 0 0 190213 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390000 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 40680
[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 5062
/proc/meminfo: memFree=31214156/32770624 swapFree=0/371972
[pid=4944] ppid=4941 vsize=40680 CPUtime=1962.12 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3693 0 0 0 196212 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389886 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 40680
[startup+2022.3 s]
/proc/loadavg: 2.09 2.04 2.05 2/185 5312
/proc/meminfo: memFree=31250836/32770624 swapFree=0/372056
[pid=4944] ppid=4941 vsize=40680 CPUtime=2022.12 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3716 0 0 0 202212 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389893 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 40680
[startup+2082.3 s]
/proc/loadavg: 2.17 2.07 2.06 3/190 6376
/proc/meminfo: memFree=30390508/32770624 swapFree=0/373892
[pid=4944] ppid=4941 vsize=40680 CPUtime=2082.12 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3735 0 0 0 208212 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389991 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 40680
[startup+2142.3 s]
/proc/loadavg: 2.07 2.06 2.06 3/187 6439
/proc/meminfo: memFree=31189424/32770624 swapFree=0/373920
[pid=4944] ppid=4941 vsize=40680 CPUtime=2142.11 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3754 0 0 0 214211 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390071 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 40680
[startup+2202.31 s]
/proc/loadavg: 1.99 2.04 2.05 3/187 6441
/proc/meminfo: memFree=31189276/32770624 swapFree=0/373904
[pid=4944] ppid=4941 vsize=40680 CPUtime=2202.12 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3778 0 0 0 220212 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389893 0 0 1 0 0 0 0 17 0 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 2202.12
Current children cumulated vsize (KiB) 40680
[startup+2262.3 s]
/proc/loadavg: 2.14 2.08 2.06 3/187 6443
/proc/meminfo: memFree=31189308/32770624 swapFree=0/373912
[pid=4944] ppid=4941 vsize=40680 CPUtime=2262.11 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3797 0 0 0 226211 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389909 0 0 1 0 0 0 0 17 4 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 40680
[startup+2322.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/185 6446
/proc/meminfo: memFree=31189548/32770624 swapFree=0/373932
[pid=4944] ppid=4941 vsize=40680 CPUtime=2322.12 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3798 0 0 0 232212 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389570 0 0 1 0 0 0 0 17 4 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 2322.12
Current children cumulated vsize (KiB) 40680
[startup+2382.3 s]
/proc/loadavg: 2.07 2.07 2.05 3/186 6449
/proc/meminfo: memFree=31189908/32770624 swapFree=0/373932
[pid=4944] ppid=4941 vsize=40680 CPUtime=2382.12 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3820 0 0 0 238212 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389951 0 0 1 0 0 0 0 17 4 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 40680
[startup+2442.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/186 6451
/proc/meminfo: memFree=31190064/32770624 swapFree=0/373956
[pid=4944] ppid=4941 vsize=40680 CPUtime=2442.13 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3820 0 0 0 244213 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4389560 0 0 1 0 0 0 0 17 4 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 2442.13
Current children cumulated vsize (KiB) 40680
[startup+2502.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/186 6453
/proc/meminfo: memFree=31190044/32770624 swapFree=0/373948
[pid=4944] ppid=4941 vsize=40680 CPUtime=2502.13 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3843 0 0 0 250213 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390071 0 0 1 0 0 0 0 17 4 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 2502.13
Current children cumulated vsize (KiB) 40680
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.03 2.06 2.05 3/186 6453
/proc/meminfo: memFree=31190080/32770624 swapFree=0/373968
[pid=4944] ppid=4941 vsize=40680 CPUtime=2519.84 cores=0,2,4,6
/proc/4944/stat : 4944 (BTD) R 4941 4944 1774 0 -1 4202496 3843 0 0 0 251984 0 0 0 20 0 1 0 72700374 41656320 2836 18446744073709551615 4194304 35031035 140733454734544 140733454733112 4390126 0 0 1 0 0 0 0 17 4 0 0 10 0 0 37130264 37226188 55906304 140733454737924 140733454738000 140733454738000 140733454741457 0
/proc/4944/statm: 10170 2836 297 7529 0 2617 0
Current children cumulated CPU time (s) 2519.84
Current children cumulated vsize (KiB) 40680
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 4944 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.85
CPU user time (s): 2519.84
CPU system time (s): 0.007
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 40680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.84
system time used= 0.007
maximum resident set size= 11344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3843
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= 3
involuntary context switches= 2832
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54043 second user time and 8.12883 second system time
The end