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-4241794-1502100425/watcher-4241794-1502100425 -o /tmp/evaluation-result-4241794-1502100425/solver-4241794-1502100425 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241794-1502100425.xml
pid=5811
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: 2.00 2.02 2.24 2/193 5814
/proc/meminfo: memFree=31605784/32770624 swapFree=0/388216
[pid=5814] ppid=5811 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5814/stat : 5814 (runsolver) D 5811 5814 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12238233 24240128 106 18446744073709551615 4194304 4338465 140726433122912 140726433120552 140507045147351 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 33579008 140726433124506 140726433124938 140726433124938 140726433128394 0
/proc/5814/statm: 5918 106 53 36 0 2156 0
[startup+0.100928 s]
/proc/loadavg: 2.00 2.02 2.24 2/193 5814
/proc/meminfo: memFree=31605784/32770624 swapFree=0/388216
[pid=5814] ppid=5811 vsize=56268 CPUtime=0.02 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 4202496 8281 0 0 0 1 1 0 0 20 0 1 0 12238233 57618432 8092 18446744073709551615 4194304 5970956 140721617374880 140721617369320 140011767002092 0 0 1 0 0 0 0 17 7 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 14067 8092 740 434 0 7431 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 56268
[startup+0.200917 s]
/proc/loadavg: 2.00 2.02 2.24 2/193 5814
/proc/meminfo: memFree=31605784/32770624 swapFree=0/388216
[pid=5814] ppid=5811 vsize=162552 CPUtime=0.12 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 4202496 34932 0 0 0 8 4 0 0 20 0 1 0 12238233 166453248 34578 18446744073709551615 4194304 5970956 140721617374880 140721617369320 140011766589344 0 0 1 0 0 0 0 17 7 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 40638 34578 740 434 0 34002 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 162552
[startup+0.300915 s]
/proc/loadavg: 2.00 2.02 2.24 2/193 5814
/proc/meminfo: memFree=31605784/32770624 swapFree=0/388216
[pid=5814] ppid=5811 vsize=202532 CPUtime=0.22 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 4202496 45114 0 0 0 17 5 0 0 20 0 1 0 12238233 207392768 44693 18446744073709551615 4194304 5970956 140721617374880 140721617371480 5417219 0 0 1 0 0 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 50633 44693 740 434 0 43997 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 202532
[startup+0.700295 s]
/proc/loadavg: 2.00 2.02 2.24 2/193 5814
/proc/meminfo: memFree=31605784/32770624 swapFree=0/388216
[pid=5814] ppid=5811 vsize=415948 CPUtime=0.62 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 4202496 77175 0 0 0 51 11 0 0 20 0 1 0 12238233 425930752 94101 18446744073709551615 4194304 5970956 140721617374880 140721617371768 5279833 0 0 1 8404994 0 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 103987 94101 775 434 0 97351 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 415948
[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.24 3/181 5847
/proc/meminfo: memFree=30882332/32770624 swapFree=0/388324
[pid=5814] ppid=5811 vsize=903108 CPUtime=1.41 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 4202496 126026 0 0 0 122 19 0 0 20 0 1 0 12238233 924782592 189944 18446744073709551615 4194304 5970956 140721617374880 140721617371768 140011766610912 0 0 1 8404994 0 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 225777 189944 775 434 0 219141 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 903108
[startup+3.10028 s]
/proc/loadavg: 2.00 2.02 2.24 3/181 5847
/proc/meminfo: memFree=29869532/32770624 swapFree=0/388236
[pid=5814] ppid=5811 vsize=1501428 CPUtime=3.01 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 4202496 218327 0 0 0 265 36 0 0 20 0 1 0 12238233 1537462272 360584 18446744073709551615 4194304 5970956 140721617374880 140721617371704 5251849 0 0 1 8404994 0 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 375357 360584 775 434 0 368721 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 1501428
[startup+6.30027 s]
/proc/loadavg: 2.00 2.02 2.24 3/181 5847
/proc/meminfo: memFree=27028040/32770624 swapFree=0/388236
[pid=5814] ppid=5811 vsize=3265396 CPUtime=6.22 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 4202496 431381 0 0 0 550 72 0 0 20 0 1 0 12238233 3343765504 714640 18446744073709551615 4194304 5970956 140721617374880 140721617371704 5251805 0 0 1 8404994 0 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 816349 714640 775 434 0 809713 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 3265396
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.24 3/181 5847
/proc/meminfo: memFree=21218096/32770624 swapFree=0/388236
[pid=5814] ppid=5811 vsize=5869124 CPUtime=12.61 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 4202496 808281 0 0 0 1124 137 0 0 20 0 1 0 12238233 6009982976 1406111 18446744073709551615 4194304 5970956 140721617374880 140721617371704 5251805 0 0 1 8404994 0 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 1467281 1406111 775 434 0 1460645 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 5869124
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.23 3/181 5848
/proc/meminfo: memFree=9603632/32770624 swapFree=0/388236
[pid=5814] ppid=5811 vsize=13315044 CPUtime=25.42 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 4202496 1463225 0 0 0 2275 267 0 0 20 0 1 0 12238233 13634605056 2816052 18446744073709551615 4194304 5970956 140721617374880 140721617371704 5251805 0 0 1 8404994 0 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3328761 2816052 775 434 0 3322125 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 13315044
[startup+51.8002 s]
/proc/loadavg: 3.07 2.24 2.30 1/184 5851
/proc/meminfo: memFree=159648/32770624 swapFree=0/2003700
[pid=5814] ppid=5811 vsize=15062772 CPUtime=34.07 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3049 358 0 0 20 0 1 0 12238233 15424278528 3716342 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716342 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.07
Current children cumulated vsize (KiB) 15062772
heavy processes:
%CPU=15 pid=5849 uid=0 cmd=
%CPU=11 pid=5850 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5846 1011 1011 1502099621 e 5846 5846
[startup+103.406 s]
/proc/loadavg: 6.48 3.31 2.66 1/185 5854
/proc/meminfo: memFree=158912/32770624 swapFree=0/2001872
[pid=5814] ppid=5811 vsize=15062772 CPUtime=34.13 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3054 359 0 0 20 0 1 0 12238233 15424278528 3716342 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716342 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.13
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+162.3 s]
/proc/loadavg: 7.00 4.07 2.96 1/185 5857
/proc/meminfo: memFree=200556/32770624 swapFree=0/1934952
[pid=5814] ppid=5811 vsize=15062772 CPUtime=34.44 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3081 363 0 0 20 0 1 0 12238233 15424278528 3716342 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716342 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.44
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+222.3 s]
/proc/loadavg: 5.81 4.25 3.10 1/186 5859
/proc/meminfo: memFree=201824/32770624 swapFree=0/1952840
[pid=5814] ppid=5811 vsize=15062772 CPUtime=34.87 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3119 368 0 0 20 0 1 0 12238233 15424278528 3716342 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 7 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716342 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.87
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+282.3 s]
/proc/loadavg: 5.30 4.41 3.23 1/185 5860
/proc/meminfo: memFree=208648/32770624 swapFree=0/1934736
[pid=5814] ppid=5811 vsize=15062772 CPUtime=35.35 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3160 375 0 0 20 0 1 0 12238233 15424278528 3716342 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 7 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716342 775 434 0 3759057 0
Current children cumulated CPU time (s) 35.35
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+342.3 s]
/proc/loadavg: 5.29 4.57 3.35 1/185 5863
/proc/meminfo: memFree=194052/32770624 swapFree=0/1929348
[pid=5814] ppid=5811 vsize=15062772 CPUtime=35.78 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3198 380 0 0 20 0 1 0 12238233 15424278528 3716447 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716447 775 434 0 3759057 0
Current children cumulated CPU time (s) 35.78
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+402.306 s]
/proc/loadavg: 5.19 4.68 3.46 1/184 5865
/proc/meminfo: memFree=190036/32770624 swapFree=0/1949560
[pid=5814] ppid=5811 vsize=15062772 CPUtime=36.23 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3238 385 0 0 20 0 1 0 12238233 15424278528 3716447 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716447 775 434 0 3759057 0
Current children cumulated CPU time (s) 36.23
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+462.3 s]
/proc/loadavg: 5.88 4.95 3.63 1/189 5883
/proc/meminfo: memFree=206232/32770624 swapFree=0/1923540
[pid=5814] ppid=5811 vsize=15062772 CPUtime=36.68 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3278 390 0 0 20 0 1 0 12238233 15424278528 3716447 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716447 775 434 0 3759057 0
Current children cumulated CPU time (s) 36.68
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+522.3 s]
/proc/loadavg: 6.35 5.25 3.82 1/189 5909
/proc/meminfo: memFree=202404/32770624 swapFree=0/1910720
[pid=5814] ppid=5811 vsize=15062772 CPUtime=37.11 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3316 395 0 0 20 0 1 0 12238233 15424278528 3716447 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716447 775 434 0 3759057 0
Current children cumulated CPU time (s) 37.11
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+582.3 s]
/proc/loadavg: 6.16 5.40 3.96 1/189 5911
/proc/meminfo: memFree=186888/32770624 swapFree=0/1930356
[pid=5814] ppid=5811 vsize=15062772 CPUtime=37.56 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3356 400 0 0 20 0 1 0 12238233 15424278528 3716447 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716447 775 434 0 3759057 0
Current children cumulated CPU time (s) 37.56
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+642.3 s]
/proc/loadavg: 5.49 5.34 4.03 1/189 5913
/proc/meminfo: memFree=194072/32770624 swapFree=0/1918524
[pid=5814] ppid=5811 vsize=15062772 CPUtime=37.98 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3392 406 0 0 20 0 1 0 12238233 15424278528 3716450 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716450 775 434 0 3759057 0
Current children cumulated CPU time (s) 37.98
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+702.3 s]
/proc/loadavg: 5.32 5.31 4.10 1/186 5915
/proc/meminfo: memFree=200968/32770624 swapFree=0/1911072
[pid=5814] ppid=5811 vsize=15062772 CPUtime=38.43 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3432 411 0 0 20 0 1 0 12238233 15424278528 3716450 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716450 775 434 0 3759057 0
Current children cumulated CPU time (s) 38.43
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+762.3 s]
/proc/loadavg: 5.12 5.26 4.16 1/184 5917
/proc/meminfo: memFree=195312/32770624 swapFree=0/1920228
[pid=5814] ppid=5811 vsize=15062772 CPUtime=39.33 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3505 428 0 0 20 0 1 0 12238233 15424278528 3716450 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716450 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.33
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+822.3 s]
/proc/loadavg: 4.61 5.10 4.17 1/184 5919
/proc/meminfo: memFree=219496/32770624 swapFree=0/1905068
[pid=5814] ppid=5811 vsize=15062772 CPUtime=39.38 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3509 429 0 0 20 0 1 0 12238233 15424278528 3716578 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716578 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+882.3 s]
/proc/loadavg: 4.23 4.90 4.16 1/184 5921
/proc/meminfo: memFree=221920/32770624 swapFree=0/1900712
[pid=5814] ppid=5811 vsize=15062772 CPUtime=39.38 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3509 429 0 0 20 0 1 0 12238233 15424278528 3716684 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716684 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+942.3 s]
/proc/loadavg: 4.08 4.74 4.15 1/184 5923
/proc/meminfo: memFree=226144/32770624 swapFree=0/1896404
[pid=5814] ppid=5811 vsize=15062772 CPUtime=39.38 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3509 429 0 0 20 0 1 0 12238233 15424278528 3716698 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716698 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+1002.3 s]
/proc/loadavg: 4.03 4.60 4.14 1/184 5925
/proc/meminfo: memFree=231564/32770624 swapFree=0/1892108
[pid=5814] ppid=5811 vsize=15062772 CPUtime=39.38 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3509 429 0 0 20 0 1 0 12238233 15424278528 3716698 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716698 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (KiB) 15062772
heavy processes:
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5814 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1002.91 s]
/proc/loadavg: 4.03 4.59 4.14 1/184 5925
/proc/meminfo: memFree=231440/32770624 swapFree=0/1892108
[pid=5814] ppid=5811 vsize=15062772 CPUtime=39.38 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3509 429 0 0 20 0 1 0 12238233 15424278528 3716698 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716698 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (KiB) 15062772
[startup+1006.1 s]
/proc/loadavg: 4.03 4.59 4.14 1/184 5925
/proc/meminfo: memFree=231504/32770624 swapFree=0/1892108
[pid=5814] ppid=5811 vsize=15062772 CPUtime=39.38 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3509 429 0 0 20 0 1 0 12238233 15424278528 3716698 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716698 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (KiB) 15062772
[startup+1007.7 s]
/proc/loadavg: 4.03 4.59 4.14 1/184 5925
/proc/meminfo: memFree=231504/32770624 swapFree=0/1892108
[pid=5814] ppid=5811 vsize=15062772 CPUtime=39.38 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3509 429 0 0 20 0 1 0 12238233 15424278528 3716698 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716698 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (KiB) 15062772
[startup+1008.5 s]
/proc/loadavg: 3.95 4.57 4.13 1/184 5925
/proc/meminfo: memFree=231504/32770624 swapFree=0/1892108
[pid=5814] ppid=5811 vsize=15062772 CPUtime=39.38 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) S 5811 5814 21827 0 -1 512 1881370 0 0 0 3509 429 0 0 20 0 1 0 12238233 15424278528 3716698 18446744073709551615 4194304 5970956 140721617374880 140721617371960 140011766243799 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 7 0 0 8070896 8075904 38346752 140721617379783 140721617379918 140721617379918 140721617383374 0
/proc/5814/statm: 3765693 3716698 775 434 0 3759057 0
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (KiB) 15062772
[startup+1009.3 s]
/proc/loadavg: 3.95 4.57 4.13 1/184 5925
/proc/meminfo: memFree=231504/32770624 swapFree=0/1892108
[pid=5814] ppid=5811 vsize=0 CPUtime=39.71 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 516 1881370 0 0 0 3509 462 0 0 20 0 1 0 12238233 0 0 18446744073709551615 0 0 0 0 0 0 0 1 8404994 18446744073709551615 0 0 17 5 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/5814/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 39.71
Current children cumulated vsize (KiB) 0
[startup+1009.51 s]
/proc/loadavg: 3.95 4.57 4.13 3/182 5925
/proc/meminfo: memFree=14060696/32770624 swapFree=0/949120
[pid=5814] ppid=5811 vsize=0 CPUtime=39.94 cores=1,3,5,7
/proc/5814/stat : 5814 (cosoco) R 5811 5814 21827 0 -1 516 1881370 0 0 0 3509 485 0 0 20 0 1 0 12238233 0 0 18446744073709551615 0 0 0 0 0 0 0 1 8404994 18446744073709551615 0 0 17 5 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/5814/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1009.57
CPU time (s): 39.9501
CPU user time (s): 35.0907
CPU system time (s): 4.85936
CPU usage (%): 3.95716
Max. virtual memory (cumulated for all children) (KiB): 15062772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.0907
system time used= 4.85936
maximum resident set size= 14866960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1881370
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= 1950816
involuntary context switches= 33
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.49838 second user time and 3.54879 second system time
The end