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-4268072-1502541303/watcher-4268072-1502541303 -o /tmp/evaluation-result-4268072-1502541303/solver-4268072-1502541303 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502500327-28378 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268072-1502541303.xml
pid=5585
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.06 2.05 3/187 5588
/proc/meminfo: memFree=31070296/32770624 swapFree=0/458752
[pid=5588] ppid=5585 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5588/stat : 5588 (runsolver) D 5585 5588 28313 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101945480 24240128 106 18446744073709551615 4194304 4338465 140723486930768 140723486928408 139716881031895 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 34078720 140723486937281 140723486937673 140723486937673 140723486941130 0
/proc/5588/statm: 5918 106 53 36 0 2156 0
[startup+0.103258 s]
/proc/loadavg: 2.11 2.06 2.05 3/187 5588
/proc/meminfo: memFree=31070296/32770624 swapFree=0/458752
[pid=5588] ppid=5585 vsize=28572 CPUtime=0 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 1446 0 0 0 0 0 0 0 20 0 1 0 101945480 29257728 1277 18446744073709551615 4194304 5972588 140724487331232 140724487318568 5323648 0 0 1 8405026 0 0 0 17 7 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1277 790 435 0 506 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28572
[startup+0.200289 s]
/proc/loadavg: 2.11 2.06 2.05 3/187 5588
/proc/meminfo: memFree=31070296/32770624 swapFree=0/458752
[pid=5588] ppid=5585 vsize=28572 CPUtime=0.1 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 1446 0 0 0 10 0 0 0 20 0 1 0 101945480 29257728 1277 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5099648 0 0 1 8405026 0 0 0 17 7 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1277 790 435 0 506 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 28572
[startup+0.300289 s]
/proc/loadavg: 2.11 2.06 2.05 3/187 5588
/proc/meminfo: memFree=31070296/32770624 swapFree=0/458752
[pid=5588] ppid=5585 vsize=28572 CPUtime=0.2 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 1446 0 0 0 20 0 0 0 20 0 1 0 101945480 29257728 1277 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4979392 0 0 1 8405026 0 0 0 17 7 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1277 790 435 0 506 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 28572
[startup+0.700226 s]
/proc/loadavg: 2.11 2.06 2.05 3/187 5588
/proc/meminfo: memFree=31070296/32770624 swapFree=0/458752
[pid=5588] ppid=5585 vsize=28572 CPUtime=0.6 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 1446 0 0 0 60 0 0 0 20 0 1 0 101945480 29257728 1277 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5099648 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1277 790 435 0 506 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 28572
[startup+1.50023 s]
/proc/loadavg: 2.11 2.06 2.05 3/188 5589
/proc/meminfo: memFree=31068496/32770624 swapFree=0/458756
[pid=5588] ppid=5585 vsize=28572 CPUtime=1.4 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 1446 0 0 0 140 0 0 0 20 0 1 0 101945480 29257728 1277 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5040138 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1277 790 435 0 506 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 28572
[startup+3.10022 s]
/proc/loadavg: 2.11 2.06 2.05 3/188 5589
/proc/meminfo: memFree=31068036/32770624 swapFree=0/458748
[pid=5588] ppid=5585 vsize=28572 CPUtime=3 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 1799 0 0 0 300 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4975256 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 28572
[startup+6.30022 s]
/proc/loadavg: 2.10 2.06 2.05 3/189 5591
/proc/meminfo: memFree=31068072/32770624 swapFree=0/458744
[pid=5588] ppid=5585 vsize=28572 CPUtime=6.2 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 2152 0 0 0 620 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5040180 0 0 1 8405026 0 0 0 17 1 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 28572
[startup+12.7002 s]
/proc/loadavg: 2.09 2.05 2.05 3/189 5591
/proc/meminfo: memFree=31067576/32770624 swapFree=0/458744
[pid=5588] ppid=5585 vsize=28572 CPUtime=12.6 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 2505 0 0 0 1260 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4975792 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 28572
[startup+25.5003 s]
/proc/loadavg: 2.07 2.05 2.05 3/189 5591
/proc/meminfo: memFree=31067452/32770624 swapFree=0/458744
[pid=5588] ppid=5585 vsize=28572 CPUtime=25.4 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 3211 0 0 0 2540 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4971926 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 28572
[startup+51.1003 s]
/proc/loadavg: 2.18 2.08 2.06 3/187 5591
/proc/meminfo: memFree=31068988/32770624 swapFree=0/458732
[pid=5588] ppid=5585 vsize=28572 CPUtime=51 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 3564 0 0 0 5100 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5040154 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 28572
[startup+102.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/186 5593
/proc/meminfo: memFree=31070956/32770624 swapFree=0/458756
[pid=5588] ppid=5585 vsize=28572 CPUtime=102.21 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 3919 0 0 0 10221 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5040159 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 28572
[startup+162.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/186 5595
/proc/meminfo: memFree=31070792/32770624 swapFree=0/458752
[pid=5588] ppid=5585 vsize=28572 CPUtime=162.21 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 4273 0 0 0 16221 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4979356 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 28572
[startup+222.306 s]
/proc/loadavg: 2.02 2.06 2.05 3/186 5597
/proc/meminfo: memFree=31070920/32770624 swapFree=0/458760
[pid=5588] ppid=5585 vsize=28572 CPUtime=222.23 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 4627 0 0 0 22223 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4975388 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28572
[startup+282.3 s]
/proc/loadavg: 2.11 2.08 2.05 3/186 5601
/proc/meminfo: memFree=31070620/32770624 swapFree=0/458772
[pid=5588] ppid=5585 vsize=28572 CPUtime=282.23 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 4627 0 0 0 28223 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4975216 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 28572
[startup+342.3 s]
/proc/loadavg: 2.13 2.09 2.06 3/186 5603
/proc/meminfo: memFree=31070756/32770624 swapFree=0/458784
[pid=5588] ppid=5585 vsize=28572 CPUtime=342.23 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 4981 0 0 0 34223 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5040180 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 28572
[startup+402.3 s]
/proc/loadavg: 2.05 2.07 2.05 3/186 5605
/proc/meminfo: memFree=31070964/32770624 swapFree=0/458788
[pid=5588] ppid=5585 vsize=28572 CPUtime=402.24 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 4981 0 0 0 40224 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4975213 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 28572
[startup+462.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/186 5608
/proc/meminfo: memFree=31070452/32770624 swapFree=0/458800
[pid=5588] ppid=5585 vsize=28572 CPUtime=462.24 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 5335 0 0 0 46224 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5040159 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 28572
[startup+522.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 5610
/proc/meminfo: memFree=31070544/32770624 swapFree=0/458812
[pid=5588] ppid=5585 vsize=28572 CPUtime=522.25 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 5335 0 0 0 52225 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5040128 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 28572
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 5627
/proc/meminfo: memFree=31067360/32770624 swapFree=0/458804
[pid=5588] ppid=5585 vsize=28572 CPUtime=582.25 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 5689 0 0 0 58225 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4975391 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 28572
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 5744
/proc/meminfo: memFree=31048268/32770624 swapFree=0/459012
[pid=5588] ppid=5585 vsize=28572 CPUtime=1662.35 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 8859 0 0 0 166235 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 28572
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 5746
/proc/meminfo: memFree=31048404/32770624 swapFree=0/459024
[pid=5588] ppid=5585 vsize=28572 CPUtime=1722.36 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 8859 0 0 0 172236 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5040128 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 28572
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5763
/proc/meminfo: memFree=31043716/32770624 swapFree=0/459040
[pid=5588] ppid=5585 vsize=28572 CPUtime=1782.36 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 9213 0 0 0 178236 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 28572
[startup+1842.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/190 5765
/proc/meminfo: memFree=31044200/32770624 swapFree=0/459056
[pid=5588] ppid=5585 vsize=28572 CPUtime=1842.37 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 9213 0 0 0 184237 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5040162 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 1842.37
Current children cumulated vsize (KiB) 28572
[startup+1902.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 5767
/proc/meminfo: memFree=31047480/32770624 swapFree=0/459084
[pid=5588] ppid=5585 vsize=28572 CPUtime=1902.37 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 9551 0 0 0 190237 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4975227 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 1902.37
Current children cumulated vsize (KiB) 28572
[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 5770
/proc/meminfo: memFree=31047608/32770624 swapFree=0/459096
[pid=5588] ppid=5585 vsize=28572 CPUtime=1962.38 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 9567 0 0 0 196238 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 1962.38
Current children cumulated vsize (KiB) 28572
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 5773
/proc/meminfo: memFree=31047812/32770624 swapFree=0/459104
[pid=5588] ppid=5585 vsize=28572 CPUtime=2022.39 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 9905 0 0 0 202239 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4971899 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 28572
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 5777
/proc/meminfo: memFree=31047692/32770624 swapFree=0/459116
[pid=5588] ppid=5585 vsize=28572 CPUtime=2082.4 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 9905 0 0 0 208240 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4979409 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 28572
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5779
/proc/meminfo: memFree=31047652/32770624 swapFree=0/459116
[pid=5588] ppid=5585 vsize=28572 CPUtime=2142.4 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 10243 0 0 0 214240 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4979381 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2142.4
Current children cumulated vsize (KiB) 28572
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 5781
/proc/meminfo: memFree=31047648/32770624 swapFree=0/459120
[pid=5588] ppid=5585 vsize=28572 CPUtime=2202.41 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 10259 0 0 0 220241 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4975636 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2202.41
Current children cumulated vsize (KiB) 28572
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 5784
/proc/meminfo: memFree=31047616/32770624 swapFree=0/459124
[pid=5588] ppid=5585 vsize=28572 CPUtime=2262.41 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 10597 0 0 0 226241 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4975242 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2262.41
Current children cumulated vsize (KiB) 28572
[startup+2322.3 s]
/proc/loadavg: 2.18 2.07 2.06 3/186 5787
/proc/meminfo: memFree=31047380/32770624 swapFree=0/459128
[pid=5588] ppid=5585 vsize=28572 CPUtime=2322.41 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 10597 0 0 0 232241 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2322.41
Current children cumulated vsize (KiB) 28572
[startup+2382.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/189 5804
/proc/meminfo: memFree=31043844/32770624 swapFree=0/459172
[pid=5588] ppid=5585 vsize=28572 CPUtime=2382.42 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 10951 0 0 0 238242 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 4979378 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2382.42
Current children cumulated vsize (KiB) 28572
[startup+2442.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/189 5830
/proc/meminfo: memFree=31042152/32770624 swapFree=0/459164
[pid=5588] ppid=5585 vsize=28572 CPUtime=2442.42 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 10951 0 0 0 244242 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2442.42
Current children cumulated vsize (KiB) 28572
[startup+2502.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/189 5832
/proc/meminfo: memFree=31043032/32770624 swapFree=0/459184
[pid=5588] ppid=5585 vsize=28572 CPUtime=2502.43 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 11289 0 0 0 250243 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5328496 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2502.43
Current children cumulated vsize (KiB) 28572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 5833
/proc/meminfo: memFree=31047000/32770624 swapFree=0/459200
[pid=5588] ppid=5585 vsize=28572 CPUtime=2520.03 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 11289 0 0 0 252003 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 28572
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 5588 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 5833
/proc/meminfo: memFree=31047000/32770624 swapFree=0/459200
[pid=5588] ppid=5585 vsize=28572 CPUtime=2520.03 cores=1,3,5,7
/proc/5588/stat : 5588 (cosoco) R 5585 5588 28313 0 -1 4202496 11289 0 0 0 252003 0 0 0 20 0 1 0 101945480 29257728 1287 18446744073709551615 4194304 5972588 140724487331232 140724487328536 5099648 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 26775552 140724487336430 140724487336525 140724487336525 140724487339982 0
/proc/5588/statm: 7143 1287 799 435 0 506 0
Current children cumulated CPU time (s) 2520.03
Current children cumulated vsize (KiB) 28572
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.04
CPU user time (s): 2520.04
CPU system time (s): 0.00316
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 28572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.00316
maximum resident set size= 5228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11341
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= 8
involuntary context switches= 645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.31317 second user time and 11.2641 second system time
The end