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-4260080-1502025283/watcher-4260080-1502025283 -o /tmp/evaluation-result-4260080-1502025283/solver-4260080-1502025283 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502016917-13119 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260080-1502025283.xml
pid=14837
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: 1.89 1.98 2.03 3/188 14840
/proc/meminfo: memFree=23310424/32770624 swapFree=0/326008
[pid=14840] ppid=14837 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14840/stat : 14840 (runsolver) D 14837 14840 12906 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 44439185 24240128 106 18446744073709551615 4194304 4338465 140726573898272 140726573895912 139840944906967 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 19390464 140726573899969 140726573900361 140726573900361 140726573903818 0
/proc/14840/statm: 5918 106 53 36 0 2156 0
[startup+0.100136 s]
/proc/loadavg: 1.89 1.98 2.03 3/188 14840
/proc/meminfo: memFree=23310424/32770624 swapFree=0/326008
[pid=14840] ppid=14837 vsize=26696 CPUtime=0 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4194304 313 0 0 0 0 0 0 0 20 0 1 0 44439185 27336704 157 18446744073709551615 4194304 5747388 140733228014864 140733228011512 140404112625168 0 0 1 0 0 0 0 17 3 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6674 157 119 380 0 60 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26696
[startup+0.200258 s]
/proc/loadavg: 1.89 1.98 2.03 3/188 14840
/proc/meminfo: memFree=23310424/32770624 swapFree=0/326008
[pid=14840] ppid=14837 vsize=27172 CPUtime=0.09 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 1100 0 0 0 9 0 0 0 20 0 1 0 44439185 27824128 891 18446744073709551615 4194304 5747388 140733228014864 140733228011512 5131756 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 891 737 380 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27172
[startup+0.300246 s]
/proc/loadavg: 1.89 1.98 2.03 3/188 14840
/proc/meminfo: memFree=23310424/32770624 swapFree=0/326008
[pid=14840] ppid=14837 vsize=27172 CPUtime=0.19 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 1100 0 0 0 19 0 0 0 20 0 1 0 44439185 27824128 891 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890312 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 891 737 380 0 211 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27172
[startup+0.700219 s]
/proc/loadavg: 1.89 1.98 2.03 3/188 14840
/proc/meminfo: memFree=23310424/32770624 swapFree=0/326008
[pid=14840] ppid=14837 vsize=27172 CPUtime=0.59 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 1100 0 0 0 59 0 0 0 20 0 1 0 44439185 27824128 891 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5131665 0 0 1 8405026 0 0 0 17 3 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 891 737 380 0 211 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 27172
[startup+1.50022 s]
/proc/loadavg: 1.89 1.98 2.03 3/189 14841
/proc/meminfo: memFree=23309292/32770624 swapFree=0/326024
[pid=14840] ppid=14837 vsize=27172 CPUtime=1.39 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 1100 0 0 0 139 0 0 0 20 0 1 0 44439185 27824128 891 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890314 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 891 737 380 0 211 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 27172
[startup+3.10022 s]
/proc/loadavg: 1.90 1.98 2.03 3/189 14841
/proc/meminfo: memFree=23308920/32770624 swapFree=0/326024
[pid=14840] ppid=14837 vsize=27172 CPUtime=2.99 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 1237 0 0 0 299 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5126460 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 27172
[startup+6.30022 s]
/proc/loadavg: 1.90 1.98 2.03 3/189 14841
/proc/meminfo: memFree=23309044/32770624 swapFree=0/326024
[pid=14840] ppid=14837 vsize=27172 CPUtime=6.19 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 1374 0 0 0 619 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4873376 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 27172
[startup+12.7002 s]
/proc/loadavg: 1.91 1.98 2.03 3/189 14841
/proc/meminfo: memFree=23308628/32770624 swapFree=0/326036
[pid=14840] ppid=14837 vsize=27172 CPUtime=12.6 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 1511 0 0 0 1260 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4893780 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 27172
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.04 3/189 14865
/proc/meminfo: memFree=23307044/32770624 swapFree=0/326068
[pid=14840] ppid=14837 vsize=27172 CPUtime=25.4 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 1785 0 0 0 2540 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5126530 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 27172
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 14866
/proc/meminfo: memFree=23308132/32770624 swapFree=0/326068
[pid=14840] ppid=14837 vsize=27172 CPUtime=51 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 1922 0 0 0 5100 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890270 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 27172
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 14868
/proc/meminfo: memFree=23308456/32770624 swapFree=0/326080
[pid=14840] ppid=14837 vsize=27172 CPUtime=102.21 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 2059 0 0 0 10221 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5126239 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 27172
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14871
/proc/meminfo: memFree=23312492/32770624 swapFree=0/326132
[pid=14840] ppid=14837 vsize=27172 CPUtime=162.21 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 2196 0 0 0 16221 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890262 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 27172
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 14873
/proc/meminfo: memFree=23311916/32770624 swapFree=0/326164
[pid=14840] ppid=14837 vsize=27172 CPUtime=222.22 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 2333 0 0 0 22222 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890275 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 27172
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/186 14875
/proc/meminfo: memFree=23312484/32770624 swapFree=0/326208
[pid=14840] ppid=14837 vsize=27172 CPUtime=282.22 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 2333 0 0 0 28222 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5125654 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 27172
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/186 14877
/proc/meminfo: memFree=23312772/32770624 swapFree=0/326224
[pid=14840] ppid=14837 vsize=27172 CPUtime=342.22 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 2470 0 0 0 34222 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4894191 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 27172
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/186 14879
/proc/meminfo: memFree=23312768/32770624 swapFree=0/326244
[pid=14840] ppid=14837 vsize=27172 CPUtime=402.23 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 2470 0 0 0 40223 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5142949 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 27172
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14882
/proc/meminfo: memFree=23312660/32770624 swapFree=0/326256
[pid=14840] ppid=14837 vsize=27172 CPUtime=462.23 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 2607 0 0 0 46223 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890224 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 27172
[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/185 14883
/proc/meminfo: memFree=23312644/32770624 swapFree=0/326260
[pid=14840] ppid=14837 vsize=27172 CPUtime=522.24 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 2607 0 0 0 52224 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890275 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 27172
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 14899
/proc/meminfo: memFree=23308840/32770624 swapFree=0/326336
[pid=14840] ppid=14837 vsize=27172 CPUtime=582.24 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 2744 0 0 0 58224 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5121341 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 27172
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14948
/proc/meminfo: memFree=23312128/32770624 swapFree=0/326728
[pid=14840] ppid=14837 vsize=27172 CPUtime=1482.31 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 3690 0 0 0 148231 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5118347 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 27172
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14950
/proc/meminfo: memFree=23312360/32770624 swapFree=0/326764
[pid=14840] ppid=14837 vsize=27172 CPUtime=1542.32 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 3827 0 0 0 154232 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890329 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 27172
[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 2.06 3/185 14952
/proc/meminfo: memFree=23312240/32770624 swapFree=0/326796
[pid=14840] ppid=14837 vsize=27172 CPUtime=1602.32 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 3827 0 0 0 160232 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4894642 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 27172
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/186 14956
/proc/meminfo: memFree=23312024/32770624 swapFree=0/326832
[pid=14840] ppid=14837 vsize=27172 CPUtime=1662.33 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 3950 0 0 0 166233 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890224 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 27172
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 14958
/proc/meminfo: memFree=23311440/32770624 swapFree=0/326844
[pid=14840] ppid=14837 vsize=27172 CPUtime=1722.33 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 3964 0 0 0 172233 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4894635 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 27172
[startup+1782.3 s]
/proc/loadavg: 2.18 2.08 2.06 3/190 14974
/proc/meminfo: memFree=23308144/32770624 swapFree=0/326876
[pid=14840] ppid=14837 vsize=27172 CPUtime=1782.34 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4088 0 0 0 178234 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890224 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 27172
[startup+1842.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/190 14976
/proc/meminfo: memFree=23307768/32770624 swapFree=0/326912
[pid=14840] ppid=14837 vsize=27172 CPUtime=1842.34 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4101 0 0 0 184234 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5133952 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 1842.34
Current children cumulated vsize (KiB) 27172
[startup+1902.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 14978
/proc/meminfo: memFree=23311392/32770624 swapFree=0/326924
[pid=14840] ppid=14837 vsize=27172 CPUtime=1902.35 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4225 0 0 0 190235 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890224 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 1902.35
Current children cumulated vsize (KiB) 27172
[startup+1962.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 14981
/proc/meminfo: memFree=23311336/32770624 swapFree=0/326932
[pid=14840] ppid=14837 vsize=27172 CPUtime=1962.35 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4225 0 0 0 196235 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5128634 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 27172
[startup+2022.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/186 14983
/proc/meminfo: memFree=23310356/32770624 swapFree=0/326968
[pid=14840] ppid=14837 vsize=27172 CPUtime=2022.36 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4362 0 0 0 202236 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4894232 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 27172
[startup+2082.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 14985
/proc/meminfo: memFree=23310656/32770624 swapFree=0/327008
[pid=14840] ppid=14837 vsize=27172 CPUtime=2082.36 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4362 0 0 0 208236 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5118347 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 2082.36
Current children cumulated vsize (KiB) 27172
[startup+2142.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 14988
/proc/meminfo: memFree=23310732/32770624 swapFree=0/327040
[pid=14840] ppid=14837 vsize=27172 CPUtime=2142.36 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4486 0 0 0 214236 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4995227 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 27172
[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 14990
/proc/meminfo: memFree=23310768/32770624 swapFree=0/327068
[pid=14840] ppid=14837 vsize=27172 CPUtime=2202.37 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4486 0 0 0 220237 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890244 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 27172
[startup+2262.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/186 14992
/proc/meminfo: memFree=23311136/32770624 swapFree=0/327092
[pid=14840] ppid=14837 vsize=27172 CPUtime=2262.37 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4623 0 0 0 226237 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5128616 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 2262.37
Current children cumulated vsize (KiB) 27172
[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/186 14994
/proc/meminfo: memFree=23311172/32770624 swapFree=0/327116
[pid=14840] ppid=14837 vsize=27172 CPUtime=2322.38 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4623 0 0 0 232238 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 5128634 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 2322.38
Current children cumulated vsize (KiB) 27172
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 15072
/proc/meminfo: memFree=31546804/32770624 swapFree=0/327192
[pid=14840] ppid=14837 vsize=27172 CPUtime=2382.38 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4747 0 0 0 238238 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4890224 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 2382.38
Current children cumulated vsize (KiB) 27172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.01 2.03 2.05 3/189 15074
/proc/meminfo: memFree=31546892/32770624 swapFree=0/327184
[pid=14840] ppid=14837 vsize=27172 CPUtime=2400.09 cores=1,3,5,7
/proc/14840/stat : 14840 (cosoco) R 14837 14840 12906 0 -1 4202496 4747 0 0 0 240009 0 0 0 20 0 1 0 44439185 27824128 941 18446744073709551615 4194304 5747388 140733228014864 140733228012264 4894162 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16175104 140733228016110 140733228016205 140733228016205 140733228019662 0
/proc/14840/statm: 6793 941 744 380 0 211 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 27172
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 14840 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400
CPU time (s): 2400.09
CPU user time (s): 2400.09
CPU system time (s): 0.004
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 27172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.09
system time used= 0.004
maximum resident set size= 3836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4797
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= 7
involuntary context switches= 625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.11723 second user time and 8.64854 second system time
The end