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 (11703 MiB free)
memory of node 1: 16384 MiB (12652 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386817-1568281190/watcher-4386817-1568281190 -o /tmp/evaluation-result-4386817-1568281190/solver-4386817-1568281190 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568280856-8827 --watchdog 2580 BTD 2520 HOME/instance-4386817-1568281190.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=9312, runsolver pid=9309
[startup+0.100162 s]*
/proc/loadavg: 1.99 1.25 0.57 3/199 9313
/proc/meminfo: memFree=24939456/32770624 swapFree=66927076/67108860
[pid=9312] ppid=9309 vsize=33528 memory=3288 CPUtime=0.1 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 948 0 0 0 10 0 0 0 20 0 1 0 404366343 34332672 822 33554432000 4194304 36700936 140734947697072 140734947696120 4403906 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8382 822 498 7937 0 410 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33528 KiB
Current children cumulated memory: 3288 KiB
[startup+0.20948 s]*
/proc/loadavg: 1.99 1.27 0.58 3/199 9313
/proc/meminfo: memFree=24938664/32770624 swapFree=66927076/67108860
[pid=9312] ppid=9309 vsize=33528 memory=3288 CPUtime=0.21 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 951 0 0 0 21 0 0 0 20 0 1 0 404366343 34332672 822 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8382 822 498 7937 0 410 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33528 KiB
Current children cumulated memory: 3288 KiB
[startup+0.308981 s]*
/proc/loadavg: 1.99 1.27 0.58 3/199 9313
/proc/meminfo: memFree=24938664/32770624 swapFree=66927076/67108860
[pid=9312] ppid=9309 vsize=33528 memory=3288 CPUtime=0.31 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 954 0 0 0 31 0 0 0 20 0 1 0 404366343 34332672 822 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8382 822 498 7937 0 410 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33528 KiB
Current children cumulated memory: 3288 KiB
[startup+0.700277 s]
/proc/loadavg: 1.99 1.27 0.58 3/199 9313
/proc/meminfo: memFree=24938664/32770624 swapFree=66927076/67108860
[pid=9312] ppid=9309 vsize=33528 memory=3288 CPUtime=0.69 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 960 0 0 0 69 0 0 0 20 0 1 0 404366343 34332672 822 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8382 822 498 7937 0 410 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33528 KiB
Current children cumulated memory: 3288 KiB
[startup+1.50033 s]
/proc/loadavg: 1.99 1.27 0.58 3/199 9313
/proc/meminfo: memFree=24914804/32770624 swapFree=66927076/67108860
[pid=9312] ppid=9309 vsize=33528 memory=3288 CPUtime=1.49 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 962 0 0 0 148 1 0 0 20 0 1 0 404366343 34332672 822 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8382 822 498 7937 0 410 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33528 KiB
Current children cumulated memory: 3288 KiB
[startup+3.1091 s]
/proc/loadavg: 1.99 1.27 0.58 3/199 9313
/proc/meminfo: memFree=24937756/32770624 swapFree=66927076/67108860
[pid=9312] ppid=9309 vsize=33660 memory=3368 CPUtime=3.1 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 1229 0 0 0 307 3 0 0 20 0 1 0 404366343 34467840 842 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8415 842 498 7937 0 443 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33660 KiB
Current children cumulated memory: 3368 KiB
[startup+6.30027 s]
/proc/loadavg: 1.99 1.28 0.59 3/199 9313
/proc/meminfo: memFree=24938460/32770624 swapFree=66927076/67108860
[pid=9312] ppid=9309 vsize=33660 memory=3408 CPUtime=6.29 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 1506 0 0 0 624 5 0 0 20 0 1 0 404366343 34467840 852 33554432000 4194304 36700936 140734947697072 140734947696120 4770580 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8415 852 498 7937 0 443 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33660 KiB
Current children cumulated memory: 3408 KiB
[startup+12.7003 s]
/proc/loadavg: 1.99 1.29 0.60 3/199 9313
/proc/meminfo: memFree=24938876/32770624 swapFree=66927076/67108860
[pid=9312] ppid=9309 vsize=33660 memory=3436 CPUtime=12.69 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 1783 0 0 0 1259 10 0 0 20 0 1 0 404366343 34467840 859 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8415 859 498 7937 0 443 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33660 KiB
Current children cumulated memory: 3436 KiB
[startup+25.5003 s]
/proc/loadavg: 1.99 1.31 0.61 3/199 9314
/proc/meminfo: memFree=24939000/32770624 swapFree=66927076/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3500 CPUtime=25.49 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 2350 0 0 0 2525 24 0 0 20 0 1 0 404366343 34603008 875 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 875 498 7937 0 476 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3500 KiB
[startup+51.1091 s]
/proc/loadavg: 1.99 1.38 0.66 3/199 9316
/proc/meminfo: memFree=24938492/32770624 swapFree=66927076/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3536 CPUtime=51.1 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 2664 0 0 0 5060 50 0 0 20 0 1 0 404366343 34603008 884 33554432000 4194304 36700936 140734947697072 140734947696120 4770580 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 884 499 7937 0 476 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3536 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/200 9328
/proc/meminfo: memFree=24938028/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3556 CPUtime=102.28 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 2972 0 0 0 10137 91 0 0 20 0 1 0 404366343 34603008 889 33554432000 4194304 36700936 140734947697072 140734947696120 4771487 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 889 499 7937 0 476 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3556 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.57 0.81 3/200 9332
/proc/meminfo: memFree=24937380/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3564 CPUtime=162.27 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 3280 0 0 0 16086 141 0 0 20 0 1 0 404366343 34603008 891 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 891 499 7937 0 476 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3564 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.65 0.88 3/200 9338
/proc/meminfo: memFree=24936288/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3580 CPUtime=222.28 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 3587 0 0 0 22028 200 0 0 20 0 1 0 404366343 34603008 895 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 895 499 7937 0 476 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3580 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.71 0.95 3/200 9342
/proc/meminfo: memFree=24936952/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3596 CPUtime=282.27 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 3894 0 0 0 27979 248 0 0 20 0 1 0 404366343 34603008 899 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 899 499 7937 0 476 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3596 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.77 1.02 3/200 9346
/proc/meminfo: memFree=24936532/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3596 CPUtime=342.26 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 4206 0 0 0 33928 298 0 0 20 0 1 0 404366343 34603008 899 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 899 499 7937 0 476 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3596 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.81 1.08 3/199 9352
/proc/meminfo: memFree=24937028/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3608 CPUtime=402.26 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 4486 0 0 0 39877 349 0 0 20 0 1 0 404366343 34603008 902 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 902 499 7937 0 476 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3608 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.84 1.14 3/199 9356
/proc/meminfo: memFree=24937376/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3608 CPUtime=462.25 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 4765 0 0 0 45833 392 0 0 20 0 1 0 404366343 34603008 902 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 902 499 7937 0 476 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3608 KiB
[startup+502.346 s]
# the end of solver process 9312 was just reported to runsolver
# cumulated CPU time of all completed processes: user=498.076 s, system=4.22966 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 2.00 1.86 1.16 3/200 9359
/proc/meminfo: memFree=24936956/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3608 CPUtime=486.35 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 5071 0 0 0 48225 410 0 0 20 0 1 0 404366343 34603008 902 33554432000 4194304 36700936 140734947697072 140734947696120 4770580 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 902 499 7937 0 476 0
Current children cumulated CPU time: 486.35 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3608 KiB
[startup+492.8 s]
/proc/loadavg: 2.00 1.86 1.16 3/199 9359
/proc/meminfo: memFree=24937232/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3608 CPUtime=492.75 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 5071 0 0 0 48860 415 0 0 20 0 1 0 404366343 34603008 902 33554432000 4194304 36700936 140734947697072 140734947696120 4403904 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 902 499 7937 0 476 0
Current children cumulated CPU time: 492.75 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3608 KiB
[startup+499.2 s]
/proc/loadavg: 2.00 1.86 1.17 3/199 9359
/proc/meminfo: memFree=24937136/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33792 memory=3608 CPUtime=499.15 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 5072 0 0 0 49496 419 0 0 20 0 1 0 404366343 34603008 902 33554432000 4194304 36700936 140734947697072 140734947696120 4770580 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8448 902 499 7937 0 476 0
Current children cumulated CPU time: 499.15 s
Current children cumulated vsize: 33792 KiB
Current children cumulated memory: 3608 KiB
[startup+500.8 s]
/proc/loadavg: 2.00 1.86 1.17 3/199 9359
/proc/meminfo: memFree=24937136/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33924 memory=3608 CPUtime=500.75 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 5084 0 0 0 49654 421 0 0 20 0 1 0 404366343 34738176 902 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8481 902 499 7937 0 509 0
Current children cumulated CPU time: 500.75 s
Current children cumulated vsize: 33924 KiB
Current children cumulated memory: 3608 KiB
[startup+501.6 s]
/proc/loadavg: 2.00 1.86 1.17 3/199 9359
/proc/meminfo: memFree=24937136/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33924 memory=3608 CPUtime=501.55 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 5084 0 0 0 49734 421 0 0 20 0 1 0 404366343 34738176 902 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8481 902 499 7937 0 509 0
Current children cumulated CPU time: 501.55 s
Current children cumulated vsize: 33924 KiB
Current children cumulated memory: 3608 KiB
[startup+502 s]*
/proc/loadavg: 2.00 1.86 1.17 3/199 9359
/proc/meminfo: memFree=24937136/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33924 memory=3608 CPUtime=501.96 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 5084 0 0 0 49774 422 0 0 20 0 1 0 404366343 34738176 902 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8481 902 499 7937 0 509 0
Current children cumulated CPU time: 501.96 s
Current children cumulated vsize: 33924 KiB
Current children cumulated memory: 3608 KiB
[startup+502.2 s]
/proc/loadavg: 2.00 1.86 1.17 3/199 9359
/proc/meminfo: memFree=24937136/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33924 memory=3608 CPUtime=502.15 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 5084 0 0 0 49793 422 0 0 20 0 1 0 404366343 34738176 902 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8481 902 499 7937 0 509 0
Current children cumulated CPU time: 502.15 s
Current children cumulated vsize: 33924 KiB
Current children cumulated memory: 3608 KiB
[startup+502.3 s]
/proc/loadavg: 2.00 1.86 1.17 3/199 9359
/proc/meminfo: memFree=24937136/32770624 swapFree=66927080/67108860
[pid=9312] ppid=9309 vsize=33924 memory=3608 CPUtime=502.25 cores=1,3,5,7
/proc/9312/stat : 9312 (BTD) R 9309 9312 8795 0 -1 4202496 5084 0 0 0 49803 422 0 0 20 0 1 0 404366343 34738176 902 33554432000 4194304 36700936 140734947697072 140734947696120 8340231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38800048 38936640 55640064 140734947701800 140734947701876 140734947701876 140734947704785 0
/proc/9312/statm: 8481 902 499 7937 0 509 0
Current children cumulated CPU time: 502.25 s
Current children cumulated vsize: 33924 KiB
Current children cumulated memory: 3608 KiB
Child status: 0
Real time (s): 502.346
CPU time (s): 502.306
CPU user time (s): 498.076
CPU system time (s): 4.22966
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 33924
Max. memory (cumulated for all children) (KiB): 3608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 498.076
system time used= 4.22966
maximum resident set size= 3668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5128
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= 158
# summary of solver processes directly reported to runsolver:
# pid: 9312
# total CPU time (s): 502.306
# total CPU user time (s): 498.076
# total CPU system time (s): 4.22966
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89836 second user time and 3.15223 second system time
The end