runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241798-1502101437/watcher-4241798-1502101437 -o /tmp/evaluation-result-4241798-1502101437/solver-4241798-1502101437 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29186 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241798-1502101437.xml
pid=6043
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 3.95 4.57 4.13 1/181 6046
/proc/meminfo: memFree=31979600/32770624 swapFree=0/25592
[pid=6046] ppid=6043 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6046/stat : 6046 (runsolver) D 6043 6046 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12339447 24240128 107 18446744073709551615 4194304 4338465 140724457677696 140724457675336 140391814947543 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 14893056 140724457681050 140724457681482 140724457681482 140724457684938 0
/proc/6046/statm: 5918 107 54 36 0 2156 0
[startup+0.10007 s]
/proc/loadavg: 3.95 4.57 4.13 1/181 6046
/proc/meminfo: memFree=31979600/32770624 swapFree=0/25592
[pid=6046] ppid=6043 vsize=27940 CPUtime=0 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 4202496 1166 0 1 0 0 0 0 0 20 0 1 0 12339447 28610560 964 18446744073709551615 4194304 5970956 140722995997136 140722995993784 5125549 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 6985 964 702 434 0 349 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27940
[startup+0.20031 s]
/proc/loadavg: 3.95 4.57 4.13 1/181 6046
/proc/meminfo: memFree=31979600/32770624 swapFree=0/25592
[pid=6046] ppid=6043 vsize=155288 CPUtime=0.1 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 4202496 33077 0 1 0 6 4 0 0 20 0 1 0 12339447 159014912 32816 18446744073709551615 4194304 5970956 140722995997136 140722995993784 5674169 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 38822 32816 740 434 0 32186 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 155288
[startup+0.300366 s]
/proc/loadavg: 3.95 4.57 4.13 1/181 6046
/proc/meminfo: memFree=31979600/32770624 swapFree=0/25592
[pid=6046] ppid=6043 vsize=194980 CPUtime=0.19 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 4202496 43242 0 1 0 14 5 0 0 20 0 1 0 12339447 199659520 42778 18446744073709551615 4194304 5970956 140722995997136 140722995991576 5674140 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 48745 42778 740 434 0 42109 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 194980
[startup+0.700354 s]
/proc/loadavg: 3.95 4.57 4.13 1/181 6046
/proc/meminfo: memFree=31979600/32770624 swapFree=0/25592
[pid=6046] ppid=6043 vsize=402308 CPUtime=0.6 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 4202496 76207 0 1 0 49 11 0 0 20 0 1 0 12339447 411963392 91066 18446744073709551615 4194304 5970956 140722995997136 140722995991576 5251805 0 0 1 8404994 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 100577 91066 775 434 0 93941 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 402308
[startup+1.50036 s]
/proc/loadavg: 3.79 4.52 4.12 3/182 6047
/proc/meminfo: memFree=30857644/32770624 swapFree=0/30588
[pid=6046] ppid=6043 vsize=898220 CPUtime=1.4 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 4202496 125867 0 1 0 120 20 0 0 20 0 1 0 12339447 919777280 185228 18446744073709551615 4194304 5970956 140722995997136 140722995993960 5279714 0 0 1 8404994 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 224555 185228 775 434 0 217919 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 898220
[startup+3.10028 s]
/proc/loadavg: 3.79 4.52 4.12 3/182 6047
/proc/meminfo: memFree=29880476/32770624 swapFree=0/30536
[pid=6046] ppid=6043 vsize=1493672 CPUtime=2.99 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 4202496 215971 0 1 0 260 39 0 0 20 0 1 0 12339447 1529520128 353688 18446744073709551615 4194304 5970956 140722995997136 140722995993960 5251805 0 0 1 8404994 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 373418 353688 775 434 0 366782 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 1493672
[startup+6.30036 s]
/proc/loadavg: 3.57 4.47 4.10 3/187 6063
/proc/meminfo: memFree=26952236/32770624 swapFree=0/36020
[pid=6046] ppid=6043 vsize=3252588 CPUtime=6.19 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 4202496 427656 0 1 0 545 74 0 0 20 0 1 0 12339447 3330650112 702609 18446744073709551615 4194304 5970956 140722995997136 140722995993960 5251805 0 0 1 8404994 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 813147 702609 775 434 0 806511 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 3252588
[startup+12.7004 s]
/proc/loadavg: 3.44 4.42 4.09 3/187 6063
/proc/meminfo: memFree=21228340/32770624 swapFree=0/36048
[pid=6046] ppid=6043 vsize=5869124 CPUtime=12.59 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 4202496 806978 0 1 0 1116 143 0 0 20 0 1 0 12339447 6009982976 1387818 18446744073709551615 4194304 5970956 140722995997136 140722995993960 5251849 0 0 1 8404994 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 1467281 1387818 775 434 0 1460645 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 5869124
[startup+25.5062 s]
/proc/loadavg: 3.12 4.31 4.06 3/187 6064
/proc/meminfo: memFree=9703188/32770624 swapFree=0/36060
[pid=6046] ppid=6043 vsize=13234900 CPUtime=25.4 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 4202496 1444860 0 1 0 2265 275 0 0 20 0 1 0 12339447 13552537600 2769595 18446744073709551615 4194304 5970956 140722995997136 140722995993960 5251805 0 0 1 8404994 0 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3308725 2769595 775 434 0 3302089 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 13234900
[startup+51.1002 s]
/proc/loadavg: 3.47 4.28 4.06 1/189 6066
/proc/meminfo: memFree=1321852/32770624 swapFree=0/891224
[pid=6046] ppid=6043 vsize=15062772 CPUtime=34.3 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3068 362 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.3
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+102.3 s]
/proc/loadavg: 4.33 4.39 4.10 1/189 6068
/proc/meminfo: memFree=848388/32770624 swapFree=0/1336960
[pid=6046] ppid=6043 vsize=15062772 CPUtime=34.4 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3077 363 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 4 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.4
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+162.3 s]
/proc/loadavg: 4.89 4.55 4.18 1/186 6070
/proc/meminfo: memFree=188528/32770624 swapFree=0/1983360
[pid=6046] ppid=6043 vsize=15062772 CPUtime=34.88 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3120 368 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 0 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.88
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+222.3 s]
/proc/loadavg: 5.01 4.65 4.23 1/185 6072
/proc/meminfo: memFree=192280/32770624 swapFree=0/1957920
[pid=6046] ppid=6043 vsize=15062772 CPUtime=35.33 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3160 373 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 4 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 35.33
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+282.3 s]
/proc/loadavg: 5.29 4.79 4.31 1/186 6075
/proc/meminfo: memFree=194404/32770624 swapFree=0/1950356
[pid=6046] ppid=6043 vsize=15062772 CPUtime=35.85 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3206 379 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 35.85
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+342.3 s]
/proc/loadavg: 5.17 4.84 4.36 1/184 6077
/proc/meminfo: memFree=204596/32770624 swapFree=0/1995960
[pid=6046] ppid=6043 vsize=15062772 CPUtime=36.34 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3249 385 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 36.34
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+402.3 s]
/proc/loadavg: 5.26 4.92 4.41 1/184 6079
/proc/meminfo: memFree=188116/32770624 swapFree=0/2000676
[pid=6046] ppid=6043 vsize=15062772 CPUtime=36.82 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3291 391 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 36.82
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+462.3 s]
/proc/loadavg: 5.09 4.93 4.45 1/184 6081
/proc/meminfo: memFree=204860/32770624 swapFree=0/1987476
[pid=6046] ppid=6043 vsize=15062772 CPUtime=37.3 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3334 396 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 37.3
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+522.3 s]
/proc/loadavg: 5.11 4.96 4.49 1/185 6083
/proc/meminfo: memFree=204572/32770624 swapFree=0/1977212
[pid=6046] ppid=6043 vsize=15062772 CPUtime=37.8 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 512 1883705 0 1 0 3378 402 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 0 0 0 17 0 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 37.8
Current children cumulated vsize (KiB) 15062772
heavy processes:
################
# More data... #
################
/proc/loadavg: 5.07 4.98 4.52 2/184 6084
/proc/meminfo: memFree=199016/32770624 swapFree=0/1983720
[pid=6046] ppid=6043 vsize=15062772 CPUtime=38.26 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3419 407 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 38.26
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+642.3 s]
/proc/loadavg: 5.64 5.16 4.61 1/188 6096
/proc/meminfo: memFree=192656/32770624 swapFree=0/1971536
[pid=6046] ppid=6043 vsize=15062772 CPUtime=38.7 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3458 412 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 0 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 38.7
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+702.3 s]
/proc/loadavg: 5.91 5.32 4.70 1/188 6103
/proc/meminfo: memFree=200108/32770624 swapFree=0/1964648
[pid=6046] ppid=6043 vsize=15062772 CPUtime=39.15 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3498 417 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.15
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+762.3 s]
/proc/loadavg: 6.01 5.46 4.79 1/189 6106
/proc/meminfo: memFree=187464/32770624 swapFree=0/1953372
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.23 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3585 438 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 2 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.23
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+822.3 s]
/proc/loadavg: 5.56 5.45 4.83 1/187 6108
/proc/meminfo: memFree=179228/32770624 swapFree=0/1986884
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.74 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3627 447 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 4 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.74
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+882.3 s]
/proc/loadavg: 5.39 5.43 4.86 1/187 6110
/proc/meminfo: memFree=233676/32770624 swapFree=0/1937524
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.78 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3630 448 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.78
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+942.3 s]
/proc/loadavg: 5.36 5.40 4.88 1/186 6113
/proc/meminfo: memFree=237956/32770624 swapFree=0/1933192
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.78 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3630 448 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.78
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+1002.3 s]
/proc/loadavg: 5.70 5.49 4.95 1/185 6115
/proc/meminfo: memFree=237032/32770624 swapFree=0/1933212
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.78 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3630 448 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.78
Current children cumulated vsize (KiB) 15062772
heavy processes:
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6046 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1024.3 s]
/proc/loadavg: 5.85 5.54 4.98 1/185 6115
/proc/meminfo: memFree=237772/32770624 swapFree=0/1933220
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.78 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3630 448 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.78
Current children cumulated vsize (KiB) 15062772
[startup+1037.1 s]
/proc/loadavg: 5.88 5.56 4.99 1/185 6116
/proc/meminfo: memFree=237188/32770624 swapFree=0/1933244
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.78 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3630 448 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.78
Current children cumulated vsize (KiB) 15062772
[startup+1043.5 s]
/proc/loadavg: 5.89 5.57 5.00 1/185 6116
/proc/meminfo: memFree=237092/32770624 swapFree=0/1933244
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.78 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3630 448 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.78
Current children cumulated vsize (KiB) 15062772
[startup+1049.9 s]
/proc/loadavg: 5.90 5.58 5.00 1/185 6117
/proc/meminfo: memFree=237204/32770624 swapFree=0/1933244
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.78 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3630 448 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.78
Current children cumulated vsize (KiB) 15062772
[startup+1051.5 s]
/proc/loadavg: 5.91 5.58 5.01 1/185 6117
/proc/meminfo: memFree=237204/32770624 swapFree=0/1933244
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.78 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3630 448 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.78
Current children cumulated vsize (KiB) 15062772
[startup+1053.11 s]
/proc/loadavg: 5.91 5.58 5.01 1/185 6117
/proc/meminfo: memFree=1205108/32770624 swapFree=0/965020
[pid=6046] ppid=6043 vsize=15062772 CPUtime=40.78 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) S 6043 6046 21827 0 -1 512 1883705 0 1 0 3630 448 0 0 20 0 1 0 12339447 15424278528 3716029 18446744073709551615 4194304 5970956 140722995997136 140722995994216 140143378489815 0 0 1 8404994 18446744071580971376 0 0 17 6 0 0 9 0 0 8070896 8075904 30642176 140722995999175 140722995999310 140722995999310 140722996002766 0
/proc/6046/statm: 3765693 3716029 775 434 0 3759057 0
Current children cumulated CPU time (s) 40.78
Current children cumulated vsize (KiB) 15062772
[startup+1053.9 s]
/proc/loadavg: 5.91 5.58 5.01 1/185 6117
/proc/meminfo: memFree=1205108/32770624 swapFree=0/965020
[pid=6046] ppid=6043 vsize=0 CPUtime=41.03 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 516 1883705 0 1 0 3630 473 0 0 20 0 1 0 12339447 0 0 18446744073709551615 0 0 0 0 0 0 0 1 8404994 18446744073709551615 0 0 17 6 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/6046/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 41.03
Current children cumulated vsize (KiB) 0
[startup+1054.1 s]
/proc/loadavg: 5.91 5.58 5.01 3/183 6117
/proc/meminfo: memFree=15775872/32770624 swapFree=0/964440
[pid=6046] ppid=6043 vsize=0 CPUtime=41.27 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 516 1883705 0 1 0 3630 497 0 0 20 0 1 0 12339447 0 0 18446744073709551615 0 0 0 0 0 0 0 1 8404994 18446744073709551615 0 0 17 0 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/6046/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 41.27
Current children cumulated vsize (KiB) 0
[startup+1054.21 s]
/proc/loadavg: 5.91 5.58 5.01 3/183 6117
/proc/meminfo: memFree=15775872/32770624 swapFree=0/964440
[pid=6046] ppid=6043 vsize=0 CPUtime=41.38 cores=0,2,4,6
/proc/6046/stat : 6046 (cosoco) R 6043 6046 21827 0 -1 516 1883705 0 1 0 3630 508 0 0 20 0 1 0 12339447 0 0 18446744073709551615 0 0 0 0 0 0 0 1 8404994 18446744073709551615 0 0 17 0 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/6046/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 41.38
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1054.28
CPU time (s): 41.3984
CPU user time (s): 36.3099
CPU system time (s): 5.08847
CPU usage (%): 3.9267
Max. virtual memory (cumulated for all children) (KiB): 15062772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.3099
system time used= 5.08847
maximum resident set size= 14864284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1883705
page faults= 1
swaps= 0
block input operations= 672
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1915362
involuntary context switches= 81
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.82902 second user time and 4.06053 second system time
The end