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 (15087 MiB free)
memory of node 1: 16384 MiB (15507 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391700-1568310502/watcher-4391700-1568310502 -o /tmp/evaluation-result-4391700-1568310502/solver-4391700-1568310502 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568305658-21707 --watchdog 2560 nacre_mini_release HOME/instance-4391700-1568310502.xml -complete -l100 -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=22689, runsolver pid=22686
[startup+0.100147 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 22690
/proc/meminfo: memFree=31314252/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=31212 memory=7248 CPUtime=0.1 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2360 0 0 0 10 0 0 0 20 0 1 0 407321652 31961088 1812 33554432000 4194304 4935366 140732735188864 140732735185864 139816545139685 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 7803 1812 558 181 0 1420 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31212 KiB
Current children cumulated memory: 7248 KiB
[startup+0.209746 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 22690
/proc/meminfo: memFree=31281304/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=50060 memory=26256 CPUtime=0.21 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 7453 0 0 0 20 1 0 0 20 0 1 0 407321652 51261440 6564 33554432000 4194304 4935366 140732735188864 140732735183688 139816545139685 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 12515 6564 571 181 0 6132 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50060 KiB
Current children cumulated memory: 26256 KiB
[startup+0.30969 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 22690
/proc/meminfo: memFree=31249268/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=70956 memory=47112 CPUtime=0.3 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 12623 0 0 0 29 1 0 0 20 0 1 0 407321652 72658944 11778 33554432000 4194304 4935366 140732735188864 140732735183544 139816545130602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 17739 11778 571 181 0 11356 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70956 KiB
Current children cumulated memory: 47112 KiB
[startup+0.700386 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22690
/proc/meminfo: memFree=31193884/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=122024 memory=97536 CPUtime=0.69 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 25274 0 0 0 66 3 0 0 20 0 1 0 407321652 124952576 24384 33554432000 4194304 4935366 140732735188864 140732735183544 139816545130333 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 30506 24384 571 181 0 24123 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122024 KiB
Current children cumulated memory: 97536 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22690
/proc/meminfo: memFree=31059344/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=229196 memory=203928 CPUtime=1.49 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 51824 0 0 0 143 6 0 0 20 0 1 0 407321652 234696704 50982 33554432000 4194304 4935366 140732735188864 140732735183464 4271828 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 57299 50982 571 181 0 50916 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 229196 KiB
Current children cumulated memory: 203928 KiB
[startup+3.10964 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22690
/proc/meminfo: memFree=30513248/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=458624 memory=431284 CPUtime=3.1 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 111887 0 0 0 298 12 0 0 20 0 1 0 407321652 469630976 107821 33554432000 4194304 4935366 140732735188864 140732735183464 139816545130602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 114656 107821 571 181 0 108273 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 458624 KiB
Current children cumulated memory: 431284 KiB
[startup+6.30036 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22690
/proc/meminfo: memFree=29687432/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859484 CPUtime=6.29 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 226310 0 0 0 604 25 0 0 20 0 1 0 407321652 911818752 214871 33554432000 4194304 4935366 140732735188864 140732735183464 139816546002968 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214871 589 181 0 216229 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859484 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22691
/proc/meminfo: memFree=29656944/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859504 CPUtime=12.69 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 433633 0 0 0 1236 33 0 0 20 0 1 0 407321652 911818752 214876 33554432000 4194304 4935366 140732735188864 140732735187112 139816545137182 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214876 594 181 0 216229 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859504 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22691
/proc/meminfo: memFree=29656900/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859520 CPUtime=25.48 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 643713 0 0 0 2509 39 0 0 20 0 1 0 407321652 911818752 214880 33554432000 4194304 4935366 140732735188864 140732735187112 4400723 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214880 598 181 0 216229 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859520 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22693
/proc/meminfo: memFree=29655428/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859520 CPUtime=51.1 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 915687 0 0 0 5057 53 0 0 20 0 1 0 407321652 911818752 214880 33554432000 4194304 4935366 140732735188864 140732735187112 139816546002963 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214880 598 181 0 216229 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859520 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 22698
/proc/meminfo: memFree=29655272/32770624 swapFree=66933276/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859520 CPUtime=102.28 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 1125766 0 0 0 10168 60 0 0 20 0 1 0 407321652 911818752 214880 33554432000 4194304 4935366 140732735188864 140732735187112 4400726 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214880 598 181 0 216229 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859520 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 22711
/proc/meminfo: memFree=29652980/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859520 CPUtime=162.28 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 1396308 0 0 0 16155 73 0 0 20 0 1 0 407321652 911818752 214880 33554432000 4194304 4935366 140732735188864 140732735187112 139816545132215 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214880 598 181 0 216229 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859520 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 22715
/proc/meminfo: memFree=29651336/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859520 CPUtime=222.27 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 1608726 0 0 0 22146 81 0 0 20 0 1 0 407321652 911818752 214880 33554432000 4194304 4935366 140732735188864 140732735187112 4400723 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214880 598 181 0 216229 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859520 KiB
[startup+282.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/200 22719
/proc/meminfo: memFree=29651048/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859520 CPUtime=282.26 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 1776074 0 0 0 28137 89 0 0 20 0 1 0 407321652 911818752 214880 33554432000 4194304 4935366 140732735188864 140732735187112 139816545132048 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214880 598 181 0 216229 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859520 KiB
[startup+342.3 s]
/proc/loadavg: 2.33 2.16 2.10 3/200 22725
/proc/meminfo: memFree=29649284/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859520 CPUtime=342.26 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2017019 0 0 0 34126 100 0 0 20 0 1 0 407321652 911818752 214880 33554432000 4194304 4935366 140732735188864 140732735187112 139816546002958 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214880 598 181 0 216229 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859520 KiB
[startup+402.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/199 22729
/proc/meminfo: memFree=29648544/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859520 CPUtime=402.25 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2194161 0 0 0 40116 109 0 0 20 0 1 0 407321652 911818752 214880 33554432000 4194304 4935366 140732735188864 140732735187112 139816546002963 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214880 598 181 0 216229 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859520 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/199 22734
/proc/meminfo: memFree=29648204/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859520 CPUtime=462.24 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2393864 0 0 0 46106 118 0 0 20 0 1 0 407321652 911818752 214880 33554432000 4194304 4935366 140732735188864 140732735187112 4400723 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214880 598 181 0 216229 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859520 KiB
[startup+522.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/199 22740
/proc/meminfo: memFree=29647016/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859520 CPUtime=522.24 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2608268 0 0 0 52098 126 0 0 20 0 1 0 407321652 911818752 214880 33554432000 4194304 4935366 140732735188864 140732735187112 4400723 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214880 598 181 0 216229 0
Current children cumulated CPU time: 522.24 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859520 KiB
[startup+582.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 22744
/proc/meminfo: memFree=29647300/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=859980 CPUtime=582.23 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2744130 0 0 0 58091 132 0 0 20 0 1 0 407321652 911818752 214995 33554432000 4194304 4935366 140732735188864 140732735187112 4400723 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 214995 598 181 0 216229 0
Current children cumulated CPU time: 582.23 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 859980 KiB
[startup+600.425 s]
# the end of solver process 22689 was just reported to runsolver
# cumulated CPU time of all completed processes: user=598.981 s, system=1.38386 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 22744
/proc/meminfo: memFree=29647160/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=860156 CPUtime=588.73 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2745097 0 0 0 58741 132 0 0 20 0 1 0 407321652 911818752 215039 33554432000 4194304 4935366 140732735188864 140732735187112 4400723 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 215039 598 181 0 216229 0
Current children cumulated CPU time: 588.73 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 860156 KiB
[startup+595.2 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 22744
/proc/meminfo: memFree=29646980/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=860268 CPUtime=595.13 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2745097 0 0 0 59381 132 0 0 20 0 1 0 407321652 911818752 215067 33554432000 4194304 4935366 140732735188864 140732735187112 139816546002963 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 215067 598 181 0 216229 0
Current children cumulated CPU time: 595.13 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 860268 KiB
[startup+598.4 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 22744
/proc/meminfo: memFree=29647176/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=860268 CPUtime=598.33 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2768870 0 0 0 59699 134 0 0 20 0 1 0 407321652 911818752 215067 33554432000 4194304 4935366 140732735188864 140732735187112 4400488 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 215067 598 181 0 216229 0
Current children cumulated CPU time: 598.33 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 860268 KiB
[startup+599.2 s]
/proc/loadavg: 2.00 2.07 2.07 3/199 22744
/proc/meminfo: memFree=29647168/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=860268 CPUtime=599.13 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2768870 0 0 0 59779 134 0 0 20 0 1 0 407321652 911818752 215067 33554432000 4194304 4935366 140732735188864 140732735187112 139816546002963 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 215067 598 181 0 216229 0
Current children cumulated CPU time: 599.13 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 860268 KiB
[startup+600 s]*
/proc/loadavg: 2.00 2.07 2.07 3/199 22744
/proc/meminfo: memFree=29647176/32770624 swapFree=66933280/67108860
[pid=22689] ppid=22686 vsize=890448 memory=860268 CPUtime=599.94 cores=0,2,4,6
/proc/22689/stat : 22689 (nacre_mini_rele) R 22686 22689 19999 0 -1 4202496 2768870 0 0 0 59860 134 0 0 20 0 1 0 407321652 911818752 215067 33554432000 4194304 4935366 140732735188864 140732735187112 139816546002973 0 0 4096 24578 0 0 0 17 4 0 0 0 0 0 7034520 7039168 39964672 140732735190011 140732735190117 140732735190117 140732735193026 0
/proc/22689/statm: 222612 215067 598 181 0 216229 0
Current children cumulated CPU time: 599.94 s
Current children cumulated vsize: 890448 KiB
Current children cumulated memory: 860268 KiB
[startup+600.4 s]*
/proc/loadavg: 2.00 2.07 2.07 3/199 22744
/proc/meminfo: memFree=30063516/32770624 swapFree=66933280/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 600.425
CPU time (s): 600.365
CPU user time (s): 598.981
CPU system time (s): 1.38386
CPU usage (%): 99.9899
Max. virtual memory (cumulated for all children) (KiB): 890448
Max. memory (cumulated for all children) (KiB): 860268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 598.981
system time used= 1.38386
maximum resident set size= 860764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2769260
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= 11
involuntary context switches= 476
# summary of solver processes directly reported to runsolver:
# pid: 22689
# total CPU time (s): 600.365
# total CPU user time (s): 598.981
# total CPU system time (s): 1.38386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.47162 second user time and 4.39586 second system time
The end