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-4260141-1502028822/watcher-4260141-1502028822 -o /tmp/evaluation-result-4260141-1502028822/solver-4260141-1502028822 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10662 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260141-1502028822.xml
pid=14553
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.05 2.04 2.05 3/180 14556
/proc/meminfo: memFree=31335128/32770624 swapFree=0/321584
[pid=14556] ppid=14553 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14556/stat : 14556 (runsolver) D 14553 14556 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 5103157 24240128 108 18446744073709551615 4194304 4338465 140723910340624 140723910338264 140556724785879 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 16093184 140723910344898 140723910345290 140723910345290 140723910348746 0
/proc/14556/statm: 5918 108 54 36 0 2156 0
[startup+0.100119 s]
/proc/loadavg: 2.05 2.04 2.05 3/180 14556
/proc/meminfo: memFree=31335128/32770624 swapFree=0/321584
[pid=14556] ppid=14553 vsize=1820 CPUtime=0 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 1077936128 155 0 0 0 0 0 0 0 20 0 1 0 5103157 1863680 1 18446744073709551615 4194304 5747388 140728566180384 140728566177624 139768798168775 0 0 1 0 0 0 0 17 7 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 455 1 0 380 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1820
[startup+0.201035 s]
/proc/loadavg: 2.05 2.04 2.05 3/180 14556
/proc/meminfo: memFree=31335128/32770624 swapFree=0/321584
[pid=14556] ppid=14553 vsize=31124 CPUtime=0.09 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 2092 0 0 0 9 0 0 0 20 0 1 0 5103157 31870976 1928 18446744073709551615 4194304 5747388 140728566180384 140728566177544 5121146 0 0 1 8405026 0 0 0 17 7 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1928 771 380 0 1199 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31124
[startup+0.301036 s]
/proc/loadavg: 2.05 2.04 2.05 3/180 14556
/proc/meminfo: memFree=31335128/32770624 swapFree=0/321584
[pid=14556] ppid=14553 vsize=31124 CPUtime=0.19 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 2103 0 0 0 19 0 0 0 20 0 1 0 5103157 31870976 1928 18446744073709551615 4194304 5747388 140728566180384 140728566177544 5000064 0 0 1 8405026 0 0 0 17 7 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1928 771 380 0 1199 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31124
[startup+0.700229 s]
/proc/loadavg: 2.05 2.04 2.05 3/180 14556
/proc/meminfo: memFree=31335128/32770624 swapFree=0/321584
[pid=14556] ppid=14553 vsize=31124 CPUtime=0.59 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 2105 0 0 0 59 0 0 0 20 0 1 0 5103157 31870976 1928 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4941155 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1928 771 380 0 1199 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 31124
[startup+1.50022 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 14557
/proc/meminfo: memFree=31330576/32770624 swapFree=0/321568
[pid=14556] ppid=14553 vsize=31124 CPUtime=1.39 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 2105 0 0 0 139 0 0 0 20 0 1 0 5103157 31870976 1928 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1928 771 380 0 1199 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 31124
[startup+3.10022 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 14557
/proc/meminfo: memFree=31330224/32770624 swapFree=0/321568
[pid=14556] ppid=14553 vsize=31124 CPUtime=2.99 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 3191 0 0 0 299 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5121143 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 31124
[startup+6.30023 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 14557
/proc/meminfo: memFree=31330188/32770624 swapFree=0/321584
[pid=14556] ppid=14553 vsize=31124 CPUtime=6.19 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 4276 0 0 0 619 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4941188 0 0 1 8405026 0 0 0 17 1 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 31124
[startup+12.7002 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 14557
/proc/meminfo: memFree=31329940/32770624 swapFree=0/321588
[pid=14556] ppid=14553 vsize=31124 CPUtime=12.59 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 5361 0 0 0 1259 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4915120 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 31124
[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 14573
/proc/meminfo: memFree=31324644/32770624 swapFree=0/321632
[pid=14556] ppid=14553 vsize=31124 CPUtime=25.39 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 7531 0 0 0 2539 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4941167 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 31124
[startup+51.1002 s]
/proc/loadavg: 2.08 2.05 2.05 3/185 14634
/proc/meminfo: memFree=31787140/32770624 swapFree=0/321708
[pid=14556] ppid=14553 vsize=31124 CPUtime=50.99 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 8617 0 0 0 5099 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4911360 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 31124
[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/185 14660
/proc/meminfo: memFree=31786340/32770624 swapFree=0/321840
[pid=14556] ppid=14553 vsize=31124 CPUtime=102.2 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 9191 0 0 0 10220 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5121146 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 31124
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 14662
/proc/meminfo: memFree=31786116/32770624 swapFree=0/321900
[pid=14556] ppid=14553 vsize=31124 CPUtime=162.2 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 9765 0 0 0 16220 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 31124
[startup+222.306 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 14664
/proc/meminfo: memFree=31790404/32770624 swapFree=0/321944
[pid=14556] ppid=14553 vsize=31124 CPUtime=222.22 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 10339 0 0 0 22222 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4915704 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 31124
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 14666
/proc/meminfo: memFree=31790180/32770624 swapFree=0/322016
[pid=14556] ppid=14553 vsize=31124 CPUtime=282.22 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 10339 0 0 0 28222 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 31124
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 14668
/proc/meminfo: memFree=31790584/32770624 swapFree=0/322068
[pid=14556] ppid=14553 vsize=31124 CPUtime=342.22 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 10914 0 0 0 34222 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4915311 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 31124
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14670
/proc/meminfo: memFree=31790104/32770624 swapFree=0/322116
[pid=14556] ppid=14553 vsize=31124 CPUtime=402.23 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 10914 0 0 0 40223 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 31124
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14672
/proc/meminfo: memFree=31790896/32770624 swapFree=0/322160
[pid=14556] ppid=14553 vsize=31124 CPUtime=462.23 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 11489 0 0 0 46223 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 31124
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14674
/proc/meminfo: memFree=31790612/32770624 swapFree=0/322200
[pid=14556] ppid=14553 vsize=31124 CPUtime=522.24 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 11489 0 0 0 52224 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4915299 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 31124
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14676
/proc/meminfo: memFree=31791116/32770624 swapFree=0/322236
[pid=14556] ppid=14553 vsize=31124 CPUtime=582.25 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 12064 0 0 0 58225 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 31124
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14737
/proc/meminfo: memFree=31789056/32770624 swapFree=0/322904
[pid=14556] ppid=14553 vsize=31124 CPUtime=1542.35 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 16631 0 0 0 154235 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4941162 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 31124
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 14739
/proc/meminfo: memFree=31789296/32770624 swapFree=0/322936
[pid=14556] ppid=14553 vsize=31124 CPUtime=1602.35 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 16631 0 0 0 160235 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 31124
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 14741
/proc/meminfo: memFree=31789172/32770624 swapFree=0/322972
[pid=14556] ppid=14553 vsize=31124 CPUtime=1662.36 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 17206 0 0 0 166236 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4941170 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 31124
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14744
/proc/meminfo: memFree=31789400/32770624 swapFree=0/323012
[pid=14556] ppid=14553 vsize=31124 CPUtime=1722.37 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 17206 0 0 0 172237 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5121143 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 31124
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14746
/proc/meminfo: memFree=31788656/32770624 swapFree=0/323036
[pid=14556] ppid=14553 vsize=31124 CPUtime=1782.37 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 17748 0 0 0 178237 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4919288 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 31124
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14763
/proc/meminfo: memFree=31784836/32770624 swapFree=0/323124
[pid=14556] ppid=14553 vsize=31124 CPUtime=1842.38 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 17781 0 0 0 184238 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5128906 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 31124
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14765
/proc/meminfo: memFree=31784580/32770624 swapFree=0/323156
[pid=14556] ppid=14553 vsize=31124 CPUtime=1902.38 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 18322 0 0 0 190238 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 31124
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14767
/proc/meminfo: memFree=31788844/32770624 swapFree=0/323184
[pid=14556] ppid=14553 vsize=31124 CPUtime=1962.39 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 18322 0 0 0 196239 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5121146 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 31124
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14769
/proc/meminfo: memFree=31788596/32770624 swapFree=0/323220
[pid=14556] ppid=14553 vsize=31124 CPUtime=2022.4 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 18897 0 0 0 202240 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4915133 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 31124
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14771
/proc/meminfo: memFree=31789340/32770624 swapFree=0/323248
[pid=14556] ppid=14553 vsize=31124 CPUtime=2082.41 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 18897 0 0 0 208241 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4941170 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 2082.41
Current children cumulated vsize (KiB) 31124
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14773
/proc/meminfo: memFree=31789232/32770624 swapFree=0/323276
[pid=14556] ppid=14553 vsize=31124 CPUtime=2142.41 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 19439 0 0 0 214241 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 31124
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14775
/proc/meminfo: memFree=31789792/32770624 swapFree=0/323308
[pid=14556] ppid=14553 vsize=31124 CPUtime=2202.42 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 19439 0 0 0 220242 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4941177 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 31124
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14777
/proc/meminfo: memFree=31789460/32770624 swapFree=0/323344
[pid=14556] ppid=14553 vsize=31124 CPUtime=2262.42 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 20014 0 0 0 226242 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 4910855 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 31124
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14779
/proc/meminfo: memFree=31789584/32770624 swapFree=0/323372
[pid=14556] ppid=14553 vsize=31124 CPUtime=2322.43 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 20014 0 0 0 232243 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5128906 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 2322.43
Current children cumulated vsize (KiB) 31124
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14781
/proc/meminfo: memFree=31788308/32770624 swapFree=0/323404
[pid=14556] ppid=14553 vsize=31124 CPUtime=2382.43 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 20556 0 0 0 238243 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5121146 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 2382.43
Current children cumulated vsize (KiB) 31124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14781
/proc/meminfo: memFree=31788696/32770624 swapFree=0/323412
[pid=14556] ppid=14553 vsize=31124 CPUtime=2400.04 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 20556 0 0 0 240004 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 31124
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 14556 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14781
/proc/meminfo: memFree=31788696/32770624 swapFree=0/323412
[pid=14556] ppid=14553 vsize=31124 CPUtime=2400.04 cores=1,3,5,7
/proc/14556/stat : 14556 (cosoco) R 14553 14556 9955 0 -1 4202496 20556 0 0 0 240004 0 0 0 20 0 1 0 5103157 31870976 1948 18446744073709551615 4194304 5747388 140728566180384 140728566177784 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 13164544 140728566182383 140728566182478 140728566182478 140728566185934 0
/proc/14556/statm: 7781 1948 773 380 0 1199 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 31124
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.05
CPU user time (s): 2400.04
CPU system time (s): 0.005
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 31124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.005
maximum resident set size= 7864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20605
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= 11
involuntary context switches= 730
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.20542 second user time and 8.35623 second system time
The end