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 (12855 MiB free)
memory of node 1: 16384 MiB (13299 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391527-1568307057/watcher-4391527-1568307057 -o /tmp/evaluation-result-4391527-1568307057/solver-4391527-1568307057 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568307015-16994 --watchdog 2560 nacre_mini_release HOME/instance-4391527-1568307057.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
solver pid=17012, runsolver pid=17009
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 1.00 1.10 1.49 3/196 17013
/proc/meminfo: memFree=26767148/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=35896 memory=12028 CPUtime=0.1 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 3590 0 0 0 10 0 0 0 20 0 1 0 406953065 36757504 3007 33554432000 4194304 4935366 140733253291280 140733253288856 140079755645552 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 8974 3007 568 181 0 2591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35896 KiB
Current children cumulated memory: 12028 KiB
[startup+0.209788 s]*
/proc/loadavg: 1.00 1.10 1.49 3/194 17013
/proc/meminfo: memFree=26763868/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=43412 memory=19156 CPUtime=0.21 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 5380 0 0 0 20 1 0 0 20 0 1 0 406953065 44453888 4789 33554432000 4194304 4935366 140733253291280 140733253288856 140079755647973 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 10853 4789 568 181 0 4470 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43412 KiB
Current children cumulated memory: 19156 KiB
[startup+0.309534 s]*
/proc/loadavg: 1.00 1.10 1.49 3/200 17024
/proc/meminfo: memFree=26752572/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=49200 memory=24700 CPUtime=0.31 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 6724 0 0 0 30 1 0 0 20 0 1 0 406953065 50380800 6175 33554432000 4194304 4935366 140733253291280 140733253288856 4309498 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 12300 6175 568 181 0 5917 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49200 KiB
Current children cumulated memory: 24700 KiB
[startup+0.700332 s]
/proc/loadavg: 1.00 1.10 1.49 3/200 17024
/proc/meminfo: memFree=26730716/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=74152 memory=48196 CPUtime=0.69 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 12602 0 0 0 67 2 0 0 20 0 1 0 406953065 75931648 12049 33554432000 4194304 4935366 140733253291280 140733253288856 140079756086272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 18538 12049 568 181 0 12155 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74152 KiB
Current children cumulated memory: 48196 KiB
[startup+1.50039 s]
/proc/loadavg: 1.00 1.10 1.49 3/200 17024
/proc/meminfo: memFree=26672808/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=97444 memory=70108 CPUtime=1.49 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 18125 0 0 0 146 3 0 0 20 0 1 0 406953065 99782656 17527 33554432000 4194304 4935366 140733253291280 140733253289800 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24361 17527 569 181 0 17978 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 70108 KiB
[startup+3.10972 s]
/proc/loadavg: 1.00 1.10 1.49 3/200 17024
/proc/meminfo: memFree=26553476/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=97444 memory=70320 CPUtime=3.1 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 31962 0 0 0 306 4 0 0 20 0 1 0 406953065 99782656 17580 33554432000 4194304 4935366 140733253291280 140733253289800 140079756510769 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24361 17580 604 181 0 17978 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 70320 KiB
[startup+6.30039 s]
/proc/loadavg: 1.16 1.13 1.50 3/200 17024
/proc/meminfo: memFree=26551028/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=97444 memory=70320 CPUtime=6.29 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 49645 0 0 0 625 4 0 0 20 0 1 0 406953065 99782656 17580 33554432000 4194304 4935366 140733253291280 140733253289800 140079756510774 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24361 17580 604 181 0 17978 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 70320 KiB
[startup+12.7004 s]
/proc/loadavg: 1.31 1.16 1.50 3/201 17026
/proc/meminfo: memFree=26548892/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=97444 memory=71072 CPUtime=12.68 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 62338 0 0 0 1264 4 0 0 20 0 1 0 406953065 99782656 17768 33554432000 4194304 4935366 140733253291280 140733253289800 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24361 17768 604 181 0 17978 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 71072 KiB
[startup+25.5004 s]
/proc/loadavg: 1.54 1.22 1.52 3/200 17027
/proc/meminfo: memFree=26548140/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=97444 memory=71952 CPUtime=25.48 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 83908 0 0 0 2543 5 0 0 20 0 1 0 406953065 99782656 17988 33554432000 4194304 4935366 140733253291280 140733253289800 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24361 17988 604 181 0 17978 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 71952 KiB
[startup+51.1097 s]
/proc/loadavg: 1.69 1.28 1.53 3/200 17027
/proc/meminfo: memFree=26544656/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=97444 memory=73968 CPUtime=51.09 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 85161 0 0 0 5104 5 0 0 20 0 1 0 406953065 99782656 18492 33554432000 4194304 4935366 140733253291280 140733253289800 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24361 18492 604 181 0 17978 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 73968 KiB
[startup+102.3 s]
/proc/loadavg: 2.14 1.46 1.58 3/201 17158
/proc/meminfo: memFree=26701084/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=97444 memory=73968 CPUtime=102.27 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 86010 0 0 0 10222 5 0 0 20 0 1 0 406953065 99782656 18492 33554432000 4194304 4935366 140733253291280 140733253289800 4400704 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24361 18492 604 181 0 17978 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 73968 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 1.56 1.60 3/200 17162
/proc/meminfo: memFree=26691240/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=97444 memory=73968 CPUtime=162.27 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 86866 0 0 0 16222 5 0 0 20 0 1 0 406953065 99782656 18492 33554432000 4194304 4935366 140733253291280 140733253289800 140079755645757 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24361 18492 604 181 0 17978 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 73968 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 1.64 1.63 3/201 17167
/proc/meminfo: memFree=26685916/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=97444 memory=73968 CPUtime=222.27 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 87740 0 0 0 22222 5 0 0 20 0 1 0 406953065 99782656 18492 33554432000 4194304 4935366 140733253291280 140733253289800 4400824 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24361 18492 604 181 0 17978 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 73968 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 1.70 1.65 3/202 17173
/proc/meminfo: memFree=26679456/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=98584 memory=74960 CPUtime=282.26 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 88392 0 0 0 28221 5 0 0 20 0 1 0 406953065 100950016 18740 33554432000 4194304 4935366 140733253291280 140733253288968 140079755640594 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24646 18740 604 181 0 18263 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 98584 KiB
Current children cumulated memory: 74960 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.76 1.67 3/200 17178
/proc/meminfo: memFree=26676460/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=99136 memory=75524 CPUtime=342.26 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 89205 0 0 0 34220 6 0 0 20 0 1 0 406953065 101515264 18881 33554432000 4194304 4935366 140733253291280 140733253288792 140079756510769 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24784 18881 604 181 0 18401 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 99136 KiB
Current children cumulated memory: 75524 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.80 1.69 3/200 17182
/proc/meminfo: memFree=26673872/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=99700 memory=76012 CPUtime=402.25 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 90138 0 0 0 40219 6 0 0 20 0 1 0 406953065 102092800 19003 33554432000 4194304 4935366 140733253291280 140733253288968 140079755640488 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 24925 19003 604 181 0 18542 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 99700 KiB
Current children cumulated memory: 76012 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.84 1.71 3/201 17188
/proc/meminfo: memFree=26670388/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=100132 memory=76588 CPUtime=462.24 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 91160 0 0 0 46218 6 0 0 20 0 1 0 406953065 102535168 19147 33554432000 4194304 4935366 140733253291280 140733253289032 140079756512731 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 25033 19147 604 181 0 18650 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 100132 KiB
Current children cumulated memory: 76588 KiB
################
# More data... #
################
Current children cumulated memory: 79940 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/200 17287
/proc/meminfo: memFree=26648072/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=103984 memory=80200 CPUtime=1242.17 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 102935 0 0 0 124210 7 0 0 20 0 1 0 406953065 106479616 20050 33554432000 4194304 4935366 140733253291280 140733253288792 140079756510769 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 25996 20050 604 181 0 19613 0
Current children cumulated CPU time: 1242.17 s
Current children cumulated vsize: 103984 KiB
Current children cumulated memory: 80200 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/200 17291
/proc/meminfo: memFree=26646800/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=104252 memory=80424 CPUtime=1302.16 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 103871 0 0 0 130209 7 0 0 20 0 1 0 406953065 106754048 20106 33554432000 4194304 4935366 140733253291280 140733253288968 140079756510769 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26063 20106 604 181 0 19680 0
Current children cumulated CPU time: 1302.16 s
Current children cumulated vsize: 104252 KiB
Current children cumulated memory: 80424 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/201 17297
/proc/meminfo: memFree=26645528/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=104252 memory=80576 CPUtime=1362.17 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 104814 0 0 0 136209 8 0 0 20 0 1 0 406953065 106754048 20144 33554432000 4194304 4935366 140733253291280 140733253288968 140079756510774 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26063 20144 604 181 0 19680 0
Current children cumulated CPU time: 1362.17 s
Current children cumulated vsize: 104252 KiB
Current children cumulated memory: 80576 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/200 17301
/proc/meminfo: memFree=26644620/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=104576 memory=80792 CPUtime=1422.16 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 105873 0 0 0 142208 8 0 0 20 0 1 0 406953065 107085824 20198 33554432000 4194304 4935366 140733253291280 140733253288792 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26144 20198 604 181 0 19761 0
Current children cumulated CPU time: 1422.16 s
Current children cumulated vsize: 104576 KiB
Current children cumulated memory: 80792 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/200 17305
/proc/meminfo: memFree=26643472/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=104708 memory=81476 CPUtime=1482.16 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 106912 0 0 0 148208 8 0 0 20 0 1 0 406953065 107220992 20369 33554432000 4194304 4935366 140733253291280 140733253289032 140079755640503 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26177 20369 604 181 0 19794 0
Current children cumulated CPU time: 1482.16 s
Current children cumulated vsize: 104708 KiB
Current children cumulated memory: 81476 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/200 17311
/proc/meminfo: memFree=26641388/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=104708 memory=81476 CPUtime=1542.15 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 107560 0 0 0 154207 8 0 0 20 0 1 0 406953065 107220992 20369 33554432000 4194304 4935366 140733253291280 140733253289032 140079756512731 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26177 20369 604 181 0 19794 0
Current children cumulated CPU time: 1542.15 s
Current children cumulated vsize: 104708 KiB
Current children cumulated memory: 81476 KiB
[startup+1599.7 s]
# the end of solver process 17012 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1599.47 s, system=0.083992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1561.6 s]
/proc/loadavg: 2.00 1.99 1.90 3/199 17311
/proc/meminfo: memFree=26641748/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=104708 memory=81476 CPUtime=1561.45 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 108221 0 0 0 156137 8 0 0 20 0 1 0 406953065 107220992 20369 33554432000 4194304 4935366 140733253291280 140733253289032 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26177 20369 604 181 0 19794 0
Current children cumulated CPU time: 1561.45 s
Current children cumulated vsize: 104708 KiB
Current children cumulated memory: 81476 KiB
[startup+1574.4 s]
/proc/loadavg: 2.00 1.99 1.90 3/199 17311
/proc/meminfo: memFree=26641288/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=104840 memory=81516 CPUtime=1574.25 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 108248 0 0 0 157417 8 0 0 20 0 1 0 406953065 107356160 20379 33554432000 4194304 4935366 140733253291280 140733253289048 140079756512731 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26210 20379 604 181 0 19827 0
Current children cumulated CPU time: 1574.25 s
Current children cumulated vsize: 104840 KiB
Current children cumulated memory: 81516 KiB
[startup+1587.2 s]
/proc/loadavg: 2.00 1.99 1.91 3/200 17313
/proc/meminfo: memFree=26640128/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=105012 memory=81516 CPUtime=1587.05 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 108288 0 0 0 158697 8 0 0 20 0 1 0 406953065 107532288 20379 33554432000 4194304 4935366 140733253291280 140733253288968 140079756512731 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26253 20379 604 181 0 19870 0
Current children cumulated CPU time: 1587.05 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 81516 KiB
[startup+1593.6 s]
/proc/loadavg: 2.00 1.99 1.91 3/200 17315
/proc/meminfo: memFree=26639976/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=105012 memory=81516 CPUtime=1593.45 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 108288 0 0 0 159337 8 0 0 20 0 1 0 406953065 107532288 20379 33554432000 4194304 4935366 140733253291280 140733253288968 4400723 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26253 20379 604 181 0 19870 0
Current children cumulated CPU time: 1593.45 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 81516 KiB
[startup+1596.8 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 17315
/proc/meminfo: memFree=26640144/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=105012 memory=81516 CPUtime=1596.64 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 108288 0 0 0 159656 8 0 0 20 0 1 0 406953065 107532288 20379 33554432000 4194304 4935366 140733253291280 140733253288968 140079756512731 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26253 20379 604 181 0 19870 0
Current children cumulated CPU time: 1596.64 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 81516 KiB
[startup+1598.4 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 17315
/proc/meminfo: memFree=26640452/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=105012 memory=81516 CPUtime=1598.24 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 108288 0 0 0 159816 8 0 0 20 0 1 0 406953065 107532288 20379 33554432000 4194304 4935366 140733253291280 140733253288968 140079755657229 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26253 20379 604 181 0 19870 0
Current children cumulated CPU time: 1598.24 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 81516 KiB
[startup+1599.2 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 17315
/proc/meminfo: memFree=26640428/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=105012 memory=81516 CPUtime=1599.04 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 108288 0 0 0 159896 8 0 0 20 0 1 0 406953065 107532288 20379 33554432000 4194304 4935366 140733253291280 140733253288968 140079755640525 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26253 20379 604 181 0 19870 0
Current children cumulated CPU time: 1599.04 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 81516 KiB
[startup+1599.6 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 17315
/proc/meminfo: memFree=26640428/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=105012 memory=81516 CPUtime=1599.44 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 108288 0 0 0 159936 8 0 0 20 0 1 0 406953065 107532288 20379 33554432000 4194304 4935366 140733253291280 140733253288968 140079755640405 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26253 20379 604 181 0 19870 0
Current children cumulated CPU time: 1599.44 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 81516 KiB
[startup+1599.7 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 17315
/proc/meminfo: memFree=26640428/32770624 swapFree=66927120/67108860
[pid=17012] ppid=17009 vsize=105012 memory=81516 CPUtime=1599.54 cores=1,3,5,7
/proc/17012/stat : 17012 (nacre_mini_rele) R 17009 17012 15287 0 -1 4202496 108288 0 0 0 159946 8 0 0 20 0 1 0 406953065 107532288 20379 33554432000 4194304 4935366 140733253291280 140733253288968 140079755657240 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 30474240 140733253293057 140733253293157 140733253293157 140733253296066 0
/proc/17012/statm: 26253 20379 604 181 0 19870 0
Current children cumulated CPU time: 1599.54 s
Current children cumulated vsize: 105012 KiB
Current children cumulated memory: 81516 KiB
Child status: 20
Real time (s): 1599.7
CPU time (s): 1599.55
CPU user time (s): 1599.47
CPU system time (s): 0.083992
CPU usage (%): 99.9907
Max. virtual memory (cumulated for all children) (KiB): 105012
Max. memory (cumulated for all children) (KiB): 81516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1599.47
system time used= 0.083992
maximum resident set size= 81760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108448
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= 16
involuntary context switches= 917
# summary of solver processes directly reported to runsolver:
# pid: 17012
# total CPU time (s): 1599.55
# total CPU user time (s): 1599.47
# total CPU system time (s): 0.083992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38211 second user time and 12.1282 second system time
The end