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 (9087 MiB free)
memory of node 1: 16384 MiB (12388 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299608-1532786253/watcher-4299608-1532786253 -o /tmp/evaluation-result-4299608-1532786253/solver-4299608-1532786253 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532773607-19387 --watchdog 2580 nacre_mini_release HOME/instance-4299608-1532786253.xml -ca -l100 -cm
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=22027, runsolver pid=22024
[startup+0.100196 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 22028
/proc/meminfo: memFree=21987424/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=29548 memory=6164 CPUtime=0.1 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 1727 0 0 0 10 0 0 0 20 0 1 0 96188430 30257152 1541 33554432000 4194304 4933779 140736726902928 140736726899928 139978607164389 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 7387 1541 603 181 0 1004 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29548 KiB
Current children cumulated memory: 6164 KiB
[startup+0.20948 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 22028
/proc/meminfo: memFree=21985936/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=31328 memory=7720 CPUtime=0.21 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 2197 0 0 0 21 0 0 0 20 0 1 0 96188430 32079872 1930 33554432000 4194304 4933779 140736726902928 140736726899928 139978607164389 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 7832 1930 603 181 0 1449 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31328 KiB
Current children cumulated memory: 7720 KiB
[startup+0.309139 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 22028
/proc/meminfo: memFree=21984960/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=32464 memory=9040 CPUtime=0.31 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 2473 0 0 0 31 0 0 0 20 0 1 0 96188430 33243136 2260 33554432000 4194304 4933779 140736726902928 140736726899928 4437432 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 8116 2260 603 181 0 1733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32464 KiB
Current children cumulated memory: 9040 KiB
[startup+0.700364 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22028
/proc/meminfo: memFree=21984152/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=34236 memory=10888 CPUtime=0.69 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 2975 0 0 0 69 0 0 0 20 0 1 0 96188430 35057664 2722 33554432000 4194304 4933779 140736726902928 140736726900440 4472686 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 8559 2722 603 181 0 2176 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34236 KiB
Current children cumulated memory: 10888 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22028
/proc/meminfo: memFree=21981920/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=37632 memory=13848 CPUtime=1.49 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 3810 0 0 0 149 0 0 0 20 0 1 0 96188430 38535168 3462 33554432000 4194304 4933779 140736726902928 140736726900616 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 9408 3462 603 181 0 3025 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 37632 KiB
Current children cumulated memory: 13848 KiB
[startup+3.10947 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22028
/proc/meminfo: memFree=21976092/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=41164 memory=17512 CPUtime=3.09 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 7778 0 0 0 309 0 0 0 20 0 1 0 96188430 42151936 4378 33554432000 4194304 4933779 140736726902928 140736726900680 4437558 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 10291 4378 603 181 0 3908 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41164 KiB
Current children cumulated memory: 17512 KiB
[startup+6.30033 s]
/proc/loadavg: 2.16 2.05 2.06 3/187 22028
/proc/meminfo: memFree=21972372/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=44940 memory=21408 CPUtime=6.29 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 12796 0 0 0 628 1 0 0 20 0 1 0 96188430 46018560 5352 33554432000 4194304 4933779 140736726902928 140736726900440 4437839 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 11235 5352 603 181 0 4852 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 44940 KiB
Current children cumulated memory: 21408 KiB
[startup+12.7004 s]
/proc/loadavg: 2.15 2.05 2.06 3/187 22028
/proc/meminfo: memFree=21967024/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=51412 memory=26776 CPUtime=12.68 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 19288 0 0 0 1267 1 0 0 20 0 1 0 96188430 52645888 6694 33554432000 4194304 4933779 140736726902928 140736726900616 4475935 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 12853 6694 603 181 0 6470 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 51412 KiB
Current children cumulated memory: 26776 KiB
[startup+25.5003 s]
/proc/loadavg: 2.12 2.04 2.05 3/187 22028
/proc/meminfo: memFree=21959200/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=57884 memory=33280 CPUtime=25.48 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 33756 0 0 0 2546 2 0 0 20 0 1 0 96188430 59273216 8320 33554432000 4194304 4933779 140736726902928 140736726900616 4365295 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 14471 8320 603 181 0 8088 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 57884 KiB
Current children cumulated memory: 33280 KiB
[startup+51.1094 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 22029
/proc/meminfo: memFree=21949780/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=65868 memory=41204 CPUtime=51.09 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 44318 0 0 0 5106 3 0 0 20 0 1 0 96188430 67448832 10301 33554432000 4194304 4933779 140736726902928 140736726900440 4437386 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 16467 10301 603 181 0 10084 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 65868 KiB
Current children cumulated memory: 41204 KiB
[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 22030
/proc/meminfo: memFree=21936896/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=76468 memory=51956 CPUtime=102.28 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 57404 0 0 0 10224 4 0 0 20 0 1 0 96188430 78303232 12989 33554432000 4194304 4933779 140736726902928 140736726900616 4437389 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 19117 12989 603 181 0 12734 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 76468 KiB
Current children cumulated memory: 51956 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 22039
/proc/meminfo: memFree=21920924/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=89196 memory=63344 CPUtime=162.27 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 72599 0 0 0 16221 6 0 0 20 0 1 0 96188430 91336704 15836 33554432000 4194304 4933779 140736726902928 140736726900632 4437462 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 22299 15836 603 181 0 15916 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 89196 KiB
Current children cumulated memory: 63344 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 22064
/proc/meminfo: memFree=21905484/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=97584 memory=72108 CPUtime=222.25 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 89337 0 0 0 22217 8 0 0 20 0 1 0 96188430 99926016 18027 33554432000 4194304 4933779 140736726902928 140736726900616 4437792 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 24396 18027 603 181 0 18013 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 97584 KiB
Current children cumulated memory: 72108 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 22065
/proc/meminfo: memFree=21896280/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=103904 memory=79220 CPUtime=282.24 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 92380 0 0 0 28215 9 0 0 20 0 1 0 96188430 106397696 19805 33554432000 4194304 4933779 140736726902928 140736726900616 4437824 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 25976 19805 603 181 0 19593 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 103904 KiB
Current children cumulated memory: 79220 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 22066
/proc/meminfo: memFree=21887484/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=109368 memory=84728 CPUtime=342.23 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 96590 0 0 0 34214 9 0 0 20 0 1 0 96188430 111992832 21182 33554432000 4194304 4933779 140736726902928 140736726900616 4437389 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 27342 21182 603 181 0 20959 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 109368 KiB
Current children cumulated memory: 84728 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 22067
/proc/meminfo: memFree=21874224/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=119776 memory=94528 CPUtime=402.23 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 103456 0 0 0 40212 11 0 0 20 0 1 0 96188430 122650624 23632 33554432000 4194304 4933779 140736726902928 140736726900616 4437581 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 29944 23632 603 181 0 23561 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 119776 KiB
Current children cumulated memory: 94528 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 22068
/proc/meminfo: memFree=21861900/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=129560 memory=104100 CPUtime=462.23 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 112397 0 0 0 46212 11 0 0 20 0 1 0 96188430 132669440 26025 33554432000 4194304 4933779 140736726902928 140736726900440 4437368 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 32390 26025 603 181 0 26007 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 129560 KiB
Current children cumulated memory: 104100 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22069
/proc/meminfo: memFree=21846632/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=140588 memory=114584 CPUtime=522.22 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 123666 0 0 0 52210 12 0 0 20 0 1 0 96188430 143962112 28646 33554432000 4194304 4933779 140736726902928 140736726900616 4437558 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 35147 28646 603 181 0 28764 0
Current children cumulated CPU time: 522.22 s
Current children cumulated vsize: 140588 KiB
Current children cumulated memory: 114584 KiB
[startup+543.949 s]
# the end of solver process 22027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=543.724 s, system=0.13499 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22069
/proc/meminfo: memFree=21844952/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=140852 memory=115180 CPUtime=524.71 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 123758 0 0 0 52459 12 0 0 20 0 1 0 96188430 144232448 28795 33554432000 4194304 4933779 140736726902928 140736726900680 4437536 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 35213 28795 603 181 0 28830 0
Current children cumulated CPU time: 524.71 s
Current children cumulated vsize: 140852 KiB
Current children cumulated memory: 115180 KiB
[startup+537.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22069
/proc/meminfo: memFree=21842580/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=142248 memory=117140 CPUtime=537.51 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 128600 0 0 0 53738 13 0 0 20 0 1 0 96188430 145661952 29285 33554432000 4194304 4933779 140736726902928 140736726900616 4380279 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 35562 29285 603 181 0 29179 0
Current children cumulated CPU time: 537.51 s
Current children cumulated vsize: 142248 KiB
Current children cumulated memory: 117140 KiB
[startup+540.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22069
/proc/meminfo: memFree=21842828/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=142380 memory=117308 CPUtime=540.71 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 129123 0 0 0 54058 13 0 0 20 0 1 0 96188430 145797120 29327 33554432000 4194304 4933779 140736726902928 140736726900680 139978608019674 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 35595 29327 603 181 0 29212 0
Current children cumulated CPU time: 540.71 s
Current children cumulated vsize: 142380 KiB
Current children cumulated memory: 117308 KiB
[startup+542.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22070
/proc/meminfo: memFree=21841736/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=143432 memory=118328 CPUtime=542.31 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 129570 0 0 0 54218 13 0 0 20 0 1 0 96188430 146874368 29582 33554432000 4194304 4933779 140736726902928 140736726900616 4437393 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 35858 29582 603 181 0 29475 0
Current children cumulated CPU time: 542.31 s
Current children cumulated vsize: 143432 KiB
Current children cumulated memory: 118328 KiB
[startup+543.2 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 22070
/proc/meminfo: memFree=21838988/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=143432 memory=119292 CPUtime=543.1 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 129614 0 0 0 54297 13 0 0 20 0 1 0 96188430 146874368 29823 33554432000 4194304 4933779 140736726902928 140736726900616 4437570 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 35858 29823 603 181 0 29475 0
Current children cumulated CPU time: 543.1 s
Current children cumulated vsize: 143432 KiB
Current children cumulated memory: 119292 KiB
[startup+543.6 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 22070
/proc/meminfo: memFree=21838988/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=143432 memory=119292 CPUtime=543.5 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 129619 0 0 0 54337 13 0 0 20 0 1 0 96188430 146874368 29823 33554432000 4194304 4933779 140736726902928 140736726900616 4437368 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 35858 29823 603 181 0 29475 0
Current children cumulated CPU time: 543.5 s
Current children cumulated vsize: 143432 KiB
Current children cumulated memory: 119292 KiB
[startup+543.8 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 22070
/proc/meminfo: memFree=21838988/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=143432 memory=119292 CPUtime=543.7 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 129620 0 0 0 54357 13 0 0 20 0 1 0 96188430 146874368 29823 33554432000 4194304 4933779 140736726902928 140736726900616 4437389 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 35858 29823 603 181 0 29475 0
Current children cumulated CPU time: 543.7 s
Current children cumulated vsize: 143432 KiB
Current children cumulated memory: 119292 KiB
[startup+543.9 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 22070
/proc/meminfo: memFree=21838988/32770624 swapFree=67108796/67108860
[pid=22027] ppid=22024 vsize=143432 memory=119292 CPUtime=543.8 cores=0,2,4,6
/proc/22027/stat : 22027 (nacre_mini_rele) R 22024 22027 24279 0 -1 4202496 129620 0 0 0 54367 13 0 0 20 0 1 0 96188430 146874368 29823 33554432000 4194304 4933779 140736726902928 140736726900616 4437547 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 39788544 140736726910104 140736726910204 140736726910204 140736726912962 0
/proc/22027/statm: 35858 29823 603 181 0 29475 0
Current children cumulated CPU time: 543.8 s
Current children cumulated vsize: 143432 KiB
Current children cumulated memory: 119292 KiB
Child status: 20
Real time (s): 543.949
CPU time (s): 543.859
CPU user time (s): 543.724
CPU system time (s): 0.13499
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 143432
Max. memory (cumulated for all children) (KiB): 119292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 543.724
system time used= 0.13499
maximum resident set size= 119376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129661
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= 59
involuntary context switches= 681
# summary of solver processes directly reported to runsolver:
# pid: 22027
# total CPU time (s): 543.859
# total CPU user time (s): 543.724
# total CPU system time (s): 0.13499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.92254 second user time and 3.97888 second system time
The end