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 (14165 MiB free)
memory of node 1: 16384 MiB (12282 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265763-1502568174/watcher-4265763-1502568174 -o /tmp/evaluation-result-4265763-1502568174/solver-4265763-1502568174 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24357 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265763-1502568174.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=24637, runsolver pid=24634
[startup+0.100117 s]*
/proc/loadavg: 1.21 0.37 0.16 3/190 24638
/proc/meminfo: memFree=27079540/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=30348 memory=6872 CPUtime=0.1 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 1887 0 0 0 10 0 0 0 20 0 1 0 89905307 31076352 1718 33554432000 4194304 5972588 140726697931840 140726697928488 140360616795109 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 7587 1718 805 435 0 950 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30348 KiB
Current children cumulated memory: 6872 KiB
[startup+0.209446 s]*
/proc/loadavg: 1.21 0.37 0.16 3/190 24638
/proc/meminfo: memFree=27077308/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=32396 memory=8916 CPUtime=0.21 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 2412 0 0 0 21 0 0 0 20 0 1 0 89905307 33173504 2229 33554432000 4194304 5972588 140726697931840 140726697928488 140360616795109 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 8099 2229 805 435 0 1462 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32396 KiB
Current children cumulated memory: 8916 KiB
[startup+0.308958 s]*
/proc/loadavg: 1.21 0.37 0.16 3/190 24638
/proc/meminfo: memFree=27074704/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=34332 memory=10728 CPUtime=0.31 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 2892 0 0 0 31 0 0 0 20 0 1 0 89905307 35155968 2682 33554432000 4194304 5972588 140726697931840 140726697928488 140360616795109 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 8583 2682 806 435 0 1946 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 34332 KiB
Current children cumulated memory: 10728 KiB
[startup+0.700235 s]
/proc/loadavg: 1.21 0.37 0.16 3/190 24638
/proc/meminfo: memFree=27070488/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=41664 memory=18068 CPUtime=0.69 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 4732 0 0 0 69 0 0 0 20 0 1 0 89905307 42663936 4517 33554432000 4194304 5972588 140726697931840 140726697922824 140360616792655 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 10416 4517 806 435 0 3779 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41664 KiB
Current children cumulated memory: 18068 KiB
[startup+1.50024 s]
/proc/loadavg: 1.21 0.37 0.16 3/190 24638
/proc/meminfo: memFree=27057540/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=57088 memory=33488 CPUtime=1.49 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 8584 0 0 0 148 1 0 0 20 0 1 0 89905307 58458112 8372 33554432000 4194304 5972588 140726697931840 140726697922824 140360616788432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 14272 8372 806 435 0 7635 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57088 KiB
Current children cumulated memory: 33488 KiB
[startup+3.10962 s]
/proc/loadavg: 1.27 0.40 0.17 3/190 24638
/proc/meminfo: memFree=26979908/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=119304 memory=91732 CPUtime=3.1 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 31737 0 0 0 307 3 0 0 20 0 1 0 89905307 122167296 22933 33554432000 4194304 5972588 140726697931840 140726697928696 4965404 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 29826 22933 853 435 0 23189 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 119304 KiB
Current children cumulated memory: 91732 KiB
[startup+6.30035 s]
/proc/loadavg: 1.27 0.40 0.17 3/190 24638
/proc/meminfo: memFree=26961744/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=122344 memory=94764 CPUtime=6.29 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 53121 0 0 0 625 4 0 0 20 0 1 0 89905307 125280256 23691 33554432000 4194304 5972588 140726697931840 140726697928760 5053056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 30586 23691 855 435 0 23949 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 122344 KiB
Current children cumulated memory: 94764 KiB
[startup+12.7003 s]
/proc/loadavg: 1.38 0.45 0.19 3/190 24638
/proc/meminfo: memFree=26957760/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98052 CPUtime=12.69 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 62948 0 0 0 1265 4 0 0 20 0 1 0 89905307 128565248 24513 33554432000 4194304 5972588 140726697931840 140726697928456 5070704 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24513 855 435 0 24751 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98052 KiB
[startup+25.5003 s]
/proc/loadavg: 1.48 0.50 0.21 3/190 24638
/proc/meminfo: memFree=26957504/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98052 CPUtime=25.49 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 62994 0 0 0 2545 4 0 0 20 0 1 0 89905307 128565248 24513 33554432000 4194304 5972588 140726697931840 140726697928456 5071496 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24513 855 435 0 24751 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98052 KiB
[startup+51.109 s]
/proc/loadavg: 1.66 0.62 0.26 3/190 24638
/proc/meminfo: memFree=26957456/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98052 CPUtime=51.1 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63017 0 0 0 5106 4 0 0 20 0 1 0 89905307 128565248 24513 33554432000 4194304 5972588 140726697931840 140726697928456 5099664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24513 855 435 0 24751 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98052 KiB
[startup+102.3 s]
/proc/loadavg: 1.86 0.86 0.36 3/191 24669
/proc/meminfo: memFree=26956324/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=102.3 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63040 0 0 0 10226 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5099664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.06 0.46 3/191 24670
/proc/meminfo: memFree=26956268/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=162.31 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63063 0 0 0 16227 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5099664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.23 0.56 3/191 24671
/proc/meminfo: memFree=26951864/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=222.32 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63086 0 0 0 22228 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5071456 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.37 0.65 3/188 24672
/proc/meminfo: memFree=26948424/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=282.33 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63086 0 0 0 28229 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5053069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 282.33 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.49 0.73 3/188 24673
/proc/meminfo: memFree=26945572/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=342.33 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63109 0 0 0 34229 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5053094 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.58 0.81 3/187 24675
/proc/meminfo: memFree=26945308/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=402.34 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63109 0 0 0 40230 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5099664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.66 0.89 3/187 24676
/proc/meminfo: memFree=26944256/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=462.35 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63132 0 0 0 46231 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5071496 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
################
# More data... #
################
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 1782.53 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.05 1.78 3/187 24739
/proc/meminfo: memFree=26943560/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=1842.54 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63385 0 0 0 184250 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5071520 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 1842.54 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 1.79 3/188 24748
/proc/meminfo: memFree=26942596/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=1902.55 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63408 0 0 0 190251 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5071499 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 1902.55 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+1962.3 s]
/proc/loadavg: 2.29 2.10 1.83 3/188 24749
/proc/meminfo: memFree=26942968/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=1962.55 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63408 0 0 0 196251 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 4965552 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 1962.55 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+2022.3 s]
/proc/loadavg: 2.34 2.17 1.87 3/188 24750
/proc/meminfo: memFree=26942720/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2022.56 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63431 0 0 0 202252 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5071488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2022.56 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+2082.3 s]
/proc/loadavg: 2.13 2.14 1.87 3/188 24751
/proc/meminfo: memFree=26943148/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2082.57 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63431 0 0 0 208253 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5099664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2082.57 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+2142.3 s]
/proc/loadavg: 2.05 2.11 1.88 3/188 24752
/proc/meminfo: memFree=26943584/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2142.58 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63454 0 0 0 214254 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5071499 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2142.58 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.09 1.89 3/188 24754
/proc/meminfo: memFree=26943412/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2202.59 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63454 0 0 0 220255 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5053056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2202.59 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 1.89 3/187 24755
/proc/meminfo: memFree=26943608/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2262.59 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63477 0 0 0 226255 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 4965552 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2262.59 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 1.90 3/187 24756
/proc/meminfo: memFree=26943664/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2322.6 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63477 0 0 0 232256 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 4965560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2322.6 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.05 1.90 3/187 24758
/proc/meminfo: memFree=26943704/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2382.61 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63500 0 0 0 238257 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 4909660 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2382.61 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 1.91 3/187 24759
/proc/meminfo: memFree=26943828/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2442.62 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63500 0 0 0 244258 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 4909660 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2442.62 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 1.92 3/187 24767
/proc/meminfo: memFree=26942356/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2502.63 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63523 0 0 0 250259 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 5070704 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2502.63 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.7 s]
/proc/loadavg: 1.93 2.02 1.91 3/187 24828
/proc/meminfo: memFree=26373664/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2520.03 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63523 0 0 0 251999 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 4909657 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.7 s]
# the end of solver process 24637 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.99 s, system=0.047006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.7 s]
/proc/loadavg: 1.93 2.02 1.91 3/187 24828
/proc/meminfo: memFree=26373664/32770624 swapFree=67108860/67108860
[pid=24637] ppid=24634 vsize=125552 memory=98072 CPUtime=2520.03 cores=0,2,4,6
/proc/24637/stat : 24637 (cosoco) R 24634 24637 24273 0 -1 4202496 63523 0 0 0 251999 4 0 0 20 0 1 0 89905307 128565248 24518 33554432000 4194304 5972588 140726697931840 140726697928456 4909657 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8433664 140726697940154 140726697940254 140726697940254 140726697942990 0
/proc/24637/statm: 31388 24518 855 435 0 24751 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 125552 KiB
Current children cumulated memory: 98072 KiB
Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.04
CPU user time (s): 2519.99
CPU system time (s): 0.047006
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 125552
Max. memory (cumulated for all children) (KiB): 98072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.047006
maximum resident set size= 98148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63582
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= 6
involuntary context switches= 723
# summary of solver processes directly reported to runsolver:
# pid: 24637
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.99
# total CPU system time (s): 0.047006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.5885 second user time and 15.3096 second system time
The end