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 (9920 MiB free)
memory of node 1: 16384 MiB (9645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391702-1568310128/watcher-4391702-1568310128 -o /tmp/evaluation-result-4391702-1568310128/solver-4391702-1568310128 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568305966-12715 --watchdog 2560 nacre_mini_release HOME/instance-4391702-1568310128.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
solver pid=13448, runsolver pid=13445
Current StackSize limit: 8192 KiB
[startup+0.100204 s]*
/proc/loadavg: 2.03 2.03 2.05 3/200 13449
/proc/meminfo: memFree=20020272/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=43532 memory=19792 CPUtime=0.1 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 5174 0 0 0 10 0 0 0 20 0 1 0 406952987 44576768 4948 33554432000 4194304 4935366 140730221085632 140730221083208 140168882379749 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 10883 4948 572 181 0 4500 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43532 KiB
Current children cumulated memory: 19792 KiB
[startup+0.209891 s]*
/proc/loadavg: 2.03 2.03 2.05 3/200 13449
/proc/meminfo: memFree=19998324/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=65052 memory=41176 CPUtime=0.21 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 10535 0 0 0 20 1 0 0 20 0 1 0 406952987 66613248 10294 33554432000 4194304 4935366 140730221085632 140730221080312 140168882389872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 16263 10294 572 181 0 9880 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65052 KiB
Current children cumulated memory: 41176 KiB
[startup+0.309782 s]*
/proc/loadavg: 2.03 2.03 2.05 3/200 13449
/proc/meminfo: memFree=19978856/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=84780 memory=60712 CPUtime=0.31 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 15424 0 0 0 30 1 0 0 20 0 1 0 406952987 86814720 15178 33554432000 4194304 4935366 140730221085632 140730221080312 140168882389872 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 21195 15178 572 181 0 14812 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 84780 KiB
Current children cumulated memory: 60712 KiB
[startup+0.700435 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 13449
/proc/meminfo: memFree=19939548/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=160664 memory=135952 CPUtime=0.69 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 34227 0 0 0 65 4 0 0 20 0 1 0 406952987 164519936 33988 33554432000 4194304 4935366 140730221085632 140730221080232 4398853 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 40166 33988 572 181 0 33783 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 160664 KiB
Current children cumulated memory: 135952 KiB
[startup+1.50043 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 13449
/proc/meminfo: memFree=19843376/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=319484 memory=293296 CPUtime=1.49 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 73560 0 0 0 140 9 0 0 20 0 1 0 406952987 327151616 73324 33554432000 4194304 4935366 140730221085632 140730221080312 4398356 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 79904 73324 572 181 0 73521 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 319484 KiB
Current children cumulated memory: 293296 KiB
[startup+3.10956 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 13449
/proc/meminfo: memFree=19449412/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=637568 memory=608968 CPUtime=3.1 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 152987 0 0 0 291 19 0 0 20 0 1 0 406952987 652869632 152176 33554432000 4194304 4935366 140730221085632 140730221080312 140168882379749 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 159425 152242 572 181 0 153042 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 637568 KiB
Current children cumulated memory: 608968 KiB
[startup+6.3003 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 13449
/proc/meminfo: memFree=18858588/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=1270836 memory=1236640 CPUtime=6.29 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 310806 0 0 0 592 37 0 0 20 0 1 0 406952987 1301336064 309160 33554432000 4194304 4935366 140730221085632 140730221080232 140168882388973 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 317709 309160 572 181 0 311326 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1270836 KiB
Current children cumulated memory: 1236640 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 13451
/proc/meminfo: memFree=17987332/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087156 memory=2046112 CPUtime=12.68 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 609995 0 0 0 1204 64 0 0 20 0 1 0 406952987 2137247744 511528 33554432000 4194304 4935366 140730221085632 140730221084152 140168882372152 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521789 511528 590 181 0 515406 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2087156 KiB
Current children cumulated memory: 2046112 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 13452
/proc/meminfo: memFree=17987916/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087156 memory=2046316 CPUtime=25.47 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 1131737 0 0 0 2462 85 0 0 20 0 1 0 406952987 2137247744 511579 33554432000 4194304 4935366 140730221085632 140730221083880 140168883244487 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521789 511579 599 181 0 515406 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 2087156 KiB
Current children cumulated memory: 2046316 KiB
[startup+51.1098 s]
/proc/loadavg: 1.94 2.01 2.04 3/200 13452
/proc/meminfo: memFree=17986940/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2047344 CPUtime=51.08 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 1522030 0 0 0 5005 103 0 0 20 0 1 0 406952987 2138058752 511836 33554432000 4194304 4935366 140730221085632 140730221083224 4400244 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 511836 599 181 0 515604 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2047344 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/200 13458
/proc/meminfo: memFree=17983892/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2048212 CPUtime=102.26 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 2080661 0 0 0 10098 128 0 0 20 0 1 0 406952987 2138058752 512053 33554432000 4194304 4935366 140730221085632 140730221083224 140168882388932 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 512053 599 181 0 515604 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2048212 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/200 13462
/proc/meminfo: memFree=17982968/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2049072 CPUtime=162.24 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 2538001 0 0 0 16076 148 0 0 20 0 1 0 406952987 2138058752 512268 33554432000 4194304 4935366 140730221085632 140730221083224 140168882388976 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 512268 599 181 0 515604 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2049072 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13466
/proc/meminfo: memFree=17981072/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2049928 CPUtime=222.23 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 2946110 0 0 0 22058 165 0 0 20 0 1 0 406952987 2138058752 512482 33554432000 4194304 4935366 140730221085632 140730221083224 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 512482 599 181 0 515604 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2049928 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13472
/proc/meminfo: memFree=17979524/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2050796 CPUtime=282.23 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 3360979 0 0 0 28040 183 0 0 20 0 1 0 406952987 2138058752 512699 33554432000 4194304 4935366 140730221085632 140730221083224 140168883242550 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 512699 599 181 0 515604 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2050796 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13476
/proc/meminfo: memFree=17979768/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2051660 CPUtime=342.23 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 3744159 0 0 0 34023 200 0 0 20 0 1 0 406952987 2138058752 512915 33554432000 4194304 4935366 140730221085632 140730221083224 140168883242550 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 512915 599 181 0 515604 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2051660 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13480
/proc/meminfo: memFree=17979256/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2052528 CPUtime=402.22 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 4106641 0 0 0 40007 215 0 0 20 0 1 0 406952987 2138058752 513132 33554432000 4194304 4935366 140730221085632 140730221083224 140168883242550 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 513132 599 181 0 515604 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2052528 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13486
/proc/meminfo: memFree=17978372/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2053392 CPUtime=462.22 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 4393540 0 0 0 45996 226 0 0 20 0 1 0 406952987 2138058752 513348 33554432000 4194304 4935366 140730221085632 140730221083224 140168883242545 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 513348 599 181 0 515604 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2053392 KiB
[startup+493.393 s]
# the end of solver process 13448 was just reported to runsolver
# cumulated CPU time of all completed processes: user=490.927 s, system=2.39897 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.01 2.04 3/199 13486
/proc/meminfo: memFree=17977172/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2053536 CPUtime=473.52 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 4430654 0 0 0 47125 227 0 0 20 0 1 0 406952987 2138058752 513384 33554432000 4194304 4935366 140730221085632 140730221083224 4400247 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 513384 599 181 0 515604 0
Current children cumulated CPU time: 473.52 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2053536 KiB
[startup+486.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13487
/proc/meminfo: memFree=17977912/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2053684 CPUtime=486.32 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 4501788 0 0 0 48402 230 0 0 20 0 1 0 406952987 2138058752 513421 33554432000 4194304 4935366 140730221085632 140730221083224 140168883242525 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 513421 599 181 0 515604 0
Current children cumulated CPU time: 486.32 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2053684 KiB
[startup+489.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13487
/proc/meminfo: memFree=17977820/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2053684 CPUtime=489.52 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 4552859 0 0 0 48720 232 0 0 20 0 1 0 406952987 2138058752 513421 33554432000 4194304 4935366 140730221085632 140730221083224 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 513421 599 181 0 515604 0
Current children cumulated CPU time: 489.52 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2053684 KiB
[startup+491.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13487
/proc/meminfo: memFree=17977820/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2053684 CPUtime=491.12 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 4552859 0 0 0 48880 232 0 0 20 0 1 0 406952987 2138058752 513421 33554432000 4194304 4935366 140730221085632 140730221083224 140168883244487 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 513421 599 181 0 515604 0
Current children cumulated CPU time: 491.12 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2053684 KiB
[startup+492 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 13487
/proc/meminfo: memFree=17977820/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2053684 CPUtime=491.93 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 4552859 0 0 0 48961 232 0 0 20 0 1 0 406952987 2138058752 513421 33554432000 4194304 4935366 140730221085632 140730221083224 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 513421 599 181 0 515604 0
Current children cumulated CPU time: 491.93 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2053684 KiB
[startup+492.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13487
/proc/meminfo: memFree=17977820/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2053824 CPUtime=492.72 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 4552859 0 0 0 49040 232 0 0 20 0 1 0 406952987 2138058752 513456 33554432000 4194304 4935366 140730221085632 140730221083224 140168883242525 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 513456 599 181 0 515604 0
Current children cumulated CPU time: 492.72 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2053824 KiB
[startup+493.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13487
/proc/meminfo: memFree=17977532/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2053824 CPUtime=493.12 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 4552859 0 0 0 49080 232 0 0 20 0 1 0 406952987 2138058752 513456 33554432000 4194304 4935366 140730221085632 140730221083224 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 513456 599 181 0 515604 0
Current children cumulated CPU time: 493.12 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2053824 KiB
[startup+493.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 13487
/proc/meminfo: memFree=17977532/32770624 swapFree=66959212/67108860
[pid=13448] ppid=13445 vsize=2087948 memory=2053824 CPUtime=493.22 cores=0,2,4,6
/proc/13448/stat : 13448 (nacre_mini_rele) R 13445 13448 11693 0 -1 4202496 4552859 0 0 0 49090 232 0 0 20 0 1 0 406952987 2138058752 513456 33554432000 4194304 4935366 140730221085632 140730221083224 140168883244487 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 27709440 140730221093883 140730221093989 140730221093989 140730221096898 0
/proc/13448/statm: 521987 513456 599 181 0 515604 0
Current children cumulated CPU time: 493.22 s
Current children cumulated vsize: 2087948 KiB
Current children cumulated memory: 2053824 KiB
Child status: 10
Real time (s): 493.393
CPU time (s): 493.326
CPU user time (s): 490.927
CPU system time (s): 2.39897
CPU usage (%): 99.9863
Max. virtual memory (cumulated for all children) (KiB): 2087948
Max. memory (cumulated for all children) (KiB): 2053824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 490.927
system time used= 2.39897
maximum resident set size= 2053888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4553112
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= 90
involuntary context switches= 463
# summary of solver processes directly reported to runsolver:
# pid: 13448
# total CPU time (s): 493.326
# total CPU user time (s): 490.927
# total CPU system time (s): 2.39897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.76781 second user time and 3.91456 second system time
The end