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-4239951-1500633446/watcher-4239951-1500633446 -o /tmp/evaluation-result-4239951-1500633446/solver-4239951-1500633446 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500623784-4668 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239951-1500633446.xml
pid=6109
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: 2.05 2.03 2.05 3/186 6112
/proc/meminfo: memFree=31738512/32770624 swapFree=6644/27688
[pid=6112] ppid=6109 vsize=23104 CPUtime=0 cores=0,2,4,6
/proc/6112/stat : 6112 (runsolver) D 6109 6112 4637 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 1 0 17976552 23658496 101 33554432000 4194304 4338465 140735802386176 140735802383816 140641524888279 0 0 4096 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 32358400 140735802389392 140735802389823 140735802389823 140735802392522 0
/proc/6112/statm: 5776 101 53 36 0 2156 0
[startup+0.100178 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 6112
/proc/meminfo: memFree=31738512/32770624 swapFree=6644/27688
[pid=6112] ppid=6109 vsize=37600 CPUtime=0.05 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 4202496 3602 0 0 0 5 0 0 0 20 0 1 0 17976552 38502400 3380 33554432000 4194304 5970956 140727174767584 140727174764184 5496056 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 9400 3380 720 434 0 2764 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 37600
[startup+0.200432 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 6112
/proc/meminfo: memFree=31738512/32770624 swapFree=6644/27688
[pid=6112] ppid=6109 vsize=72020 CPUtime=0.15 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 4202496 12285 0 0 0 14 1 0 0 20 0 1 0 17976552 73748480 12092 33554432000 4194304 5970956 140727174767584 140727174759920 140625079377720 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 18005 12092 760 434 0 11369 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 72020
[startup+0.300382 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 6112
/proc/meminfo: memFree=31738512/32770624 swapFree=6644/27688
[pid=6112] ppid=6109 vsize=75044 CPUtime=0.26 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 4202496 13046 0 0 0 24 2 0 0 20 0 1 0 17976552 76845056 12884 33554432000 4194304 5970956 140727174767584 140727174764184 5219464 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 18761 12884 792 434 0 12125 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 75044
[startup+0.700348 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 6112
/proc/meminfo: memFree=31738512/32770624 swapFree=6644/27688
[pid=6112] ppid=6109 vsize=227516 CPUtime=0.66 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 4202496 39315 0 0 0 61 5 0 0 20 0 1 0 17976552 232976384 49370 33554432000 4194304 5970956 140727174767584 140727174764408 140625079885514 0 0 4096 8404994 0 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 56879 49370 839 434 0 50243 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 227516
[startup+1.50036 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 6113
/proc/meminfo: memFree=31361188/32770624 swapFree=6644/27732
[pid=6112] ppid=6109 vsize=616560 CPUtime=1.45 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 4202496 88384 0 0 0 131 14 0 0 20 0 1 0 17976552 631357440 144881 33554432000 4194304 5970956 140727174767584 140727174764408 5279707 0 0 4096 8404994 0 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 154140 144881 839 434 0 147504 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 616560
[startup+3.10036 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 6113
/proc/meminfo: memFree=30831884/32770624 swapFree=6644/27732
[pid=6112] ppid=6109 vsize=1397844 CPUtime=3.05 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 4202496 180240 0 0 0 273 32 0 0 20 0 1 0 17976552 1431392256 331916 33554432000 4194304 5970956 140727174767584 140727174764408 5251805 0 0 4096 8404994 0 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 349461 331916 839 434 0 342825 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 1397844
[startup+6.30036 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 6113
/proc/meminfo: memFree=29290600/32770624 swapFree=6644/27740
[pid=6112] ppid=6109 vsize=3206584 CPUtime=6.25 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 4202496 374108 0 0 0 556 69 0 0 20 0 1 0 17976552 3283542016 705741 33554432000 4194304 5970956 140727174767584 140727174764408 5279724 0 0 4096 8404994 0 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 801646 705741 839 434 0 795010 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 3206584
[startup+12.7004 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 6113
/proc/meminfo: memFree=26217356/32770624 swapFree=6644/27740
[pid=6112] ppid=6109 vsize=5938988 CPUtime=12.65 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 4202496 730969 0 0 0 1127 138 0 0 20 0 1 0 17976552 6081523712 1446287 33554432000 4194304 5970956 140727174767584 140727174764408 5279754 0 0 4096 8404994 0 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 1484747 1446287 839 434 0 1478111 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 5938988
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 6113
/proc/meminfo: memFree=20198532/32770624 swapFree=6644/27756
[pid=6112] ppid=6109 vsize=13558512 CPUtime=25.45 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 4202496 1449479 0 0 0 2258 287 0 0 20 0 1 0 17976552 13883916288 2903648 33554432000 4194304 5970956 140727174767584 140727174764408 5251849 0 0 4096 8404994 0 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3389628 2903648 839 434 0 3382992 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 13558512
[startup+51.1003 s]
/proc/loadavg: 2.69 2.17 2.09 3/189 6115
/proc/meminfo: memFree=12733460/32770624 swapFree=6644/3741864
[pid=6112] ppid=6109 vsize=15302968 CPUtime=34.5 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869733 0 0 0 3049 401 0 0 20 0 1 0 17976552 15670239232 3787145 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071580971376 0 0 17 0 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3787145 839 434 0 3819106 0
Current children cumulated CPU time (s) 34.5
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=45 pid=6114 uid=0 cmd=
[startup+102.301 s]
/proc/loadavg: 4.00 2.61 2.25 2/189 6116
/proc/meminfo: memFree=10165620/32770624 swapFree=6644/6265772
[pid=6112] ppid=6109 vsize=15302968 CPUtime=35.99 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869733 0 0 0 3132 467 0 0 20 0 1 0 17976552 15670239232 3787145 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071580971376 0 0 17 2 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3787145 839 434 0 3819106 0
Current children cumulated CPU time (s) 35.99
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=24 pid=6114 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 6112 506 1001 1500633479 e 6112 6112
[startup+162.3 s]
/proc/loadavg: 4.63 3.04 2.42 2/189 6124
/proc/meminfo: memFree=7046388/32770624 swapFree=6644/9262884
[pid=6112] ppid=6109 vsize=15302968 CPUtime=37.76 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869733 0 0 0 3232 544 0 0 20 0 1 0 17976552 15670239232 3787262 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071580971376 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3787262 839 434 0 3819106 0
Current children cumulated CPU time (s) 37.76
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=21 pid=6114 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 6112 506 1001 1500633479 e 6112 6112
[startup+222.311 s]
/proc/loadavg: 4.86 3.40 2.58 2/189 6125
/proc/meminfo: memFree=4058824/32770624 swapFree=6644/12200812
[pid=6112] ppid=6109 vsize=15302968 CPUtime=39.52 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869733 0 0 0 3330 622 0 0 20 0 1 0 17976552 15670239232 3787406 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071580971376 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3787406 839 434 0 3819106 0
Current children cumulated CPU time (s) 39.52
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=20 pid=6114 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 6112 506 1001 1500633479 e 6112 6112
[startup+282.3 s]
/proc/loadavg: 4.95 3.69 2.73 2/189 6126
/proc/meminfo: memFree=1042240/32770624 swapFree=6644/15105864
[pid=6112] ppid=6109 vsize=15302968 CPUtime=41.27 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869733 0 0 0 3416 711 0 0 20 0 1 0 17976552 15670239232 3787531 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071580971376 0 0 17 2 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3787531 839 434 0 3819106 0
Current children cumulated CPU time (s) 41.27
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=19 pid=6114 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 6112 506 1001 1500633479 e 6112 6112
[startup+342.3 s]
/proc/loadavg: 4.98 3.93 2.87 3/189 6127
/proc/meminfo: memFree=214908/32770624 swapFree=6644/15943428
[pid=6112] ppid=6109 vsize=15302968 CPUtime=43.11 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869733 0 0 0 3502 809 0 0 20 0 1 0 17976552 15670239232 3787686 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071580971376 0 0 17 0 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3787686 839 434 0 3819106 0
Current children cumulated CPU time (s) 43.11
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=19 pid=6114 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 6112 506 1001 1500633479 e 6112 6112
[startup+402.3 s]
/proc/loadavg: 5.08 4.15 3.02 2/188 6128
/proc/meminfo: memFree=206744/32770624 swapFree=6644/15927036
[pid=6112] ppid=6109 vsize=15302968 CPUtime=45.51 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869733 0 0 0 3588 963 0 0 20 0 1 0 17976552 15670239232 3787837 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071580971376 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3787837 839 434 0 3819106 0
Current children cumulated CPU time (s) 45.51
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=20 pid=6114 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 6112 506 1001 1500633479 e 6112 6112
[startup+462.3 s]
/proc/loadavg: 5.19 4.35 3.16 4/189 6130
/proc/meminfo: memFree=189316/32770624 swapFree=6644/15942176
[pid=6112] ppid=6109 vsize=15302968 CPUtime=48.02 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869733 0 0 0 3664 1138 0 0 20 0 1 0 17976552 15670239232 3787920 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071580971376 0 0 17 4 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3787920 839 434 0 3819106 0
Current children cumulated CPU time (s) 48.02
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=21 pid=6114 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 6112 506 1001 1500633479 e 6112 6112
[startup+522.3 s]
/proc/loadavg: 5.07 4.47 3.27 2/189 6131
/proc/meminfo: memFree=242248/32770624 swapFree=6644/15938684
[pid=6112] ppid=6109 vsize=15302968 CPUtime=49.97 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869734 0 0 0 3738 1259 0 0 20 0 1 0 17976552 15670239232 3787960 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071581338616 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3787960 839 434 0 3819106 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=23 pid=6114 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 6112 506 1001 1500633479 e 6112 6112
[startup+582.3 s]
/proc/loadavg: 4.71 4.49 3.35 2/189 6132
/proc/meminfo: memFree=329268/32770624 swapFree=6644/15854244
[pid=6112] ppid=6109 vsize=15302968 CPUtime=49.97 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869734 0 0 0 3738 1259 0 0 20 0 1 0 17976552 15670239232 3788131 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071581338616 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3788131 839 434 0 3819106 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=20 pid=6114 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 6112 506 1001 1500633479 e 6112 6112
[startup+642.3 s]
/proc/loadavg: 4.26 4.40 3.39 2/189 6133
/proc/meminfo: memFree=440308/32770624 swapFree=6644/15750072
[pid=6112] ppid=6109 vsize=15302968 CPUtime=49.97 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869734 0 0 0 3738 1259 0 0 20 0 1 0 17976552 15670239232 3788253 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071581338616 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3788253 839 434 0 3819106 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 15302968
heavy processes:
%CPU=18 pid=6114 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 6112 506 1001 1500633479 e 6112 6112
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6112 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+665.611 s]
/proc/loadavg: 4.19 4.37 3.41 2/189 6133
/proc/meminfo: memFree=455232/32770624 swapFree=6644/15735260
[pid=6112] ppid=6109 vsize=15302968 CPUtime=49.97 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869734 0 0 0 3738 1259 0 0 20 0 1 0 17976552 15670239232 3788280 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071581338616 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3788280 839 434 0 3819106 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 15302968
[startup+678.4 s]
/proc/loadavg: 4.14 4.36 3.42 2/189 6133
/proc/meminfo: memFree=454776/32770624 swapFree=6644/15735260
[pid=6112] ppid=6109 vsize=15302968 CPUtime=49.97 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869734 0 0 0 3738 1259 0 0 20 0 1 0 17976552 15670239232 3788280 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071581338616 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3788280 839 434 0 3819106 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 15302968
[startup+684.8 s]
/proc/loadavg: 4.13 4.35 3.42 2/189 6134
/proc/meminfo: memFree=452976/32770624 swapFree=6644/15735272
[pid=6112] ppid=6109 vsize=15302968 CPUtime=49.97 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869734 0 0 0 3738 1259 0 0 20 0 1 0 17976552 15670239232 3788280 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071581338616 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3788280 839 434 0 3819106 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 15302968
[startup+688 s]
/proc/loadavg: 4.12 4.34 3.42 2/189 6134
/proc/meminfo: memFree=453008/32770624 swapFree=6644/15735272
[pid=6112] ppid=6109 vsize=15302968 CPUtime=49.97 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869734 0 0 0 3738 1259 0 0 20 0 1 0 17976552 15670239232 3788280 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071581338616 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3788280 839 434 0 3819106 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 15302968
[startup+691.2 s]
/proc/loadavg: 4.11 4.34 3.43 2/189 6134
/proc/meminfo: memFree=452420/32770624 swapFree=6644/15735272
[pid=6112] ppid=6109 vsize=15302968 CPUtime=49.97 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869734 0 0 0 3738 1259 0 0 20 0 1 0 17976552 15670239232 3788280 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071581338616 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3788280 839 434 0 3819106 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 15302968
[startup+692.8 s]
/proc/loadavg: 4.11 4.34 3.43 2/189 6134
/proc/meminfo: memFree=452212/32770624 swapFree=6644/15735272
[pid=6112] ppid=6109 vsize=15302968 CPUtime=49.97 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) S 6109 6112 4637 0 -1 512 1869734 0 0 0 3738 1259 0 0 20 0 1 0 17976552 15670239232 3788280 33554432000 4194304 5970956 140727174767584 140727174764664 140625079087575 0 0 4096 8404994 18446744071581338616 0 0 17 6 0 0 3 0 0 8070896 8075904 15302656 140727174775996 140727174776131 140727174776131 140727174778830 0
/proc/6112/statm: 3825742 3788280 839 434 0 3819106 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 15302968
[startup+693.6 s]
/proc/loadavg: 4.11 4.34 3.43 2/189 6134
/proc/meminfo: memFree=452976/32770624 swapFree=6644/15735280
[pid=6112] ppid=6109 vsize=0 CPUtime=50.23 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 516 1869734 0 0 0 3738 1285 0 0 20 0 1 0 17976552 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 4 0 0 3 0 0 0 0 0 0 0 0 0 0
/proc/6112/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.23
Current children cumulated vsize (KiB) 0
[startup+694 s]
/proc/loadavg: 4.11 4.34 3.43 2/189 6134
/proc/meminfo: memFree=452976/32770624 swapFree=6644/15735280
[pid=6112] ppid=6109 vsize=0 CPUtime=50.58 cores=0,2,4,6
/proc/6112/stat : 6112 (cosoco) R 6109 6112 4637 0 -1 516 1869734 0 0 0 3738 1320 0 0 20 0 1 0 17976552 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 4 0 0 3 0 0 0 0 0 0 0 0 0 0
/proc/6112/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 694.079
CPU time (s): 50.8018
CPU user time (s): 37.3831
CPU system time (s): 13.4186
CPU usage (%): 7.31931
Max. virtual memory (cumulated for all children) (KiB): 15302968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.3831
system time used= 13.4186
maximum resident set size= 15153208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1869734
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= 3735599
involuntary context switches= 5351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.09809 second user time and 4.66386 second system time
The end