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 (6420 MiB free)
memory of node 1: 16384 MiB (12404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295294-1532574931/watcher-4295294-1532574931 -o /tmp/evaluation-result-4295294-1532574931/solver-4295294-1532574931 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532560795-15590 --watchdog 2580 BTD 12 2520 HOME/instance-4295294-1532574931.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=18551, runsolver pid=18548
[startup+0.100126 s]*
/proc/loadavg: 1.99 2.05 2.06 3/189 18552
/proc/meminfo: memFree=19252172/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=59516 memory=29284 CPUtime=0.1 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 7465 0 0 0 9 1 0 0 20 0 1 0 75056291 60944384 7321 33554432000 4194304 36388972 140721774406592 140721774406592 7657238 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 14879 7321 443 7861 0 6983 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 59516 KiB
Current children cumulated memory: 29284 KiB
[startup+0.209728 s]*
/proc/loadavg: 1.99 2.05 2.06 3/189 18552
/proc/meminfo: memFree=19223156/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=88424 memory=58060 CPUtime=0.21 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 14679 0 0 0 19 2 0 0 20 0 1 0 75056291 90546176 14515 33554432000 4194304 36388972 140721774406592 140721774406592 7657238 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 22106 14515 443 7861 0 14210 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 88424 KiB
Current children cumulated memory: 58060 KiB
[startup+0.309675 s]*
/proc/loadavg: 1.99 2.05 2.06 4/189 18552
/proc/meminfo: memFree=19197116/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=114560 memory=84196 CPUtime=0.3 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 21216 0 0 0 28 2 0 0 20 0 1 0 75056291 117309440 21049 33554432000 4194304 36388972 140721774406592 140721774406592 7657238 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 28640 21049 443 7861 0 20744 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114560 KiB
Current children cumulated memory: 84196 KiB
[startup+0.700353 s]
/proc/loadavg: 1.99 2.05 2.06 3/189 18552
/proc/meminfo: memFree=19145036/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=213824 memory=183460 CPUtime=0.69 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 46033 0 0 0 63 6 0 0 20 0 1 0 75056291 218955776 45865 33554432000 4194304 36388972 140721774406592 140721774406592 7657238 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 53456 45865 443 7861 0 45560 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 213824 KiB
Current children cumulated memory: 183460 KiB
[startup+1.50036 s]
/proc/loadavg: 1.99 2.05 2.06 3/189 18552
/proc/meminfo: memFree=19026684/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=299620 memory=269000 CPUtime=1.49 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 67497 0 0 0 140 9 0 0 20 0 1 0 75056291 306810880 67250 33554432000 4194304 36388972 140721774406592 140721774404424 4458219 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 74905 67250 490 7861 0 67009 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 299620 KiB
Current children cumulated memory: 269000 KiB
[startup+3.10951 s]
/proc/loadavg: 1.91 2.03 2.05 3/189 18552
/proc/meminfo: memFree=19002132/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=310252 memory=277060 CPUtime=3.1 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 133230 0 0 0 298 12 0 0 20 0 1 0 75056291 317698048 69265 33554432000 4194304 36388972 140721774406592 140721774404424 4460751 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 77563 69265 493 7861 0 69667 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 277060 KiB
[startup+6.30035 s]
/proc/loadavg: 1.91 2.03 2.05 3/189 18552
/proc/meminfo: memFree=19000740/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=311212 memory=277624 CPUtime=6.29 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 195990 0 0 0 615 14 0 0 20 0 1 0 75056291 318681088 69406 33554432000 4194304 36388972 140721774406592 140721774405432 4458223 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 77803 69406 493 7861 0 69907 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 311212 KiB
Current children cumulated memory: 277624 KiB
[startup+12.7003 s]
/proc/loadavg: 1.92 2.03 2.05 3/189 18552
/proc/meminfo: memFree=19000044/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=312812 memory=278924 CPUtime=12.69 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 262035 0 0 0 1252 17 0 0 20 0 1 0 75056291 320319488 69731 33554432000 4194304 36388972 140721774406592 140721774405432 4458223 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 78203 69731 502 7861 0 70307 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 312812 KiB
Current children cumulated memory: 278924 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 2.03 2.05 3/189 18552
/proc/meminfo: memFree=19000044/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=312972 memory=279032 CPUtime=25.49 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 325613 0 0 0 2528 21 0 0 20 0 1 0 75056291 320483328 69758 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 78243 69758 502 7861 0 70347 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 312972 KiB
Current children cumulated memory: 279032 KiB
[startup+51.1098 s]
/proc/loadavg: 1.96 2.02 2.05 3/190 18553
/proc/meminfo: memFree=18998564/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=313132 memory=279236 CPUtime=51.09 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 386866 0 0 0 5084 25 0 0 20 0 1 0 75056291 320647168 69809 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 78283 69809 502 7861 0 70387 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 313132 KiB
Current children cumulated memory: 279236 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.02 2.05 3/190 18554
/proc/meminfo: memFree=18997468/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=313452 memory=279728 CPUtime=102.27 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 476033 0 0 0 10194 33 0 0 20 0 1 0 75056291 320974848 69932 33554432000 4194304 36388972 140721774406592 140721774405432 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 78363 69932 502 7861 0 70467 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 313452 KiB
Current children cumulated memory: 279728 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/190 18555
/proc/meminfo: memFree=18996808/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=313452 memory=279772 CPUtime=162.25 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 493299 0 0 0 16187 38 0 0 20 0 1 0 75056291 320974848 69943 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 78363 69943 502 7861 0 70467 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 313452 KiB
Current children cumulated memory: 279772 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18617
/proc/meminfo: memFree=19002456/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=313452 memory=281512 CPUtime=222.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 496307 0 0 0 22180 44 0 0 20 0 1 0 75056291 320974848 70378 33554432000 4194304 36388972 140721774406592 140721774405432 4458226 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 78363 70378 502 7861 0 70467 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 313452 KiB
Current children cumulated memory: 281512 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18626
/proc/meminfo: memFree=19001252/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=313904 memory=281832 CPUtime=282.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 498009 0 0 0 28175 49 0 0 20 0 1 0 75056291 321437696 70458 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 78476 70458 502 7861 0 70580 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 313904 KiB
Current children cumulated memory: 281832 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18627
/proc/meminfo: memFree=19002024/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=314064 memory=281984 CPUtime=342.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 499712 0 0 0 34171 53 0 0 20 0 1 0 75056291 321601536 70496 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 78516 70496 502 7861 0 70620 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 314064 KiB
Current children cumulated memory: 281984 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/192 18629
/proc/meminfo: memFree=19002000/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=315184 memory=282992 CPUtime=402.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 501910 0 0 0 40167 57 0 0 20 0 1 0 75056291 322748416 70748 33554432000 4194304 36388972 140721774406592 140721774405432 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 78796 70748 502 7861 0 70900 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 315184 KiB
Current children cumulated memory: 282992 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 18630
/proc/meminfo: memFree=19000424/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=315344 memory=284320 CPUtime=462.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 503466 0 0 0 46163 61 0 0 20 0 1 0 75056291 322912256 71080 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 78836 71080 502 7861 0 70940 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 315344 KiB
Current children cumulated memory: 284320 KiB
################
# More data... #
################
/proc/18551/statm: 79132 71484 504 7861 0 71236 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 316528 KiB
Current children cumulated memory: 285936 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18671
/proc/meminfo: memFree=18999608/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316528 memory=285936 CPUtime=1782.23 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 521727 0 0 0 178057 166 0 0 20 0 1 0 75056291 324124672 71484 33554432000 4194304 36388972 140721774406592 140721774405432 4356279 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79132 71484 504 7861 0 71236 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 316528 KiB
Current children cumulated memory: 285936 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18672
/proc/meminfo: memFree=18999308/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=1842.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 522498 0 0 0 184054 170 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18673
/proc/meminfo: memFree=18999060/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=1902.23 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 523135 0 0 0 190049 174 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18675
/proc/meminfo: memFree=18998952/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=1962.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 523763 0 0 0 196045 179 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18676
/proc/meminfo: memFree=18998552/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=2022.23 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 524518 0 0 0 202041 182 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 8047815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18685
/proc/meminfo: memFree=18997708/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=2082.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 525153 0 0 0 208036 188 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 4458223 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18686
/proc/meminfo: memFree=18998732/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=2142.23 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 525751 0 0 0 214030 193 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 4460751 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 18687
/proc/meminfo: memFree=18998608/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=2202.23 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 526513 0 0 0 220026 197 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18688
/proc/meminfo: memFree=18998732/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=2262.23 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 527114 0 0 0 226022 201 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 18689
/proc/meminfo: memFree=18998600/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=2322.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 527719 0 0 0 232019 205 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 4460795 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18691
/proc/meminfo: memFree=18998860/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=2382.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 528332 0 0 0 238015 209 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18692
/proc/meminfo: memFree=18999164/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286068 CPUtime=2442.23 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 529129 0 0 0 244011 212 0 0 20 0 1 0 75056291 324288512 71517 33554432000 4194304 36388972 140721774406592 140721774405432 4458219 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71517 504 7861 0 71276 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286068 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 18693
/proc/meminfo: memFree=18999116/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286072 CPUtime=2502.24 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 529785 0 0 0 250007 217 0 0 20 0 1 0 75056291 324288512 71518 33554432000 4194304 36388972 140721774406592 140721774405432 4458418 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71518 504 7861 0 71276 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286072 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/190 18693
/proc/meminfo: memFree=18999300/32770624 swapFree=67108860/67108860
[pid=18551] ppid=18548 vsize=316688 memory=286072 CPUtime=2519.95 cores=1,3,5,7
/proc/18551/stat : 18551 (BTD) R 18548 18551 15558 0 -1 4202496 529949 0 0 0 251777 218 0 0 20 0 1 0 75056291 324288512 71518 33554432000 4194304 36388972 140721774406592 140721774405432 4627143 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 38489992 38625312 69488640 140721774408892 140721774408971 140721774408971 140721774411729 0
/proc/18551/statm: 79172 71518 504 7861 0 71276 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 316688 KiB
Current children cumulated memory: 286072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 18551 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.77 s, system=2.186 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.96
CPU user time (s): 2517.77
CPU system time (s): 2.186
CPU usage (%): 99.9978
Max. virtual memory (cumulated for all children) (KiB): 316688
Max. memory (cumulated for all children) (KiB): 286072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.77
system time used= 2.186
maximum resident set size= 286072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529949
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= 101
involuntary context switches= 997
# summary of solver processes directly reported to runsolver:
# pid: 18551
# total CPU time (s): 2519.96
# total CPU user time (s): 2517.77
# total CPU system time (s): 2.186
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4973 second user time and 19.0897 second system time
The end