runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6745 MiB free)
memory of node 1: 16384 MiB (13250 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294250-1532529949/watcher-4294250-1532529949 -o /tmp/evaluation-result-4294250-1532529949/solver-4294250-1532529949 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532529949-11173 --watchdog 2580 BTD 12 2520 HOME/instance-4294250-1532529949.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11201, runsolver pid=11198
[startup+0.100155 s]*
/proc/loadavg: 1.08 1.03 1.26 3/193 11206
/proc/meminfo: memFree=20474608/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=32764 memory=2884 CPUtime=0.1 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 900 0 0 0 10 0 0 0 20 0 1 0 70558237 33550336 721 33554432000 4194304 36388972 140724920218672 140724920218672 8047815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8191 721 505 7861 0 295 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32764 KiB
Current children cumulated memory: 2884 KiB
[startup+0.209835 s]*
/proc/loadavg: 1.08 1.03 1.26 4/193 11206
/proc/meminfo: memFree=20474236/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=32896 memory=2884 CPUtime=0.21 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 907 0 0 0 21 0 0 0 20 0 1 0 70558237 33685504 721 33554432000 4194304 36388972 140724920218672 140724920218672 8047815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8224 721 505 7861 0 328 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32896 KiB
Current children cumulated memory: 2884 KiB
[startup+0.309331 s]*
/proc/loadavg: 1.08 1.03 1.26 2/188 11214
/proc/meminfo: memFree=20474464/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=32896 memory=2884 CPUtime=0.3 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 913 0 0 0 30 0 0 0 20 0 1 0 70558237 33685504 721 33554432000 4194304 36388972 140724920218672 140724920218672 8047815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8224 721 505 7861 0 328 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32896 KiB
Current children cumulated memory: 2884 KiB
[startup+0.700266 s]
/proc/loadavg: 1.08 1.03 1.26 3/197 11226
/proc/meminfo: memFree=20467404/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=32896 memory=3148 CPUtime=0.69 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 928 0 0 0 68 1 0 0 20 0 1 0 70558237 33685504 787 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8224 787 526 7861 0 328 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32896 KiB
Current children cumulated memory: 3148 KiB
[startup+1.50023 s]
/proc/loadavg: 1.08 1.03 1.26 3/189 11263
/proc/meminfo: memFree=20472892/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33028 memory=3148 CPUtime=1.49 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 945 0 0 0 145 4 0 0 20 0 1 0 70558237 33820672 787 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8257 787 526 7861 0 361 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33028 KiB
Current children cumulated memory: 3148 KiB
[startup+3.10932 s]
/proc/loadavg: 1.08 1.03 1.26 3/193 11267
/proc/meminfo: memFree=20431336/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33028 memory=3308 CPUtime=3.1 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 1165 0 0 0 302 8 0 0 20 0 1 0 70558237 33820672 827 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8257 827 526 7861 0 361 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33028 KiB
Current children cumulated memory: 3308 KiB
[startup+6.3002 s]
/proc/loadavg: 1.23 1.06 1.27 3/193 11267
/proc/meminfo: memFree=20470556/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33160 memory=3392 CPUtime=6.29 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 1419 0 0 0 607 22 0 0 20 0 1 0 70558237 33955840 848 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8290 848 526 7861 0 394 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33160 KiB
Current children cumulated memory: 3392 KiB
[startup+12.7002 s]
/proc/loadavg: 1.29 1.07 1.27 3/193 11267
/proc/meminfo: memFree=20470556/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33292 memory=3456 CPUtime=12.69 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 1678 0 0 0 1216 53 0 0 20 0 1 0 70558237 34091008 864 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8323 864 526 7861 0 427 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33292 KiB
Current children cumulated memory: 3456 KiB
[startup+25.5002 s]
/proc/loadavg: 1.45 1.12 1.28 3/193 11267
/proc/meminfo: memFree=20470628/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33292 memory=3564 CPUtime=25.48 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 2143 0 0 0 2444 104 0 0 20 0 1 0 70558237 34091008 891 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8323 891 526 7861 0 427 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 33292 KiB
Current children cumulated memory: 3564 KiB
[startup+51.1002 s]*
/proc/loadavg: 1.64 1.19 1.30 3/193 11267
/proc/meminfo: memFree=20470760/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33424 memory=3636 CPUtime=51.1 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 2473 0 0 0 4903 207 0 0 20 0 1 0 70558237 34226176 909 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8356 909 526 7861 0 460 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 33424 KiB
Current children cumulated memory: 3636 KiB
[startup+102.3 s]
/proc/loadavg: 1.84 1.31 1.34 3/193 11268
/proc/meminfo: memFree=20470700/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33424 memory=3680 CPUtime=102.28 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 2826 0 0 0 9811 417 0 0 20 0 1 0 70558237 34226176 920 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8356 920 526 7861 0 460 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 33424 KiB
Current children cumulated memory: 3680 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.44 1.38 3/193 11269
/proc/meminfo: memFree=20470336/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33556 memory=3732 CPUtime=162.28 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 3148 0 0 0 15569 659 0 0 20 0 1 0 70558237 34361344 933 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8389 933 526 7861 0 493 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 33556 KiB
Current children cumulated memory: 3732 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.54 1.42 3/193 11270
/proc/meminfo: memFree=20470468/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33556 memory=3788 CPUtime=222.28 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 3471 0 0 0 21322 906 0 0 20 0 1 0 70558237 34361344 947 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8389 947 527 7861 0 493 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 33556 KiB
Current children cumulated memory: 3788 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.45 3/194 11279
/proc/meminfo: memFree=20469464/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33556 memory=3816 CPUtime=282.28 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 3714 0 0 0 27033 1195 0 0 20 0 1 0 70558237 34361344 954 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8389 954 527 7861 0 493 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 33556 KiB
Current children cumulated memory: 3816 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.49 3/191 11280
/proc/meminfo: memFree=20469972/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33556 memory=3844 CPUtime=342.28 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 4036 0 0 0 32765 1463 0 0 20 0 1 0 70558237 34361344 961 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8389 961 527 7861 0 493 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 33556 KiB
Current children cumulated memory: 3844 KiB
[startup+402.3 s]
/proc/loadavg: 1.94 1.73 1.52 3/191 11281
/proc/meminfo: memFree=20470276/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33556 memory=3848 CPUtime=402.27 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 4296 0 0 0 38471 1756 0 0 20 0 1 0 70558237 34361344 962 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8389 962 527 7861 0 493 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 33556 KiB
Current children cumulated memory: 3848 KiB
[startup+462.3 s]
/proc/loadavg: 1.98 1.78 1.54 3/191 11282
/proc/meminfo: memFree=20470276/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33556 memory=3864 CPUtime=462.26 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 4534 0 0 0 44182 2044 0 0 20 0 1 0 70558237 34361344 966 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8389 966 527 7861 0 493 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 33556 KiB
Current children cumulated memory: 3864 KiB
################
# More data... #
################
/proc/11201/statm: 8455 1011 527 7861 0 559 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4044 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.08 1.96 3/190 11347
/proc/meminfo: memFree=20471208/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4044 CPUtime=1842.26 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 10192 0 0 0 176029 8197 0 0 20 0 1 0 70558237 34631680 1011 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1011 527 7861 0 559 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4044 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 1.96 3/191 11349
/proc/meminfo: memFree=20471512/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4044 CPUtime=1902.26 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 10386 0 0 0 181789 8437 0 0 20 0 1 0 70558237 34631680 1011 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1011 527 7861 0 559 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4044 KiB
[startup+1962.3 s]
/proc/loadavg: 2.49 2.18 2.00 3/191 11350
/proc/meminfo: memFree=20471460/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4044 CPUtime=1962.27 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 10595 0 0 0 187547 8680 0 0 20 0 1 0 70558237 34631680 1011 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1011 527 7861 0 559 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4044 KiB
[startup+2022.3 s]
/proc/loadavg: 2.21 2.16 2.01 3/191 11351
/proc/meminfo: memFree=20471408/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4060 CPUtime=2022.26 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 10781 0 0 0 193286 8940 0 0 20 0 1 0 70558237 34631680 1015 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1015 527 7861 0 559 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4060 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.13 2.01 3/191 11359
/proc/meminfo: memFree=20471068/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4060 CPUtime=2082.26 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 10967 0 0 0 199041 9185 0 0 20 0 1 0 70558237 34631680 1015 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1015 527 7861 0 559 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4060 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.11 2.01 3/191 11360
/proc/meminfo: memFree=20470844/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4060 CPUtime=2142.26 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 11172 0 0 0 204767 9459 0 0 20 0 1 0 70558237 34631680 1015 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1015 527 7861 0 559 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4060 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.09 2.01 3/190 11361
/proc/meminfo: memFree=20471052/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4076 CPUtime=2202.26 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 11357 0 0 0 210490 9736 0 0 20 0 1 0 70558237 34631680 1019 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1019 527 7861 0 559 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4076 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.07 2.01 3/190 11362
/proc/meminfo: memFree=20470756/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4076 CPUtime=2262.27 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 11554 0 0 0 216224 10003 0 0 20 0 1 0 70558237 34631680 1019 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1019 527 7861 0 559 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4076 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.01 3/190 11363
/proc/meminfo: memFree=20470808/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4076 CPUtime=2322.26 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 11741 0 0 0 221943 10283 0 0 20 0 1 0 70558237 34631680 1019 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1019 527 7861 0 559 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4076 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/190 11365
/proc/meminfo: memFree=20470700/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4084 CPUtime=2382.27 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 11931 0 0 0 227659 10568 0 0 20 0 1 0 70558237 34631680 1021 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1021 527 7861 0 559 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4084 KiB
[startup+2442.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/190 11366
/proc/meminfo: memFree=20470652/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4084 CPUtime=2442.27 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 12122 0 0 0 233377 10850 0 0 20 0 1 0 70558237 34631680 1021 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1021 527 7861 0 559 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4084 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/190 11367
/proc/meminfo: memFree=20470724/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4084 CPUtime=2502.26 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 12305 0 0 0 239102 11124 0 0 20 0 1 0 70558237 34631680 1021 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1021 527 7861 0 559 0
Current children cumulated CPU time: 2502.26 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4084 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.04 2.01 3/190 11367
/proc/meminfo: memFree=20470848/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4084 CPUtime=2519.97 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 12486 0 0 0 240790 11207 0 0 20 0 1 0 70558237 34631680 1021 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1021 527 7861 0 559 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520 s]
# the end of solver process 11201 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2407.9 s, system=112.072 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.02 2.04 2.01 3/190 11367
/proc/meminfo: memFree=20470848/32770624 swapFree=67108860/67108860
[pid=11201] ppid=11198 vsize=33820 memory=4084 CPUtime=2519.97 cores=1,3,5,7
/proc/11201/stat : 11201 (BTD) R 11198 11201 4192 0 -1 4202496 12486 0 0 0 240790 11207 0 0 20 0 1 0 70558237 34631680 1021 33554432000 4194304 36388972 140724920218672 140724920217512 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 38965248 140724920227004 140724920227083 140724920227083 140724920229841 0
/proc/11201/statm: 8455 1021 527 7861 0 559 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 33820 KiB
Current children cumulated memory: 4084 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520
CPU time (s): 2519.98
CPU user time (s): 2407.9
CPU system time (s): 112.072
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 33820
Max. memory (cumulated for all children) (KiB): 4084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2407.9
system time used= 112.072
maximum resident set size= 4084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12486
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= 1500
# summary of solver processes directly reported to runsolver:
# pid: 11201
# total CPU time (s): 2519.98
# total CPU user time (s): 2407.9
# total CPU system time (s): 112.072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.21894 second user time and 17.0263 second system time
The end