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 (9075 MiB free)
memory of node 1: 16384 MiB (9642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391678-1568310823/watcher-4391678-1568310823 -o /tmp/evaluation-result-4391678-1568310823/solver-4391678-1568310823 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568305966-12716 --watchdog 2560 nacre_mini_release HOME/instance-4391678-1568310823.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=13700, runsolver pid=13697
[startup+0.10093 s]*
/proc/loadavg: 1.93 2.01 2.04 3/200 13701
/proc/meminfo: memFree=19163004/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=31212 memory=7252 CPUtime=0.09 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2324 0 0 0 9 0 0 0 20 0 1 0 407022527 31961088 1813 33554432000 4194304 4935366 140724596030816 140724596028392 140631889292094 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 7803 1813 558 181 0 1420 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31212 KiB
Current children cumulated memory: 7252 KiB
[startup+0.209736 s]*
/proc/loadavg: 1.93 2.01 2.04 3/200 13701
/proc/meminfo: memFree=19143792/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=49760 memory=25952 CPUtime=0.21 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 7370 0 0 0 20 1 0 0 20 0 1 0 407022527 50954240 6488 33554432000 4194304 4935366 140724596030816 140724596028392 140631889296357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 12440 6488 571 181 0 6057 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49760 KiB
Current children cumulated memory: 25952 KiB
[startup+0.309716 s]*
/proc/loadavg: 1.93 2.01 2.04 3/200 13701
/proc/meminfo: memFree=19130488/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=70808 memory=46808 CPUtime=0.31 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 12584 0 0 0 29 2 0 0 20 0 1 0 407022527 72507392 11702 33554432000 4194304 4935366 140724596030816 140724596028392 140631889288887 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 17702 11702 571 181 0 11319 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 70808 KiB
Current children cumulated memory: 46808 KiB
[startup+0.700401 s]
/proc/loadavg: 1.93 2.01 2.04 3/200 13701
/proc/meminfo: memFree=19097780/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=122112 memory=97760 CPUtime=0.69 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 25295 0 0 0 66 3 0 0 20 0 1 0 407022527 125042688 24440 33554432000 4194304 4935366 140724596030816 140724596025416 4271836 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 30528 24440 571 181 0 24145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122112 KiB
Current children cumulated memory: 97760 KiB
[startup+1.5004 s]
/proc/loadavg: 1.93 2.01 2.04 3/200 13701
/proc/meminfo: memFree=19035284/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=228884 memory=203360 CPUtime=1.48 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 51742 0 0 0 142 6 0 0 20 0 1 0 407022527 234377216 50840 33554432000 4194304 4935366 140724596030816 140724596025416 140631889294534 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 57221 50840 571 181 0 50838 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 228884 KiB
Current children cumulated memory: 203360 KiB
[startup+3.10957 s]
/proc/loadavg: 1.93 2.01 2.04 3/200 13701
/proc/meminfo: memFree=18757420/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=451596 memory=424292 CPUtime=3.09 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 109960 0 0 0 295 14 0 0 20 0 1 0 407022527 462434304 106073 33554432000 4194304 4935366 140724596030816 140724596025416 4271778 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 112899 106073 571 181 0 106516 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 451596 KiB
Current children cumulated memory: 424292 KiB
[startup+6.30038 s]
/proc/loadavg: 1.85 1.99 2.03 3/200 13701
/proc/meminfo: memFree=18346332/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=858072 CPUtime=6.29 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 225803 0 0 0 603 26 0 0 20 0 1 0 407022527 910458880 214518 33554432000 4194304 4935366 140724596030816 140724596025416 140631889295452 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214518 589 181 0 215897 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 858072 KiB
[startup+12.7004 s]
/proc/loadavg: 1.86 1.99 2.03 3/200 13701
/proc/meminfo: memFree=18308520/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=858108 CPUtime=12.69 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 432804 0 0 0 1236 33 0 0 20 0 1 0 407022527 910458880 214527 33554432000 4194304 4935366 140724596030816 140724596029336 140631889293919 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214527 598 181 0 215897 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 858108 KiB
[startup+25.5004 s]
/proc/loadavg: 1.89 1.99 2.03 3/200 13701
/proc/meminfo: memFree=18308012/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=858108 CPUtime=25.49 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 642533 0 0 0 2505 44 0 0 20 0 1 0 407022527 910458880 214527 33554432000 4194304 4935366 140724596030816 140724596029064 4400757 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214527 598 181 0 215897 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 858108 KiB
[startup+51.1097 s]
/proc/loadavg: 1.93 1.99 2.03 3/200 13704
/proc/meminfo: memFree=18307444/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=858108 CPUtime=51.1 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 913828 0 0 0 5055 55 0 0 20 0 1 0 407022527 910458880 214527 33554432000 4194304 4935366 140724596030816 140724596029064 140631890159635 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214527 598 181 0 215897 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 858108 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/200 13707
/proc/meminfo: memFree=18307120/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=858108 CPUtime=102.28 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 1188566 0 0 0 10162 66 0 0 20 0 1 0 407022527 910458880 214527 33554432000 4194304 4935366 140724596030816 140724596029064 140631890159635 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214527 598 181 0 215897 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 858108 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 13712
/proc/meminfo: memFree=18306204/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=858108 CPUtime=162.29 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 1398309 0 0 0 16153 76 0 0 20 0 1 0 407022527 910458880 214527 33554432000 4194304 4935366 140724596030816 140724596029064 140631889293914 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214527 598 181 0 215897 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 858108 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 13718
/proc/meminfo: memFree=18304980/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=858108 CPUtime=222.29 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 1608052 0 0 0 22145 84 0 0 20 0 1 0 407022527 910458880 214527 33554432000 4194304 4935366 140724596030816 140724596029064 140631890159650 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214527 598 181 0 215897 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 858108 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 13722
/proc/meminfo: memFree=18304160/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=858108 CPUtime=282.29 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 1817231 0 0 0 28135 94 0 0 20 0 1 0 407022527 910458880 214527 33554432000 4194304 4935366 140724596030816 140724596029064 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214527 598 181 0 215897 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 858108 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 13727
/proc/meminfo: memFree=18303296/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=858168 CPUtime=342.29 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2027538 0 0 0 34127 102 0 0 20 0 1 0 407022527 910458880 214542 33554432000 4194304 4935366 140724596030816 140724596029064 4400982 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214542 598 181 0 215897 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 858168 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 13733
/proc/meminfo: memFree=18303408/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=859024 CPUtime=402.28 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2216612 0 0 0 40116 112 0 0 20 0 1 0 407022527 910458880 214756 33554432000 4194304 4935366 140724596030816 140724596029064 4400704 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214756 598 181 0 215897 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 859024 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13745
/proc/meminfo: memFree=18302216/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=859952 CPUtime=462.28 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2380067 0 0 0 46108 120 0 0 20 0 1 0 407022527 910458880 214988 33554432000 4194304 4935366 140724596030816 140724596029064 140631890159635 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 214988 598 181 0 215897 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 859952 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13771
/proc/meminfo: memFree=18300716/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=860824 CPUtime=522.28 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2514123 0 0 0 52103 125 0 0 20 0 1 0 407022527 910458880 215206 33554432000 4194304 4935366 140724596030816 140724596029064 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 215206 598 181 0 215897 0
Current children cumulated CPU time: 522.28 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 860824 KiB
[startup+582.3 s]
/proc/loadavg: 2.07 2.01 2.04 4/200 13899
/proc/meminfo: memFree=11601984/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=861752 CPUtime=582.28 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2604429 0 0 0 58098 130 0 0 20 0 1 0 407022527 910458880 215438 33554432000 4194304 4935366 140724596030816 140724596029064 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 215438 598 181 0 215897 0
Current children cumulated CPU time: 582.28 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 861752 KiB
[startup+607.658 s]
# the end of solver process 13700 was just reported to runsolver
# cumulated CPU time of all completed processes: user=606.294 s, system=1.34801 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.06 2.01 2.04 4/200 13899
/proc/meminfo: memFree=7901304/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=861872 CPUtime=588.78 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2604431 0 0 0 58748 130 0 0 20 0 1 0 407022527 910458880 215468 33554432000 4194304 4935366 140724596030816 140724596029064 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 215468 598 181 0 215897 0
Current children cumulated CPU time: 588.78 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 861872 KiB
[startup+595.2 s]
/proc/loadavg: 2.05 2.01 2.04 3/200 13961
/proc/meminfo: memFree=19169072/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=861872 CPUtime=595.18 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2641075 0 0 0 59386 132 0 0 20 0 1 0 407022527 910458880 215468 33554432000 4194304 4935366 140724596030816 140724596029064 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 215468 598 181 0 215897 0
Current children cumulated CPU time: 595.18 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 861872 KiB
[startup+601.6 s]
/proc/loadavg: 2.05 2.01 2.04 3/200 13961
/proc/meminfo: memFree=19168996/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=862044 CPUtime=601.58 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2641078 0 0 0 60026 132 0 0 20 0 1 0 407022527 910458880 215511 33554432000 4194304 4935366 140724596030816 140724596029064 140631889294130 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 215511 598 181 0 215897 0
Current children cumulated CPU time: 601.58 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 862044 KiB
[startup+604.8 s]
/proc/loadavg: 2.05 2.01 2.04 3/200 13961
/proc/meminfo: memFree=19169028/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=862044 CPUtime=604.78 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2641078 0 0 0 60346 132 0 0 20 0 1 0 407022527 910458880 215511 33554432000 4194304 4935366 140724596030816 140724596029064 140631889293839 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 215511 598 181 0 215897 0
Current children cumulated CPU time: 604.78 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 862044 KiB
[startup+606.4 s]
/proc/loadavg: 2.05 2.01 2.04 3/200 13961
/proc/meminfo: memFree=19169028/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=862044 CPUtime=606.38 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2645716 0 0 0 60506 132 0 0 20 0 1 0 407022527 910458880 215511 33554432000 4194304 4935366 140724596030816 140724596029064 140631889305484 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 215511 598 181 0 215897 0
Current children cumulated CPU time: 606.38 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 862044 KiB
[startup+607.2 s]
/proc/loadavg: 2.05 2.01 2.04 3/200 13961
/proc/meminfo: memFree=19169028/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=862044 CPUtime=607.18 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2645716 0 0 0 60586 132 0 0 20 0 1 0 407022527 910458880 215511 33554432000 4194304 4935366 140724596030816 140724596029064 140631895468192 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 215511 598 181 0 215897 0
Current children cumulated CPU time: 607.18 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 862044 KiB
[startup+607.6 s]
/proc/loadavg: 2.05 2.01 2.04 3/200 13961
/proc/meminfo: memFree=19169028/32770624 swapFree=66959212/67108860
[pid=13700] ppid=13697 vsize=889120 memory=862164 CPUtime=607.58 cores=1,3,5,7
/proc/13700/stat : 13700 (nacre_mini_rele) R 13697 13700 11693 0 -1 4202496 2645716 0 0 0 60626 132 0 0 20 0 1 0 407022527 910458880 215541 33554432000 4194304 4935366 140724596030816 140724596029064 140631890159635 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 32804864 140724596036603 140724596036709 140724596036709 140724596039618 0
/proc/13700/statm: 222280 215541 598 181 0 215897 0
Current children cumulated CPU time: 607.58 s
Current children cumulated vsize: 889120 KiB
Current children cumulated memory: 862164 KiB
Child status: 20
Real time (s): 607.658
CPU time (s): 607.642
CPU user time (s): 606.294
CPU system time (s): 1.34801
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 889120
Max. memory (cumulated for all children) (KiB): 862164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 606.294
system time used= 1.34801
maximum resident set size= 862228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2646105
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= 46
involuntary context switches= 156
# summary of solver processes directly reported to runsolver:
# pid: 13700
# total CPU time (s): 607.642
# total CPU user time (s): 606.294
# total CPU system time (s): 1.34801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.76193 second user time and 4.20509 second system time
The end