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-4260026-1502035333/watcher-4260026-1502035333 -o /tmp/evaluation-result-4260026-1502035333/solver-4260026-1502035333 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22617 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260026-1502035333.xml
pid=26861
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.08 2.03 2.05 2/180 26864
/proc/meminfo: memFree=31643420/32770624 swapFree=0/349588
[pid=26864] ppid=26861 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26864/stat : 26864 (runsolver) D 26861 26864 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5729077 24240128 106 18446744073709551615 4194304 4338465 140724081117200 140724081114840 140156064121559 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 22274048 140724081119426 140724081119818 140724081119818 140724081123274 0
/proc/26864/statm: 5918 106 53 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 26864
/proc/meminfo: memFree=31643420/32770624 swapFree=0/349588
[pid=26864] ppid=26861 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/26864/stat : 26864 (runsolver) D 26861 26864 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5729077 24240128 106 18446744073709551615 4194304 4338465 140724081117200 140724081114840 140156064121559 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 22274048 140724081119426 140724081119818 140724081119818 140724081123274 0
/proc/26864/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200311 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 26864
/proc/meminfo: memFree=31643420/32770624 swapFree=0/349588
[pid=26864] ppid=26861 vsize=27720 CPUtime=0.09 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 1260 0 0 0 9 0 0 0 20 0 1 0 5729077 28385280 1089 18446744073709551615 4194304 5747388 140724794071632 140724794068280 5128634 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1089 759 380 0 348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27720
[startup+0.300254 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 26864
/proc/meminfo: memFree=31643420/32770624 swapFree=0/349588
[pid=26864] ppid=26861 vsize=27720 CPUtime=0.19 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 1260 0 0 0 19 0 0 0 20 0 1 0 5729077 28385280 1089 18446744073709551615 4194304 5747388 140724794071632 140724794068280 4893991 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1089 759 380 0 348 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27720
[startup+0.700219 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 26864
/proc/meminfo: memFree=31643420/32770624 swapFree=0/349588
[pid=26864] ppid=26861 vsize=27720 CPUtime=0.58 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 1260 0 0 0 58 0 0 0 20 0 1 0 5729077 28385280 1089 18446744073709551615 4194304 5747388 140724794071632 140724794068280 5126801 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1089 759 380 0 348 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 27720
[startup+1.50022 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 26865
/proc/meminfo: memFree=31642336/32770624 swapFree=0/349588
[pid=26864] ppid=26861 vsize=27720 CPUtime=1.38 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 1260 0 0 0 138 0 0 0 20 0 1 0 5729077 28385280 1089 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4893991 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1089 759 380 0 348 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 27720
[startup+3.10021 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 26865
/proc/meminfo: memFree=31641448/32770624 swapFree=0/349588
[pid=26864] ppid=26861 vsize=27720 CPUtime=2.98 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 1530 0 0 0 298 0 0 0 20 0 1 0 5729077 28385280 1101 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4893982 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1101 762 380 0 348 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 27720
[startup+6.30022 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 26865
/proc/meminfo: memFree=31641448/32770624 swapFree=0/349588
[pid=26864] ppid=26861 vsize=27720 CPUtime=6.18 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 1800 0 0 0 618 0 0 0 20 0 1 0 5729077 28385280 1101 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4892815 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1101 762 380 0 348 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 27720
[startup+12.7002 s]
/proc/loadavg: 2.06 2.03 2.05 3/185 26887
/proc/meminfo: memFree=31639412/32770624 swapFree=0/349608
[pid=26864] ppid=26861 vsize=27720 CPUtime=12.58 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 2075 0 0 0 1258 0 0 0 20 0 1 0 5729077 28385280 1101 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4894191 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1101 762 380 0 348 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 27720
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 26888
/proc/meminfo: memFree=31640428/32770624 swapFree=0/349620
[pid=26864] ppid=26861 vsize=27720 CPUtime=25.38 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 2618 0 0 0 2538 0 0 0 20 0 1 0 5729077 28385280 1101 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4894030 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1101 762 380 0 348 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 27720
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 26888
/proc/meminfo: memFree=31640816/32770624 swapFree=0/349636
[pid=26864] ppid=26861 vsize=27720 CPUtime=50.98 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 2902 0 0 0 5098 0 0 0 20 0 1 0 5729077 28385280 1101 18446744073709551615 4194304 5747388 140724794071632 140724794058904 4894021 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1101 762 380 0 348 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 27720
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 26890
/proc/meminfo: memFree=31641048/32770624 swapFree=0/349672
[pid=26864] ppid=26861 vsize=27720 CPUtime=102.18 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 3172 0 0 0 10218 0 0 0 20 0 1 0 5729077 28385280 1101 18446744073709551615 4194304 5747388 140724794071632 140724794058904 4893982 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1101 762 380 0 348 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 27720
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 26907
/proc/meminfo: memFree=31636476/32770624 swapFree=0/349736
[pid=26864] ppid=26861 vsize=27720 CPUtime=162.18 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 3442 0 0 0 16218 0 0 0 20 0 1 0 5729077 28385280 1101 18446744073709551615 4194304 5747388 140724794071632 140724794058904 4894030 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1101 762 380 0 348 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 27720
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26909
/proc/meminfo: memFree=31639616/32770624 swapFree=0/349768
[pid=26864] ppid=26861 vsize=27720 CPUtime=222.18 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 3712 0 0 0 22218 0 0 0 20 0 1 0 5729077 28385280 1101 18446744073709551615 4194304 5747388 140724794071632 140724794058904 4872868 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6930 1101 762 380 0 348 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 27720
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26911
/proc/meminfo: memFree=31640268/32770624 swapFree=0/349792
[pid=26864] ppid=26861 vsize=27852 CPUtime=282.17 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 3990 0 0 0 28217 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794068584 4893699 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 27852
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26913
/proc/meminfo: memFree=31640028/32770624 swapFree=0/349824
[pid=26864] ppid=26861 vsize=27852 CPUtime=342.17 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 4261 0 0 0 34217 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794068584 4894030 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 27852
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 26915
/proc/meminfo: memFree=31640036/32770624 swapFree=0/349856
[pid=26864] ppid=26861 vsize=27852 CPUtime=402.16 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 4531 0 0 0 40216 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794068584 4912816 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 27852
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26918
/proc/meminfo: memFree=31639832/32770624 swapFree=0/349892
[pid=26864] ppid=26861 vsize=27852 CPUtime=462.16 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 4803 0 0 0 46216 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794068584 4892751 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 27852
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26920
/proc/meminfo: memFree=31639832/32770624 swapFree=0/349928
[pid=26864] ppid=26861 vsize=27852 CPUtime=522.16 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 5073 0 0 0 52216 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794068584 4918677 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 27852
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 26922
/proc/meminfo: memFree=31640088/32770624 swapFree=0/349952
[pid=26864] ppid=26861 vsize=27852 CPUtime=582.16 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 5253 0 0 0 58216 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794068584 4912677 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 27852
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 27071
/proc/meminfo: memFree=31691472/32770624 swapFree=0/350628
[pid=26864] ppid=26861 vsize=27852 CPUtime=1542.12 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 8823 0 0 0 154212 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4947292 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 27852
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 27073
/proc/meminfo: memFree=31691440/32770624 swapFree=0/350664
[pid=26864] ppid=26861 vsize=27852 CPUtime=1602.11 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 9090 0 0 0 160211 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4919090 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 27852
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 27075
/proc/meminfo: memFree=31691520/32770624 swapFree=0/350696
[pid=26864] ppid=26861 vsize=27852 CPUtime=1662.1 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 9239 0 0 0 166210 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4911509 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 1662.1
Current children cumulated vsize (KiB) 27852
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 27077
/proc/meminfo: memFree=31691384/32770624 swapFree=0/350720
[pid=26864] ppid=26861 vsize=27852 CPUtime=1722.1 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 9510 0 0 0 172210 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4915039 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 27852
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 27079
/proc/meminfo: memFree=31691268/32770624 swapFree=0/350752
[pid=26864] ppid=26861 vsize=27852 CPUtime=1782.1 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 9677 0 0 0 178210 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4893991 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 27852
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 27081
/proc/meminfo: memFree=31692356/32770624 swapFree=0/350776
[pid=26864] ppid=26861 vsize=27852 CPUtime=1842.1 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 9948 0 0 0 184210 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 5000032 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 1842.1
Current children cumulated vsize (KiB) 27852
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27084
/proc/meminfo: memFree=31691248/32770624 swapFree=0/350812
[pid=26864] ppid=26861 vsize=27852 CPUtime=1902.09 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 10096 0 0 0 190209 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4894030 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 27852
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27100
/proc/meminfo: memFree=31687620/32770624 swapFree=0/350872
[pid=26864] ppid=26861 vsize=27852 CPUtime=1962.09 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 10248 0 0 0 196209 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4893963 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 1962.09
Current children cumulated vsize (KiB) 27852
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27102
/proc/meminfo: memFree=31690768/32770624 swapFree=0/350908
[pid=26864] ppid=26861 vsize=27852 CPUtime=2022.09 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 10400 0 0 0 202209 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4894006 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 2022.09
Current children cumulated vsize (KiB) 27852
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27104
/proc/meminfo: memFree=31691016/32770624 swapFree=0/350936
[pid=26864] ppid=26861 vsize=27852 CPUtime=2082.09 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 10556 0 0 0 208209 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4893987 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 2082.09
Current children cumulated vsize (KiB) 27852
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27106
/proc/meminfo: memFree=31690980/32770624 swapFree=0/350960
[pid=26864] ppid=26861 vsize=27852 CPUtime=2142.08 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 10712 0 0 0 214208 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4894034 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 2142.08
Current children cumulated vsize (KiB) 27852
[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 27108
/proc/meminfo: memFree=31691196/32770624 swapFree=0/351000
[pid=26864] ppid=26861 vsize=27852 CPUtime=2202.08 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 10974 0 0 0 220208 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794069160 4894030 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 2202.08
Current children cumulated vsize (KiB) 27852
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27111
/proc/meminfo: memFree=31690680/32770624 swapFree=0/351040
[pid=26864] ppid=26861 vsize=27852 CPUtime=2262.08 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 11258 0 0 0 226208 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794058904 4893987 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 27852
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27113
/proc/meminfo: memFree=31690804/32770624 swapFree=0/351072
[pid=26864] ppid=26861 vsize=27852 CPUtime=2322.07 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 11436 0 0 0 232207 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794058904 4894053 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 2322.07
Current children cumulated vsize (KiB) 27852
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27115
/proc/meminfo: memFree=31690648/32770624 swapFree=0/351100
[pid=26864] ppid=26861 vsize=27852 CPUtime=2382.07 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 11707 0 0 0 238207 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794058904 4894528 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 2382.07
Current children cumulated vsize (KiB) 27852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27116
/proc/meminfo: memFree=31690524/32770624 swapFree=0/351112
[pid=26864] ppid=26861 vsize=27852 CPUtime=2400.08 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 11883 0 0 0 240008 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794058904 4892850 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 27852
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 26864 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27116
/proc/meminfo: memFree=31690524/32770624 swapFree=0/351112
[pid=26864] ppid=26861 vsize=27852 CPUtime=2400.08 cores=1,3,5,7
/proc/26864/stat : 26864 (cosoco) R 26861 26864 21827 0 -1 4202496 11883 0 0 0 240008 0 0 0 20 0 1 0 5729077 28520448 1102 18446744073709551615 4194304 5747388 140724794071632 140724794058904 4892850 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 25681920 140724794073583 140724794073678 140724794073678 140724794077134 0
/proc/26864/statm: 6963 1102 762 380 0 381 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 27852
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.09
CPU user time (s): 2400.08
CPU system time (s): 0.006999
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 27852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.006999
maximum resident set size= 4484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11934
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= 605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.26692 second user time and 8.07497 second system time
The end