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 (13597 MiB free)
memory of node 1: 16384 MiB (14216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391387-1568306618/watcher-4391387-1568306618 -o /tmp/evaluation-result-4391387-1568306618/solver-4391387-1568306618 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568301555-23462 --watchdog 2560 nacre_mini_release HOME/instance-4391387-1568306618.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=24292, runsolver pid=24289
[startup+0.100164 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 24293
/proc/meminfo: memFree=28478432/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=29556 memory=6368 CPUtime=0.1 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 1756 0 0 0 10 0 0 0 20 0 1 0 406929570 30265344 1592 33554432000 4194304 4935366 140724164703792 140724164701368 4389934 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 7389 1592 605 181 0 1006 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29556 KiB
Current children cumulated memory: 6368 KiB
[startup+0.209869 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 24293
/proc/meminfo: memFree=28477316/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=30612 memory=7160 CPUtime=0.21 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 2012 0 0 0 21 0 0 0 20 0 1 0 406929570 31346688 1790 33554432000 4194304 4935366 140724164703792 140724164701368 140176562004176 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 7653 1790 605 181 0 1270 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30612 KiB
Current children cumulated memory: 7160 KiB
[startup+0.309167 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 24293
/proc/meminfo: memFree=28476572/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=31472 memory=8216 CPUtime=0.31 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 2231 0 0 0 31 0 0 0 20 0 1 0 406929570 32227328 2054 33554432000 4194304 4935366 140724164703792 140724164701368 140176555826149 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 7868 2054 605 181 0 1485 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 8216 KiB
[startup+0.700292 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24293
/proc/meminfo: memFree=28474712/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=34316 memory=10856 CPUtime=0.69 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 2923 0 0 0 69 0 0 0 20 0 1 0 406929570 35139584 2714 33554432000 4194304 4935366 140724164703792 140724164701560 4461252 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 8579 2714 605 181 0 2196 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34316 KiB
Current children cumulated memory: 10856 KiB
[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24293
/proc/meminfo: memFree=28470620/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=38832 memory=15348 CPUtime=1.49 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 4056 0 0 0 148 1 0 0 20 0 1 0 406929570 39763968 3837 33554432000 4194304 4935366 140724164703792 140724164701560 140176555826149 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 9708 3837 605 181 0 3325 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38832 KiB
Current children cumulated memory: 15348 KiB
[startup+3.10977 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24293
/proc/meminfo: memFree=28462080/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=42588 memory=19240 CPUtime=3.1 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 8472 0 0 0 309 1 0 0 20 0 1 0 406929570 43610112 4810 33554432000 4194304 4935366 140724164703792 140724164701560 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 10647 4810 605 181 0 4264 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 42588 KiB
Current children cumulated memory: 19240 KiB
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24293
/proc/meminfo: memFree=28455376/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=47268 memory=23420 CPUtime=6.29 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 14031 0 0 0 628 1 0 0 20 0 1 0 406929570 48402432 5855 33554432000 4194304 4935366 140724164703792 140724164701480 140176555826149 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 11817 5855 605 181 0 5434 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 47268 KiB
Current children cumulated memory: 23420 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 24293
/proc/meminfo: memFree=28450124/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=52388 memory=28708 CPUtime=12.69 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 20678 0 0 0 1267 2 0 0 20 0 1 0 406929570 53645312 7177 33554432000 4194304 4935366 140724164703792 140724164701480 4461216 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 13097 7177 605 181 0 6714 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 52388 KiB
Current children cumulated memory: 28708 KiB
[startup+25.5004 s]
/proc/loadavg: 2.08 2.03 2.05 3/202 24296
/proc/meminfo: memFree=28434544/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=59324 memory=35668 CPUtime=25.49 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 36736 0 0 0 2546 3 0 0 20 0 1 0 406929570 60747776 8917 33554432000 4194304 4935366 140724164703792 140724164701496 4461191 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 14831 8917 605 181 0 8448 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 59324 KiB
Current children cumulated memory: 35668 KiB
[startup+51.1098 s]
/proc/loadavg: 2.12 2.04 2.05 3/201 24296
/proc/meminfo: memFree=28422376/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=67660 memory=44156 CPUtime=51.1 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 48302 0 0 0 5106 4 0 0 20 0 1 0 406929570 69283840 11039 33554432000 4194304 4935366 140724164703792 140724164701480 4418762 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 16915 11039 605 181 0 10532 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 67660 KiB
Current children cumulated memory: 44156 KiB
[startup+102.3 s]
/proc/loadavg: 2.69 2.21 2.11 3/202 24301
/proc/meminfo: memFree=28405924/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=78544 memory=53860 CPUtime=102.29 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 62290 0 0 0 10224 5 0 0 20 0 1 0 406929570 80429056 13465 33554432000 4194304 4935366 140724164703792 140724164701304 4461504 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 19636 13465 605 181 0 13253 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 78544 KiB
Current children cumulated memory: 53860 KiB
[startup+162.3 s]
/proc/loadavg: 2.29 2.18 2.11 3/200 24307
/proc/meminfo: memFree=28391284/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=87396 memory=62856 CPUtime=162.29 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 77783 0 0 0 16222 7 0 0 20 0 1 0 406929570 89493504 15714 33554432000 4194304 4935366 140724164703792 140724164701480 4461358 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 21849 15714 605 181 0 15466 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 87396 KiB
Current children cumulated memory: 62856 KiB
[startup+222.3 s]
/proc/loadavg: 2.14 2.16 2.11 3/200 24311
/proc/meminfo: memFree=28380468/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=93560 memory=69196 CPUtime=222.28 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 94594 0 0 0 22219 9 0 0 20 0 1 0 406929570 95805440 17299 33554432000 4194304 4935366 140724164703792 140724164701480 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 23390 17299 605 181 0 17007 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 93560 KiB
Current children cumulated memory: 69196 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.13 2.10 3/200 24315
/proc/meminfo: memFree=28369860/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=99560 memory=75496 CPUtime=282.25 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 99328 0 0 0 28215 10 0 0 20 0 1 0 406929570 101949440 18874 33554432000 4194304 4935366 140724164703792 140724164701480 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 24890 18874 605 181 0 18507 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 99560 KiB
Current children cumulated memory: 75496 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.11 2.09 3/200 24321
/proc/meminfo: memFree=28348304/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=104740 memory=80644 CPUtime=342.25 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 102767 0 0 0 34214 11 0 0 20 0 1 0 406929570 107253760 20161 33554432000 4194304 4935366 140724164703792 140724164701480 4461244 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 26185 20161 605 181 0 19802 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 104740 KiB
Current children cumulated memory: 80644 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.09 2.09 3/199 24325
/proc/meminfo: memFree=28329072/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=108768 memory=84760 CPUtime=402.25 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 107096 0 0 0 40213 12 0 0 20 0 1 0 406929570 111378432 21190 33554432000 4194304 4935366 140724164703792 140724164701480 4461252 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 27192 21190 605 181 0 20809 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 108768 KiB
Current children cumulated memory: 84760 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.07 2.08 4/199 24336
/proc/meminfo: memFree=28319112/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=112372 memory=88140 CPUtime=462.25 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 112267 0 0 0 46212 13 0 0 20 0 1 0 406929570 115068928 22035 33554432000 4194304 4935366 140724164703792 140724164701304 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 28093 22035 605 181 0 21710 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 112372 KiB
Current children cumulated memory: 88140 KiB
################
# More data... #
################
Current children cumulated memory: 91616 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/199 24346
/proc/meminfo: memFree=28305916/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=118672 memory=94664 CPUtime=582.25 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 124881 0 0 0 58210 15 0 0 20 0 1 0 406929570 121520128 23666 33554432000 4194304 4935366 140724164703792 140724164701480 4461218 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 29668 23666 605 181 0 23285 0
Current children cumulated CPU time: 582.25 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 94664 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.04 2.07 4/199 24350
/proc/meminfo: memFree=28299304/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=121772 memory=98100 CPUtime=642.23 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 126980 0 0 0 64208 15 0 0 20 0 1 0 406929570 124694528 24525 33554432000 4194304 4935366 140724164703792 140724164701496 4461125 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 30443 24525 605 181 0 24060 0
Current children cumulated CPU time: 642.23 s
Current children cumulated vsize: 121772 KiB
Current children cumulated memory: 98100 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 24356
/proc/meminfo: memFree=28284536/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=124608 memory=100808 CPUtime=702.24 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 129232 0 0 0 70208 16 0 0 20 0 1 0 406929570 127598592 25202 33554432000 4194304 4935366 140724164703792 140724164701496 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 31152 25202 605 181 0 24769 0
Current children cumulated CPU time: 702.24 s
Current children cumulated vsize: 124608 KiB
Current children cumulated memory: 100808 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/199 24361
/proc/meminfo: memFree=28276700/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=127308 memory=103652 CPUtime=762.24 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 132077 0 0 0 76207 17 0 0 20 0 1 0 406929570 130363392 25913 33554432000 4194304 4935366 140724164703792 140724164701304 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 31827 25913 605 181 0 25444 0
Current children cumulated CPU time: 762.24 s
Current children cumulated vsize: 127308 KiB
Current children cumulated memory: 103652 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 24365
/proc/meminfo: memFree=28270048/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=132604 memory=106916 CPUtime=822.23 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 135711 0 0 0 82206 17 0 0 20 0 1 0 406929570 135786496 26729 33554432000 4194304 4935366 140724164703792 140724164701544 4461250 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 33151 26729 605 181 0 26768 0
Current children cumulated CPU time: 822.23 s
Current children cumulated vsize: 132604 KiB
Current children cumulated memory: 106916 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 24371
/proc/meminfo: memFree=28264800/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=135180 memory=109308 CPUtime=882.23 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 139437 0 0 0 88205 18 0 0 20 0 1 0 406929570 138424320 27327 33554432000 4194304 4935366 140724164703792 140724164701544 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 33795 27327 605 181 0 27412 0
Current children cumulated CPU time: 882.23 s
Current children cumulated vsize: 135180 KiB
Current children cumulated memory: 109308 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24376
/proc/meminfo: memFree=28257816/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=137864 memory=111768 CPUtime=942.24 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 143805 0 0 0 94205 19 0 0 20 0 1 0 406929570 141172736 27942 33554432000 4194304 4935366 140724164703792 140724164701480 4461231 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 34466 27942 605 181 0 28083 0
Current children cumulated CPU time: 942.24 s
Current children cumulated vsize: 137864 KiB
Current children cumulated memory: 111768 KiB
[startup+976.047 s]
# the end of solver process 24292 was just reported to runsolver
# cumulated CPU time of all completed processes: user=975.787 s, system=0.200997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24376
/proc/meminfo: memFree=28257816/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=137864 memory=111768 CPUtime=947.14 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 143809 0 0 0 94695 19 0 0 20 0 1 0 406929570 141172736 27942 33554432000 4194304 4935366 140724164703792 140724164701480 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 34466 27942 605 181 0 28083 0
Current children cumulated CPU time: 947.14 s
Current children cumulated vsize: 137864 KiB
Current children cumulated memory: 111768 KiB
[startup+960 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 24376
/proc/meminfo: memFree=28256412/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=138128 memory=112248 CPUtime=959.94 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 147951 0 0 0 95975 19 0 0 20 0 1 0 406929570 141443072 28062 33554432000 4194304 4935366 140724164703792 140724164701544 4461265 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 34532 28062 605 181 0 28149 0
Current children cumulated CPU time: 959.94 s
Current children cumulated vsize: 138128 KiB
Current children cumulated memory: 112248 KiB
[startup+966.4 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 24377
/proc/meminfo: memFree=28255552/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=138740 memory=112700 CPUtime=966.33 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 148156 0 0 0 96614 19 0 0 20 0 1 0 406929570 142069760 28175 33554432000 4194304 4935366 140724164703792 140724164701480 4461504 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 34685 28175 605 181 0 28302 0
Current children cumulated CPU time: 966.33 s
Current children cumulated vsize: 138740 KiB
Current children cumulated memory: 112700 KiB
[startup+972.8 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 24379
/proc/meminfo: memFree=28254560/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=138740 memory=112700 CPUtime=972.73 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 148175 0 0 0 97254 19 0 0 20 0 1 0 406929570 142069760 28175 33554432000 4194304 4935366 140724164703792 140724164701480 4389963 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 34685 28175 605 181 0 28302 0
Current children cumulated CPU time: 972.73 s
Current children cumulated vsize: 138740 KiB
Current children cumulated memory: 112700 KiB
[startup+974.4 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 24379
/proc/meminfo: memFree=28254684/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=138740 memory=113188 CPUtime=974.33 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 148196 0 0 0 97414 19 0 0 20 0 1 0 406929570 142069760 28297 33554432000 4194304 4935366 140724164703792 140724164701480 4461069 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 34685 28297 605 181 0 28302 0
Current children cumulated CPU time: 974.33 s
Current children cumulated vsize: 138740 KiB
Current children cumulated memory: 113188 KiB
[startup+975.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24379
/proc/meminfo: memFree=28253684/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=138740 memory=113188 CPUtime=975.13 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 148202 0 0 0 97494 19 0 0 20 0 1 0 406929570 142069760 28297 33554432000 4194304 4935366 140724164703792 140724164701480 4461073 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 34685 28297 605 181 0 28302 0
Current children cumulated CPU time: 975.13 s
Current children cumulated vsize: 138740 KiB
Current children cumulated memory: 113188 KiB
[startup+975.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 24379
/proc/meminfo: memFree=28253684/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=138740 memory=113188 CPUtime=975.53 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 148206 0 0 0 97534 19 0 0 20 0 1 0 406929570 142069760 28297 33554432000 4194304 4935366 140724164703792 140724164701480 4461238 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 34685 28297 605 181 0 28302 0
Current children cumulated CPU time: 975.53 s
Current children cumulated vsize: 138740 KiB
Current children cumulated memory: 113188 KiB
[startup+976 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 24379
/proc/meminfo: memFree=28253924/32770624 swapFree=67004752/67108860
[pid=24292] ppid=24289 vsize=138740 memory=113188 CPUtime=975.94 cores=1,3,5,7
/proc/24292/stat : 24292 (nacre_mini_rele) R 24289 24292 11220 0 -1 4202496 148209 0 0 0 97575 19 0 0 20 0 1 0 406929570 142069760 28297 33554432000 4194304 4935366 140724164703792 140724164701480 4461218 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30109696 140724164707329 140724164707429 140724164707429 140724164710338 0
/proc/24292/statm: 34685 28297 605 181 0 28302 0
Current children cumulated CPU time: 975.94 s
Current children cumulated vsize: 138740 KiB
Current children cumulated memory: 113188 KiB
Child status: 10
Real time (s): 976.047
CPU time (s): 975.988
CPU user time (s): 975.787
CPU system time (s): 0.200997
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 138740
Max. memory (cumulated for all children) (KiB): 113188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 975.787
system time used= 0.200997
maximum resident set size= 113328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148251
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= 56
involuntary context switches= 834
# summary of solver processes directly reported to runsolver:
# pid: 24292
# total CPU time (s): 975.988
# total CPU user time (s): 975.787
# total CPU system time (s): 0.200997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.71059 second user time and 7.69402 second system time
The end