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 (7531 MiB free)
memory of node 1: 16384 MiB (13465 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386813-1568281179/watcher-4386813-1568281179 -o /tmp/evaluation-result-4386813-1568281179/solver-4386813-1568281179 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568280871-2370 --watchdog 2580 BTD 2520 HOME/instance-4386813-1568281179.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2558, runsolver pid=2555
[startup+0.100118 s]*
/proc/loadavg: 1.90 1.19 0.54 3/201 2559
/proc/meminfo: memFree=21482908/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=53696 memory=21308 CPUtime=0.1 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 4927 0 0 0 10 0 0 0 20 0 1 0 404059841 54984704 5327 33554432000 4194304 36700936 140727649942544 140727649942544 7949654 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 13424 5327 437 7937 0 5452 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53696 KiB
Current children cumulated memory: 21308 KiB
[startup+0.209757 s]*
/proc/loadavg: 1.90 1.19 0.54 3/201 2559
/proc/meminfo: memFree=21420372/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=83948 memory=51668 CPUtime=0.21 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 12485 0 0 0 19 2 0 0 20 0 1 0 404059841 85962752 12917 33554432000 4194304 36700936 140727649942544 140727649942544 7949654 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 20987 12917 440 7937 0 13015 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 83948 KiB
Current children cumulated memory: 51668 KiB
[startup+0.986189 s]*
/proc/loadavg: 1.90 1.19 0.54 3/201 2559
/proc/meminfo: memFree=21258216/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=276988 memory=244652 CPUtime=0.99 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 60745 0 0 0 89 10 0 0 20 0 1 0 404059841 283635712 61163 33554432000 4194304 36700936 140727649942544 140727649936728 7949654 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 69247 61163 440 7937 0 61275 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 276988 KiB
Current children cumulated memory: 244652 KiB
[startup+1.00963 s]*
/proc/loadavg: 1.90 1.19 0.54 3/201 2559
/proc/meminfo: memFree=21256728/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=278968 memory=246764 CPUtime=1.01 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 61248 0 0 0 91 10 0 0 20 0 1 0 404059841 285663232 61625 33554432000 4194304 36700936 140727649942544 140727649930280 7949654 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 69775 61691 440 7937 0 61803 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 278968 KiB
Current children cumulated memory: 246764 KiB
[startup+1.50028 s]
/proc/loadavg: 1.90 1.19 0.54 3/201 2559
/proc/meminfo: memFree=21225356/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=379844 memory=347348 CPUtime=1.49 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 86438 0 0 0 137 12 0 0 20 0 1 0 404059841 388960256 86837 33554432000 4194304 36700936 140727649942544 140727649930280 7944257 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 94961 86837 441 7937 0 86989 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 379844 KiB
Current children cumulated memory: 347348 KiB
[startup+3.10021 s]
/proc/loadavg: 1.90 1.19 0.54 3/201 2559
/proc/meminfo: memFree=20889312/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=701560 memory=669744 CPUtime=3.09 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 170548 0 0 0 287 22 0 0 20 0 1 0 404059841 718397440 167436 33554432000 4194304 36700936 140727649942544 140727649939800 4349812 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 175390 167436 480 7937 0 167418 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 701560 KiB
Current children cumulated memory: 669744 KiB
[startup+6.30028 s]
/proc/loadavg: 1.91 1.20 0.54 3/200 2559
/proc/meminfo: memFree=20798304/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=736804 memory=704988 CPUtime=6.29 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 265934 0 0 0 602 27 0 0 20 0 1 0 404059841 754487296 176247 33554432000 4194304 36700936 140727649942544 140727649941592 4350063 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 184201 176247 482 7937 0 176229 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 736804 KiB
Current children cumulated memory: 704988 KiB
[startup+12.7095 s]
/proc/loadavg: 1.91 1.21 0.55 3/200 2559
/proc/meminfo: memFree=20789960/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=741028 memory=709192 CPUtime=12.7 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 351438 0 0 0 1239 31 0 0 20 0 1 0 404059841 758812672 177298 33554432000 4194304 36700936 140727649942544 140727649941592 4413904 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 185257 177298 482 7937 0 177285 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 741028 KiB
Current children cumulated memory: 709192 KiB
[startup+25.5003 s]
/proc/loadavg: 1.93 1.25 0.58 3/200 2560
/proc/meminfo: memFree=20754828/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=770860 memory=739096 CPUtime=25.48 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 498272 0 0 0 2510 38 0 0 20 0 1 0 404059841 789360640 184774 33554432000 4194304 36700936 140727649942544 140727649941592 4330238 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 192715 184774 486 7937 0 184743 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 770860 KiB
Current children cumulated memory: 739096 KiB
[startup+51.1003 s]
/proc/loadavg: 1.96 1.31 0.61 3/201 2562
/proc/meminfo: memFree=20726824/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=790396 memory=758640 CPUtime=51.08 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 644133 0 0 0 5061 47 0 0 20 0 1 0 404059841 809365504 189660 33554432000 4194304 36700936 140727649942544 140727649941592 4349812 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 197599 189660 486 7937 0 189627 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 790396 KiB
Current children cumulated memory: 758640 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.42 0.69 3/202 2575
/proc/meminfo: memFree=20696732/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=804388 memory=772608 CPUtime=102.27 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 772989 0 0 0 10174 53 0 0 20 0 1 0 404059841 823693312 193152 33554432000 4194304 36700936 140727649942544 140727649941592 4347189 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 201097 193152 493 7937 0 193125 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 804388 KiB
Current children cumulated memory: 772608 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.52 0.77 3/201 2579
/proc/meminfo: memFree=20679324/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=806896 memory=775244 CPUtime=162.26 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 911665 0 0 0 16167 59 0 0 20 0 1 0 404059841 826261504 193811 33554432000 4194304 36700936 140727649942544 140727649941592 4350060 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 201724 193811 495 7937 0 193752 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 806896 KiB
Current children cumulated memory: 775244 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.61 0.85 3/201 2583
/proc/meminfo: memFree=20661304/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=810988 memory=779340 CPUtime=222.25 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 981502 0 0 0 22162 63 0 0 20 0 1 0 404059841 830451712 194835 33554432000 4194304 36700936 140727649942544 140727649941592 4347439 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 202747 194835 495 7937 0 194775 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 810988 KiB
Current children cumulated memory: 779340 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.68 0.92 3/201 2589
/proc/meminfo: memFree=20648132/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=810988 memory=779340 CPUtime=282.23 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1021733 0 0 0 28157 66 0 0 20 0 1 0 404059841 830451712 194835 33554432000 4194304 36700936 140727649942544 140727649941592 4350065 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 202747 194835 495 7937 0 194775 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 810988 KiB
Current children cumulated memory: 779340 KiB
[startup+342.3 s]
/proc/loadavg: 2.48 1.89 1.04 3/201 2593
/proc/meminfo: memFree=20634728/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=811516 memory=779868 CPUtime=342.21 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1088294 0 0 0 34152 69 0 0 20 0 1 0 404059841 830992384 194967 33554432000 4194304 36700936 140727649942544 140727649941592 4353574 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 202879 194967 495 7937 0 194907 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 811516 KiB
Current children cumulated memory: 779868 KiB
[startup+402.3 s]
/proc/loadavg: 2.18 1.91 1.10 3/199 2597
/proc/meminfo: memFree=17745316/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=812572 memory=780924 CPUtime=402.19 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1131335 0 0 0 40148 71 0 0 20 0 1 0 404059841 832073728 195231 33554432000 4194304 36700936 140727649942544 140727649941592 4350063 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 203143 195231 495 7937 0 195171 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 812572 KiB
Current children cumulated memory: 780924 KiB
[startup+462.3 s]
/proc/loadavg: 2.06 1.93 1.15 3/199 2603
/proc/meminfo: memFree=17093424/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=812572 memory=780924 CPUtime=462.18 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1167498 0 0 0 46145 73 0 0 20 0 1 0 404059841 832073728 195231 33554432000 4194304 36700936 140727649942544 140727649941592 4347376 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 203143 195231 495 7937 0 195171 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 812572 KiB
Current children cumulated memory: 780924 KiB
################
# More data... #
################
/proc/2558/statm: 204892 196985 495 7937 0 196920 0
Current children cumulated CPU time: 1722.08 s
Current children cumulated vsize: 819568 KiB
Current children cumulated memory: 787940 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/200 2747
/proc/meminfo: memFree=17081664/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=821020 memory=789476 CPUtime=1782.08 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1200632 0 0 0 178117 91 0 0 20 0 1 0 404059841 840724480 197369 33554432000 4194304 36700936 140727649942544 140727649941592 4344711 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205255 197369 495 7937 0 197283 0
Current children cumulated CPU time: 1782.08 s
Current children cumulated vsize: 821020 KiB
Current children cumulated memory: 789476 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/200 2751
/proc/meminfo: memFree=17081800/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=821416 memory=789872 CPUtime=1842.07 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1202493 0 0 0 184115 92 0 0 20 0 1 0 404059841 841129984 197468 33554432000 4194304 36700936 140727649942544 140727649941592 4620264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205354 197468 495 7937 0 197382 0
Current children cumulated CPU time: 1842.07 s
Current children cumulated vsize: 821416 KiB
Current children cumulated memory: 789872 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/201 2765
/proc/meminfo: memFree=17080820/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822076 memory=790532 CPUtime=1902.07 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1205576 0 0 0 190113 94 0 0 20 0 1 0 404059841 841805824 197633 33554432000 4194304 36700936 140727649942544 140727649941592 4361322 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205519 197633 495 7937 0 197547 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 822076 KiB
Current children cumulated memory: 790532 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/200 2769
/proc/meminfo: memFree=17079928/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=1962.07 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1207658 0 0 0 196112 95 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 4347439 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/200 2773
/proc/meminfo: memFree=17080056/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=2022.06 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1209661 0 0 0 202111 95 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 4349818 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 2022.06 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/200 2779
/proc/meminfo: memFree=17079720/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=2082.07 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1213552 0 0 0 208110 97 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 4347424 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/200 2783
/proc/meminfo: memFree=17079560/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=2142.07 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1215668 0 0 0 214109 98 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 7947264 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/199 2787
/proc/meminfo: memFree=17079316/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=2202.06 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1217037 0 0 0 220107 99 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 4350065 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 2202.06 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
[startup+2262.3 s]
/proc/loadavg: 2.16 2.03 1.89 3/193 2841
/proc/meminfo: memFree=20946960/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=2262.06 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1218971 0 0 0 226107 99 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 4350620 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
[startup+2322.3 s]
/proc/loadavg: 2.03 2.01 1.89 3/199 2857
/proc/meminfo: memFree=20882096/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=2322.06 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1220801 0 0 0 232106 100 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 4620281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/199 2861
/proc/meminfo: memFree=20882796/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=2382.06 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1222220 0 0 0 238105 101 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 4414298 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 2382.06 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/199 2867
/proc/meminfo: memFree=20881948/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=2442.06 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1224186 0 0 0 244104 102 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 4620281 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 2442.06 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/200 2879
/proc/meminfo: memFree=20880416/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=2502.05 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1225728 0 0 0 250102 103 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 4347439 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 2502.05 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 1.91 3/201 2882
/proc/meminfo: memFree=20880228/32770624 swapFree=66952812/67108860
[pid=2558] ppid=2555 vsize=822340 memory=790796 CPUtime=2519.75 cores=0,2,4,6
/proc/2558/stat : 2558 (BTD) R 2555 2558 2339 0 -1 4202496 1225984 0 0 0 251872 103 0 0 20 0 1 0 404059841 842076160 197699 33554432000 4194304 36700936 140727649942544 140727649941592 4347441 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 42909696 140727649944616 140727649944692 140727649944692 140727649947601 0
/proc/2558/statm: 205585 197699 495 7937 0 197613 0
Current children cumulated CPU time: 2519.75 s
Current children cumulated vsize: 822340 KiB
Current children cumulated memory: 790796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520 s]
# the end of solver process 2558 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.73 s, system=1.04293 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
CPU time (s): 2519.77
CPU user time (s): 2518.73
CPU system time (s): 1.04293
CPU usage (%): 99.9907
Max. virtual memory (cumulated for all children) (KiB): 822340
Max. memory (cumulated for all children) (KiB): 790796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.73
system time used= 1.04293
maximum resident set size= 790796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1225984
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= 96
involuntary context switches= 1319
# summary of solver processes directly reported to runsolver:
# pid: 2558
# total CPU time (s): 2519.77
# total CPU user time (s): 2518.73
# total CPU system time (s): 1.04293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6087 second user time and 16.7793 second system time
The end