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-4267529-1502557798/watcher-4267529-1502557798 -o /tmp/evaluation-result-4267529-1502557798/solver-4267529-1502557798 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6740 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267529-1502557798.xml
pid=16501
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.01 2.05 3/180 16504
/proc/meminfo: memFree=31178728/32770624 swapFree=0/565532
[pid=16504] ppid=16501 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16504/stat : 16504 (runsolver) D 16501 16504 6677 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 57973222 24240128 107 18446744073709551615 4194304 4338465 140727138464400 140727138462040 140690217820887 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 19578880 140727138472130 140727138472521 140727138472521 140727138475978 0
/proc/16504/statm: 5918 107 54 36 0 2156 0
[startup+0.100911 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 16504
/proc/meminfo: memFree=31178728/32770624 swapFree=0/565532
[pid=16504] ppid=16501 vsize=27648 CPUtime=0.04 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 1247 0 0 0 4 0 0 0 20 0 1 0 57973222 28311552 1036 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5032431 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1036 806 435 0 275 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27648
[startup+0.200909 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 16504
/proc/meminfo: memFree=31178728/32770624 swapFree=0/565532
[pid=16504] ppid=16501 vsize=27648 CPUtime=0.14 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 1247 0 0 0 14 0 0 0 20 0 1 0 57973222 28311552 1036 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139329 0 0 1 8405026 0 0 0 17 6 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1036 806 435 0 275 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 27648
[startup+0.300913 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 16504
/proc/meminfo: memFree=31178728/32770624 swapFree=0/565532
[pid=16504] ppid=16501 vsize=27648 CPUtime=0.24 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 1247 0 0 0 24 0 0 0 20 0 1 0 57973222 28311552 1036 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139493 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1036 806 435 0 275 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 27648
[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 16504
/proc/meminfo: memFree=31178728/32770624 swapFree=0/565532
[pid=16504] ppid=16501 vsize=27648 CPUtime=0.64 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 1249 0 0 0 64 0 0 0 20 0 1 0 57973222 28311552 1036 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5032400 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1036 806 435 0 275 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 27648
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16505
/proc/meminfo: memFree=31178168/32770624 swapFree=0/565552
[pid=16504] ppid=16501 vsize=27648 CPUtime=1.44 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 1249 0 0 0 144 0 0 0 20 0 1 0 57973222 28311552 1036 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5032400 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1036 806 435 0 275 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 27648
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16505
/proc/meminfo: memFree=31177796/32770624 swapFree=0/565552
[pid=16504] ppid=16501 vsize=27648 CPUtime=3.04 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 1418 0 0 0 304 0 0 0 20 0 1 0 57973222 28311552 1091 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139333 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1091 851 435 0 275 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 27648
[startup+6.30027 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 16505
/proc/meminfo: memFree=31177924/32770624 swapFree=0/565552
[pid=16504] ppid=16501 vsize=27648 CPUtime=6.24 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 1588 0 0 0 624 0 0 0 20 0 1 0 57973222 28311552 1091 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1091 851 435 0 275 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 27648
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 16505
/proc/meminfo: memFree=31177552/32770624 swapFree=0/565552
[pid=16504] ppid=16501 vsize=27648 CPUtime=12.64 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 1759 0 0 0 1264 0 0 0 20 0 1 0 57973222 28311552 1091 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139329 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1091 851 435 0 275 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 27648
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 16505
/proc/meminfo: memFree=31177800/32770624 swapFree=0/565556
[pid=16504] ppid=16501 vsize=27648 CPUtime=25.44 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 2101 0 0 0 2544 0 0 0 20 0 1 0 57973222 28311552 1091 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1091 851 435 0 275 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 27648
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 16505
/proc/meminfo: memFree=31177800/32770624 swapFree=0/565556
[pid=16504] ppid=16501 vsize=27648 CPUtime=51.03 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 2272 0 0 0 5103 0 0 0 20 0 1 0 57973222 28311552 1091 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139338 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1091 851 435 0 275 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 27648
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 16507
/proc/meminfo: memFree=31177400/32770624 swapFree=0/565568
[pid=16504] ppid=16501 vsize=27648 CPUtime=102.24 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 2440 0 0 0 10224 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5099674 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 27648
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16510
/proc/meminfo: memFree=31176788/32770624 swapFree=0/565584
[pid=16504] ppid=16501 vsize=27648 CPUtime=162.22 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 2606 0 0 0 16222 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5032464 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 27648
[startup+222.306 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 16512
/proc/meminfo: memFree=31176760/32770624 swapFree=0/565608
[pid=16504] ppid=16501 vsize=27648 CPUtime=222.22 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 2777 0 0 0 22222 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5032436 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 27648
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 16529
/proc/meminfo: memFree=31172004/32770624 swapFree=0/565616
[pid=16504] ppid=16501 vsize=27648 CPUtime=282.21 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 2950 0 0 0 28221 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139319 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 27648
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 16556
/proc/meminfo: memFree=31169828/32770624 swapFree=0/565636
[pid=16504] ppid=16501 vsize=27648 CPUtime=342.21 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 3117 0 0 0 34221 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139319 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 27648
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 16558
/proc/meminfo: memFree=31170696/32770624 swapFree=0/565640
[pid=16504] ppid=16501 vsize=27648 CPUtime=402.2 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 3284 0 0 0 40220 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 27648
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 16560
/proc/meminfo: memFree=31174436/32770624 swapFree=0/565648
[pid=16504] ppid=16501 vsize=27648 CPUtime=462.2 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 3451 0 0 0 46220 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139329 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 27648
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 16562
/proc/meminfo: memFree=31174948/32770624 swapFree=0/565660
[pid=16504] ppid=16501 vsize=27648 CPUtime=522.19 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 3618 0 0 0 52219 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5032431 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 27648
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 16564
/proc/meminfo: memFree=31174960/32770624 swapFree=0/565672
[pid=16504] ppid=16501 vsize=27648 CPUtime=582.19 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 3785 0 0 0 58219 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139327 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 27648
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 16689
/proc/meminfo: memFree=31176672/32770624 swapFree=0/565840
[pid=16504] ppid=16501 vsize=27648 CPUtime=1602.1 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 6597 0 0 0 160210 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5048503 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 1602.1
Current children cumulated vsize (KiB) 27648
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/182 16691
/proc/meminfo: memFree=31176672/32770624 swapFree=0/565844
[pid=16504] ppid=16501 vsize=27648 CPUtime=1662.1 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 6764 0 0 0 166210 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139333 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 27648
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 16693
/proc/meminfo: memFree=31177448/32770624 swapFree=0/565856
[pid=16504] ppid=16501 vsize=27648 CPUtime=1722.09 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 6926 0 0 0 172209 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 27648
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 16696
/proc/meminfo: memFree=31176564/32770624 swapFree=0/565880
[pid=16504] ppid=16501 vsize=27648 CPUtime=1782.09 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 7094 0 0 0 178209 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139329 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 1782.09
Current children cumulated vsize (KiB) 27648
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 16698
/proc/meminfo: memFree=31177072/32770624 swapFree=0/565884
[pid=16504] ppid=16501 vsize=27648 CPUtime=1842.08 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 7261 0 0 0 184208 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 27648
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16700
/proc/meminfo: memFree=31176576/32770624 swapFree=0/565904
[pid=16504] ppid=16501 vsize=27648 CPUtime=1902.08 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 7420 0 0 0 190208 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139324 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 27648
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16703
/proc/meminfo: memFree=31176652/32770624 swapFree=0/565916
[pid=16504] ppid=16501 vsize=27648 CPUtime=1962.07 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 7587 0 0 0 196207 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5322872 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 27648
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 16705
/proc/meminfo: memFree=31176776/32770624 swapFree=0/565928
[pid=16504] ppid=16501 vsize=27648 CPUtime=2022.07 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 7750 0 0 0 202207 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 27648
[startup+2082.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 16722
/proc/meminfo: memFree=31172920/32770624 swapFree=0/565952
[pid=16504] ppid=16501 vsize=27648 CPUtime=2082.07 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 7912 0 0 0 208207 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 27648
[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 16724
/proc/meminfo: memFree=31172424/32770624 swapFree=0/565980
[pid=16504] ppid=16501 vsize=27648 CPUtime=2142.06 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 8075 0 0 0 214206 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 27648
[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 16726
/proc/meminfo: memFree=31175676/32770624 swapFree=0/565992
[pid=16504] ppid=16501 vsize=27648 CPUtime=2202.06 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 8237 0 0 0 220206 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139327 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 27648
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 16728
/proc/meminfo: memFree=31175420/32770624 swapFree=0/566000
[pid=16504] ppid=16501 vsize=27648 CPUtime=2262.05 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 8399 0 0 0 226205 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5032450 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 27648
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 16730
/proc/meminfo: memFree=31176016/32770624 swapFree=0/566008
[pid=16504] ppid=16501 vsize=27648 CPUtime=2322.04 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 8556 0 0 0 232204 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139329 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 2322.04
Current children cumulated vsize (KiB) 27648
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16732
/proc/meminfo: memFree=31175296/32770624 swapFree=0/566016
[pid=16504] ppid=16501 vsize=27648 CPUtime=2382.04 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 8725 0 0 0 238204 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139312 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 27648
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16734
/proc/meminfo: memFree=31175988/32770624 swapFree=0/566024
[pid=16504] ppid=16501 vsize=27648 CPUtime=2442.03 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 8884 0 0 0 244203 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139324 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 2442.03
Current children cumulated vsize (KiB) 27648
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16736
/proc/meminfo: memFree=31175836/32770624 swapFree=0/566032
[pid=16504] ppid=16501 vsize=27648 CPUtime=2502.03 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 9051 0 0 0 250203 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139324 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 2502.03
Current children cumulated vsize (KiB) 27648
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 16736
/proc/meminfo: memFree=31176212/32770624 swapFree=0/566028
[pid=16504] ppid=16501 vsize=27648 CPUtime=2519.73 cores=0,2,4,6
/proc/16504/stat : 16504 (cosoco) R 16501 16504 6677 0 -1 4202496 9211 0 0 0 251973 0 0 0 20 0 1 0 57973222 28311552 1093 18446744073709551615 4194304 5972588 140723251425968 140723251413176 5139329 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 38522880 140723251429870 140723251429965 140723251429965 140723251433422 0
/proc/16504/statm: 6912 1093 851 435 0 275 0
Current children cumulated CPU time (s) 2519.73
Current children cumulated vsize (KiB) 27648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16504 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.73
CPU user time (s): 2519.73
CPU system time (s): 0.002999
CPU usage (%): 99.9894
Max. virtual memory (cumulated for all children) (KiB): 27648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.002999
maximum resident set size= 4444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9263
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= 10
involuntary context switches= 3156
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92705 second user time and 8.62642 second system time
The end