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 (11752 MiB free)
memory of node 1: 16384 MiB (12663 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391703-1568310003/watcher-4391703-1568310003 -o /tmp/evaluation-result-4391703-1568310003/solver-4391703-1568310003 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568306919-15096 --watchdog 2560 nacre_mini_release HOME/instance-4391703-1568310003.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=15797, runsolver pid=15794
[startup+0.100464 s]*
/proc/loadavg: 2.00 2.00 2.00 3/199 15798
/proc/meminfo: memFree=24985860/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=43180 memory=19544 CPUtime=0.09 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5117 0 0 0 9 0 0 0 20 0 1 0 407161962 44216320 4886 33554432000 4194304 4935366 140729580102624 140729580097224 140460073865868 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 10795 4886 571 181 0 4412 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43180 KiB
Current children cumulated memory: 19544 KiB
[startup+0.209896 s]*
/proc/loadavg: 2.00 2.00 2.00 3/199 15798
/proc/meminfo: memFree=24964768/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=65372 memory=41456 CPUtime=0.21 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 10620 0 0 0 20 1 0 0 20 0 1 0 407161962 66940928 10364 33554432000 4194304 4935366 140729580102624 140729580097224 4272513 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 16343 10364 571 181 0 9960 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65372 KiB
Current children cumulated memory: 41456 KiB
[startup+0.309816 s]*
/proc/loadavg: 2.00 2.00 2.00 4/199 15798
/proc/meminfo: memFree=24945052/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=85268 memory=61256 CPUtime=0.3 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 15555 0 0 0 29 1 0 0 20 0 1 0 407161962 87314432 15314 33554432000 4194304 4935366 140729580102624 140729580097224 4271825 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 21317 15314 571 181 0 14934 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85268 KiB
Current children cumulated memory: 61256 KiB
[startup+0.700355 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15798
/proc/meminfo: memFree=24905248/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=162560 memory=137816 CPUtime=0.68 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 34720 0 0 0 65 3 0 0 20 0 1 0 407161962 166461440 34454 33554432000 4194304 4935366 140729580102624 140729580097224 4271828 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 40640 34454 571 181 0 34257 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162560 KiB
Current children cumulated memory: 137816 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15798
/proc/meminfo: memFree=24806668/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=324024 memory=298064 CPUtime=1.49 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 74761 0 0 0 140 9 0 0 20 0 1 0 407161962 331800576 74516 33554432000 4194304 4935366 140729580102624 140729580097224 4271828 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 81006 74516 571 181 0 74623 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 324024 KiB
Current children cumulated memory: 298064 KiB
[startup+3.10972 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15800
/proc/meminfo: memFree=24402744/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=650016 memory=621556 CPUtime=3.1 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 156305 0 0 0 291 19 0 0 20 0 1 0 407161962 665616384 155389 33554432000 4194304 4935366 140729580102624 140729580097224 140460073860844 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 162504 155389 571 181 0 156121 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 650016 KiB
Current children cumulated memory: 621556 KiB
[startup+6.3004 s]
/proc/loadavg: 1.92 1.99 1.99 3/199 15800
/proc/meminfo: memFree=23798428/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=1298172 memory=1264444 CPUtime=6.29 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 317949 0 0 0 589 40 0 0 20 0 1 0 407161962 1329328128 316111 33554432000 4194304 4935366 140729580102624 140729580097224 4271792 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 324543 316111 571 181 0 318160 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1298172 KiB
Current children cumulated memory: 1264444 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 1.99 1.99 3/199 15800
/proc/meminfo: memFree=22935752/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2104552 memory=2064632 CPUtime=12.68 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 621671 0 0 0 1202 66 0 0 20 0 1 0 407161962 2155061248 516158 33554432000 4194304 4935366 140729580102624 140729580101144 140460073865823 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526138 516158 589 181 0 519755 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2104552 KiB
Current children cumulated memory: 2064632 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 1.99 1.99 3/199 15800
/proc/meminfo: memFree=22935944/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2104684 memory=2064916 CPUtime=25.48 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 1147077 0 0 0 2461 87 0 0 20 0 1 0 407161962 2155196416 516229 33554432000 4194304 4935366 140729580102624 140729580100872 4212032 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526171 516229 598 181 0 519788 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2104684 KiB
Current children cumulated memory: 2064916 KiB
[startup+51.1099 s]
/proc/loadavg: 1.96 1.99 1.99 3/201 15811
/proc/meminfo: memFree=22934852/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2065796 CPUtime=51.07 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 1635127 0 0 0 5000 107 0 0 20 0 1 0 407161962 2155737088 516449 33554432000 4194304 4935366 140729580102624 140729580100216 4400924 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 516449 598 181 0 519920 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2065796 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/200 15814
/proc/meminfo: memFree=22934636/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2066460 CPUtime=102.27 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 2171674 0 0 0 10096 131 0 0 20 0 1 0 407161962 2155737088 516615 33554432000 4194304 4935366 140729580102624 140729580100216 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 516615 598 181 0 519920 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2066460 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/200 15818
/proc/meminfo: memFree=22933424/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2067252 CPUtime=162.26 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 2623525 0 0 0 16075 151 0 0 20 0 1 0 407161962 2155737088 516813 33554432000 4194304 4935366 140729580102624 140729580100216 4400244 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 516813 598 181 0 519920 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2067252 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/200 15822
/proc/meminfo: memFree=22932348/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2068048 CPUtime=222.26 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 3073921 0 0 0 22056 170 0 0 20 0 1 0 407161962 2155737088 517012 33554432000 4194304 4935366 140729580102624 140729580100216 140460074731037 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 517012 598 181 0 519920 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2068048 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/200 15828
/proc/meminfo: memFree=22932116/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2068840 CPUtime=282.26 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 3479911 0 0 0 28038 188 0 0 20 0 1 0 407161962 2155737088 517210 33554432000 4194304 4935366 140729580102624 140729580100216 140460074731037 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 517210 598 181 0 519920 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2068840 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.00 2.00 3/199 15832
/proc/meminfo: memFree=22931504/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2069636 CPUtime=342.25 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 3856527 0 0 0 34023 202 0 0 20 0 1 0 407161962 2155737088 517409 33554432000 4194304 4935366 140729580102624 140729580100216 140460074731037 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 517409 598 181 0 519920 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2069636 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/199 15836
/proc/meminfo: memFree=22930204/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2070428 CPUtime=402.25 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 4200871 0 0 0 40008 217 0 0 20 0 1 0 407161962 2155737088 517607 33554432000 4194304 4935366 140729580102624 140729580100216 140460073860776 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 517607 598 181 0 519920 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2070428 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/199 15842
/proc/meminfo: memFree=22929420/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2071228 CPUtime=462.24 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 4539227 0 0 0 45990 234 0 0 20 0 1 0 407161962 2155737088 517807 33554432000 4194304 4935366 140729580102624 140729580100216 140460074731037 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 517807 598 181 0 519920 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2071228 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15846
/proc/meminfo: memFree=22928604/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2072016 CPUtime=522.24 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 4853612 0 0 0 51975 249 0 0 20 0 1 0 407161962 2155737088 518004 33554432000 4194304 4935366 140729580102624 140729580100216 140460073877485 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518004 598 181 0 519920 0
Current children cumulated CPU time: 522.24 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2072016 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/199 15850
/proc/meminfo: memFree=22927780/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2072804 CPUtime=582.24 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5146713 0 0 0 57962 262 0 0 20 0 1 0 407161962 2155737088 518201 33554432000 4194304 4935366 140729580102624 140729580100216 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518201 598 181 0 519920 0
Current children cumulated CPU time: 582.24 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2072804 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/200 15864
/proc/meminfo: memFree=22926732/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2073596 CPUtime=642.24 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5411720 0 0 0 63951 273 0 0 20 0 1 0 407161962 2155737088 518399 33554432000 4194304 4935366 140729580102624 140729580100216 140460074731037 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518399 598 181 0 519920 0
Current children cumulated CPU time: 642.24 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2073596 KiB
[startup+671.564 s]
# the end of solver process 15797 was just reported to runsolver
# cumulated CPU time of all completed processes: user=668.658 s, system=2.85594 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+652.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/200 15865
/proc/meminfo: memFree=22926884/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2073724 CPUtime=652.74 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5411848 0 0 0 65001 273 0 0 20 0 1 0 407161962 2155737088 518431 33554432000 4194304 4935366 140729580102624 140729580100216 140460073865840 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518431 598 181 0 519920 0
Current children cumulated CPU time: 652.74 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2073724 KiB
[startup+659.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/200 15865
/proc/meminfo: memFree=22926684/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2073860 CPUtime=659.14 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5467117 0 0 0 65639 275 0 0 20 0 1 0 407161962 2155737088 518465 33554432000 4194304 4935366 140729580102624 140729580100216 4400201 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518465 598 181 0 519920 0
Current children cumulated CPU time: 659.14 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2073860 KiB
[startup+665.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/200 15866
/proc/meminfo: memFree=22927056/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2073860 CPUtime=665.54 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5525626 0 0 0 66276 278 0 0 20 0 1 0 407161962 2155737088 518465 33554432000 4194304 4935366 140729580102624 140729580100216 140460074731042 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518465 598 181 0 519920 0
Current children cumulated CPU time: 665.54 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2073860 KiB
[startup+668.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/200 15866
/proc/meminfo: memFree=22926628/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2073988 CPUtime=668.74 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5525626 0 0 0 66596 278 0 0 20 0 1 0 407161962 2155737088 518497 33554432000 4194304 4935366 140729580102624 140729580100216 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518497 598 181 0 519920 0
Current children cumulated CPU time: 668.74 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2073988 KiB
[startup+670.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/200 15866
/proc/meminfo: memFree=22926792/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2073988 CPUtime=670.34 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5525626 0 0 0 66756 278 0 0 20 0 1 0 407161962 2155737088 518497 33554432000 4194304 4935366 140729580102624 140729580100216 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518497 598 181 0 519920 0
Current children cumulated CPU time: 670.34 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2073988 KiB
[startup+671.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/200 15866
/proc/meminfo: memFree=22926792/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2073988 CPUtime=671.14 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5555529 0 0 0 66835 279 0 0 20 0 1 0 407161962 2155737088 518497 33554432000 4194304 4935366 140729580102624 140729580100216 140460074731037 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518497 598 181 0 519920 0
Current children cumulated CPU time: 671.14 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2073988 KiB
[startup+671.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/200 15866
/proc/meminfo: memFree=22926792/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2073988 CPUtime=671.34 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5555529 0 0 0 66855 279 0 0 20 0 1 0 407161962 2155737088 518497 33554432000 4194304 4935366 140729580102624 140729580100216 140460074731037 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518497 598 181 0 519920 0
Current children cumulated CPU time: 671.34 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2073988 KiB
[startup+671.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/200 15866
/proc/meminfo: memFree=22926792/32770624 swapFree=67004088/67108860
[pid=15797] ppid=15794 vsize=2105212 memory=2073988 CPUtime=671.44 cores=1,3,5,7
/proc/15797/stat : 15797 (nacre_mini_rele) R 15794 15797 15064 0 -1 4202496 5556058 0 0 0 66865 279 0 0 20 0 1 0 407161962 2155737088 518497 33554432000 4194304 4935366 140729580102624 140729580100216 140460073878403 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30597120 140729580110843 140729580110949 140729580110949 140729580113858 0
/proc/15797/statm: 526303 518497 598 181 0 519920 0
Current children cumulated CPU time: 671.44 s
Current children cumulated vsize: 2105212 KiB
Current children cumulated memory: 2073988 KiB
Child status: 20
Real time (s): 671.564
CPU time (s): 671.514
CPU user time (s): 668.658
CPU system time (s): 2.85594
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 2105212
Max. memory (cumulated for all children) (KiB): 2073988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 668.658
system time used= 2.85594
maximum resident set size= 2074052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5556176
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= 58
involuntary context switches= 528
# summary of solver processes directly reported to runsolver:
# pid: 15797
# total CPU time (s): 671.514
# total CPU user time (s): 668.658
# total CPU system time (s): 2.85594
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04919 second user time and 5.82716 second system time
The end