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-4260069-1502015145/watcher-4260069-1502015145 -o /tmp/evaluation-result-4260069-1502015145/solver-4260069-1502015145 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25934 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260069-1502015145.xml
pid=25956
running on 4 cores: 0,2,4,6
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.27 1.42 1.41 4/187 25963
/proc/meminfo: memFree=31554228/32770624 swapFree=0/304588
[pid=25963] ppid=25956 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25963/stat : 25963 (runsolver) D 25956 25963 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 49329771 24240128 106 18446744073709551615 4194304 4338465 140720425829792 140720425827432 140376159097559 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 9240576 140720425836737 140720425837129 140720425837129 140720425840586 0
/proc/25963/statm: 5918 106 53 36 0 2156 0
[startup+0.106522 s]
/proc/loadavg: 1.27 1.42 1.41 4/187 25963
/proc/meminfo: memFree=31554228/32770624 swapFree=0/304588
[pid=25963] ppid=25956 vsize=27172 CPUtime=0.01 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1086 0 0 0 1 0 0 0 20 0 1 0 49329771 27824128 891 18446744073709551615 4194304 5747388 140731925047424 140731925044200 5000032 0 0 1 8405026 0 0 0 17 6 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 891 728 380 0 211 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27172
[startup+0.200561 s]
/proc/loadavg: 1.27 1.42 1.41 4/187 25963
/proc/meminfo: memFree=31554228/32770624 swapFree=0/304588
[pid=25963] ppid=25956 vsize=27172 CPUtime=0.1 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1093 0 0 0 10 0 0 0 20 0 1 0 49329771 27824128 891 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4916499 0 0 1 8405026 0 0 0 17 6 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 891 728 380 0 211 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27172
[startup+0.300562 s]
/proc/loadavg: 1.27 1.42 1.41 4/187 25963
/proc/meminfo: memFree=31554228/32770624 swapFree=0/304588
[pid=25963] ppid=25956 vsize=27172 CPUtime=0.2 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1094 0 0 0 20 0 0 0 20 0 1 0 49329771 27824128 891 18446744073709551615 4194304 5747388 140731925047424 140731925044824 5000032 0 0 1 8405026 0 0 0 17 6 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 891 728 380 0 211 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 27172
[startup+0.700277 s]
/proc/loadavg: 1.27 1.42 1.41 4/187 25963
/proc/meminfo: memFree=31554228/32770624 swapFree=0/304588
[pid=25963] ppid=25956 vsize=27172 CPUtime=0.6 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1094 0 0 0 60 0 0 0 20 0 1 0 49329771 27824128 891 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4916015 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 891 728 380 0 211 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 27172
[startup+1.50026 s]
/proc/loadavg: 1.33 1.43 1.41 4/189 25966
/proc/meminfo: memFree=31551304/32770624 swapFree=0/304540
[pid=25963] ppid=25956 vsize=27172 CPUtime=1.4 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1094 0 0 0 140 0 0 0 20 0 1 0 49329771 27824128 891 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4919099 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 891 728 380 0 211 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 27172
[startup+3.10027 s]
/proc/loadavg: 1.33 1.43 1.41 4/189 25966
/proc/meminfo: memFree=31550248/32770624 swapFree=0/304540
[pid=25963] ppid=25956 vsize=27172 CPUtime=3 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1214 0 0 0 300 0 0 0 20 0 1 0 49329771 27824128 935 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4915712 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 935 754 380 0 211 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 27172
[startup+6.30026 s]
/proc/loadavg: 1.33 1.43 1.41 4/187 25966
/proc/meminfo: memFree=31552036/32770624 swapFree=0/304536
[pid=25963] ppid=25956 vsize=27172 CPUtime=6.2 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1334 0 0 0 620 0 0 0 20 0 1 0 49329771 27824128 936 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4918650 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 936 754 380 0 211 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 27172
[startup+12.7003 s]
/proc/loadavg: 1.43 1.45 1.42 4/186 25966
/proc/meminfo: memFree=31552300/32770624 swapFree=0/304540
[pid=25963] ppid=25956 vsize=27172 CPUtime=12.6 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1454 0 0 0 1260 0 0 0 20 0 1 0 49329771 27824128 936 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4915048 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 936 754 380 0 211 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 27172
[startup+25.5003 s]
/proc/loadavg: 1.52 1.47 1.42 4/186 25966
/proc/meminfo: memFree=31552304/32770624 swapFree=0/304556
[pid=25963] ppid=25956 vsize=27172 CPUtime=25.4 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1694 0 0 0 2540 0 0 0 20 0 1 0 49329771 27824128 936 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4918960 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 936 754 380 0 211 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 27172
[startup+51.1003 s]
/proc/loadavg: 1.68 1.51 1.44 4/185 25966
/proc/meminfo: memFree=31552480/32770624 swapFree=0/304568
[pid=25963] ppid=25956 vsize=27172 CPUtime=51 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1820 0 0 0 5100 0 0 0 20 0 1 0 49329771 27824128 939 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4918608 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 939 754 380 0 211 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 27172
[startup+102.3 s]
/proc/loadavg: 1.87 1.59 1.47 4/185 25968
/proc/meminfo: memFree=31552064/32770624 swapFree=0/304584
[pid=25963] ppid=25956 vsize=27172 CPUtime=102.21 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 1943 0 0 0 10221 0 0 0 20 0 1 0 49329771 27824128 939 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4915335 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 939 754 380 0 211 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 27172
[startup+162.3 s]
/proc/loadavg: 1.95 1.67 1.50 4/184 25970
/proc/meminfo: memFree=31551848/32770624 swapFree=0/304584
[pid=25963] ppid=25956 vsize=27172 CPUtime=162.21 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 2066 0 0 0 16221 0 0 0 20 0 1 0 49329771 27824128 939 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4919099 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 939 754 380 0 211 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 27172
[startup+222.306 s]
/proc/loadavg: 1.98 1.73 1.53 4/184 25972
/proc/meminfo: memFree=31552416/32770624 swapFree=0/304624
[pid=25963] ppid=25956 vsize=27172 CPUtime=222.23 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 2189 0 0 0 22223 0 0 0 20 0 1 0 49329771 27824128 939 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4916989 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 939 754 380 0 211 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 27172
[startup+282.3 s]
/proc/loadavg: 1.99 1.78 1.56 4/185 25975
/proc/meminfo: memFree=31552496/32770624 swapFree=0/304660
[pid=25963] ppid=25956 vsize=27172 CPUtime=282.23 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 2189 0 0 0 28223 0 0 0 20 0 1 0 49329771 27824128 939 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4918007 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 939 754 380 0 211 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 27172
[startup+342.3 s]
/proc/loadavg: 2.04 1.83 1.60 4/185 25977
/proc/meminfo: memFree=31551628/32770624 swapFree=0/304704
[pid=25963] ppid=25956 vsize=27172 CPUtime=342.23 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 2313 0 0 0 34223 0 0 0 20 0 1 0 49329771 27824128 939 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4916508 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 939 754 380 0 211 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 27172
[startup+402.3 s]
/proc/loadavg: 2.16 1.90 1.63 4/185 25979
/proc/meminfo: memFree=31551884/32770624 swapFree=0/304720
[pid=25963] ppid=25956 vsize=27172 CPUtime=402.24 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 2313 0 0 0 40224 0 0 0 20 0 1 0 49329771 27824128 939 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4915567 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 939 754 380 0 211 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 27172
[startup+462.3 s]
/proc/loadavg: 2.06 1.91 1.65 4/185 25981
/proc/meminfo: memFree=31552080/32770624 swapFree=0/304732
[pid=25963] ppid=25956 vsize=27172 CPUtime=462.24 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 2437 0 0 0 46224 0 0 0 20 0 1 0 49329771 27824128 940 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4915034 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 940 754 380 0 211 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 27172
[startup+522.3 s]
/proc/loadavg: 2.02 1.93 1.68 4/188 25997
/proc/meminfo: memFree=31547780/32770624 swapFree=0/304756
[pid=25963] ppid=25956 vsize=27172 CPUtime=522.25 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 2437 0 0 0 52225 0 0 0 20 0 1 0 49329771 27824128 940 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4916392 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 940 754 380 0 211 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 27172
[startup+582.3 s]
/proc/loadavg: 2.01 1.94 1.70 4/187 25999
/proc/meminfo: memFree=31548108/32770624 swapFree=0/304760
[pid=25963] ppid=25956 vsize=27172 CPUtime=582.25 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 2561 0 0 0 58225 0 0 0 20 0 1 0 49329771 27824128 940 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4995174 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 940 754 380 0 211 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 27172
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.89 4/186 26052
/proc/meminfo: memFree=31551308/32770624 swapFree=0/305064
[pid=25963] ppid=25956 vsize=27172 CPUtime=1542.34 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 3549 0 0 0 154234 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 5000032 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 27172
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/186 26054
/proc/meminfo: memFree=31551316/32770624 swapFree=0/305076
[pid=25963] ppid=25956 vsize=27172 CPUtime=1602.34 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 3549 0 0 0 160234 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4918688 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 27172
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/185 26056
/proc/meminfo: memFree=31551400/32770624 swapFree=0/305100
[pid=25963] ppid=25956 vsize=27172 CPUtime=1662.34 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 3674 0 0 0 166234 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4915063 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 27172
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/188 26072
/proc/meminfo: memFree=31547456/32770624 swapFree=0/305120
[pid=25963] ppid=25956 vsize=27172 CPUtime=1722.35 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 3674 0 0 0 172235 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 5128912 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 27172
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/188 26075
/proc/meminfo: memFree=31547020/32770624 swapFree=0/305132
[pid=25963] ppid=25956 vsize=27172 CPUtime=1782.35 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 3787 0 0 0 178235 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4918677 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 27172
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.92 4/186 26078
/proc/meminfo: memFree=31550412/32770624 swapFree=0/305152
[pid=25963] ppid=25956 vsize=27172 CPUtime=1842.36 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 3787 0 0 0 184236 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4916575 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 1842.36
Current children cumulated vsize (KiB) 27172
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.92 4/186 26080
/proc/meminfo: memFree=31550484/32770624 swapFree=0/305168
[pid=25963] ppid=25956 vsize=27172 CPUtime=1902.36 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 3911 0 0 0 190236 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4917627 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 27172
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.93 4/186 26082
/proc/meminfo: memFree=31550616/32770624 swapFree=0/305188
[pid=25963] ppid=25956 vsize=27172 CPUtime=1962.37 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 3911 0 0 0 196237 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4917573 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 1962.37
Current children cumulated vsize (KiB) 27172
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/186 26084
/proc/meminfo: memFree=31550932/32770624 swapFree=0/305196
[pid=25963] ppid=25956 vsize=27172 CPUtime=2022.37 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 4036 0 0 0 202237 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4917613 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 2022.37
Current children cumulated vsize (KiB) 27172
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.94 4/186 26087
/proc/meminfo: memFree=31550444/32770624 swapFree=0/305212
[pid=25963] ppid=25956 vsize=27172 CPUtime=2082.38 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 4036 0 0 0 208238 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4915848 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 2082.38
Current children cumulated vsize (KiB) 27172
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.95 4/185 26089
/proc/meminfo: memFree=31551020/32770624 swapFree=0/305224
[pid=25963] ppid=25956 vsize=27172 CPUtime=2142.38 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 4147 0 0 0 214238 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4917492 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 2142.38
Current children cumulated vsize (KiB) 27172
[startup+2202.31 s]
/proc/loadavg: 2.00 1.99 1.95 4/186 26092
/proc/meminfo: memFree=31551012/32770624 swapFree=0/305256
[pid=25963] ppid=25956 vsize=27172 CPUtime=2202.39 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 4161 0 0 0 220239 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4917941 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 2202.39
Current children cumulated vsize (KiB) 27172
[startup+2262.3 s]
/proc/loadavg: 2.07 2.02 1.97 4/186 26094
/proc/meminfo: memFree=31551224/32770624 swapFree=0/305272
[pid=25963] ppid=25956 vsize=27172 CPUtime=2262.39 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 4273 0 0 0 226239 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4915530 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 2262.39
Current children cumulated vsize (KiB) 27172
[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 1.97 4/189 26110
/proc/meminfo: memFree=31547436/32770624 swapFree=0/305312
[pid=25963] ppid=25956 vsize=27172 CPUtime=2322.4 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 4286 0 0 0 232240 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4919090 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 2322.4
Current children cumulated vsize (KiB) 27172
[startup+2382.3 s]
/proc/loadavg: 2.07 2.04 1.98 4/189 26113
/proc/meminfo: memFree=31546712/32770624 swapFree=0/305348
[pid=25963] ppid=25956 vsize=27172 CPUtime=2382.4 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 4399 0 0 0 238240 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4918683 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 2382.4
Current children cumulated vsize (KiB) 27172
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.20 2.07 1.99 4/189 26113
/proc/meminfo: memFree=31546696/32770624 swapFree=0/305344
[pid=25963] ppid=25956 vsize=27172 CPUtime=2400 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 4399 0 0 0 240000 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4917429 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 2400
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 25963 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.20 2.07 1.99 4/189 26113
/proc/meminfo: memFree=31546696/32770624 swapFree=0/305344
[pid=25963] ppid=25956 vsize=27172 CPUtime=2400 cores=0,2,4,6
/proc/25963/stat : 25963 (cosoco) R 25956 25963 25100 0 -1 4202496 4399 0 0 0 240000 0 0 0 20 0 1 0 49329771 27824128 941 18446744073709551615 4194304 5747388 140731925047424 140731925044824 4917429 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 13324288 140731925053934 140731925054029 140731925054029 140731925057486 0
/proc/25963/statm: 6793 941 754 380 0 211 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 27172
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.02
CPU user time (s): 2400.01
CPU system time (s): 0.007
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 27172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.007
maximum resident set size= 3836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4449
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= 605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47662 second user time and 8.80599 second system time
The end