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 (11757 MiB free)
memory of node 1: 16384 MiB (12664 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391683-1568309515/watcher-4391683-1568309515 -o /tmp/evaluation-result-4391683-1568309515/solver-4391683-1568309515 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568306919-15096 --watchdog 2560 nacre_mini_release HOME/instance-4391683-1568309515.xml -complete -l100 -cm
running on 4 cores: 1,3,5,7
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=15699, runsolver pid=15696
[startup+0.100158 s]*
/proc/loadavg: 1.91 2.02 2.00 3/201 15700
/proc/meminfo: memFree=24992960/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=43916 memory=20332 CPUtime=0.1 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 5307 0 0 0 10 0 0 0 20 0 1 0 407113130 44969984 5083 33554432000 4194304 4935366 140728218090480 140728218087480 4271851 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 10979 5083 572 181 0 4596 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43916 KiB
Current children cumulated memory: 20332 KiB
[startup+0.209964 s]*
/proc/loadavg: 1.91 2.02 2.00 3/201 15700
/proc/meminfo: memFree=24971384/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=65304 memory=41452 CPUtime=0.21 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 10601 0 0 0 20 1 0 0 20 0 1 0 407113130 66871296 10363 33554432000 4194304 4935366 140728218090480 140728218087480 140242908914191 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 16326 10363 572 181 0 9943 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65304 KiB
Current children cumulated memory: 41452 KiB
[startup+0.309875 s]*
/proc/loadavg: 1.91 2.02 2.00 3/201 15700
/proc/meminfo: memFree=24951668/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=85168 memory=61252 CPUtime=0.31 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 15535 0 0 0 30 1 0 0 20 0 1 0 407113130 87212032 15313 33554432000 4194304 4935366 140728218090480 140728218087480 4271828 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 21292 15313 572 181 0 14909 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 85168 KiB
Current children cumulated memory: 61252 KiB
[startup+0.700402 s]
/proc/loadavg: 1.91 2.02 2.00 3/200 15700
/proc/meminfo: memFree=24912060/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=161416 memory=137020 CPUtime=0.69 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 34435 0 0 0 66 3 0 0 20 0 1 0 407113130 165289984 34189 33554432000 4194304 4935366 140728218090480 140728218085080 140242908916709 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 40390 34255 572 181 0 34007 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 161416 KiB
Current children cumulated memory: 137020 KiB
[startup+1.50039 s]
/proc/loadavg: 1.91 2.02 2.00 3/200 15700
/proc/meminfo: memFree=24814968/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=321216 memory=295156 CPUtime=1.49 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 74057 0 0 0 142 7 0 0 20 0 1 0 407113130 328925184 73789 33554432000 4194304 4935366 140728218090480 140728218085080 4398853 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 80304 73789 572 181 0 73921 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 321216 KiB
Current children cumulated memory: 295156 KiB
[startup+3.10959 s]
/proc/loadavg: 1.75 1.99 1.99 3/200 15700
/proc/meminfo: memFree=24416804/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=643588 memory=614992 CPUtime=3.1 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 154344 0 0 0 294 16 0 0 20 0 1 0 407113130 659034112 153748 33554432000 4194304 4935366 140728218090480 140728218085080 140242908914420 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 160897 153748 572 181 0 154514 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 643588 KiB
Current children cumulated memory: 614992 KiB
[startup+6.30037 s]
/proc/loadavg: 1.75 1.99 1.99 3/200 15700
/proc/meminfo: memFree=23818708/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=1282440 memory=1248500 CPUtime=6.29 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 313664 0 0 0 594 35 0 0 20 0 1 0 407113130 1313218560 312125 33554432000 4194304 4935366 140728218090480 140728218085080 4398356 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 320610 312125 572 181 0 314227 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1282440 KiB
Current children cumulated memory: 1248500 KiB
[startup+12.7004 s]
/proc/loadavg: 1.77 1.99 1.99 3/200 15700
/proc/meminfo: memFree=22945748/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2100944 memory=2060628 CPUtime=12.69 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 619370 0 0 0 1205 64 0 0 20 0 1 0 407113130 2151366656 515157 33554432000 4194304 4935366 140728218090480 140728218089000 140242908909112 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525236 515157 590 181 0 518853 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2100944 KiB
Current children cumulated memory: 2060628 KiB
[startup+25.5004 s]
/proc/loadavg: 1.82 1.99 1.99 3/200 15700
/proc/meminfo: memFree=22944584/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2100944 memory=2060692 CPUtime=25.49 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 1507909 0 0 0 2450 99 0 0 20 0 1 0 407113130 2151366656 515173 33554432000 4194304 4935366 140728218090480 140728218088728 140242909779485 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525236 515173 599 181 0 518853 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2100944 KiB
Current children cumulated memory: 2060692 KiB
[startup+51.1098 s]
/proc/loadavg: 1.88 1.99 1.99 3/200 15702
/proc/meminfo: memFree=22940872/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2061396 CPUtime=51.1 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 2040148 0 0 0 4989 121 0 0 20 0 1 0 407113130 2152042496 515349 33554432000 4194304 4935366 140728218090480 140728218088072 140242909779480 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 515349 599 181 0 519018 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2061396 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/200 15706
/proc/meminfo: memFree=22939844/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2061928 CPUtime=102.29 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 2633135 0 0 0 10086 143 0 0 20 0 1 0 407113130 2152042496 515482 33554432000 4194304 4935366 140728218090480 140728218088072 4400723 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 515482 599 181 0 519018 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2061928 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/200 15710
/proc/meminfo: memFree=22938484/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2062760 CPUtime=162.31 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 3100296 0 0 0 16069 162 0 0 20 0 1 0 407113130 2152042496 515690 33554432000 4194304 4935366 140728218090480 140728218088072 4451756 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 515690 599 181 0 519018 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2062760 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/200 15716
/proc/meminfo: memFree=22937716/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2063540 CPUtime=222.3 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 3553528 0 0 0 22049 181 0 0 20 0 1 0 407113130 2152042496 515885 33554432000 4194304 4935366 140728218090480 140728218088072 4400723 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 515885 599 181 0 519018 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2063540 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/198 15720
/proc/meminfo: memFree=22938292/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2064380 CPUtime=282.3 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 3987759 0 0 0 28029 201 0 0 20 0 1 0 407113130 2152042496 516095 33554432000 4194304 4935366 140728218090480 140728218088072 4400723 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516095 599 181 0 519018 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2064380 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/199 15725
/proc/meminfo: memFree=22935928/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2065152 CPUtime=342.3 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 4314445 0 0 0 34016 214 0 0 20 0 1 0 407113130 2152042496 516288 33554432000 4194304 4935366 140728218090480 140728218088072 140242909779505 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516288 599 181 0 519018 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2065152 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15731
/proc/meminfo: memFree=22934820/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2065992 CPUtime=402.31 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 4786071 0 0 0 39996 235 0 0 20 0 1 0 407113130 2152042496 516498 33554432000 4194304 4935366 140728218090480 140728218088072 140242908925962 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516498 599 181 0 519018 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2065992 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15735
/proc/meminfo: memFree=22934268/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2066772 CPUtime=462.32 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 5035358 0 0 0 45988 244 0 0 20 0 1 0 407113130 2152042496 516693 33554432000 4194304 4935366 140728218090480 140728218088072 140242908909081 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516693 599 181 0 519018 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2066772 KiB
[startup+487.388 s]
# the end of solver process 15699 was just reported to runsolver
# cumulated CPU time of all completed processes: user=484.85 s, system=2.56325 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15735
/proc/meminfo: memFree=22934004/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2066932 CPUtime=473.62 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 5084793 0 0 0 47116 246 0 0 20 0 1 0 407113130 2152042496 516733 33554432000 4194304 4935366 140728218090480 140728218088072 140242909779480 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516733 599 181 0 519018 0
Current children cumulated CPU time: 473.62 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2066932 KiB
[startup+480 s]*
/proc/loadavg: 2.00 2.00 2.00 3/199 15736
/proc/meminfo: memFree=22933988/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2067052 CPUtime=480.02 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 5095401 0 0 0 47756 246 0 0 20 0 1 0 407113130 2152042496 516763 33554432000 4194304 4935366 140728218090480 140728218088072 140242909779495 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516763 599 181 0 519018 0
Current children cumulated CPU time: 480.02 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2067052 KiB
[startup+483.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15737
/proc/meminfo: memFree=22934104/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2067052 CPUtime=483.21 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 5132438 0 0 0 48073 248 0 0 20 0 1 0 407113130 2152042496 516763 33554432000 4194304 4935366 140728218090480 140728218088072 140242909779485 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516763 599 181 0 519018 0
Current children cumulated CPU time: 483.21 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2067052 KiB
[startup+484.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15737
/proc/meminfo: memFree=22934104/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2067052 CPUtime=484.81 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 5132438 0 0 0 48233 248 0 0 20 0 1 0 407113130 2152042496 516763 33554432000 4194304 4935366 140728218090480 140728218088072 4401304 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516763 599 181 0 519018 0
Current children cumulated CPU time: 484.81 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2067052 KiB
[startup+486.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15737
/proc/meminfo: memFree=22933812/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2067184 CPUtime=486.41 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 5132438 0 0 0 48393 248 0 0 20 0 1 0 407113130 2152042496 516796 33554432000 4194304 4935366 140728218090480 140728218088072 4401264 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516796 599 181 0 519018 0
Current children cumulated CPU time: 486.41 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2067184 KiB
[startup+486.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15737
/proc/meminfo: memFree=22933812/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2067184 CPUtime=486.81 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 5132438 0 0 0 48433 248 0 0 20 0 1 0 407113130 2152042496 516796 33554432000 4194304 4935366 140728218090480 140728218088072 140242909781447 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516796 599 181 0 519018 0
Current children cumulated CPU time: 486.81 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2067184 KiB
[startup+487.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15737
/proc/meminfo: memFree=22933840/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2067184 CPUtime=487.21 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 5132438 0 0 0 48473 248 0 0 20 0 1 0 407113130 2152042496 516796 33554432000 4194304 4935366 140728218090480 140728218088072 140242908915804 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516796 599 181 0 519018 0
Current children cumulated CPU time: 487.21 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2067184 KiB
[startup+487.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15737
/proc/meminfo: memFree=22933840/32770624 swapFree=67004088/67108860
[pid=15699] ppid=15696 vsize=2101604 memory=2067184 CPUtime=487.31 cores=1,3,5,7
/proc/15699/stat : 15699 (nacre_mini_rele) R 15696 15699 15064 0 -1 4202496 5132438 0 0 0 48483 248 0 0 20 0 1 0 407113130 2152042496 516796 33554432000 4194304 4935366 140728218090480 140728218088072 4400584 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 7077888 140728218096635 140728218096741 140728218096741 140728218099650 0
/proc/15699/statm: 525401 516796 599 181 0 519018 0
Current children cumulated CPU time: 487.31 s
Current children cumulated vsize: 2101604 KiB
Current children cumulated memory: 2067184 KiB
Child status: 20
Real time (s): 487.388
CPU time (s): 487.414
CPU user time (s): 484.85
CPU system time (s): 2.56325
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2101604
Max. memory (cumulated for all children) (KiB): 2067184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 484.85
system time used= 2.56325
maximum resident set size= 2067248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5132566
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= 41
involuntary context switches= 146
# summary of solver processes directly reported to runsolver:
# pid: 15699
# total CPU time (s): 487.414
# total CPU user time (s): 484.85
# total CPU system time (s): 2.56325
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1746 second user time and 3.47222 second system time
The end