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-4260066-1502014823/watcher-4260066-1502014823 -o /tmp/evaluation-result-4260066-1502014823/solver-4260066-1502014823 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502013980-30674 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260066-1502014823.xml
pid=30928
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: 6.87 7.74 7.95 2/181 30931
/proc/meminfo: memFree=31535496/32770624 swapFree=0/395540
[pid=30931] ppid=30928 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/30931/stat : 30931 (runsolver) D 30928 30931 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 48988295 24240128 107 18446744073709551615 4194304 4338465 140735269332160 140735269329800 140262289404631 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 17367040 140735269335233 140735269335625 140735269335625 140735269339082 0
/proc/30931/statm: 5918 107 54 36 0 2156 0
[startup+0.112043 s]
/proc/loadavg: 6.87 7.74 7.95 2/181 30931
/proc/meminfo: memFree=31535496/32770624 swapFree=0/395540
[pid=30931] ppid=30928 vsize=26908 CPUtime=0.01 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1035 0 0 0 1 0 0 0 20 0 1 0 48988295 27553792 826 18446744073709551615 4194304 5747388 140734311730640 140734311728296 5000064 0 0 1 8405026 0 0 0 17 6 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 826 712 380 0 145 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26908
[startup+0.201077 s]
/proc/loadavg: 6.87 7.74 7.95 2/181 30931
/proc/meminfo: memFree=31535496/32770624 swapFree=0/395540
[pid=30931] ppid=30928 vsize=26908 CPUtime=0.09 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1037 0 0 0 9 0 0 0 20 0 1 0 48988295 27553792 826 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915608 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 826 712 380 0 145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26908
[startup+0.300162 s]
/proc/loadavg: 6.87 7.74 7.95 2/181 30931
/proc/meminfo: memFree=31535496/32770624 swapFree=0/395540
[pid=30931] ppid=30928 vsize=26908 CPUtime=0.19 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1037 0 0 0 19 0 0 0 20 0 1 0 48988295 27553792 826 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4917099 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 826 712 380 0 145 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26908
[startup+0.700172 s]
/proc/loadavg: 6.87 7.74 7.95 2/181 30931
/proc/meminfo: memFree=31535496/32770624 swapFree=0/395540
[pid=30931] ppid=30928 vsize=26908 CPUtime=0.59 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1037 0 0 0 59 0 0 0 20 0 1 0 48988295 27553792 826 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4918665 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 826 712 380 0 145 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 26908
[startup+1.50017 s]
/proc/loadavg: 6.56 7.66 7.92 3/186 30949
/proc/meminfo: memFree=31533348/32770624 swapFree=0/395540
[pid=30931] ppid=30928 vsize=26908 CPUtime=1.39 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1037 0 0 0 139 0 0 0 20 0 1 0 48988295 27553792 826 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915858 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 826 712 380 0 145 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 26908
[startup+3.10028 s]
/proc/loadavg: 6.56 7.66 7.92 3/186 30949
/proc/meminfo: memFree=31532604/32770624 swapFree=0/395540
[pid=30931] ppid=30928 vsize=26908 CPUtime=2.99 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1100 0 0 0 299 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4916480 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 26908
[startup+6.30028 s]
/proc/loadavg: 6.11 7.55 7.88 3/186 30949
/proc/meminfo: memFree=31532708/32770624 swapFree=0/395548
[pid=30931] ppid=30928 vsize=26908 CPUtime=6.19 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1163 0 0 0 619 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4917635 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 26908
[startup+12.7003 s]
/proc/loadavg: 5.78 7.46 7.85 3/186 30950
/proc/meminfo: memFree=31532252/32770624 swapFree=0/395552
[pid=30931] ppid=30928 vsize=26908 CPUtime=12.59 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1228 0 0 0 1259 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4917096 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 26908
[startup+25.5003 s]
/proc/loadavg: 4.95 7.19 7.76 3/186 30950
/proc/meminfo: memFree=31532624/32770624 swapFree=0/395568
[pid=30931] ppid=30928 vsize=26908 CPUtime=25.39 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1356 0 0 0 2539 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915012 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 26908
[startup+51.1003 s]
/proc/loadavg: 3.94 6.77 7.60 3/186 30950
/proc/meminfo: memFree=31531092/32770624 swapFree=0/395600
[pid=30931] ppid=30928 vsize=26908 CPUtime=50.99 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1420 0 0 0 5099 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4917466 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 26908
[startup+102.3 s]
/proc/loadavg: 2.84 6.04 7.31 3/186 30952
/proc/meminfo: memFree=31530736/32770624 swapFree=0/395644
[pid=30931] ppid=30928 vsize=26908 CPUtime=102.2 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1484 0 0 0 10220 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4918683 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 26908
[startup+162.3 s]
/proc/loadavg: 2.31 5.30 6.98 3/186 30954
/proc/meminfo: memFree=31530660/32770624 swapFree=0/395708
[pid=30931] ppid=30928 vsize=26908 CPUtime=162.2 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1548 0 0 0 16220 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 5000032 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 26908
[startup+222.306 s]
/proc/loadavg: 2.11 4.70 6.67 3/189 30971
/proc/meminfo: memFree=31525184/32770624 swapFree=0/395772
[pid=30931] ppid=30928 vsize=26908 CPUtime=222.21 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1612 0 0 0 22221 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4918250 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 26908
[startup+282.3 s]
/proc/loadavg: 2.04 4.21 6.37 3/188 30973
/proc/meminfo: memFree=31525912/32770624 swapFree=0/395812
[pid=30931] ppid=30928 vsize=26908 CPUtime=282.2 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1612 0 0 0 28220 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915024 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 26908
[startup+342.3 s]
/proc/loadavg: 2.02 3.81 6.10 3/185 30975
/proc/meminfo: memFree=31527696/32770624 swapFree=0/395832
[pid=30931] ppid=30928 vsize=26908 CPUtime=342.2 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1676 0 0 0 34220 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4918301 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 26908
[startup+402.3 s]
/proc/loadavg: 2.01 3.48 5.84 3/186 30978
/proc/meminfo: memFree=31528920/32770624 swapFree=0/395876
[pid=30931] ppid=30928 vsize=26908 CPUtime=402.21 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1740 0 0 0 40221 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4916802 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 26908
[startup+462.3 s]
/proc/loadavg: 2.00 3.21 5.60 3/186 30980
/proc/meminfo: memFree=31529444/32770624 swapFree=0/395920
[pid=30931] ppid=30928 vsize=26908 CPUtime=462.21 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1804 0 0 0 46221 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915024 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 26908
[startup+522.3 s]
/proc/loadavg: 2.04 3.00 5.38 3/185 30982
/proc/meminfo: memFree=31529720/32770624 swapFree=0/395940
[pid=30931] ppid=30928 vsize=26908 CPUtime=522.21 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1868 0 0 0 52221 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915048 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 26908
[startup+582.3 s]
/proc/loadavg: 2.01 2.82 5.17 3/185 30984
/proc/meminfo: memFree=31529160/32770624 swapFree=0/395968
[pid=30931] ppid=30928 vsize=26908 CPUtime=582.21 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 1932 0 0 0 58221 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4919095 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 26908
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.05 2.05 3.14 3/184 31050
/proc/meminfo: memFree=31527828/32770624 swapFree=0/396384
[pid=30931] ppid=30928 vsize=26908 CPUtime=1542.24 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 2878 0 0 0 154224 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4916563 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 1542.24
Current children cumulated vsize (KiB) 26908
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 3.07 3/184 31052
/proc/meminfo: memFree=31528340/32770624 swapFree=0/396408
[pid=30931] ppid=30928 vsize=26908 CPUtime=1602.24 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 2942 0 0 0 160224 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915195 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 26908
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 3.00 3/185 31055
/proc/meminfo: memFree=31527828/32770624 swapFree=0/396424
[pid=30931] ppid=30928 vsize=26908 CPUtime=1662.24 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 2993 0 0 0 166224 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915176 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 26908
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.94 3/185 31057
/proc/meminfo: memFree=31528208/32770624 swapFree=0/396444
[pid=30931] ppid=30928 vsize=26908 CPUtime=1722.24 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3057 0 0 0 172224 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4918669 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 26908
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.88 3/186 31060
/proc/meminfo: memFree=31527316/32770624 swapFree=0/396468
[pid=30931] ppid=30928 vsize=26908 CPUtime=1782.25 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3112 0 0 0 178225 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4918496 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 26908
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.83 3/186 31062
/proc/meminfo: memFree=31527780/32770624 swapFree=0/396496
[pid=30931] ppid=30928 vsize=26908 CPUtime=1842.25 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3163 0 0 0 184225 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4918515 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 1842.25
Current children cumulated vsize (KiB) 26908
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.77 3/186 31064
/proc/meminfo: memFree=31527292/32770624 swapFree=0/396520
[pid=30931] ppid=30928 vsize=26908 CPUtime=1902.25 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3227 0 0 0 190225 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4918639 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 26908
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.73 3/185 31066
/proc/meminfo: memFree=31527680/32770624 swapFree=0/396548
[pid=30931] ppid=30928 vsize=26908 CPUtime=1962.25 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3278 0 0 0 196225 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915318 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 1962.25
Current children cumulated vsize (KiB) 26908
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.68 3/189 31083
/proc/meminfo: memFree=31522904/32770624 swapFree=0/396564
[pid=30931] ppid=30928 vsize=26908 CPUtime=2022.25 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3329 0 0 0 202225 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4917627 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 2022.25
Current children cumulated vsize (KiB) 26908
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.64 3/188 31085
/proc/meminfo: memFree=31523412/32770624 swapFree=0/396596
[pid=30931] ppid=30928 vsize=26908 CPUtime=2082.26 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3393 0 0 0 208226 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915037 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 2082.26
Current children cumulated vsize (KiB) 26908
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.60 3/185 31087
/proc/meminfo: memFree=31526312/32770624 swapFree=0/396616
[pid=30931] ppid=30928 vsize=26908 CPUtime=2142.26 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3444 0 0 0 214226 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4919576 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 26908
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.56 3/185 31089
/proc/meminfo: memFree=31526788/32770624 swapFree=0/396632
[pid=30931] ppid=30928 vsize=26908 CPUtime=2202.26 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3495 0 0 0 220226 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4916547 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 2202.26
Current children cumulated vsize (KiB) 26908
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.53 3/184 31091
/proc/meminfo: memFree=31528024/32770624 swapFree=0/396664
[pid=30931] ppid=30928 vsize=26908 CPUtime=2262.26 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3559 0 0 0 226226 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4918043 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 26908
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.49 3/185 31095
/proc/meminfo: memFree=31527796/32770624 swapFree=0/396680
[pid=30931] ppid=30928 vsize=26908 CPUtime=2322.26 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3610 0 0 0 232226 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4915704 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 2322.26
Current children cumulated vsize (KiB) 26908
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.46 3/185 31097
/proc/meminfo: memFree=31526812/32770624 swapFree=0/396708
[pid=30931] ppid=30928 vsize=26908 CPUtime=2382.26 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3661 0 0 0 238226 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4917621 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 2382.26
Current children cumulated vsize (KiB) 26908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.46 3/185 31097
/proc/meminfo: memFree=31526812/32770624 swapFree=0/396700
[pid=30931] ppid=30928 vsize=26908 CPUtime=2400.06 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3712 0 0 0 240006 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4917978 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 2400.06
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 30931 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.46 3/185 31097
/proc/meminfo: memFree=31526812/32770624 swapFree=0/396700
[pid=30931] ppid=30928 vsize=26908 CPUtime=2400.06 cores=0,2,4,6
/proc/30931/stat : 30931 (cosoco) R 30928 30931 25139 0 -1 4202496 3712 0 0 0 240006 0 0 0 20 0 1 0 48988295 27553792 878 18446744073709551615 4194304 5747388 140734311730640 140734311728040 4917978 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 7845728 7850568 26759168 140734311735790 140734311735885 140734311735885 140734311739342 0
/proc/30931/statm: 6727 878 754 380 0 145 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 26908
Child status: 1
Real time (s): 2400.1
CPU time (s): 2400.07
CPU user time (s): 2400.07
CPU system time (s): 0.003
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 26908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.003
maximum resident set size= 3584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61959 second user time and 8.47131 second system time
The end