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 (6773 MiB free)
memory of node 1: 16384 MiB (9038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293368-1532471940/watcher-4293368-1532471940 -o /tmp/evaluation-result-4293368-1532471940/solver-4293368-1532471940 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532466477-17020 --watchdog 2580 BTD 12 2520 HOME/instance-4293368-1532471940.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=18440, runsolver pid=18437
[startup+0.100142 s]*
/proc/loadavg: 2.32 2.11 2.08 3/187 18441
/proc/meminfo: memFree=16189660/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33632 memory=3644 CPUtime=0.1 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 1093 0 0 0 10 0 0 0 20 0 1 0 64757191 34439168 911 33554432000 4194304 36388972 140725123893392 140725123893392 4292154 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8408 911 502 7861 0 512 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33632 KiB
Current children cumulated memory: 3644 KiB
[startup+0.209402 s]*
/proc/loadavg: 2.32 2.11 2.08 3/187 18441
/proc/meminfo: memFree=16189660/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33632 memory=3644 CPUtime=0.21 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 1093 0 0 0 21 0 0 0 20 0 1 0 64757191 34439168 911 33554432000 4194304 36388972 140725123893392 140725123892232 4356633 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8408 911 502 7861 0 512 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33632 KiB
Current children cumulated memory: 3644 KiB
[startup+0.309018 s]*
/proc/loadavg: 2.32 2.11 2.08 3/187 18441
/proc/meminfo: memFree=16189660/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33632 memory=3644 CPUtime=0.31 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 1093 0 0 0 31 0 0 0 20 0 1 0 64757191 34439168 911 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8408 911 502 7861 0 512 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33632 KiB
Current children cumulated memory: 3644 KiB
[startup+0.700268 s]
/proc/loadavg: 2.32 2.11 2.08 3/187 18441
/proc/meminfo: memFree=16189660/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33632 memory=3644 CPUtime=0.69 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 1096 0 0 0 69 0 0 0 20 0 1 0 64757191 34439168 911 33554432000 4194304 36388972 140725123893392 140725123892232 4296272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8408 911 502 7861 0 512 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33632 KiB
Current children cumulated memory: 3644 KiB
[startup+1.50027 s]
/proc/loadavg: 2.32 2.11 2.08 3/187 18441
/proc/meminfo: memFree=16189304/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33632 memory=3644 CPUtime=1.49 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 1102 0 0 0 149 0 0 0 20 0 1 0 64757191 34439168 911 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8408 911 502 7861 0 512 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33632 KiB
Current children cumulated memory: 3644 KiB
[startup+3.10904 s]
/proc/loadavg: 2.29 2.11 2.08 3/187 18441
/proc/meminfo: memFree=16189304/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33764 memory=3920 CPUtime=3.1 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 1388 0 0 0 310 0 0 0 20 0 1 0 64757191 34574336 980 33554432000 4194304 36388972 140725123893392 140725123892232 4292046 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8441 980 522 7861 0 545 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33764 KiB
Current children cumulated memory: 3920 KiB
[startup+6.30027 s]
/proc/loadavg: 2.29 2.11 2.08 3/187 18441
/proc/meminfo: memFree=16188304/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33764 memory=3972 CPUtime=6.29 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 1678 0 0 0 628 1 0 0 20 0 1 0 64757191 34574336 993 33554432000 4194304 36388972 140725123893392 140725123892232 4470086 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8441 993 522 7861 0 545 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33764 KiB
Current children cumulated memory: 3972 KiB
[startup+12.7003 s]
/proc/loadavg: 2.27 2.11 2.08 3/187 18441
/proc/meminfo: memFree=16188640/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33764 memory=4000 CPUtime=12.69 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 1979 0 0 0 1267 2 0 0 20 0 1 0 64757191 34574336 1000 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8441 1000 522 7861 0 545 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33764 KiB
Current children cumulated memory: 4000 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 2.10 2.08 3/187 18441
/proc/meminfo: memFree=16188640/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33896 memory=4068 CPUtime=25.49 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 2588 0 0 0 2544 5 0 0 20 0 1 0 64757191 34709504 1017 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8474 1017 522 7861 0 578 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33896 KiB
Current children cumulated memory: 4068 KiB
[startup+51.109 s]
/proc/loadavg: 2.14 2.10 2.07 3/187 18441
/proc/meminfo: memFree=16188640/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33896 memory=4096 CPUtime=51.1 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 2915 0 0 0 5100 10 0 0 20 0 1 0 64757191 34709504 1024 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8474 1024 522 7861 0 578 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 33896 KiB
Current children cumulated memory: 4096 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/187 18449
/proc/meminfo: memFree=16189160/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33896 memory=4112 CPUtime=102.3 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 3244 0 0 0 10211 19 0 0 20 0 1 0 64757191 34709504 1028 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8474 1028 522 7861 0 578 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 33896 KiB
Current children cumulated memory: 4112 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/187 18450
/proc/meminfo: memFree=16188948/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=33896 memory=4152 CPUtime=162.3 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 3581 0 0 0 16199 31 0 0 20 0 1 0 64757191 34709504 1038 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8474 1038 522 7861 0 578 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 33896 KiB
Current children cumulated memory: 4152 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 18451
/proc/meminfo: memFree=16189228/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34028 memory=4196 CPUtime=222.3 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 3908 0 0 0 22182 48 0 0 20 0 1 0 64757191 34844672 1049 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8507 1049 522 7861 0 611 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 34028 KiB
Current children cumulated memory: 4196 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18452
/proc/meminfo: memFree=16188856/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34028 memory=4216 CPUtime=282.3 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 4253 0 0 0 28167 63 0 0 20 0 1 0 64757191 34844672 1054 33554432000 4194304 36388972 140725123893392 140725123892232 4296785 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8507 1054 522 7861 0 611 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 34028 KiB
Current children cumulated memory: 4216 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 18453
/proc/meminfo: memFree=16188980/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34028 memory=4232 CPUtime=342.3 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 4594 0 0 0 34155 75 0 0 20 0 1 0 64757191 34844672 1058 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8507 1058 522 7861 0 611 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 34028 KiB
Current children cumulated memory: 4232 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18454
/proc/meminfo: memFree=16189104/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34028 memory=4244 CPUtime=402.3 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 4918 0 0 0 40138 92 0 0 20 0 1 0 64757191 34844672 1061 33554432000 4194304 36388972 140725123893392 140725123892232 4296562 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8507 1061 522 7861 0 611 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 34028 KiB
Current children cumulated memory: 4244 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 18455
/proc/meminfo: memFree=16188872/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34028 memory=4260 CPUtime=462.3 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 5254 0 0 0 46126 104 0 0 20 0 1 0 64757191 34844672 1065 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8507 1065 522 7861 0 611 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 34028 KiB
Current children cumulated memory: 4260 KiB
################
# More data... #
################
Current children cumulated memory: 4392 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18532
/proc/meminfo: memFree=16188248/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4392 CPUtime=2082.35 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 13739 0 0 0 207685 550 0 0 20 0 1 0 64757191 34979840 1098 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1098 522 7861 0 644 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4392 KiB
[startup+2142.3 s]
/proc/loadavg: 2.29 2.08 2.07 3/187 18654
/proc/meminfo: memFree=16187432/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4400 CPUtime=2142.35 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 14106 0 0 0 213669 566 0 0 20 0 1 0 64757191 34979840 1100 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1100 523 7861 0 644 0
Current children cumulated CPU time: 2142.35 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4400 KiB
[startup+2202.3 s]
/proc/loadavg: 2.29 2.14 2.09 3/187 18655
/proc/meminfo: memFree=16187612/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4400 CPUtime=2202.35 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 14419 0 0 0 219652 583 0 0 20 0 1 0 64757191 34979840 1100 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1100 523 7861 0 644 0
Current children cumulated CPU time: 2202.35 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4400 KiB
[startup+2262.3 s]
/proc/loadavg: 2.11 2.11 2.08 3/187 18656
/proc/meminfo: memFree=16186984/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4400 CPUtime=2262.35 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 14719 0 0 0 225635 600 0 0 20 0 1 0 64757191 34979840 1100 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1100 523 7861 0 644 0
Current children cumulated CPU time: 2262.35 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4400 KiB
[startup+2322.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/187 18657
/proc/meminfo: memFree=16187076/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4412 CPUtime=2322.35 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 15036 0 0 0 231617 618 0 0 20 0 1 0 64757191 34979840 1103 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1103 523 7861 0 644 0
Current children cumulated CPU time: 2322.35 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4412 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 18658
/proc/meminfo: memFree=16187176/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4412 CPUtime=2382.36 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 15306 0 0 0 237595 641 0 0 20 0 1 0 64757191 34979840 1103 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1103 523 7861 0 644 0
Current children cumulated CPU time: 2382.36 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4412 KiB
[startup+2442.3 s]
/proc/loadavg: 2.35 2.14 2.09 3/187 18659
/proc/meminfo: memFree=16187176/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4412 CPUtime=2442.35 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 15607 0 0 0 243575 660 0 0 20 0 1 0 64757191 34979840 1103 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1103 523 7861 0 644 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4412 KiB
[startup+2502.3 s]
/proc/loadavg: 2.27 2.17 2.11 3/188 18668
/proc/meminfo: memFree=16186572/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4416 CPUtime=2502.36 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 15887 0 0 0 249554 682 0 0 20 0 1 0 64757191 34979840 1104 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1104 523 7861 0 644 0
Current children cumulated CPU time: 2502.36 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4416 KiB
[startup+2519.94 s]
# the end of solver process 18440 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.13 s, system=6.8852 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.25 2.17 2.10 3/188 18668
/proc/meminfo: memFree=16186572/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4416 CPUtime=2508.86 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 15887 0 0 0 250202 684 0 0 20 0 1 0 64757191 34979840 1104 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1104 523 7861 0 644 0
Current children cumulated CPU time: 2508.86 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4416 KiB
[startup+2515.2 s]
/proc/loadavg: 2.21 2.16 2.10 3/188 18668
/proc/meminfo: memFree=16186572/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4416 CPUtime=2515.26 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 15889 0 0 0 250839 687 0 0 20 0 1 0 64757191 34979840 1104 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1104 523 7861 0 644 0
Current children cumulated CPU time: 2515.26 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4416 KiB
[startup+2518.4 s]
/proc/loadavg: 2.21 2.16 2.10 3/188 18668
/proc/meminfo: memFree=16186572/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4416 CPUtime=2518.46 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 16166 0 0 0 251158 688 0 0 20 0 1 0 64757191 34979840 1104 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1104 523 7861 0 644 0
Current children cumulated CPU time: 2518.46 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4416 KiB
[startup+2519.2 s]
/proc/loadavg: 2.20 2.16 2.10 3/188 18668
/proc/meminfo: memFree=16186572/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4416 CPUtime=2519.26 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 16166 0 0 0 251238 688 0 0 20 0 1 0 64757191 34979840 1104 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1104 523 7861 0 644 0
Current children cumulated CPU time: 2519.26 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4416 KiB
[startup+2519.6 s]
/proc/loadavg: 2.20 2.16 2.10 3/188 18668
/proc/meminfo: memFree=16186572/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4416 CPUtime=2519.66 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 16166 0 0 0 251278 688 0 0 20 0 1 0 64757191 34979840 1104 33554432000 4194304 36388972 140725123893392 140725123892232 4296942 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1104 523 7861 0 644 0
Current children cumulated CPU time: 2519.66 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4416 KiB
[startup+2519.8 s]
/proc/loadavg: 2.20 2.16 2.10 3/188 18668
/proc/meminfo: memFree=16186572/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4416 CPUtime=2519.86 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 16166 0 0 0 251298 688 0 0 20 0 1 0 64757191 34979840 1104 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1104 523 7861 0 644 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4416 KiB
[startup+2519.9 s]
/proc/loadavg: 2.20 2.16 2.10 3/188 18668
/proc/meminfo: memFree=16186572/32770624 swapFree=67108860/67108860
[pid=18440] ppid=18437 vsize=34160 memory=4416 CPUtime=2519.96 cores=0,2,4,6
/proc/18440/stat : 18440 (BTD) R 18437 18440 16989 0 -1 4202496 16166 0 0 0 251308 688 0 0 20 0 1 0 64757191 34979840 1104 33554432000 4194304 36388972 140725123893392 140725123892232 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51953664 140725123896508 140725123896587 140725123896587 140725123899345 0
/proc/18440/statm: 8540 1104 523 7861 0 644 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 34160 KiB
Current children cumulated memory: 4416 KiB
Child status: 0
Real time (s): 2519.95
CPU time (s): 2520.01
CPU user time (s): 2513.13
CPU system time (s): 6.8852
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 34160
Max. memory (cumulated for all children) (KiB): 4416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.13
system time used= 6.8852
maximum resident set size= 4432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16429
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= 2
involuntary context switches= 1734
# summary of solver processes directly reported to runsolver:
# pid: 18440
# total CPU time (s): 2520.01
# total CPU user time (s): 2513.13
# total CPU system time (s): 6.8852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.66898 second user time and 15.377 second system time
The end