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-4241802-1502101437/watcher-4241802-1502101437 -o /tmp/evaluation-result-4241802-1502101437/solver-4241802-1502101437 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241802-1502101437.xml
pid=6032
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 3.95 4.57 4.13 3/177 6035
/proc/meminfo: memFree=31981992/32770624 swapFree=0/26112
[pid=6035] ppid=6032 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6035/stat : 6035 (runsolver) D 6032 6035 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12339444 24240128 107 18446744073709551615 4194304 4338465 140722160718400 140722160716040 140548483347159 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 6508544 140722160726170 140722160726602 140722160726602 140722160730058 0
/proc/6035/statm: 5918 107 54 36 0 2156 0
[startup+0.100153 s]
/proc/loadavg: 3.95 4.57 4.13 3/177 6035
/proc/meminfo: memFree=31981992/32770624 swapFree=0/26112
[pid=6035] ppid=6032 vsize=5512 CPUtime=0 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) D 6032 6035 21827 0 -1 4194304 150 0 0 0 0 0 0 0 20 0 1 0 12339444 5644288 36 18446744073709551615 4194304 5970956 140725821528752 140725821525848 139728482503162 0 0 1 0 18446744071580431491 0 0 17 1 0 0 8 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 1378 36 27 434 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5512
[startup+0.200276 s]
/proc/loadavg: 3.95 4.57 4.13 3/177 6035
/proc/meminfo: memFree=31981992/32770624 swapFree=0/26112
[pid=6035] ppid=6032 vsize=154768 CPUtime=0.06 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) R 6032 6035 21827 0 -1 4202496 32901 0 1 0 2 4 0 0 20 0 1 0 12339444 158482432 32709 18446744073709551615 4194304 5970956 140725821528752 140725821525352 5417044 0 0 1 0 0 0 0 17 1 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 38692 32709 740 434 0 32056 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 154768
[startup+0.300348 s]
/proc/loadavg: 3.95 4.57 4.13 3/177 6035
/proc/meminfo: memFree=31981992/32770624 swapFree=0/26112
[pid=6035] ppid=6032 vsize=194980 CPUtime=0.17 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) R 6032 6035 21827 0 -1 4202496 43242 0 1 0 11 6 0 0 20 0 1 0 12339444 199659520 42778 18446744073709551615 4194304 5970956 140725821528752 140725821523192 5674704 0 0 1 0 0 0 0 17 1 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 48745 42778 740 434 0 42109 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 194980
[startup+0.700303 s]
/proc/loadavg: 3.95 4.57 4.13 3/177 6035
/proc/meminfo: memFree=31981992/32770624 swapFree=0/26112
[pid=6035] ppid=6032 vsize=385460 CPUtime=0.57 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) R 6032 6035 21827 0 -1 4202496 71639 0 1 0 47 10 0 0 20 0 1 0 12339444 394711040 86001 18446744073709551615 4194304 5970956 140725821528752 140725821523192 5251805 0 0 1 8404994 0 0 0 17 3 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 96365 86001 775 434 0 89729 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 385460
[startup+1.50029 s]
/proc/loadavg: 3.79 4.52 4.12 3/182 6047
/proc/meminfo: memFree=30894916/32770624 swapFree=0/30588
[pid=6035] ppid=6032 vsize=896364 CPUtime=1.37 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) R 6032 6035 21827 0 -1 4202496 123917 0 1 0 117 20 0 0 20 0 1 0 12339444 917876736 183762 18446744073709551615 4194304 5970956 140725821528752 140725821525576 5251805 0 0 1 8404994 0 0 0 17 3 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 224091 183762 775 434 0 217455 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 896364
[startup+3.10024 s]
/proc/loadavg: 3.79 4.52 4.12 3/182 6047
/proc/meminfo: memFree=29904920/32770624 swapFree=0/30536
[pid=6035] ppid=6032 vsize=1494684 CPUtime=2.97 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) R 6032 6035 21827 0 -1 4202496 214880 0 1 0 257 40 0 0 20 0 1 0 12339444 1530556416 354171 18446744073709551615 4194304 5970956 140725821528752 140725821525576 5251805 0 0 1 8404994 0 0 0 17 3 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 373671 354171 775 434 0 367035 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 1494684
[startup+6.3003 s]
/proc/loadavg: 3.57 4.47 4.10 3/187 6063
/proc/meminfo: memFree=27080944/32770624 swapFree=0/36020
[pid=6035] ppid=6032 vsize=3258316 CPUtime=6.16 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) R 6032 6035 21827 0 -1 4202496 428325 0 1 0 541 75 0 0 20 0 1 0 12339444 3336515584 707768 18446744073709551615 4194304 5970956 140725821528752 140725821525576 5251805 0 0 1 8404994 0 0 0 17 3 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 814579 707768 775 434 0 807943 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 3258316
[startup+12.7003 s]
/proc/loadavg: 3.44 4.42 4.09 3/187 6063
/proc/meminfo: memFree=21321648/32770624 swapFree=0/36048
[pid=6035] ppid=6032 vsize=5869124 CPUtime=12.57 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) R 6032 6035 21827 0 -1 4202496 817743 0 1 0 1114 143 0 0 20 0 1 0 12339444 6009982976 1399000 18446744073709551615 4194304 5970956 140725821528752 140725821525576 5251849 0 0 1 8404994 0 0 0 17 3 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 1467281 1399000 775 434 0 1460645 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 5869124
[startup+25.5004 s]
/proc/loadavg: 3.12 4.31 4.06 3/187 6064
/proc/meminfo: memFree=9803196/32770624 swapFree=0/36060
[pid=6035] ppid=6032 vsize=13304396 CPUtime=25.36 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) R 6032 6035 21827 0 -1 4202496 1471745 0 1 0 2258 278 0 0 20 0 1 0 12339444 13623701504 2807925 18446744073709551615 4194304 5970956 140725821528752 140725821525576 5251805 0 0 1 8404994 0 0 0 17 3 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3326099 2807925 775 434 0 3319463 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 13304396
[startup+51.1002 s]
/proc/loadavg: 3.47 4.28 4.06 1/189 6066
/proc/meminfo: memFree=1322596/32770624 swapFree=0/890184
[pid=6035] ppid=6032 vsize=15062772 CPUtime=33.82 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3020 362 0 0 20 0 1 0 12339444 15424278528 3716360 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716360 775 434 0 3759057 0
Current children cumulated CPU time (s) 33.82
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=839372/32770624 swapFree=0/1346580
[pid=6035] ppid=6032 vsize=15062772 CPUtime=33.91 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3028 363 0 0 20 0 1 0 12339444 15424278528 3716360 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 7 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716360 775 434 0 3759057 0
Current children cumulated CPU time (s) 33.91
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=191484/32770624 swapFree=0/1976860
[pid=6035] ppid=6032 vsize=15062772 CPUtime=34.39 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3070 369 0 0 20 0 1 0 12339444 15424278528 3716360 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716360 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.39
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+222.306 s]
/proc/loadavg: 5.01 4.65 4.23 1/185 6072
/proc/meminfo: memFree=187236/32770624 swapFree=0/1957920
[pid=6035] ppid=6032 vsize=15062772 CPUtime=34.82 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3108 374 0 0 20 0 1 0 12339444 15424278528 3716360 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 7 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716360 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.82
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=196484/32770624 swapFree=0/1944700
[pid=6035] ppid=6032 vsize=15062772 CPUtime=35.28 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3149 379 0 0 20 0 1 0 12339444 15424278528 3716361 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716361 775 434 0 3759057 0
Current children cumulated CPU time (s) 35.28
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=181832/32770624 swapFree=0/2013000
[pid=6035] ppid=6032 vsize=15062772 CPUtime=35.71 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3187 384 0 0 20 0 1 0 12339444 15424278528 3716361 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716361 775 434 0 3759057 0
Current children cumulated CPU time (s) 35.71
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=192160/32770624 swapFree=0/1994956
[pid=6035] ppid=6032 vsize=15062772 CPUtime=36.16 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3227 389 0 0 20 0 1 0 12339444 15424278528 3716361 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716361 775 434 0 3759057 0
Current children cumulated CPU time (s) 36.16
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+462.306 s]
/proc/loadavg: 5.09 4.93 4.45 1/184 6081
/proc/meminfo: memFree=209940/32770624 swapFree=0/1982796
[pid=6035] ppid=6032 vsize=15062772 CPUtime=36.59 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3265 394 0 0 20 0 1 0 12339444 15424278528 3716361 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716361 775 434 0 3759057 0
Current children cumulated CPU time (s) 36.59
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=207576/32770624 swapFree=0/1974352
[pid=6035] ppid=6032 vsize=15062772 CPUtime=37.05 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3306 399 0 0 20 0 1 0 12339444 15424278528 3716361 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 7 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716361 775 434 0 3759057 0
Current children cumulated CPU time (s) 37.05
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+582.3 s]
/proc/loadavg: 5.07 4.98 4.52 1/184 6084
/proc/meminfo: memFree=204604/32770624 swapFree=0/1977740
[pid=6035] ppid=6032 vsize=15062772 CPUtime=37.47 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3343 404 0 0 20 0 1 0 12339444 15424278528 3716372 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716372 775 434 0 3759057 0
Current children cumulated CPU time (s) 37.47
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+642.3 s]
/proc/loadavg: 5.64 5.16 4.61 2/188 6096
/proc/meminfo: memFree=196320/32770624 swapFree=0/1965556
[pid=6035] ppid=6032 vsize=15062772 CPUtime=37.86 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3377 409 0 0 20 0 1 0 12339444 15424278528 3716372 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716372 775 434 0 3759057 0
Current children cumulated CPU time (s) 37.86
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=203416/32770624 swapFree=0/1962308
[pid=6035] ppid=6032 vsize=15062772 CPUtime=38.27 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3414 413 0 0 20 0 1 0 12339444 15424278528 3716372 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 7 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716372 775 434 0 3759057 0
Current children cumulated CPU time (s) 38.27
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=188560/32770624 swapFree=0/1950512
[pid=6035] ppid=6032 vsize=15062772 CPUtime=39.27 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3492 435 0 0 20 0 1 0 12339444 15424278528 3716375 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716375 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.27
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=179628/32770624 swapFree=0/1986364
[pid=6035] ppid=6032 vsize=15062772 CPUtime=39.75 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3532 443 0 0 20 0 1 0 12339444 15424278528 3716532 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716532 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.75
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=6035] ppid=6032 vsize=15062772 CPUtime=39.8 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3536 444 0 0 20 0 1 0 12339444 15424278528 3716545 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716545 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.8
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=237668/32770624 swapFree=0/1933192
[pid=6035] ppid=6032 vsize=15062772 CPUtime=39.8 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3536 444 0 0 20 0 1 0 12339444 15424278528 3716545 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716545 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.8
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=236744/32770624 swapFree=0/1933212
[pid=6035] ppid=6032 vsize=15062772 CPUtime=39.8 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3536 444 0 0 20 0 1 0 12339444 15424278528 3716545 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716545 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.8
Current children cumulated vsize (KiB) 15062772
heavy processes:
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6035 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1024.2 s]
/proc/loadavg: 5.85 5.54 4.98 1/185 6115
/proc/meminfo: memFree=237772/32770624 swapFree=0/1933220
[pid=6035] ppid=6032 vsize=15062772 CPUtime=39.8 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3536 444 0 0 20 0 1 0 12339444 15424278528 3716545 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716545 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.8
Current children cumulated vsize (KiB) 15062772
[startup+1037 s]
/proc/loadavg: 5.88 5.56 4.99 1/185 6116
/proc/meminfo: memFree=237188/32770624 swapFree=0/1933244
[pid=6035] ppid=6032 vsize=15062772 CPUtime=39.8 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3536 444 0 0 20 0 1 0 12339444 15424278528 3716545 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716545 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.8
Current children cumulated vsize (KiB) 15062772
[startup+1043.4 s]
/proc/loadavg: 5.89 5.57 5.00 1/185 6116
/proc/meminfo: memFree=237092/32770624 swapFree=0/1933244
[pid=6035] ppid=6032 vsize=15062772 CPUtime=39.8 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3536 444 0 0 20 0 1 0 12339444 15424278528 3716545 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716545 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.8
Current children cumulated vsize (KiB) 15062772
[startup+1049.8 s]
/proc/loadavg: 5.90 5.58 5.00 1/185 6117
/proc/meminfo: memFree=237204/32770624 swapFree=0/1933244
[pid=6035] ppid=6032 vsize=15062772 CPUtime=39.8 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3536 444 0 0 20 0 1 0 12339444 15424278528 3716545 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716545 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.8
Current children cumulated vsize (KiB) 15062772
[startup+1051.4 s]
/proc/loadavg: 5.91 5.58 5.01 1/185 6117
/proc/meminfo: memFree=237204/32770624 swapFree=0/1933244
[pid=6035] ppid=6032 vsize=15062772 CPUtime=39.8 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3536 444 0 0 20 0 1 0 12339444 15424278528 3716545 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716545 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.8
Current children cumulated vsize (KiB) 15062772
[startup+1053.01 s]
/proc/loadavg: 5.91 5.58 5.01 3/185 6117
/proc/meminfo: memFree=1014348/32770624 swapFree=0/1154300
[pid=6035] ppid=6032 vsize=15062772 CPUtime=39.8 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) S 6032 6035 21827 0 -1 512 1892846 0 1 0 3536 444 0 0 20 0 1 0 12339444 15424278528 3716545 18446744073709551615 4194304 5970956 140725821528752 140725821525832 139728466096599 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 12 0 0 8070896 8075904 30941184 140725821534663 140725821534798 140725821534798 140725821538254 0
/proc/6035/statm: 3765693 3716545 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.8
Current children cumulated vsize (KiB) 15062772
[startup+1053.8 s]
/proc/loadavg: 5.91 5.58 5.01 3/185 6117
/proc/meminfo: memFree=1014348/32770624 swapFree=0/1154300
[pid=6035] ppid=6032 vsize=0 CPUtime=39.89 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) R 6032 6035 21827 0 -1 516 1892846 0 1 0 3536 453 0 0 20 0 1 0 12339444 0 0 18446744073709551615 0 0 0 0 0 0 0 1 8404994 18446744073709551615 0 0 17 7 0 0 12 0 0 0 0 0 0 0 0 0 0
/proc/6035/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (KiB) 0
[startup+1054.2 s]
/proc/loadavg: 5.91 5.58 5.01 3/183 6117
/proc/meminfo: memFree=11198668/32770624 swapFree=0/964440
[pid=6035] ppid=6032 vsize=0 CPUtime=40.35 cores=1,3,5,7
/proc/6035/stat : 6035 (cosoco) R 6032 6035 21827 0 -1 516 1892846 0 1 0 3536 499 0 0 20 0 1 0 12339444 0 0 18446744073709551615 0 0 0 0 0 0 0 1 8404994 18446744073709551615 0 0 17 1 0 0 12 0 0 0 0 0 0 0 0 0 0
/proc/6035/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.35
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1054.27
CPU time (s): 40.3587
CPU user time (s): 35.3632
CPU system time (s): 4.99546
CPU usage (%): 3.82812
Max. virtual memory (cumulated for all children) (KiB): 15062772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.3632
system time used= 4.99546
maximum resident set size= 14866348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1892846
page faults= 1
swaps= 0
block input operations= 9256
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1919404
involuntary context switches= 85
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.90155 second user time and 3.81824 second system time
The end