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-4268049-1502522142/watcher-4268049-1502522142 -o /tmp/evaluation-result-4268049-1502522142/solver-4268049-1502522142 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6740 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268049-1502522142.xml
pid=12076
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.01 2.05 2.05 3/184 12079
/proc/meminfo: memFree=31141936/32770624 swapFree=0/557808
[pid=12079] ppid=12076 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12079/stat : 12079 (runsolver) D 12076 12079 6677 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 54407589 24240128 107 18446744073709551615 4194304 4338465 140730220598384 140730220596024 140131565863639 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 28442624 140730220605634 140730220606025 140730220606025 140730220609482 0
/proc/12079/statm: 5918 107 54 36 0 2156 0
[startup+0.100195 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 12079
/proc/meminfo: memFree=31141936/32770624 swapFree=0/557808
[pid=12079] ppid=12076 vsize=27128 CPUtime=0.05 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1114 0 0 0 5 0 0 0 20 0 1 0 54407589 27779072 898 18446744073709551615 4194304 5972588 140736037562272 140736037558920 4995605 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 898 789 435 0 145 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 27128
[startup+0.200333 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 12079
/proc/meminfo: memFree=31141936/32770624 swapFree=0/557808
[pid=12079] ppid=12076 vsize=27128 CPUtime=0.15 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1114 0 0 0 15 0 0 0 20 0 1 0 54407589 27779072 898 18446744073709551615 4194304 5972588 140736037562272 140736037558920 4995479 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 898 789 435 0 145 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 27128
[startup+0.300316 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 12079
/proc/meminfo: memFree=31141936/32770624 swapFree=0/557808
[pid=12079] ppid=12076 vsize=27128 CPUtime=0.25 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1114 0 0 0 25 0 0 0 20 0 1 0 54407589 27779072 898 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995525 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 898 789 435 0 145 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 27128
[startup+0.700275 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 12079
/proc/meminfo: memFree=31141936/32770624 swapFree=0/557808
[pid=12079] ppid=12076 vsize=27128 CPUtime=0.65 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1114 0 0 0 65 0 0 0 20 0 1 0 54407589 27779072 898 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5320784 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 898 789 435 0 145 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 27128
[startup+1.50028 s]
/proc/loadavg: 2.01 2.05 2.05 3/185 12080
/proc/meminfo: memFree=31141360/32770624 swapFree=0/558044
[pid=12079] ppid=12076 vsize=27128 CPUtime=1.45 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1114 0 0 0 145 0 0 0 20 0 1 0 54407589 27779072 898 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995572 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 898 789 435 0 145 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 27128
[startup+3.10028 s]
/proc/loadavg: 2.01 2.05 2.05 3/185 12080
/proc/meminfo: memFree=31141048/32770624 swapFree=0/557808
[pid=12079] ppid=12076 vsize=27128 CPUtime=3.05 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1181 0 0 0 305 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995517 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 27128
[startup+6.30027 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 12080
/proc/meminfo: memFree=31141048/32770624 swapFree=0/557804
[pid=12079] ppid=12076 vsize=27128 CPUtime=6.25 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1248 0 0 0 625 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4965382 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 27128
[startup+12.7003 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 12080
/proc/meminfo: memFree=31141296/32770624 swapFree=0/557804
[pid=12079] ppid=12076 vsize=27128 CPUtime=12.65 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1315 0 0 0 1265 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5320973 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 27128
[startup+25.5003 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 12080
/proc/meminfo: memFree=31140924/32770624 swapFree=0/557804
[pid=12079] ppid=12076 vsize=27128 CPUtime=25.45 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1449 0 0 0 2545 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995521 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 27128
[startup+51.1003 s]
/proc/loadavg: 2.08 2.06 2.05 3/185 12081
/proc/meminfo: memFree=31141060/32770624 swapFree=0/557792
[pid=12079] ppid=12076 vsize=27128 CPUtime=51.05 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1516 0 0 0 5105 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5322192 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 27128
[startup+102.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/182 12083
/proc/meminfo: memFree=31144936/32770624 swapFree=0/557812
[pid=12079] ppid=12076 vsize=27128 CPUtime=102.25 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1583 0 0 0 10225 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4909234 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 27128
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 12085
/proc/meminfo: memFree=31144456/32770624 swapFree=0/557808
[pid=12079] ppid=12076 vsize=27128 CPUtime=162.24 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1650 0 0 0 16224 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5099616 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 27128
[startup+222.306 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 12087
/proc/meminfo: memFree=31144692/32770624 swapFree=0/557812
[pid=12079] ppid=12076 vsize=27128 CPUtime=222.25 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1717 0 0 0 22225 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995521 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27128
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 12150
/proc/meminfo: memFree=31189356/32770624 swapFree=0/557828
[pid=12079] ppid=12076 vsize=27128 CPUtime=282.24 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1784 0 0 0 28224 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4908832 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 27128
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 12152
/proc/meminfo: memFree=31188924/32770624 swapFree=0/557832
[pid=12079] ppid=12076 vsize=27128 CPUtime=342.24 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1851 0 0 0 34224 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4962339 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 27128
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 12153
/proc/meminfo: memFree=31188696/32770624 swapFree=0/557836
[pid=12079] ppid=12076 vsize=27128 CPUtime=402.23 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1918 0 0 0 40223 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995517 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 27128
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12156
/proc/meminfo: memFree=31188940/32770624 swapFree=0/557836
[pid=12079] ppid=12076 vsize=27128 CPUtime=462.23 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 1985 0 0 0 46223 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5328748 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 27128
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 12172
/proc/meminfo: memFree=31184944/32770624 swapFree=0/557884
[pid=12079] ppid=12076 vsize=27128 CPUtime=522.23 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 2052 0 0 0 52223 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5099648 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 27128
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 12174
/proc/meminfo: memFree=31184556/32770624 swapFree=0/557876
[pid=12079] ppid=12076 vsize=27128 CPUtime=582.23 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 2119 0 0 0 58223 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995408 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 27128
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 12225
/proc/meminfo: memFree=31187348/32770624 swapFree=0/558028
[pid=12079] ppid=12076 vsize=27128 CPUtime=1602.18 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3186 0 0 0 160218 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5099616 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 1602.18
Current children cumulated vsize (KiB) 27128
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 12227
/proc/meminfo: memFree=31187688/32770624 swapFree=0/558040
[pid=12079] ppid=12076 vsize=27128 CPUtime=1662.18 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3244 0 0 0 166218 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5312318 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 1662.18
Current children cumulated vsize (KiB) 27128
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 12243
/proc/meminfo: memFree=31183368/32770624 swapFree=0/558068
[pid=12079] ppid=12076 vsize=27128 CPUtime=1722.17 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3299 0 0 0 172217 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4909021 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 27128
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 12245
/proc/meminfo: memFree=31184028/32770624 swapFree=0/558080
[pid=12079] ppid=12076 vsize=27128 CPUtime=1782.17 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3366 0 0 0 178217 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5312355 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 1782.17
Current children cumulated vsize (KiB) 27128
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12247
/proc/meminfo: memFree=31187300/32770624 swapFree=0/558096
[pid=12079] ppid=12076 vsize=27128 CPUtime=1842.17 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3421 0 0 0 184217 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995434 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 1842.17
Current children cumulated vsize (KiB) 27128
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12249
/proc/meminfo: memFree=31187168/32770624 swapFree=0/558096
[pid=12079] ppid=12076 vsize=27128 CPUtime=1902.17 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3476 0 0 0 190217 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995530 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 1902.17
Current children cumulated vsize (KiB) 27128
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12251
/proc/meminfo: memFree=31186920/32770624 swapFree=0/558104
[pid=12079] ppid=12076 vsize=27128 CPUtime=1962.16 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3543 0 0 0 196216 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995517 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 1962.16
Current children cumulated vsize (KiB) 27128
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 12253
/proc/meminfo: memFree=31187292/32770624 swapFree=0/558116
[pid=12079] ppid=12076 vsize=27128 CPUtime=2022.16 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3598 0 0 0 202216 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5321052 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 2022.16
Current children cumulated vsize (KiB) 27128
[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 12255
/proc/meminfo: memFree=31187168/32770624 swapFree=0/558128
[pid=12079] ppid=12076 vsize=27128 CPUtime=2082.16 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3653 0 0 0 208216 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4965342 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 2082.16
Current children cumulated vsize (KiB) 27128
[startup+2142.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 12257
/proc/meminfo: memFree=31187264/32770624 swapFree=0/558144
[pid=12079] ppid=12076 vsize=27128 CPUtime=2142.16 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3720 0 0 0 214216 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5320581 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 2142.16
Current children cumulated vsize (KiB) 27128
[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 12259
/proc/meminfo: memFree=31187636/32770624 swapFree=0/558148
[pid=12079] ppid=12076 vsize=27128 CPUtime=2202.16 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3775 0 0 0 220216 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4962387 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 2202.16
Current children cumulated vsize (KiB) 27128
[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 12261
/proc/meminfo: memFree=31187760/32770624 swapFree=0/558148
[pid=12079] ppid=12076 vsize=27128 CPUtime=2262.15 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3830 0 0 0 226215 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5327783 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 2262.15
Current children cumulated vsize (KiB) 27128
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 12277
/proc/meminfo: memFree=31182788/32770624 swapFree=0/558184
[pid=12079] ppid=12076 vsize=27128 CPUtime=2322.15 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3885 0 0 0 232215 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5320581 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 2322.15
Current children cumulated vsize (KiB) 27128
[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 12279
/proc/meminfo: memFree=31182152/32770624 swapFree=0/558176
[pid=12079] ppid=12076 vsize=27128 CPUtime=2382.14 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 3952 0 0 0 238214 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5099616 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 2382.14
Current children cumulated vsize (KiB) 27128
[startup+2442.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 12281
/proc/meminfo: memFree=31185440/32770624 swapFree=0/558204
[pid=12079] ppid=12076 vsize=27128 CPUtime=2442.14 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 4007 0 0 0 244214 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5328685 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 2442.14
Current children cumulated vsize (KiB) 27128
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 12283
/proc/meminfo: memFree=31185936/32770624 swapFree=0/558216
[pid=12079] ppid=12076 vsize=27128 CPUtime=2502.14 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 4062 0 0 0 250214 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 4995525 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 2502.14
Current children cumulated vsize (KiB) 27128
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 12284
/proc/meminfo: memFree=31186060/32770624 swapFree=0/558220
[pid=12079] ppid=12076 vsize=27128 CPUtime=2519.84 cores=0,2,4,6
/proc/12079/stat : 12079 (cosoco) R 12076 12079 6677 0 -1 4202496 4117 0 0 0 251984 0 0 0 20 0 1 0 54407589 27779072 955 18446744073709551615 4194304 5972588 140736037562272 140736037559576 5099648 0 0 1 8405026 0 0 0 17 4 0 0 4 0 0 8070896 8075904 21712896 140736037564910 140736037565005 140736037565005 140736037568462 0
/proc/12079/statm: 6782 955 830 435 0 145 0
Current children cumulated CPU time (s) 2519.84
Current children cumulated vsize (KiB) 27128
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 12079 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.85
CPU user time (s): 2519.84
CPU system time (s): 0.002158
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 27128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.84
system time used= 0.002158
maximum resident set size= 3888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4166
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= 633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84014 second user time and 8.72634 second system time
The end