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 (13595 MiB free)
memory of node 1: 16384 MiB (14214 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391399-1568310412/watcher-4391399-1568310412 -o /tmp/evaluation-result-4391399-1568310412/solver-4391399-1568310412 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23462 --watchdog 2560 nacre_mini_release HOME/instance-4391399-1568310412.xml -ca -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=25343, runsolver pid=25340
[startup+0.100164 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 25344
/proc/meminfo: memFree=28472424/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=30832 memory=7528 CPUtime=0.1 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 2064 0 0 0 10 0 0 0 20 0 1 0 407309007 31571968 1882 33554432000 4194304 4935366 140724137090912 140724137087912 140615528504293 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 7708 1882 613 181 0 1325 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30832 KiB
Current children cumulated memory: 7528 KiB
[startup+0.209708 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 25344
/proc/meminfo: memFree=28470936/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=32548 memory=9112 CPUtime=0.2 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 2478 0 0 0 20 0 0 0 20 0 1 0 407309007 33329152 2278 33554432000 4194304 4935366 140724137090912 140724137087912 140615528504293 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 8137 2278 613 181 0 1754 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32548 KiB
Current children cumulated memory: 9112 KiB
[startup+0.309104 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 25344
/proc/meminfo: memFree=28469180/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=33896 memory=10544 CPUtime=0.3 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 2811 0 0 0 30 0 0 0 20 0 1 0 407309007 34709504 2636 33554432000 4194304 4935366 140724137090912 140724137087912 4476241 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 8474 2636 613 181 0 2091 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33896 KiB
Current children cumulated memory: 10544 KiB
[startup+0.700296 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25344
/proc/meminfo: memFree=28466948/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=38052 memory=14504 CPUtime=0.7 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 3853 0 0 0 69 1 0 0 20 0 1 0 407309007 38965248 3626 33554432000 4194304 4935366 140724137090912 140724137088664 4461069 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 9513 3626 613 181 0 3130 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 38052 KiB
Current children cumulated memory: 14504 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25344
/proc/meminfo: memFree=28462404/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=45308 memory=21908 CPUtime=1.49 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 5693 0 0 0 148 1 0 0 20 0 1 0 407309007 46395392 5477 33554432000 4194304 4935366 140724137090912 140724137088664 140615528504293 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 11327 5477 613 181 0 4944 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45308 KiB
Current children cumulated memory: 21908 KiB
[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25344
/proc/meminfo: memFree=28448904/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=54880 memory=31268 CPUtime=3.1 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 13354 0 0 0 308 2 0 0 20 0 1 0 407309007 56197120 7817 33554432000 4194304 4935366 140724137090912 140724137088664 4458784 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 13720 7817 613 181 0 7337 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 54880 KiB
Current children cumulated memory: 31268 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25344
/proc/meminfo: memFree=28439588/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=64948 memory=41396 CPUtime=6.29 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 23379 0 0 0 627 2 0 0 20 0 1 0 407309007 66506752 10349 33554432000 4194304 4935366 140724137090912 140724137088664 4461073 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 16237 10349 613 181 0 9854 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 64948 KiB
Current children cumulated memory: 41396 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 25346
/proc/meminfo: memFree=28424320/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=79804 memory=56008 CPUtime=12.69 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 37397 0 0 0 1266 3 0 0 20 0 1 0 407309007 81719296 14002 33554432000 4194304 4935366 140724137090912 140724137088680 140615528504293 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 19951 14002 613 181 0 13568 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 79804 KiB
Current children cumulated memory: 56008 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25347
/proc/meminfo: memFree=28405732/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=98128 memory=74280 CPUtime=25.49 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 70956 0 0 0 2544 5 0 0 20 0 1 0 407309007 100483072 18570 33554432000 4194304 4935366 140724137090912 140724137088616 4461048 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 24532 18570 613 181 0 18149 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 98128 KiB
Current children cumulated memory: 74280 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25347
/proc/meminfo: memFree=28379652/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=123476 memory=99952 CPUtime=51.1 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 98516 0 0 0 5102 8 0 0 20 0 1 0 407309007 126439424 24988 33554432000 4194304 4935366 140724137090912 140724137088664 4461216 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 30869 24988 613 181 0 24486 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 123476 KiB
Current children cumulated memory: 99952 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 25353
/proc/meminfo: memFree=28340240/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=162800 memory=137984 CPUtime=102.28 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 134821 0 0 0 10215 13 0 0 20 0 1 0 407309007 166707200 34496 33554432000 4194304 4935366 140724137090912 140724137088664 4461244 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 40700 34496 613 181 0 34317 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 162800 KiB
Current children cumulated memory: 137984 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25357
/proc/meminfo: memFree=28300020/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=201004 memory=176284 CPUtime=162.25 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 179713 0 0 0 16206 19 0 0 20 0 1 0 407309007 205828096 44071 33554432000 4194304 4935366 140724137090912 140724137088616 4461238 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 50251 44071 613 181 0 43868 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 201004 KiB
Current children cumulated memory: 176284 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 25361
/proc/meminfo: memFree=28274752/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=225472 memory=201212 CPUtime=222.2 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 206500 0 0 0 22198 22 0 0 20 0 1 0 407309007 230883328 50303 33554432000 4194304 4935366 140724137090912 140724137088600 4461069 0 0 4096 24578 0 0 0 17 5 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 56368 50303 613 181 0 49985 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 225472 KiB
Current children cumulated memory: 201212 KiB
[startup+282.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/201 25375
/proc/meminfo: memFree=28248836/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=250016 memory=225816 CPUtime=282.18 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 216216 0 0 0 28193 25 0 0 20 0 1 0 407309007 256016384 56454 33554432000 4194304 4935366 140724137090912 140724137088600 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 62504 56454 613 181 0 56121 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 250016 KiB
Current children cumulated memory: 225816 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/200 25379
/proc/meminfo: memFree=28236360/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=262652 memory=238600 CPUtime=342.18 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 223719 0 0 0 34192 26 0 0 20 0 1 0 407309007 268955648 59650 33554432000 4194304 4935366 140724137090912 140724137088616 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 65663 59650 613 181 0 59280 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 262652 KiB
Current children cumulated memory: 238600 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25383
/proc/meminfo: memFree=28218376/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=279976 memory=255948 CPUtime=402.18 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 237149 0 0 0 40189 29 0 0 20 0 1 0 407309007 286695424 63987 33554432000 4194304 4935366 140724137090912 140724137088616 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 69994 63987 613 181 0 63611 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 279976 KiB
Current children cumulated memory: 255948 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 25389
/proc/meminfo: memFree=28206420/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=290712 memory=266792 CPUtime=462.18 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 251554 0 0 0 46187 31 0 0 20 0 1 0 407309007 297689088 66698 33554432000 4194304 4935366 140724137090912 140724137088616 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 72678 66698 613 181 0 66295 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 290712 KiB
Current children cumulated memory: 266792 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25393
/proc/meminfo: memFree=28196536/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=300492 memory=276376 CPUtime=522.18 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 266320 0 0 0 52185 33 0 0 20 0 1 0 407309007 307703808 69094 33554432000 4194304 4935366 140724137090912 140724137088600 4461227 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 75123 69094 613 181 0 68740 0
Current children cumulated CPU time: 522.18 s
Current children cumulated vsize: 300492 KiB
Current children cumulated memory: 276376 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25398
/proc/meminfo: memFree=28188388/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=309028 memory=284984 CPUtime=582.18 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 272198 0 0 0 58183 35 0 0 20 0 1 0 407309007 316444672 71246 33554432000 4194304 4935366 140724137090912 140724137088616 4389888 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 77257 71246 613 181 0 70874 0
Current children cumulated CPU time: 582.18 s
Current children cumulated vsize: 309028 KiB
Current children cumulated memory: 284984 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25404
/proc/meminfo: memFree=28180016/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=316504 memory=292724 CPUtime=642.14 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 290902 0 0 0 64176 38 0 0 20 0 1 0 407309007 324100096 73181 33554432000 4194304 4935366 140724137090912 140724137088616 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 79126 73181 613 181 0 72743 0
Current children cumulated CPU time: 642.14 s
Current children cumulated vsize: 316504 KiB
Current children cumulated memory: 292724 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25408
/proc/meminfo: memFree=28175196/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=320328 memory=296560 CPUtime=702.14 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 292968 0 0 0 70175 39 0 0 20 0 1 0 407309007 328015872 74140 33554432000 4194304 4935366 140724137090912 140724137088616 4461216 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 80082 74140 613 181 0 73699 0
Current children cumulated CPU time: 702.14 s
Current children cumulated vsize: 320328 KiB
Current children cumulated memory: 296560 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25413
/proc/meminfo: memFree=28170488/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=326004 memory=302244 CPUtime=762.13 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 296648 0 0 0 76173 40 0 0 20 0 1 0 407309007 333828096 75561 33554432000 4194304 4935366 140724137090912 140724137088600 4461227 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 81501 75561 613 181 0 75118 0
Current children cumulated CPU time: 762.13 s
Current children cumulated vsize: 326004 KiB
Current children cumulated memory: 302244 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 25419
/proc/meminfo: memFree=28165552/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=330396 memory=306428 CPUtime=822.14 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 301199 0 0 0 82172 42 0 0 20 0 1 0 407309007 338325504 76607 33554432000 4194304 4935366 140724137090912 140724137088616 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 82599 76607 613 181 0 76216 0
Current children cumulated CPU time: 822.14 s
Current children cumulated vsize: 330396 KiB
Current children cumulated memory: 306428 KiB
[startup+855.959 s]
# the end of solver process 25343 was just reported to runsolver
# cumulated CPU time of all completed processes: user=855.378 s, system=0.426987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+832 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 25426
/proc/meminfo: memFree=28165028/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=331496 memory=307580 CPUtime=831.85 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 301591 0 0 0 83143 42 0 0 20 0 1 0 407309007 339451904 76895 33554432000 4194304 4935366 140724137090912 140724137088600 4461250 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 82874 76895 613 181 0 76491 0
Current children cumulated CPU time: 831.85 s
Current children cumulated vsize: 331496 KiB
Current children cumulated memory: 307580 KiB
[startup+844.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25427
/proc/meminfo: memFree=28164116/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=331496 memory=307580 CPUtime=844.64 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 301780 0 0 0 84422 42 0 0 20 0 1 0 407309007 339451904 76895 33554432000 4194304 4935366 140724137090912 140724137088600 4461216 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 82874 76895 613 181 0 76491 0
Current children cumulated CPU time: 844.64 s
Current children cumulated vsize: 331496 KiB
Current children cumulated memory: 307580 KiB
[startup+851.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25427
/proc/meminfo: memFree=28164332/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=331628 memory=307580 CPUtime=851.04 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 301817 0 0 0 85062 42 0 0 20 0 1 0 407309007 339587072 76895 33554432000 4194304 4935366 140724137090912 140724137088664 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 82907 76895 613 181 0 76524 0
Current children cumulated CPU time: 851.04 s
Current children cumulated vsize: 331628 KiB
Current children cumulated memory: 307580 KiB
[startup+854.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25427
/proc/meminfo: memFree=28164208/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=331760 memory=307820 CPUtime=854.24 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 301841 0 0 0 85382 42 0 0 20 0 1 0 407309007 339722240 76955 33554432000 4194304 4935366 140724137090912 140724137088456 4461472 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 82940 76955 613 181 0 76557 0
Current children cumulated CPU time: 854.24 s
Current children cumulated vsize: 331760 KiB
Current children cumulated memory: 307820 KiB
[startup+855.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25427
/proc/meminfo: memFree=28164456/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=331760 memory=307820 CPUtime=855.04 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 301851 0 0 0 85462 42 0 0 20 0 1 0 407309007 339722240 76955 33554432000 4194304 4935366 140724137090912 140724137088456 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 82940 76955 613 181 0 76557 0
Current children cumulated CPU time: 855.04 s
Current children cumulated vsize: 331760 KiB
Current children cumulated memory: 307820 KiB
[startup+855.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25427
/proc/meminfo: memFree=28164456/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=331892 memory=307820 CPUtime=855.44 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 301856 0 0 0 85502 42 0 0 20 0 1 0 407309007 339857408 76955 33554432000 4194304 4935366 140724137090912 140724137088456 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 82973 76955 613 181 0 76590 0
Current children cumulated CPU time: 855.44 s
Current children cumulated vsize: 331892 KiB
Current children cumulated memory: 307820 KiB
[startup+855.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25427
/proc/meminfo: memFree=28164456/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=331892 memory=307820 CPUtime=855.64 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 301858 0 0 0 85522 42 0 0 20 0 1 0 407309007 339857408 76955 33554432000 4194304 4935366 140724137090912 140724137088424 4461116 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 82973 76955 613 181 0 76590 0
Current children cumulated CPU time: 855.64 s
Current children cumulated vsize: 331892 KiB
Current children cumulated memory: 307820 KiB
[startup+855.9 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 25427
/proc/meminfo: memFree=28164456/32770624 swapFree=67004752/67108860
[pid=25343] ppid=25340 vsize=331892 memory=307820 CPUtime=855.74 cores=1,3,5,7
/proc/25343/stat : 25343 (nacre_mini_rele) R 25340 25343 11220 0 -1 4202496 301862 0 0 0 85532 42 0 0 20 0 1 0 407309007 339857408 76955 33554432000 4194304 4935366 140724137090912 140724137088424 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 10268672 140724137096193 140724137096293 140724137096293 140724137099202 0
/proc/25343/statm: 82973 76955 613 181 0 76590 0
Current children cumulated CPU time: 855.74 s
Current children cumulated vsize: 331892 KiB
Current children cumulated memory: 307820 KiB
Child status: 20
Real time (s): 855.959
CPU time (s): 855.805
CPU user time (s): 855.378
CPU system time (s): 0.426987
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 331892
Max. memory (cumulated for all children) (KiB): 307820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 855.378
system time used= 0.426987
maximum resident set size= 308064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301904
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= 147
involuntary context switches= 1035
# summary of solver processes directly reported to runsolver:
# pid: 25343
# total CPU time (s): 855.805
# total CPU user time (s): 855.378
# total CPU system time (s): 0.426987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.24642 second user time and 6.48345 second system time
The end