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 (15195 MiB free)
memory of node 1: 16384 MiB (15089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391430-1568308681/watcher-4391430-1568308681 -o /tmp/evaluation-result-4391430-1568308681/solver-4391430-1568308681 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568306240-27781 --watchdog 2560 nacre_mini_release HOME/instance-4391430-1568308681.xml -ca -l100 -cm
running on 4 cores: 0,2,4,6
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=28168, runsolver pid=28165
[startup+0.100113 s]*
/proc/loadavg: 2.02 2.04 1.99 3/203 28180
/proc/meminfo: memFree=30989732/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=37332 memory=13712 CPUtime=0.1 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 4619 0 0 0 10 0 0 0 20 0 1 0 407117699 38227968 3428 33554432000 4194304 4935366 140733694470784 140733694467784 140572504076850 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 9333 3428 567 181 0 2950 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37332 KiB
Current children cumulated memory: 13712 KiB
[startup+0.210088 s]*
/proc/loadavg: 2.02 2.04 1.99 3/203 28180
/proc/meminfo: memFree=30972900/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=46216 memory=22156 CPUtime=0.21 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 6735 0 0 0 21 0 0 0 20 0 1 0 407117699 47325184 5539 33554432000 4194304 4935366 140733694470784 140733694467784 4271828 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 11554 5539 567 181 0 5171 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46216 KiB
Current children cumulated memory: 22156 KiB
[startup+0.30979 s]*
/proc/loadavg: 2.02 2.04 1.99 3/203 28180
/proc/meminfo: memFree=30961740/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=52844 memory=28228 CPUtime=0.31 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 8291 0 0 0 31 0 0 0 20 0 1 0 407117699 54112256 7057 33554432000 4194304 4935366 140733694470784 140733694467784 4271828 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 13211 7057 567 181 0 6828 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52844 KiB
Current children cumulated memory: 28228 KiB
[startup+0.70032 s]
/proc/loadavg: 2.02 2.04 1.99 3/203 28180
/proc/meminfo: memFree=30939172/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=78016 memory=51724 CPUtime=0.69 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 14183 0 0 0 68 1 0 0 20 0 1 0 407117699 79888384 12931 33554432000 4194304 4935366 140733694470784 140733694467784 140572504071963 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 19504 12931 568 181 0 13121 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78016 KiB
Current children cumulated memory: 51724 KiB
[startup+1.50032 s]
/proc/loadavg: 2.02 2.04 1.99 3/203 28181
/proc/meminfo: memFree=30882128/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=127092 memory=98324 CPUtime=1.48 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 25696 0 0 0 146 2 0 0 20 0 1 0 407117699 130142208 24581 33554432000 4194304 4935366 140733694470784 140733694466808 4626944 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 31773 24581 568 181 0 25390 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127092 KiB
Current children cumulated memory: 98324 KiB
[startup+3.10977 s]
/proc/loadavg: 2.02 2.04 1.99 3/203 28181
/proc/meminfo: memFree=30648760/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=224904 memory=189596 CPUtime=3.1 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 51968 0 0 0 304 6 0 0 20 0 1 0 407117699 230301696 47399 33554432000 4194304 4935366 140733694470784 140733694469304 140572504078425 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 47399 586 181 0 49843 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 189596 KiB
[startup+6.30217 s]
/proc/loadavg: 2.02 2.04 1.99 3/204 28183
/proc/meminfo: memFree=30636728/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=224904 memory=189664 CPUtime=6.29 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 105999 0 0 0 621 8 0 0 20 0 1 0 407117699 230301696 47416 33554432000 4194304 4935366 140733694470784 140733694469304 140572504942129 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 47416 603 181 0 49843 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 189664 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.04 1.99 3/203 28183
/proc/meminfo: memFree=30635812/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=224904 memory=190676 CPUtime=12.68 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 151888 0 0 0 1258 10 0 0 20 0 1 0 407117699 230301696 47669 33554432000 4194304 4935366 140733694470784 140733694469304 4400838 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 47669 603 181 0 49843 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 190676 KiB
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 1.99 3/203 28183
/proc/meminfo: memFree=30634628/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=224904 memory=191676 CPUtime=25.49 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 223537 0 0 0 2535 14 0 0 20 0 1 0 407117699 230301696 47919 33554432000 4194304 4935366 140733694470784 140733694469304 4400729 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 47919 603 181 0 49843 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 191676 KiB
[startup+51.1099 s]
/proc/loadavg: 2.01 2.03 1.99 3/204 28185
/proc/meminfo: memFree=30631992/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=224904 memory=193692 CPUtime=51.09 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 252596 0 0 0 5094 15 0 0 20 0 1 0 407117699 230301696 48423 33554432000 4194304 4935366 140733694470784 140733694469304 140572504076895 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 48423 603 181 0 49843 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 193692 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/203 28189
/proc/meminfo: memFree=30625920/32770624 swapFree=66965840/67108860
[pid=28168] ppid=28165 vsize=224904 memory=199784 CPUtime=102.27 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 270728 0 0 0 10211 16 0 0 20 0 1 0 407117699 230301696 49946 33554432000 4194304 4935366 140733694470784 140733694469304 140572504944091 0 0 4096 24578 0 0 0 17 0 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 49946 603 181 0 49843 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 199784 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/202 28200
/proc/meminfo: memFree=30617808/32770624 swapFree=66965852/67108860
[pid=28168] ppid=28165 vsize=224904 memory=201412 CPUtime=162.25 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 271265 0 0 0 16209 16 0 0 20 0 1 0 407117699 230301696 50353 33554432000 4194304 4935366 140733694470784 140733694469304 140572504942129 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 50353 603 181 0 49843 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 201412 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/201 28204
/proc/meminfo: memFree=30612208/32770624 swapFree=66965852/67108860
[pid=28168] ppid=28165 vsize=224904 memory=201412 CPUtime=222.25 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 271820 0 0 0 22209 16 0 0 20 0 1 0 407117699 230301696 50353 33554432000 4194304 4935366 140733694470784 140733694469304 140572504078425 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 50353 603 181 0 49843 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 201412 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/202 28211
/proc/meminfo: memFree=30611392/32770624 swapFree=66965852/67108860
[pid=28168] ppid=28165 vsize=224904 memory=201412 CPUtime=282.24 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 272391 0 0 0 28208 16 0 0 20 0 1 0 407117699 230301696 50353 33554432000 4194304 4935366 140733694470784 140733694469304 140572504942129 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 50353 603 181 0 49843 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 201412 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/203 28216
/proc/meminfo: memFree=30610000/32770624 swapFree=66965852/67108860
[pid=28168] ppid=28165 vsize=224904 memory=201412 CPUtime=342.24 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 272966 0 0 0 34208 16 0 0 20 0 1 0 407117699 230301696 50353 33554432000 4194304 4935366 140733694470784 140733694469304 140572504942134 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 50353 603 181 0 49843 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 201412 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/203 28220
/proc/meminfo: memFree=30609716/32770624 swapFree=66965852/67108860
[pid=28168] ppid=28165 vsize=224904 memory=201412 CPUtime=402.24 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 273581 0 0 0 40208 16 0 0 20 0 1 0 407117699 230301696 50353 33554432000 4194304 4935366 140733694470784 140733694469304 140572504942129 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 50353 603 181 0 49843 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 201412 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/203 28227
/proc/meminfo: memFree=30609916/32770624 swapFree=66965852/67108860
[pid=28168] ppid=28165 vsize=224904 memory=201412 CPUtime=462.23 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 274214 0 0 0 46207 16 0 0 20 0 1 0 407117699 230301696 50353 33554432000 4194304 4935366 140733694470784 140733694469304 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56226 50353 603 181 0 49843 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 224904 KiB
Current children cumulated memory: 201412 KiB
################
# More data... #
################
Current children cumulated memory: 203156 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/204 28621
/proc/meminfo: memFree=30604116/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=226640 memory=203324 CPUtime=1362.17 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 284319 0 0 0 136200 17 0 0 20 0 1 0 407117699 232079360 50831 33554432000 4194304 4935366 140733694470784 140733694468472 140572504942129 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56660 50831 603 181 0 50277 0
Current children cumulated CPU time: 1362.17 s
Current children cumulated vsize: 226640 KiB
Current children cumulated memory: 203324 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/204 28625
/proc/meminfo: memFree=30603668/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=226812 memory=203500 CPUtime=1422.16 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 284967 0 0 0 142199 17 0 0 20 0 1 0 407117699 232255488 50875 33554432000 4194304 4935366 140733694470784 140733694468472 140572504942129 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56703 50875 603 181 0 50320 0
Current children cumulated CPU time: 1422.16 s
Current children cumulated vsize: 226812 KiB
Current children cumulated memory: 203500 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/204 28629
/proc/meminfo: memFree=30603380/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=226812 memory=203500 CPUtime=1482.16 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 285614 0 0 0 148199 17 0 0 20 0 1 0 407117699 232255488 50875 33554432000 4194304 4935366 140733694470784 140733694468472 140572504944091 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56703 50875 603 181 0 50320 0
Current children cumulated CPU time: 1482.16 s
Current children cumulated vsize: 226812 KiB
Current children cumulated memory: 203500 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/204 28635
/proc/meminfo: memFree=30602724/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227016 memory=203704 CPUtime=1542.16 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 286274 0 0 0 154199 17 0 0 20 0 1 0 407117699 232464384 50926 33554432000 4194304 4935366 140733694470784 140733694468472 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56754 50926 603 181 0 50371 0
Current children cumulated CPU time: 1542.16 s
Current children cumulated vsize: 227016 KiB
Current children cumulated memory: 203704 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/204 28639
/proc/meminfo: memFree=30602060/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227220 memory=203704 CPUtime=1602.16 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 286966 0 0 0 160198 18 0 0 20 0 1 0 407117699 232673280 50926 33554432000 4194304 4935366 140733694470784 140733694468472 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56805 50926 603 181 0 50422 0
Current children cumulated CPU time: 1602.16 s
Current children cumulated vsize: 227220 KiB
Current children cumulated memory: 203704 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/202 28643
/proc/meminfo: memFree=30601312/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227220 memory=203884 CPUtime=1662.16 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 287586 0 0 0 166198 18 0 0 20 0 1 0 407117699 232673280 50971 33554432000 4194304 4935366 140733694470784 140733694468472 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56805 50971 603 181 0 50422 0
Current children cumulated CPU time: 1662.16 s
Current children cumulated vsize: 227220 KiB
Current children cumulated memory: 203884 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/202 28649
/proc/meminfo: memFree=30599856/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227396 memory=204060 CPUtime=1722.15 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 288227 0 0 0 172197 18 0 0 20 0 1 0 407117699 232853504 51015 33554432000 4194304 4935366 140733694470784 140733694468472 4400842 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56849 51015 603 181 0 50466 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 227396 KiB
Current children cumulated memory: 204060 KiB
[startup+1754.54 s]
# the end of solver process 28168 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1754.21 s, system=0.182986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1740.8 s]
/proc/loadavg: 2.00 2.00 1.99 3/202 28649
/proc/meminfo: memFree=30599732/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227396 memory=204060 CPUtime=1740.65 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 288782 0 0 0 174047 18 0 0 20 0 1 0 407117699 232853504 51015 33554432000 4194304 4935366 140733694470784 140733694468472 140572504942129 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56849 51015 603 181 0 50466 0
Current children cumulated CPU time: 1740.65 s
Current children cumulated vsize: 227396 KiB
Current children cumulated memory: 204060 KiB
[startup+1747.2 s]
/proc/loadavg: 2.00 2.00 1.99 3/202 28651
/proc/meminfo: memFree=30599804/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227396 memory=204060 CPUtime=1747.05 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 288784 0 0 0 174687 18 0 0 20 0 1 0 407117699 232853504 51015 33554432000 4194304 4935366 140733694470784 140733694468472 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56849 51015 603 181 0 50466 0
Current children cumulated CPU time: 1747.05 s
Current children cumulated vsize: 227396 KiB
Current children cumulated memory: 204060 KiB
[startup+1750.4 s]
/proc/loadavg: 2.00 2.00 1.99 3/202 28651
/proc/meminfo: memFree=30599932/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227396 memory=204060 CPUtime=1750.25 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 288784 0 0 0 175007 18 0 0 20 0 1 0 407117699 232853504 51015 33554432000 4194304 4935366 140733694470784 140733694468472 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56849 51015 603 181 0 50466 0
Current children cumulated CPU time: 1750.25 s
Current children cumulated vsize: 227396 KiB
Current children cumulated memory: 204060 KiB
[startup+1752 s]*
/proc/loadavg: 2.00 2.00 1.99 3/202 28651
/proc/meminfo: memFree=30600056/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227396 memory=204060 CPUtime=1751.86 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 288784 0 0 0 175168 18 0 0 20 0 1 0 407117699 232853504 51015 33554432000 4194304 4935366 140733694470784 140733694468472 140572504944091 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56849 51015 603 181 0 50466 0
Current children cumulated CPU time: 1751.86 s
Current children cumulated vsize: 227396 KiB
Current children cumulated memory: 204060 KiB
[startup+1753.6 s]
/proc/loadavg: 2.00 2.00 1.99 3/202 28651
/proc/meminfo: memFree=30600056/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227396 memory=204060 CPUtime=1753.45 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 288784 0 0 0 175327 18 0 0 20 0 1 0 407117699 232853504 51015 33554432000 4194304 4935366 140733694470784 140733694468472 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56849 51015 603 181 0 50466 0
Current children cumulated CPU time: 1753.45 s
Current children cumulated vsize: 227396 KiB
Current children cumulated memory: 204060 KiB
[startup+1754 s]*
/proc/loadavg: 2.00 2.00 1.99 3/202 28651
/proc/meminfo: memFree=30600076/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227396 memory=204060 CPUtime=1753.86 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 288784 0 0 0 175368 18 0 0 20 0 1 0 407117699 232853504 51015 33554432000 4194304 4935366 140733694470784 140733694468472 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56849 51015 603 181 0 50466 0
Current children cumulated CPU time: 1753.86 s
Current children cumulated vsize: 227396 KiB
Current children cumulated memory: 204060 KiB
[startup+1754.4 s]
/proc/loadavg: 2.00 2.00 1.99 3/202 28651
/proc/meminfo: memFree=30600076/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227396 memory=204060 CPUtime=1754.25 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 288784 0 0 0 175407 18 0 0 20 0 1 0 407117699 232853504 51015 33554432000 4194304 4935366 140733694470784 140733694468472 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56849 51015 603 181 0 50466 0
Current children cumulated CPU time: 1754.25 s
Current children cumulated vsize: 227396 KiB
Current children cumulated memory: 204060 KiB
[startup+1754.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/202 28651
/proc/meminfo: memFree=30600076/32770624 swapFree=66965856/67108860
[pid=28168] ppid=28165 vsize=227396 memory=204060 CPUtime=1754.35 cores=0,2,4,6
/proc/28168/stat : 28168 (nacre_mini_rele) R 28165 28168 25882 0 -1 4202496 288784 0 0 0 175417 18 0 0 20 0 1 0 407117699 232853504 51015 33554432000 4194304 4935366 140733694470784 140733694468472 4400723 0 0 4096 24578 0 0 0 17 2 0 0 0 0 0 7034520 7039168 16117760 140733694473217 140733694473317 140733694473317 140733694476226 0
/proc/28168/statm: 56849 51015 603 181 0 50466 0
Current children cumulated CPU time: 1754.35 s
Current children cumulated vsize: 227396 KiB
Current children cumulated memory: 204060 KiB
Child status: 20
Real time (s): 1754.54
CPU time (s): 1754.39
CPU user time (s): 1754.21
CPU system time (s): 0.182986
CPU usage (%): 99.9919
Max. virtual memory (cumulated for all children) (KiB): 227396
Max. memory (cumulated for all children) (KiB): 204060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.21
system time used= 0.182986
maximum resident set size= 204136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288830
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= 24
involuntary context switches= 2154
# summary of solver processes directly reported to runsolver:
# pid: 28168
# total CPU time (s): 1754.39
# total CPU user time (s): 1754.21
# total CPU system time (s): 0.182986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77699 second user time and 13.5573 second system time
The end