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-4260128-1502030482/watcher-4260128-1502030482 -o /tmp/evaluation-result-4260128-1502030482/solver-4260128-1502030482 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22617 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260128-1502030482.xml
pid=25696
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.01 2.05 2/180 25699
/proc/meminfo: memFree=31701952/32770624 swapFree=0/345720
[pid=25699] ppid=25696 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25699/stat : 25699 (runsolver) D 25696 25699 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5244026 24240128 106 18446744073709551615 4194304 4338465 140726715009024 140726715006664 140691378430679 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 35983360 140726715015362 140726715015754 140726715015754 140726715019210 0
/proc/25699/statm: 5918 106 53 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 25699
/proc/meminfo: memFree=31701952/32770624 swapFree=0/345720
[pid=25699] ppid=25696 vsize=27980 CPUtime=0.04 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 1321 0 0 0 4 0 0 0 20 0 1 0 5244026 28651520 1130 18446744073709551615 4194304 5747388 140722154220416 140722154217064 5000064 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1130 764 380 0 413 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27980
[startup+0.200259 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 25699
/proc/meminfo: memFree=31701952/32770624 swapFree=0/345720
[pid=25699] ppid=25696 vsize=27980 CPUtime=0.14 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 1322 0 0 0 14 0 0 0 20 0 1 0 5244026 28651520 1130 18446744073709551615 4194304 5747388 140722154220416 140722154217064 4919312 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1130 764 380 0 413 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 27980
[startup+0.300244 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 25699
/proc/meminfo: memFree=31701952/32770624 swapFree=0/345720
[pid=25699] ppid=25696 vsize=27980 CPUtime=0.24 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 1322 0 0 0 24 0 0 0 20 0 1 0 5244026 28651520 1130 18446744073709551615 4194304 5747388 140722154220416 140722154217064 4918677 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1130 764 380 0 413 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 27980
[startup+0.700219 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 25699
/proc/meminfo: memFree=31701952/32770624 swapFree=0/345720
[pid=25699] ppid=25696 vsize=27980 CPUtime=0.64 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 1322 0 0 0 64 0 0 0 20 0 1 0 5244026 28651520 1130 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4941136 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1130 764 380 0 413 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 27980
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25700
/proc/meminfo: memFree=31700540/32770624 swapFree=0/345672
[pid=25699] ppid=25696 vsize=27980 CPUtime=1.44 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 1322 0 0 0 144 0 0 0 20 0 1 0 5244026 28651520 1130 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5000064 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1130 764 380 0 413 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 27980
[startup+3.10021 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25700
/proc/meminfo: memFree=31700344/32770624 swapFree=0/345736
[pid=25699] ppid=25696 vsize=27980 CPUtime=3.04 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 1589 0 0 0 304 0 0 0 20 0 1 0 5244026 28651520 1163 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4915646 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1163 785 380 0 413 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 27980
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25700
/proc/meminfo: memFree=31700600/32770624 swapFree=0/345748
[pid=25699] ppid=25696 vsize=27980 CPUtime=6.24 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 1857 0 0 0 624 0 0 0 20 0 1 0 5244026 28651520 1163 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4912447 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1163 785 380 0 413 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 27980
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25700
/proc/meminfo: memFree=31700440/32770624 swapFree=0/345756
[pid=25699] ppid=25696 vsize=27980 CPUtime=12.64 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 2124 0 0 0 1264 0 0 0 20 0 1 0 5244026 28651520 1163 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5000032 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1163 785 380 0 413 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 27980
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25700
/proc/meminfo: memFree=31700564/32770624 swapFree=0/345768
[pid=25699] ppid=25696 vsize=27980 CPUtime=25.44 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 2659 0 0 0 2544 0 0 0 20 0 1 0 5244026 28651520 1163 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5128895 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1163 785 380 0 413 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 27980
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 25702
/proc/meminfo: memFree=31700676/32770624 swapFree=0/345808
[pid=25699] ppid=25696 vsize=27980 CPUtime=51.04 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 2929 0 0 0 5104 0 0 0 20 0 1 0 5244026 28651520 1163 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4915034 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1163 785 380 0 413 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 27980
[startup+102.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/181 25703
/proc/meminfo: memFree=31700184/32770624 swapFree=0/345880
[pid=25699] ppid=25696 vsize=27980 CPUtime=102.24 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 3197 0 0 0 10224 0 0 0 20 0 1 0 5244026 28651520 1163 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4917609 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1163 785 380 0 413 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 27980
[startup+162.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/184 25719
/proc/meminfo: memFree=31695252/32770624 swapFree=0/345960
[pid=25699] ppid=25696 vsize=27980 CPUtime=162.23 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 3465 0 0 0 16223 0 0 0 20 0 1 0 5244026 28651520 1163 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4915124 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1163 785 380 0 413 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 27980
[startup+222.306 s]
/proc/loadavg: 2.02 2.03 2.05 3/184 25721
/proc/meminfo: memFree=31695468/32770624 swapFree=0/346012
[pid=25699] ppid=25696 vsize=27980 CPUtime=222.24 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 3733 0 0 0 22224 0 0 0 20 0 1 0 5244026 28651520 1163 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4941167 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1163 785 380 0 413 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 27980
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 25723
/proc/meminfo: memFree=31698736/32770624 swapFree=0/346052
[pid=25699] ppid=25696 vsize=27980 CPUtime=282.23 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 4014 0 0 0 28223 0 0 0 20 0 1 0 5244026 28651520 1163 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4915136 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1163 785 380 0 413 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 27980
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 25725
/proc/meminfo: memFree=31698828/32770624 swapFree=0/346084
[pid=25699] ppid=25696 vsize=27980 CPUtime=342.22 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 4290 0 0 0 34222 0 0 0 20 0 1 0 5244026 28651520 1167 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4941136 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1167 785 380 0 413 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 27980
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25727
/proc/meminfo: memFree=31699060/32770624 swapFree=0/346116
[pid=25699] ppid=25696 vsize=27980 CPUtime=402.22 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 4565 0 0 0 40222 0 0 0 20 0 1 0 5244026 28651520 1167 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4941170 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1167 785 380 0 413 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 27980
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 25729
/proc/meminfo: memFree=31699032/32770624 swapFree=0/346168
[pid=25699] ppid=25696 vsize=27980 CPUtime=462.22 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 4840 0 0 0 46222 0 0 0 20 0 1 0 5244026 28651520 1167 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4911846 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1167 785 380 0 413 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 27980
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 25731
/proc/meminfo: memFree=31699288/32770624 swapFree=0/346212
[pid=25699] ppid=25696 vsize=27980 CPUtime=522.22 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 5115 0 0 0 52222 0 0 0 20 0 1 0 5244026 28651520 1167 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4941155 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1167 785 380 0 413 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 27980
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 25733
/proc/meminfo: memFree=31699008/32770624 swapFree=0/346256
[pid=25699] ppid=25696 vsize=27980 CPUtime=582.21 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 5390 0 0 0 58221 0 0 0 20 0 1 0 5244026 28651520 1167 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5000064 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1167 785 380 0 413 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 27980
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 25974
/proc/meminfo: memFree=31694488/32770624 swapFree=0/347044
[pid=25699] ppid=25696 vsize=27980 CPUtime=1482.17 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 9609 0 0 0 148217 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4919007 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 1482.17
Current children cumulated vsize (KiB) 27980
[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 25976
/proc/meminfo: memFree=31694612/32770624 swapFree=0/347072
[pid=25699] ppid=25696 vsize=27980 CPUtime=1542.17 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 9902 0 0 0 154217 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5000064 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 1542.17
Current children cumulated vsize (KiB) 27980
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 25978
/proc/meminfo: memFree=31694860/32770624 swapFree=0/347104
[pid=25699] ppid=25696 vsize=27980 CPUtime=1602.16 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 10174 0 0 0 160216 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4941188 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 27980
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 25981
/proc/meminfo: memFree=31695388/32770624 swapFree=0/347136
[pid=25699] ppid=25696 vsize=27980 CPUtime=1662.16 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 10448 0 0 0 166216 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4911816 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 27980
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25983
/proc/meminfo: memFree=31695380/32770624 swapFree=0/347172
[pid=25699] ppid=25696 vsize=27980 CPUtime=1722.16 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 10740 0 0 0 172216 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5000064 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 27980
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25985
/proc/meminfo: memFree=31695152/32770624 swapFree=0/347196
[pid=25699] ppid=25696 vsize=27980 CPUtime=1782.16 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 11012 0 0 0 178216 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5128906 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 27980
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25988
/proc/meminfo: memFree=31695112/32770624 swapFree=0/347228
[pid=25699] ppid=25696 vsize=27980 CPUtime=1842.15 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 11306 0 0 0 184215 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4941146 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 1842.15
Current children cumulated vsize (KiB) 27980
[startup+1902.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 25990
/proc/meminfo: memFree=31695112/32770624 swapFree=0/347264
[pid=25699] ppid=25696 vsize=27980 CPUtime=1902.15 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 11578 0 0 0 190215 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4917609 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 1902.15
Current children cumulated vsize (KiB) 27980
[startup+1962.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/184 26006
/proc/meminfo: memFree=31690580/32770624 swapFree=0/347324
[pid=25699] ppid=25696 vsize=27980 CPUtime=1962.15 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 11850 0 0 0 196215 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4918608 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 27980
[startup+2022.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/184 26032
/proc/meminfo: memFree=31688664/32770624 swapFree=0/347396
[pid=25699] ppid=25696 vsize=27980 CPUtime=2022.14 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 12142 0 0 0 202214 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4915364 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 27980
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/184 26034
/proc/meminfo: memFree=31689312/32770624 swapFree=0/347432
[pid=25699] ppid=25696 vsize=27980 CPUtime=2082.15 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 12414 0 0 0 208215 0 0 0 20 0 1 0 5244026 28651520 1180 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5000064 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 6995 1180 785 380 0 413 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 27980
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 26036
/proc/meminfo: memFree=31693684/32770624 swapFree=0/347456
[pid=25699] ppid=25696 vsize=28188 CPUtime=2142.14 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 12738 0 0 0 214214 0 0 0 20 0 1 0 5244026 28864512 1189 18446744073709551615 4194304 5747388 140722154220416 140722154217272 5000064 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 7047 1189 785 380 0 465 0
Current children cumulated CPU time (s) 2142.14
Current children cumulated vsize (KiB) 28188
[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 26038
/proc/meminfo: memFree=31693924/32770624 swapFree=0/347484
[pid=25699] ppid=25696 vsize=28340 CPUtime=2202.14 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 13100 0 0 0 220214 0 0 0 20 0 1 0 5244026 29020160 1240 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5000064 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 7085 1240 785 380 0 503 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 28340
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 26040
/proc/meminfo: memFree=31694544/32770624 swapFree=0/347524
[pid=25699] ppid=25696 vsize=28340 CPUtime=2262.13 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 13394 0 0 0 226213 0 0 0 20 0 1 0 5244026 29020160 1240 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5000064 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 7085 1240 785 380 0 503 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 28340
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26042
/proc/meminfo: memFree=31694420/32770624 swapFree=0/347548
[pid=25699] ppid=25696 vsize=28340 CPUtime=2322.13 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 13690 0 0 0 232213 0 0 0 20 0 1 0 5244026 29020160 1240 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4915133 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 7085 1240 785 380 0 503 0
Current children cumulated CPU time (s) 2322.13
Current children cumulated vsize (KiB) 28340
[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 26044
/proc/meminfo: memFree=31694420/32770624 swapFree=0/347572
[pid=25699] ppid=25696 vsize=28340 CPUtime=2382.13 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 13983 0 0 0 238213 0 0 0 20 0 1 0 5244026 29020160 1240 18446744073709551615 4194304 5747388 140722154220416 140722154217816 4915147 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 7085 1240 785 380 0 503 0
Current children cumulated CPU time (s) 2382.13
Current children cumulated vsize (KiB) 28340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 26045
/proc/meminfo: memFree=31694600/32770624 swapFree=0/347580
[pid=25699] ppid=25696 vsize=28340 CPUtime=2400.03 cores=1,3,5,7
/proc/25699/stat : 25699 (cosoco) R 25696 25699 21827 0 -1 4202496 14299 0 0 0 240003 0 0 0 20 0 1 0 5244026 29020160 1240 18446744073709551615 4194304 5747388 140722154220416 140722154217816 5000064 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 7845728 7850568 20860928 140722154226159 140722154226254 140722154226254 140722154229710 0
/proc/25699/statm: 7085 1240 785 380 0 503 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 28340
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 25699 sig 9
??? kill -25699 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.04
CPU user time (s): 2400.04
CPU system time (s): 0.003999
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 28340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.003999
maximum resident set size= 5032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14350
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= 6
involuntary context switches= 634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49476 second user time and 7.4119 second system time
The end