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-4260114-1502024792/watcher-4260114-1502024792 -o /tmp/evaluation-result-4260114-1502024792/solver-4260114-1502024792 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25935 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260114-1502024792.xml
pid=27927
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.09 2.07 2.05 3/185 27930
/proc/meminfo: memFree=31528540/32770624 swapFree=0/309308
[pid=27930] ppid=27927 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27930/stat : 27930 (runsolver) D 27927 27930 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 50294459 24240128 108 18446744073709551615 4194304 4338465 140723203309248 140723203306888 139932448707287 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 21327872 140723203313857 140723203314249 140723203314249 140723203317706 0
/proc/27930/statm: 5918 108 54 36 0 2156 0
[startup+0.106201 s]
/proc/loadavg: 2.09 2.07 2.05 3/185 27930
/proc/meminfo: memFree=31528540/32770624 swapFree=0/309308
[pid=27930] ppid=27927 vsize=26908 CPUtime=0.03 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1107 0 0 0 3 0 0 0 20 0 1 0 50294459 27553792 891 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919889 0 0 1 8405026 0 0 0 17 7 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 891 777 380 0 145 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26908
[startup+0.200244 s]
/proc/loadavg: 2.09 2.07 2.05 3/185 27930
/proc/meminfo: memFree=31528540/32770624 swapFree=0/309308
[pid=27930] ppid=27927 vsize=26908 CPUtime=0.13 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1107 0 0 0 13 0 0 0 20 0 1 0 50294459 27553792 891 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919850 0 0 1 8405026 0 0 0 17 7 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 891 777 380 0 145 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 26908
[startup+0.300241 s]
/proc/loadavg: 2.09 2.07 2.05 3/185 27930
/proc/meminfo: memFree=31528540/32770624 swapFree=0/309308
[pid=27930] ppid=27927 vsize=26908 CPUtime=0.23 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1107 0 0 0 23 0 0 0 20 0 1 0 50294459 27553792 891 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919889 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 891 777 380 0 145 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 26908
[startup+0.70018 s]
/proc/loadavg: 2.09 2.07 2.05 3/185 27930
/proc/meminfo: memFree=31528540/32770624 swapFree=0/309308
[pid=27930] ppid=27927 vsize=26908 CPUtime=0.63 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1107 0 0 0 63 0 0 0 20 0 1 0 50294459 27553792 891 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4872960 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 891 777 380 0 145 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 26908
[startup+1.50018 s]
/proc/loadavg: 2.08 2.07 2.05 3/186 27931
/proc/meminfo: memFree=31528180/32770624 swapFree=0/309324
[pid=27930] ppid=27927 vsize=26908 CPUtime=1.43 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1107 0 0 0 143 0 0 0 20 0 1 0 50294459 27553792 891 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5000064 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 891 777 380 0 145 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 26908
[startup+3.10018 s]
/proc/loadavg: 2.08 2.07 2.05 3/186 27931
/proc/meminfo: memFree=31527840/32770624 swapFree=0/309324
[pid=27930] ppid=27927 vsize=26908 CPUtime=3.03 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1171 0 0 0 303 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919802 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 26908
[startup+6.30019 s]
/proc/loadavg: 2.08 2.07 2.05 5/199 27960
/proc/meminfo: memFree=31503572/32770624 swapFree=0/309352
[pid=27930] ppid=27927 vsize=26908 CPUtime=6.23 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1259 0 0 0 623 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919912 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 26908
[startup+12.7002 s]
/proc/loadavg: 1.99 2.05 2.05 2/182 28216
/proc/meminfo: memFree=31548764/32770624 swapFree=0/309412
[pid=27930] ppid=27927 vsize=26908 CPUtime=12.63 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1335 0 0 0 1263 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5126763 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 26908
[startup+25.5002 s]
/proc/loadavg: 1.92 2.03 2.04 5/199 28460
/proc/meminfo: memFree=31526316/32770624 swapFree=0/309844
[pid=27930] ppid=27927 vsize=26908 CPUtime=25.43 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1487 0 0 0 2543 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919917 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 26908
[startup+51.1002 s]
/proc/loadavg: 1.95 2.03 2.04 3/186 28685
/proc/meminfo: memFree=31543792/32770624 swapFree=0/310004
[pid=27930] ppid=27927 vsize=26908 CPUtime=51.02 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1563 0 0 0 5102 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5143346 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 26908
[startup+102.3 s]
/proc/loadavg: 1.90 2.00 2.04 3/186 28748
/proc/meminfo: memFree=31474004/32770624 swapFree=0/310888
[pid=27930] ppid=27927 vsize=26908 CPUtime=102.23 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1639 0 0 0 10223 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5121150 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 26908
[startup+162.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/186 28751
/proc/meminfo: memFree=31343964/32770624 swapFree=0/310924
[pid=27930] ppid=27927 vsize=26908 CPUtime=162.21 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1715 0 0 0 16221 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919889 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 26908
[startup+222.306 s]
/proc/loadavg: 2.03 2.02 2.04 3/185 28754
/proc/meminfo: memFree=31336520/32770624 swapFree=0/310944
[pid=27930] ppid=27927 vsize=26908 CPUtime=222.22 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1791 0 0 0 22222 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5000032 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 26908
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/185 28757
/proc/meminfo: memFree=31335584/32770624 swapFree=0/310972
[pid=27930] ppid=27927 vsize=26908 CPUtime=282.21 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1867 0 0 0 28221 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5133888 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 26908
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 28761
/proc/meminfo: memFree=31335384/32770624 swapFree=0/311028
[pid=27930] ppid=27927 vsize=26908 CPUtime=342.22 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1867 0 0 0 34222 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4872934 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 26908
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 28763
/proc/meminfo: memFree=31335500/32770624 swapFree=0/311072
[pid=27930] ppid=27927 vsize=26908 CPUtime=402.23 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1943 0 0 0 40223 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5143354 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 26908
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 28779
/proc/meminfo: memFree=31330336/32770624 swapFree=0/311096
[pid=27930] ppid=27927 vsize=26908 CPUtime=462.23 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 1943 0 0 0 46223 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4995227 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 26908
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/189 28806
/proc/meminfo: memFree=31330332/32770624 swapFree=0/311144
[pid=27930] ppid=27927 vsize=26908 CPUtime=522.23 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2019 0 0 0 52223 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919802 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 26908
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 28808
/proc/meminfo: memFree=31331176/32770624 swapFree=0/311180
[pid=27930] ppid=27927 vsize=26908 CPUtime=582.24 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2019 0 0 0 58224 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919885 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 26908
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28857
/proc/meminfo: memFree=31335468/32770624 swapFree=0/311464
[pid=27930] ppid=27927 vsize=26908 CPUtime=1542.33 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2627 0 0 0 154233 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4873006 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 26908
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28859
/proc/meminfo: memFree=31335352/32770624 swapFree=0/311480
[pid=27930] ppid=27927 vsize=26908 CPUtime=1602.33 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2691 0 0 0 160233 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5000032 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 26908
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 28875
/proc/meminfo: memFree=31330748/32770624 swapFree=0/311516
[pid=27930] ppid=27927 vsize=26908 CPUtime=1662.34 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2703 0 0 0 166234 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5000032 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 26908
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 28877
/proc/meminfo: memFree=31331396/32770624 swapFree=0/311540
[pid=27930] ppid=27927 vsize=26908 CPUtime=1722.34 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2767 0 0 0 172234 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919885 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 26908
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 28879
/proc/meminfo: memFree=31334232/32770624 swapFree=0/311572
[pid=27930] ppid=27927 vsize=26908 CPUtime=1782.35 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2779 0 0 0 178235 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919798 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 26908
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/186 28882
/proc/meminfo: memFree=31334736/32770624 swapFree=0/311600
[pid=27930] ppid=27927 vsize=26908 CPUtime=1842.35 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2843 0 0 0 184235 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5133719 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 1842.35
Current children cumulated vsize (KiB) 26908
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 28884
/proc/meminfo: memFree=31334552/32770624 swapFree=0/311612
[pid=27930] ppid=27927 vsize=26908 CPUtime=1902.36 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2843 0 0 0 190236 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5000032 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 26908
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 28887
/proc/meminfo: memFree=31334560/32770624 swapFree=0/311624
[pid=27930] ppid=27927 vsize=26908 CPUtime=1962.37 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2919 0 0 0 196237 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5142941 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 1962.37
Current children cumulated vsize (KiB) 26908
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28889
/proc/meminfo: memFree=31334500/32770624 swapFree=0/311648
[pid=27930] ppid=27927 vsize=26908 CPUtime=2022.37 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2919 0 0 0 202237 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5126208 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 2022.37
Current children cumulated vsize (KiB) 26908
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28891
/proc/meminfo: memFree=31334384/32770624 swapFree=0/311660
[pid=27930] ppid=27927 vsize=26908 CPUtime=2082.38 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2983 0 0 0 208238 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919805 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 2082.38
Current children cumulated vsize (KiB) 26908
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28895
/proc/meminfo: memFree=31334444/32770624 swapFree=0/311660
[pid=27930] ppid=27927 vsize=26908 CPUtime=2142.38 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 2995 0 0 0 214238 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5127103 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 2142.38
Current children cumulated vsize (KiB) 26908
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28897
/proc/meminfo: memFree=31334700/32770624 swapFree=0/311688
[pid=27930] ppid=27927 vsize=26908 CPUtime=2202.39 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 3059 0 0 0 220239 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5000064 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 2202.39
Current children cumulated vsize (KiB) 26908
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 28913
/proc/meminfo: memFree=31329356/32770624 swapFree=0/311720
[pid=27930] ppid=27927 vsize=26908 CPUtime=2262.39 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 3059 0 0 0 226239 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919885 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 2262.39
Current children cumulated vsize (KiB) 26908
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/189 28916
/proc/meminfo: memFree=31330764/32770624 swapFree=0/311760
[pid=27930] ppid=27927 vsize=26908 CPUtime=2322.4 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 3135 0 0 0 232240 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4872832 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 2322.4
Current children cumulated vsize (KiB) 26908
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 28918
/proc/meminfo: memFree=31333896/32770624 swapFree=0/311800
[pid=27930] ppid=27927 vsize=26908 CPUtime=2382.4 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 3135 0 0 0 238240 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 5000032 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 2382.4
Current children cumulated vsize (KiB) 26908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 28920
/proc/meminfo: memFree=31334164/32770624 swapFree=0/311820
[pid=27930] ppid=27927 vsize=26908 CPUtime=2400.01 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 3199 0 0 0 240001 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919979 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 26908
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 27930 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/186 28920
/proc/meminfo: memFree=31334164/32770624 swapFree=0/311820
[pid=27930] ppid=27927 vsize=26908 CPUtime=2400.01 cores=1,3,5,7
/proc/27930/stat : 27930 (cosoco) R 27927 27930 25100 0 -1 4202496 3199 0 0 0 240001 0 0 0 20 0 1 0 50294459 27553792 949 18446744073709551615 4194304 5747388 140727200033104 140727200030504 4919979 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 24850432 140727200035310 140727200035405 140727200035405 140727200038862 0
/proc/27930/statm: 6727 949 815 380 0 145 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 26908
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.02
CPU user time (s): 2400.01
CPU system time (s): 0.006
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 26908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.006
maximum resident set size= 3860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3246
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= 10
involuntary context switches= 722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.24057 second user time and 8.57928 second system time
The end