runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15011 MiB free)
memory of node 1: 16384 MiB (15288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265602-1502588918/watcher-4265602-1502588918 -o /tmp/evaluation-result-4265602-1502588918/solver-4265602-1502588918 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7149 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265602-1502588918.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13159, runsolver pid=13156
Current StackSize limit: 8192 KiB
[startup+0.101764 s]*
/proc/loadavg: 2.00 2.05 2.06 3/185 13160
/proc/meminfo: memFree=31024180/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=32140 memory=8344 CPUtime=0.01 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 2244 0 0 0 1 0 0 0 20 0 1 0 158544620 32911360 2020 18446744073709551615 4194304 5972588 140721681472576 140721681467784 139934655319013 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 8035 2020 711 435 0 1398 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 32140 KiB
Current children cumulated memory: 8344 KiB
[startup+0.20968 s]*
/proc/loadavg: 2.00 2.05 2.06 3/185 13160
/proc/meminfo: memFree=30970720/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=91352 memory=65200 CPUtime=0.11 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 13449 0 0 0 10 1 0 0 20 0 1 0 158544620 93544448 16300 18446744073709551615 4194304 5972588 140721681472576 140721681467784 139934655319013 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 22838 16300 840 435 0 16201 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 91352 KiB
Current children cumulated memory: 65200 KiB
[startup+0.30975 s]*
/proc/loadavg: 2.00 2.05 2.06 3/185 13160
/proc/meminfo: memFree=30911740/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=162612 memory=121960 CPUtime=0.22 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 23531 0 0 0 19 3 0 0 20 0 1 0 158544620 166514688 30490 18446744073709551615 4194304 5972588 140721681472576 140721681467784 139934655319013 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 40653 30490 840 435 0 34016 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 162612 KiB
Current children cumulated memory: 121960 KiB
[startup+0.700391 s]
/proc/loadavg: 2.00 2.05 2.06 3/185 13160
/proc/meminfo: memFree=30795748/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361376 memory=296100 CPUtime=0.59 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 50232 0 0 0 51 8 0 0 20 0 1 0 158544620 370049024 74025 18446744073709551615 4194304 5972588 140721681472576 140721681469368 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90344 74025 840 435 0 83707 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 361376 KiB
Current children cumulated memory: 296100 KiB
[startup+1.50032 s]
/proc/loadavg: 2.00 2.04 2.06 3/185 13160
/proc/meminfo: memFree=30734048/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361508 memory=296388 CPUtime=1.39 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 50258 0 0 0 131 8 0 0 20 0 1 0 158544620 370184192 74097 18446744073709551615 4194304 5972588 140721681472576 140721681469560 5139324 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90377 74097 857 435 0 83740 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 361508 KiB
Current children cumulated memory: 296388 KiB
[startup+3.10953 s]
/proc/loadavg: 2.00 2.04 2.06 3/185 13160
/proc/meminfo: memFree=30733608/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361792 memory=296776 CPUtime=3.01 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 52800 0 0 0 292 9 0 0 20 0 1 0 158544620 370475008 74194 18446744073709551615 4194304 5972588 140721681472576 140721681469768 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90448 74194 857 435 0 83811 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 361792 KiB
Current children cumulated memory: 296776 KiB
[startup+6.3003 s]
/proc/loadavg: 2.08 2.06 2.06 2/179 13209
/proc/meminfo: memFree=30783540/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361952 memory=296856 CPUtime=6.2 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 58223 0 0 0 611 9 0 0 20 0 1 0 158544620 370638848 74214 18446744073709551615 4194304 5972588 140721681472576 140721681469768 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90488 74214 857 435 0 83851 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 361952 KiB
Current children cumulated memory: 296856 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.06 2.06 3/185 13224
/proc/meminfo: memFree=27813688/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361952 memory=296856 CPUtime=12.6 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 64392 0 0 0 1250 10 0 0 20 0 1 0 158544620 370638848 74214 18446744073709551615 4194304 5972588 140721681472576 140721681469768 5139324 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90488 74214 857 435 0 83851 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 361952 KiB
Current children cumulated memory: 296856 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.06 2.06 3/185 13224
/proc/meminfo: memFree=25599916/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361952 memory=296856 CPUtime=25.4 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 65327 0 0 0 2530 10 0 0 20 0 1 0 158544620 370638848 74214 18446744073709551615 4194304 5972588 140721681472576 140721681469768 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90488 74214 857 435 0 83851 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 361952 KiB
Current children cumulated memory: 296856 KiB
[startup+51.1096 s]
/proc/loadavg: 2.04 2.05 2.06 3/185 13225
/proc/meminfo: memFree=25599252/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361952 memory=296860 CPUtime=51.01 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 65464 0 0 0 5091 10 0 0 20 0 1 0 158544620 370638848 74215 18446744073709551615 4194304 5972588 140721681472576 140721681469768 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90488 74215 857 435 0 83851 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 361952 KiB
Current children cumulated memory: 296860 KiB
[startup+102.3 s]
/proc/loadavg: 1.94 2.03 2.05 3/185 13227
/proc/meminfo: memFree=25598296/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361952 memory=296924 CPUtime=102.2 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 65590 0 0 0 10210 10 0 0 20 0 1 0 158544620 370638848 74231 18446744073709551615 4194304 5972588 140721681472576 140721681469768 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90488 74231 857 435 0 83851 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 361952 KiB
Current children cumulated memory: 296924 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 2.02 2.05 3/185 13229
/proc/meminfo: memFree=25597316/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361952 memory=296924 CPUtime=162.19 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 65689 0 0 0 16209 10 0 0 20 0 1 0 158544620 370638848 74231 18446744073709551615 4194304 5972588 140721681472576 140721681469768 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90488 74231 857 435 0 83851 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 361952 KiB
Current children cumulated memory: 296924 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/185 13231
/proc/meminfo: memFree=25593556/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361952 memory=298040 CPUtime=222.19 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 65760 0 0 0 22209 10 0 0 20 0 1 0 158544620 370638848 74510 18446744073709551615 4194304 5972588 140721681472576 140721681469768 5032455 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90488 74510 857 435 0 83851 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 361952 KiB
Current children cumulated memory: 298040 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 13234
/proc/meminfo: memFree=25591924/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=361952 memory=298040 CPUtime=282.19 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 65891 0 0 0 28209 10 0 0 20 0 1 0 158544620 370638848 74510 18446744073709551615 4194304 5972588 140721681472576 140721681469768 5032455 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 90488 74510 857 435 0 83851 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 361952 KiB
Current children cumulated memory: 298040 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 13236
/proc/meminfo: memFree=25589368/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=365040 memory=300952 CPUtime=342.19 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 68182 0 0 0 34209 10 0 0 20 0 1 0 158544620 373800960 75238 18446744073709551615 4194304 5972588 140721681472576 140721681469336 5032400 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91260 75238 857 435 0 84623 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 365040 KiB
Current children cumulated memory: 300952 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 13253
/proc/meminfo: memFree=25584868/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=365300 memory=301312 CPUtime=402.19 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 69927 0 0 0 40209 10 0 0 20 0 1 0 158544620 374067200 75328 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5139324 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91325 75328 857 435 0 84688 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 365300 KiB
Current children cumulated memory: 301312 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13255
/proc/meminfo: memFree=25587848/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=365300 memory=301360 CPUtime=462.18 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 71662 0 0 0 46208 10 0 0 20 0 1 0 158544620 374067200 75340 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5139324 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91325 75340 857 435 0 84688 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 365300 KiB
Current children cumulated memory: 301360 KiB
################
# More data... #
################
/proc/13159/statm: 91915 75939 863 435 0 85278 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303756 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 13357
/proc/meminfo: memFree=25585068/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303756 CPUtime=1782.16 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 118399 0 0 0 178202 14 0 0 20 0 1 0 158544620 376483840 75939 18446744073709551615 4194304 5972588 140721681472576 140721681469336 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75939 863 435 0 85278 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303756 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 13359
/proc/meminfo: memFree=25586572/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303764 CPUtime=1842.16 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 120548 0 0 0 184202 14 0 0 20 0 1 0 158544620 376483840 75941 18446744073709551615 4194304 5972588 140721681472576 140721681469336 5032455 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75941 863 435 0 85278 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303764 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 13362
/proc/meminfo: memFree=25586252/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303772 CPUtime=1902.16 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 122725 0 0 0 190202 14 0 0 20 0 1 0 158544620 376483840 75943 18446744073709551615 4194304 5972588 140721681472576 140721681469336 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75943 863 435 0 85278 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303772 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 13364
/proc/meminfo: memFree=25585776/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303772 CPUtime=1962.15 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 124964 0 0 0 196201 14 0 0 20 0 1 0 158544620 376483840 75943 18446744073709551615 4194304 5972588 140721681472576 140721681469336 5139324 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75943 863 435 0 85278 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303772 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 13366
/proc/meminfo: memFree=25585640/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303780 CPUtime=2022.15 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 127244 0 0 0 202201 14 0 0 20 0 1 0 158544620 376483840 75945 18446744073709551615 4194304 5972588 140721681472576 140721681469336 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75945 863 435 0 85278 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303780 KiB
[startup+2082.3 s]
/proc/loadavg: 2.23 2.07 2.06 3/184 13368
/proc/meminfo: memFree=25586184/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303780 CPUtime=2082.15 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 129166 0 0 0 208201 14 0 0 20 0 1 0 158544620 376483840 75945 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75945 863 435 0 85278 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303780 KiB
[startup+2142.3 s]
/proc/loadavg: 2.32 2.15 2.09 3/184 13370
/proc/meminfo: memFree=25586180/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303788 CPUtime=2142.15 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 131910 0 0 0 214201 14 0 0 20 0 1 0 158544620 376483840 75947 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75947 863 435 0 85278 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303788 KiB
[startup+2202.3 s]
/proc/loadavg: 2.12 2.12 2.08 3/187 13386
/proc/meminfo: memFree=25582204/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303788 CPUtime=2202.15 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 134158 0 0 0 220200 15 0 0 20 0 1 0 158544620 376483840 75947 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75947 863 435 0 85278 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303788 KiB
[startup+2262.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/185 13389
/proc/meminfo: memFree=25584612/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303788 CPUtime=2262.15 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 136345 0 0 0 226200 15 0 0 20 0 1 0 158544620 376483840 75947 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5139319 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75947 863 435 0 85278 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303788 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/185 13391
/proc/meminfo: memFree=25585264/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303788 CPUtime=2322.15 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 138621 0 0 0 232200 15 0 0 20 0 1 0 158544620 376483840 75947 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75947 863 435 0 85278 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303788 KiB
[startup+2382.3 s]
/proc/loadavg: 1.93 2.05 2.06 3/185 13393
/proc/meminfo: memFree=25585204/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303788 CPUtime=2382.14 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 140954 0 0 0 238199 15 0 0 20 0 1 0 158544620 376483840 75947 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5032400 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75947 863 435 0 85278 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303788 KiB
[startup+2442.3 s]
/proc/loadavg: 1.97 2.04 2.05 3/185 13395
/proc/meminfo: memFree=25584432/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303788 CPUtime=2442.14 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 143198 0 0 0 244199 15 0 0 20 0 1 0 158544620 376483840 75947 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5032455 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75947 863 435 0 85278 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303788 KiB
[startup+2502.3 s]
/proc/loadavg: 2.11 2.07 2.06 3/185 13397
/proc/meminfo: memFree=25585044/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303788 CPUtime=2502.14 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 145629 0 0 0 250199 15 0 0 20 0 1 0 158544620 376483840 75947 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5139329 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75947 863 435 0 85278 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303788 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.06 2.06 3/185 13397
/proc/meminfo: memFree=25584764/32770624 swapFree=67108860/67108860
[pid=13159] ppid=13156 vsize=367660 memory=303788 CPUtime=2519.85 cores=1,3,5,7
/proc/13159/stat : 13159 (cosoco) R 13156 13159 7084 0 -1 4202496 146624 0 0 0 251970 15 0 0 20 0 1 0 158544620 376483840 75947 18446744073709551615 4194304 5972588 140721681472576 140721681469800 5139312 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 39563264 140721681478084 140721681478184 140721681478184 140721681481678 0
/proc/13159/statm: 91915 75947 863 435 0 85278 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 367660 KiB
Current children cumulated memory: 303788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 13159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.7 s, system=0.159996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.86
CPU user time (s): 2519.7
CPU system time (s): 0.159996
CPU usage (%): 99.9941
Max. virtual memory (cumulated for all children) (KiB): 367660
Max. memory (cumulated for all children) (KiB): 303788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.7
system time used= 0.159996
maximum resident set size= 303856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146672
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= 16
involuntary context switches= 793
# summary of solver processes directly reported to runsolver:
# pid: 13159
# total CPU time (s): 2519.86
# total CPU user time (s): 2519.7
# total CPU system time (s): 0.159996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.68293 second user time and 17.6393 second system time
The end