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-4241790-1502102493/watcher-4241790-1502102493 -o /tmp/evaluation-result-4241790-1502102493/solver-4241790-1502102493 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241790-1502102493.xml
pid=6219
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: 5.59 5.52 4.99 2/177 6222
/proc/meminfo: memFree=32022428/32770624 swapFree=0/18456
[pid=6222] ppid=6219 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6222/stat : 6222 (runsolver) D 6219 6222 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12445082 24240128 107 18446744073709551615 4194304 4338465 140735303307840 140735303305480 140513624593111 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 38985728 140735303315610 140735303316042 140735303316042 140735303319498 0
/proc/6222/statm: 5918 107 54 36 0 2156 0
[startup+0.100132 s]
/proc/loadavg: 5.59 5.52 4.99 2/177 6222
/proc/meminfo: memFree=32022428/32770624 swapFree=0/18456
[pid=6222] ppid=6219 vsize=5512 CPUtime=0 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) D 6219 6222 21827 0 -1 4194304 150 0 0 0 0 0 0 0 20 0 1 0 12445082 5644288 36 18446744073709551615 4194304 5970956 140721637475280 140721637472376 140690102188538 0 0 1 0 18446744071580431491 0 0 17 1 0 0 8 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 1378 36 27 434 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5512
[startup+0.200438 s]
/proc/loadavg: 5.59 5.52 4.99 2/177 6222
/proc/meminfo: memFree=32022428/32770624 swapFree=0/18456
[pid=6222] ppid=6219 vsize=155156 CPUtime=0.09 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 4202496 33040 0 1 0 5 4 0 0 20 0 1 0 12445082 158879744 32816 18446744073709551615 4194304 5970956 140721637475280 140721637471880 5672368 0 0 1 0 0 0 0 17 7 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 38789 32816 740 434 0 32153 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 155156
[startup+0.300474 s]
/proc/loadavg: 5.59 5.52 4.99 2/177 6222
/proc/meminfo: memFree=32022428/32770624 swapFree=0/18456
[pid=6222] ppid=6219 vsize=194980 CPUtime=0.19 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 4202496 43242 0 1 0 14 5 0 0 20 0 1 0 12445082 199659520 42778 18446744073709551615 4194304 5970956 140721637475280 140721637471880 5673370 0 0 1 0 0 0 0 17 7 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 48745 42778 740 434 0 42109 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 194980
[startup+0.700253 s]
/proc/loadavg: 5.59 5.52 4.99 2/177 6222
/proc/meminfo: memFree=32022428/32770624 swapFree=0/18456
[pid=6222] ppid=6219 vsize=401804 CPUtime=0.58 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 4202496 75708 0 1 0 49 9 0 0 20 0 1 0 12445082 411447296 90604 18446744073709551615 4194304 5970956 140721637475280 140721637472168 5251805 0 0 1 8404994 0 0 0 17 3 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 100451 90604 775 434 0 93815 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 401804
[startup+1.50026 s]
/proc/loadavg: 5.59 5.52 4.99 3/183 6239
/proc/meminfo: memFree=31085756/32770624 swapFree=0/22668
[pid=6222] ppid=6219 vsize=898556 CPUtime=1.38 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 4202496 124582 0 1 0 118 20 0 0 20 0 1 0 12445082 920121344 185956 18446744073709551615 4194304 5970956 140721637475280 140721637472104 5251849 0 0 1 8404994 0 0 0 17 3 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 224639 185956 775 434 0 218003 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 898556
[startup+3.10025 s]
/proc/loadavg: 5.59 5.52 4.99 3/183 6239
/proc/meminfo: memFree=30101496/32770624 swapFree=0/22660
[pid=6222] ppid=6219 vsize=1496368 CPUtime=2.99 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 4202496 215841 0 1 0 263 36 0 0 20 0 1 0 12445082 1532280832 356246 18446744073709551615 4194304 5970956 140721637475280 140721637472104 5251849 0 0 1 8404994 0 0 0 17 3 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 374092 356246 775 434 0 367456 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 1496368
[startup+6.30031 s]
/proc/loadavg: 5.23 5.45 4.97 3/183 6239
/proc/meminfo: memFree=27262336/32770624 swapFree=0/22708
[pid=6222] ppid=6219 vsize=3259496 CPUtime=6.18 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 4202496 428556 0 1 0 548 70 0 0 20 0 1 0 12445082 3337723904 709189 18446744073709551615 4194304 5970956 140721637475280 140721637472104 5251805 0 0 1 8404994 0 0 0 17 3 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 814874 709189 775 434 0 808238 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 3259496
[startup+12.7003 s]
/proc/loadavg: 4.97 5.39 4.96 3/183 6239
/proc/meminfo: memFree=21458292/32770624 swapFree=0/22716
[pid=6222] ppid=6219 vsize=5869124 CPUtime=12.59 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 4202496 816917 0 1 0 1117 142 0 0 20 0 1 0 12445082 6009982976 1399058 18446744073709551615 4194304 5970956 140721637475280 140721637472104 5251805 0 0 1 8404994 0 0 0 17 3 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 1467281 1399058 775 434 0 1460645 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 5869124
[startup+25.5004 s]
/proc/loadavg: 4.31 5.23 4.91 3/183 6239
/proc/meminfo: memFree=9937100/32770624 swapFree=0/22724
[pid=6222] ppid=6219 vsize=13301196 CPUtime=25.37 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 4202496 1470114 0 1 0 2271 266 0 0 20 0 1 0 12445082 13620424704 2805091 18446744073709551615 4194304 5970956 140721637475280 140721637472104 5251805 0 0 1 8404994 0 0 0 17 3 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3325299 2805091 775 434 0 3318663 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 13301196
[startup+51.1002 s]
/proc/loadavg: 4.12 5.10 4.87 1/185 6242
/proc/meminfo: memFree=1392628/32770624 swapFree=0/861160
[pid=6222] ppid=6219 vsize=15062772 CPUtime=33.87 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3031 356 0 0 20 0 1 0 12445082 15424278528 3716361 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716361 775 434 0 3759057 0
Current children cumulated CPU time (s) 33.87
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+102.3 s]
/proc/loadavg: 4.62 5.08 4.88 1/185 6245
/proc/meminfo: memFree=925564/32770624 swapFree=0/1317304
[pid=6222] ppid=6219 vsize=15062772 CPUtime=33.95 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3038 357 0 0 20 0 1 0 12445082 15424278528 3716361 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716361 775 434 0 3759057 0
Current children cumulated CPU time (s) 33.95
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+162.3 s]
/proc/loadavg: 5.35 5.18 4.92 1/191 6259
/proc/meminfo: memFree=192000/32770624 swapFree=0/2018328
[pid=6222] ppid=6219 vsize=15062772 CPUtime=34.36 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3074 362 0 0 20 0 1 0 12445082 15424278528 3716466 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716466 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.36
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+222.306 s]
/proc/loadavg: 5.95 5.40 5.01 1/190 6265
/proc/meminfo: memFree=191776/32770624 swapFree=0/2016528
[pid=6222] ppid=6219 vsize=15062772 CPUtime=34.77 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3111 366 0 0 20 0 1 0 12445082 15424278528 3716607 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716607 775 434 0 3759057 0
Current children cumulated CPU time (s) 34.77
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+282.3 s]
/proc/loadavg: 5.62 5.42 5.05 1/189 6267
/proc/meminfo: memFree=210120/32770624 swapFree=0/1989856
[pid=6222] ppid=6219 vsize=15062772 CPUtime=35.14 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3144 370 0 0 20 0 1 0 12445082 15424278528 3716607 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716607 775 434 0 3759057 0
Current children cumulated CPU time (s) 35.14
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+342.3 s]
/proc/loadavg: 5.28 5.36 5.05 1/186 6269
/proc/meminfo: memFree=211000/32770624 swapFree=0/1973972
[pid=6222] ppid=6219 vsize=15062772 CPUtime=35.55 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3180 375 0 0 20 0 1 0 12445082 15424278528 3716619 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716619 775 434 0 3759057 0
Current children cumulated CPU time (s) 35.55
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+402.3 s]
/proc/loadavg: 5.15 5.31 5.05 1/186 6271
/proc/meminfo: memFree=209144/32770624 swapFree=0/1974892
[pid=6222] ppid=6219 vsize=15062772 CPUtime=35.99 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3220 379 0 0 20 0 1 0 12445082 15424278528 3716619 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716619 775 434 0 3759057 0
Current children cumulated CPU time (s) 35.99
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+462.3 s]
/proc/loadavg: 5.11 5.27 5.05 2/185 6273
/proc/meminfo: memFree=181516/32770624 swapFree=0/2004992
[pid=6222] ppid=6219 vsize=15062772 CPUtime=36.37 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3254 383 0 0 20 0 1 0 12445082 15424278528 3716632 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 7 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716632 773 434 0 3759057 0
Current children cumulated CPU time (s) 36.37
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+522.3 s]
/proc/loadavg: 5.28 5.28 5.06 1/184 6275
/proc/meminfo: memFree=200868/32770624 swapFree=0/1965200
[pid=6222] ppid=6219 vsize=15062772 CPUtime=36.79 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3291 388 0 0 20 0 1 0 12445082 15424278528 3716625 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716625 766 434 0 3759057 0
Current children cumulated CPU time (s) 36.79
Current children cumulated vsize (KiB) 15062772
heavy processes:
################
# More data... #
################
[pid=6222] ppid=6219 vsize=15062772 CPUtime=37.2 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3328 392 0 0 20 0 1 0 12445082 15424278528 3716625 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 3 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716625 766 434 0 3759057 0
Current children cumulated CPU time (s) 37.2
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+642.3 s]
/proc/loadavg: 5.29 5.27 5.08 1/184 6279
/proc/meminfo: memFree=200200/32770624 swapFree=0/1965060
[pid=6222] ppid=6219 vsize=15062772 CPUtime=37.59 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3363 396 0 0 20 0 1 0 12445082 15424278528 3716625 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716625 766 434 0 3759057 0
Current children cumulated CPU time (s) 37.59
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+702.3 s]
/proc/loadavg: 5.22 5.25 5.09 1/184 6281
/proc/meminfo: memFree=202400/32770624 swapFree=0/1953884
[pid=6222] ppid=6219 vsize=15062772 CPUtime=37.97 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3397 400 0 0 20 0 1 0 12445082 15424278528 3716625 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716625 766 434 0 3759057 0
Current children cumulated CPU time (s) 37.97
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+762.3 s]
/proc/loadavg: 5.53 5.31 5.12 1/190 6295
/proc/meminfo: memFree=203016/32770624 swapFree=0/1906468
[pid=6222] ppid=6219 vsize=15062772 CPUtime=38.32 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3428 404 0 0 20 0 1 0 12445082 15424278528 3716625 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 5 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716625 766 434 0 3759057 0
Current children cumulated CPU time (s) 38.32
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+822.3 s]
/proc/loadavg: 6.30 5.56 5.21 1/190 6297
/proc/meminfo: memFree=186144/32770624 swapFree=0/1964324
[pid=6222] ppid=6219 vsize=15062772 CPUtime=39.29 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3505 424 0 0 20 0 1 0 12445082 15424278528 3716621 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 7 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716621 762 434 0 3759057 0
Current children cumulated CPU time (s) 39.29
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+882.306 s]
/proc/loadavg: 6.82 5.84 5.33 1/190 6299
/proc/meminfo: memFree=199392/32770624 swapFree=0/1947948
[pid=6222] ppid=6219 vsize=15062772 CPUtime=39.62 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3533 429 0 0 20 0 1 0 12445082 15424278528 3716597 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716597 738 434 0 3759057 0
Current children cumulated CPU time (s) 39.62
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+942.3 s]
/proc/loadavg: 6.30 5.87 5.37 1/190 6301
/proc/meminfo: memFree=214172/32770624 swapFree=0/1932712
[pid=6222] ppid=6219 vsize=15062772 CPUtime=39.62 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3533 429 0 0 20 0 1 0 12445082 15424278528 3716597 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716597 738 434 0 3759057 0
Current children cumulated CPU time (s) 39.62
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+1002.3 s]
/proc/loadavg: 6.28 5.95 5.43 1/188 6306
/proc/meminfo: memFree=216348/32770624 swapFree=0/1928540
[pid=6222] ppid=6219 vsize=15062772 CPUtime=39.62 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3533 429 0 0 20 0 1 0 12445082 15424278528 3716597 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716597 738 434 0 3759057 0
Current children cumulated CPU time (s) 39.62
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+1062.3 s]
/proc/loadavg: 6.10 5.96 5.47 1/187 6308
/proc/meminfo: memFree=218384/32770624 swapFree=0/1928568
[pid=6222] ppid=6219 vsize=15062772 CPUtime=39.62 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3533 429 0 0 20 0 1 0 12445082 15424278528 3716597 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716597 738 434 0 3759057 0
Current children cumulated CPU time (s) 39.62
Current children cumulated vsize (KiB) 15062772
heavy processes:
[startup+1122.3 s]
/proc/loadavg: 6.04 5.96 5.50 1/185 6310
/proc/meminfo: memFree=233360/32770624 swapFree=0/1919252
[pid=6222] ppid=6219 vsize=15062772 CPUtime=39.62 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3533 429 0 0 20 0 1 0 12445082 15424278528 3716597 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716597 738 434 0 3759057 0
Current children cumulated CPU time (s) 39.62
Current children cumulated vsize (KiB) 15062772
heavy processes:
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6222 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1126.4 s]
/proc/loadavg: 6.04 5.97 5.50 1/185 6310
/proc/meminfo: memFree=233304/32770624 swapFree=0/1919252
[pid=6222] ppid=6219 vsize=15062772 CPUtime=39.62 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3533 429 0 0 20 0 1 0 12445082 15424278528 3716597 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716597 738 434 0 3759057 0
Current children cumulated CPU time (s) 39.62
Current children cumulated vsize (KiB) 15062772
[startup+1132.8 s]
/proc/loadavg: 6.03 5.97 5.51 1/185 6310
/proc/meminfo: memFree=233368/32770624 swapFree=0/1919260
[pid=6222] ppid=6219 vsize=15062772 CPUtime=39.62 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3533 429 0 0 20 0 1 0 12445082 15424278528 3716597 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716597 738 434 0 3759057 0
Current children cumulated CPU time (s) 39.62
Current children cumulated vsize (KiB) 15062772
[startup+1134.4 s]
/proc/loadavg: 6.03 5.97 5.51 1/185 6311
/proc/meminfo: memFree=233272/32770624 swapFree=0/1919260
[pid=6222] ppid=6219 vsize=15062772 CPUtime=39.62 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3533 429 0 0 20 0 1 0 12445082 15424278528 3716597 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716597 738 434 0 3759057 0
Current children cumulated CPU time (s) 39.62
Current children cumulated vsize (KiB) 15062772
[startup+1136 s]
/proc/loadavg: 6.03 5.97 5.51 1/185 6311
/proc/meminfo: memFree=233352/32770624 swapFree=0/1919260
[pid=6222] ppid=6219 vsize=15062772 CPUtime=39.62 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) S 6219 6222 21827 0 -1 512 1892008 0 1 0 3533 429 0 0 20 0 1 0 12445082 15424278528 3716597 18446744073709551615 4194304 5970956 140721637475280 140721637472360 140690085781975 0 0 1 8404994 18446744071580971376 0 0 17 1 0 0 10 0 0 8070896 8075904 34086912 140721637482951 140721637483086 140721637483086 140721637486542 0
/proc/6222/statm: 3765693 3716597 738 434 0 3759057 0
Current children cumulated CPU time (s) 39.62
Current children cumulated vsize (KiB) 15062772
[startup+1136.8 s]
/proc/loadavg: 6.03 5.97 5.51 3/185 6311
/proc/meminfo: memFree=233580/32770624 swapFree=0/1919280
[pid=6222] ppid=6219 vsize=0 CPUtime=39.9 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 516 1892008 0 1 0 3533 457 0 0 20 0 1 0 12445082 0 0 18446744073709551615 0 0 0 0 0 0 0 1 8404994 18446744073709551615 0 0 17 1 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/6222/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (KiB) 0
[startup+1137 s]
/proc/loadavg: 6.03 5.97 5.51 3/185 6311
/proc/meminfo: memFree=233580/32770624 swapFree=0/1919280
[pid=6222] ppid=6219 vsize=0 CPUtime=40.13 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 516 1892008 0 1 0 3533 480 0 0 20 0 1 0 12445082 0 0 18446744073709551615 0 0 0 0 0 0 0 1 8404994 18446744073709551615 0 0 17 1 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/6222/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.13
Current children cumulated vsize (KiB) 0
[startup+1137.1 s]
/proc/loadavg: 6.03 5.97 5.51 3/185 6311
/proc/meminfo: memFree=233580/32770624 swapFree=0/1919280
[pid=6222] ppid=6219 vsize=0 CPUtime=40.24 cores=1,3,5,7
/proc/6222/stat : 6222 (cosoco) R 6219 6222 21827 0 -1 516 1892008 0 1 0 3533 491 0 0 20 0 1 0 12445082 0 0 18446744073709551615 0 0 0 0 0 0 0 1 8404994 18446744073709551615 0 0 17 1 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/6222/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.24
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1137.1
CPU time (s): 40.2542
CPU user time (s): 35.3366
CPU system time (s): 4.91769
CPU usage (%): 3.54007
Max. virtual memory (cumulated for all children) (KiB): 15062772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.3366
system time used= 4.91769
maximum resident set size= 14866556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1892008
page faults= 1
swaps= 0
block input operations= 9928
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1932843
involuntary context switches= 57
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.5535 second user time and 4.65644 second system time
The end