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-4267605-1502525203/watcher-4267605-1502525203 -o /tmp/evaluation-result-4267605-1502525203/solver-4267605-1502525203 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24508 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267605-1502525203.xml
pid=31983
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: 1.95 2.01 2.04 4/184 31986
/proc/meminfo: memFree=30989184/32770624 swapFree=0/587920
[pid=31986] ppid=31983 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31986/stat : 31986 (runsolver) D 31983 31986 24445 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 100026642 24240128 108 18446744073709551615 4194304 4338465 140724550418192 140724550415832 140377644737239 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 36556800 140724550422721 140724550423113 140724550423113 140724550426570 0
/proc/31986/statm: 5918 108 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 1.95 2.01 2.04 4/184 31986
/proc/meminfo: memFree=30989184/32770624 swapFree=0/587920
[pid=31986] ppid=31983 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31986/stat : 31986 (runsolver) D 31983 31986 24445 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 100026642 24240128 108 18446744073709551615 4194304 4338465 140724550418192 140724550415832 140377644737239 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 36556800 140724550422721 140724550423113 140724550423113 140724550426570 0
/proc/31986/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200272 s]
/proc/loadavg: 1.95 2.01 2.04 4/184 31986
/proc/meminfo: memFree=30989184/32770624 swapFree=0/587920
[pid=31986] ppid=31983 vsize=29504 CPUtime=0.08 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 1694 0 0 0 8 0 0 0 20 0 1 0 100026642 30212096 1495 18446744073709551615 4194304 5972588 140735809145824 140735809142472 4965500 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7376 1495 795 435 0 739 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29504
[startup+0.300192 s]
/proc/loadavg: 1.95 2.01 2.04 4/184 31986
/proc/meminfo: memFree=30989184/32770624 swapFree=0/587920
[pid=31986] ppid=31983 vsize=29504 CPUtime=0.18 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 1708 0 0 0 18 0 0 0 20 0 1 0 100026642 30212096 1495 18446744073709551615 4194304 5972588 140735809145824 140735809133032 4968848 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7376 1495 795 435 0 739 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 29504
[startup+0.700174 s]
/proc/loadavg: 1.95 2.01 2.04 4/184 31986
/proc/meminfo: memFree=30989184/32770624 swapFree=0/587920
[pid=31986] ppid=31983 vsize=29504 CPUtime=0.58 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 1714 0 0 0 58 0 0 0 20 0 1 0 100026642 30212096 1495 18446744073709551615 4194304 5972588 140735809145824 140735809133032 5071832 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7376 1495 795 435 0 739 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 29504
[startup+1.50017 s]
/proc/loadavg: 1.95 2.01 2.04 3/185 31987
/proc/meminfo: memFree=30987604/32770624 swapFree=0/587944
[pid=31986] ppid=31983 vsize=29636 CPUtime=1.38 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 1726 0 0 0 138 0 0 0 20 0 1 0 100026642 30347264 1560 18446744073709551615 4194304 5972588 140735809145824 140735809142680 5099648 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7409 1560 834 435 0 772 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 29636
[startup+3.10017 s]
/proc/loadavg: 1.95 2.01 2.04 3/185 31987
/proc/meminfo: memFree=30987172/32770624 swapFree=0/587944
[pid=31986] ppid=31983 vsize=29768 CPUtime=2.98 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 2253 0 0 0 298 0 0 0 20 0 1 0 100026642 30482432 1599 18446744073709551615 4194304 5972588 140735809145824 140735809142680 4965562 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7442 1599 834 435 0 805 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 29768
[startup+6.30017 s]
/proc/loadavg: 1.95 2.01 2.04 3/185 31987
/proc/meminfo: memFree=30986804/32770624 swapFree=0/587944
[pid=31986] ppid=31983 vsize=30032 CPUtime=6.18 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 2918 0 0 0 618 0 0 0 20 0 1 0 100026642 30752768 1688 18446744073709551615 4194304 5972588 140735809145824 140735809142680 5070704 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7508 1688 834 435 0 871 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 30032
[startup+12.7002 s]
/proc/loadavg: 1.95 2.01 2.04 3/185 31987
/proc/meminfo: memFree=30986060/32770624 swapFree=0/587940
[pid=31986] ppid=31983 vsize=30428 CPUtime=12.58 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 3662 0 0 0 1258 0 0 0 20 0 1 0 100026642 31158272 1750 18446744073709551615 4194304 5972588 140735809145824 140735809142680 5053069 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7607 1750 834 435 0 970 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 30428
[startup+25.5003 s]
/proc/loadavg: 1.89 1.99 2.03 3/185 32049
/proc/meminfo: memFree=30962872/32770624 swapFree=0/587960
[pid=31986] ppid=31983 vsize=30560 CPUtime=25.38 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 5269 0 0 0 2538 0 0 0 20 0 1 0 100026642 31293440 1808 18446744073709551615 4194304 5972588 140735809145824 140735809143272 4965840 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1808 835 435 0 1003 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 30560
[startup+51.1003 s]
/proc/loadavg: 1.92 1.99 2.03 3/185 32049
/proc/meminfo: memFree=30959564/32770624 swapFree=0/587948
[pid=31986] ppid=31983 vsize=30560 CPUtime=50.98 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 5656 0 0 0 5098 0 0 0 20 0 1 0 100026642 31293440 1816 18446744073709551615 4194304 5972588 140735809145824 140735809133016 4968760 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1816 835 435 0 1003 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 30560
[startup+102.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/186 32052
/proc/meminfo: memFree=30957812/32770624 swapFree=0/587980
[pid=31986] ppid=31983 vsize=30560 CPUtime=102.18 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 6037 0 0 0 10218 0 0 0 20 0 1 0 100026642 31293440 1818 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5094104 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1818 835 435 0 1003 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 30560
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/185 32055
/proc/meminfo: memFree=30956088/32770624 swapFree=0/587988
[pid=31986] ppid=31983 vsize=30560 CPUtime=162.18 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 6410 0 0 0 16218 0 0 0 20 0 1 0 100026642 31293440 1819 18446744073709551615 4194304 5972588 140735809145824 140735809143272 4962364 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1819 835 435 0 1003 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 30560
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 32058
/proc/meminfo: memFree=30956200/32770624 swapFree=0/587996
[pid=31986] ppid=31983 vsize=30560 CPUtime=222.19 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 6779 0 0 0 22219 0 0 0 20 0 1 0 100026642 31293440 1820 18446744073709551615 4194304 5972588 140735809145824 140735809143272 4968804 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1820 835 435 0 1003 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 30560
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.05 3/186 32060
/proc/meminfo: memFree=30955952/32770624 swapFree=0/588016
[pid=31986] ppid=31983 vsize=30560 CPUtime=282.19 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 6782 0 0 0 28219 0 0 0 20 0 1 0 100026642 31293440 1820 18446744073709551615 4194304 5972588 140735809145824 140735809143272 4909694 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1820 835 435 0 1003 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 30560
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 32063
/proc/meminfo: memFree=30955704/32770624 swapFree=0/588044
[pid=31986] ppid=31983 vsize=30560 CPUtime=342.19 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 7151 0 0 0 34219 0 0 0 20 0 1 0 100026642 31293440 1822 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5070704 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1822 835 435 0 1003 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 30560
[startup+402.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/185 32065
/proc/meminfo: memFree=30955472/32770624 swapFree=0/588052
[pid=31986] ppid=31983 vsize=30560 CPUtime=402.19 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 7516 0 0 0 40219 0 0 0 20 0 1 0 100026642 31293440 1823 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5053097 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1823 835 435 0 1003 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 30560
[startup+462.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/189 32082
/proc/meminfo: memFree=30950844/32770624 swapFree=0/588096
[pid=31986] ppid=31983 vsize=30560 CPUtime=462.19 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 7525 0 0 0 46219 0 0 0 20 0 1 0 100026642 31293440 1823 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5070704 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1823 835 435 0 1003 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 30560
[startup+522.3 s]
/proc/loadavg: 2.12 2.06 2.05 3/189 32109
/proc/meminfo: memFree=30949788/32770624 swapFree=0/588116
[pid=31986] ppid=31983 vsize=30560 CPUtime=522.19 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 7895 0 0 0 52219 0 0 0 20 0 1 0 100026642 31293440 1823 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5070704 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1823 835 435 0 1003 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 30560
[startup+582.3 s]
/proc/loadavg: 2.11 2.07 2.05 3/189 32111
/proc/meminfo: memFree=30950112/32770624 swapFree=0/588132
[pid=31986] ppid=31983 vsize=30560 CPUtime=582.2 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 8253 0 0 0 58220 0 0 0 20 0 1 0 100026642 31293440 1823 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5320287 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1823 835 435 0 1003 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 30560
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32164
/proc/meminfo: memFree=30951504/32770624 swapFree=0/588312
[pid=31986] ppid=31983 vsize=30560 CPUtime=1602.24 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 11948 0 0 0 160224 0 0 0 20 0 1 0 100026642 31293440 1825 18446744073709551615 4194304 5972588 140735809145824 140735809133016 4965822 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1825 835 435 0 1003 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 30560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 32181
/proc/meminfo: memFree=30947628/32770624 swapFree=0/588312
[pid=31986] ppid=31983 vsize=30560 CPUtime=1662.24 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 12294 0 0 0 166224 0 0 0 20 0 1 0 100026642 31293440 1825 18446744073709551615 4194304 5972588 140735809145824 140735809133016 4909624 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1825 835 435 0 1003 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 30560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32183
/proc/meminfo: memFree=30947488/32770624 swapFree=0/588320
[pid=31986] ppid=31983 vsize=30560 CPUtime=1722.24 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 12303 0 0 0 172224 0 0 0 20 0 1 0 100026642 31293440 1825 18446744073709551615 4194304 5972588 140735809145824 140735809133016 5070704 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1825 835 435 0 1003 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 30560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32185
/proc/meminfo: memFree=30950716/32770624 swapFree=0/588336
[pid=31986] ppid=31983 vsize=30560 CPUtime=1782.24 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 12681 0 0 0 178224 0 0 0 20 0 1 0 100026642 31293440 1825 18446744073709551615 4194304 5972588 140735809145824 140735809143272 4962376 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1825 835 435 0 1003 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 30560
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32187
/proc/meminfo: memFree=30950592/32770624 swapFree=0/588348
[pid=31986] ppid=31983 vsize=30560 CPUtime=1842.25 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 13039 0 0 0 184225 0 0 0 20 0 1 0 100026642 31293440 1825 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5071744 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1825 835 435 0 1003 0
Current children cumulated CPU time (s) 1842.25
Current children cumulated vsize (KiB) 30560
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 32190
/proc/meminfo: memFree=30950328/32770624 swapFree=0/588360
[pid=31986] ppid=31983 vsize=30560 CPUtime=1902.25 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 13054 0 0 0 190225 0 0 0 20 0 1 0 100026642 31293440 1825 18446744073709551615 4194304 5972588 140735809145824 140735809143272 4968825 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1825 835 435 0 1003 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 30560
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32193
/proc/meminfo: memFree=30950840/32770624 swapFree=0/588372
[pid=31986] ppid=31983 vsize=30560 CPUtime=1962.25 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 13427 0 0 0 196225 0 0 0 20 0 1 0 100026642 31293440 1826 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5071744 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1826 835 435 0 1003 0
Current children cumulated CPU time (s) 1962.25
Current children cumulated vsize (KiB) 30560
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32195
/proc/meminfo: memFree=30951088/32770624 swapFree=0/588384
[pid=31986] ppid=31983 vsize=30560 CPUtime=2022.25 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 13797 0 0 0 202225 0 0 0 20 0 1 0 100026642 31293440 1826 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5109313 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1826 835 435 0 1003 0
Current children cumulated CPU time (s) 2022.25
Current children cumulated vsize (KiB) 30560
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 32197
/proc/meminfo: memFree=30951212/32770624 swapFree=0/588392
[pid=31986] ppid=31983 vsize=30560 CPUtime=2082.26 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 13798 0 0 0 208226 0 0 0 20 0 1 0 100026642 31293440 1826 18446744073709551615 4194304 5972588 140735809145824 140735809143272 4968862 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1826 835 435 0 1003 0
Current children cumulated CPU time (s) 2082.26
Current children cumulated vsize (KiB) 30560
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 32200
/proc/meminfo: memFree=30951040/32770624 swapFree=0/588408
[pid=31986] ppid=31983 vsize=30560 CPUtime=2142.26 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 14168 0 0 0 214226 0 0 0 20 0 1 0 100026642 31293440 1827 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5071832 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1827 835 435 0 1003 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 30560
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 32203
/proc/meminfo: memFree=30950108/32770624 swapFree=0/588432
[pid=31986] ppid=31983 vsize=30560 CPUtime=2202.26 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 14539 0 0 0 220226 0 0 0 20 0 1 0 100026642 31293440 1827 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5099648 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1827 835 435 0 1003 0
Current children cumulated CPU time (s) 2202.26
Current children cumulated vsize (KiB) 30560
[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 32220
/proc/meminfo: memFree=30945640/32770624 swapFree=0/588448
[pid=31986] ppid=31983 vsize=30560 CPUtime=2262.26 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 14542 0 0 0 226226 0 0 0 20 0 1 0 100026642 31293440 1827 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5053024 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1827 835 435 0 1003 0
Current children cumulated CPU time (s) 2262.26
Current children cumulated vsize (KiB) 30560
[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/189 32222
/proc/meminfo: memFree=30945088/32770624 swapFree=0/588456
[pid=31986] ppid=31983 vsize=30560 CPUtime=2322.26 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 14906 0 0 0 232226 0 0 0 20 0 1 0 100026642 31293440 1827 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5070704 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1827 835 435 0 1003 0
Current children cumulated CPU time (s) 2322.26
Current children cumulated vsize (KiB) 30560
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 32224
/proc/meminfo: memFree=30948428/32770624 swapFree=0/588472
[pid=31986] ppid=31983 vsize=30560 CPUtime=2382.27 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 14914 0 0 0 238227 0 0 0 20 0 1 0 100026642 31293440 1827 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5053056 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1827 835 435 0 1003 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 30560
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32227
/proc/meminfo: memFree=30947928/32770624 swapFree=0/588480
[pid=31986] ppid=31983 vsize=30560 CPUtime=2442.27 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 15279 0 0 0 244227 0 0 0 20 0 1 0 100026642 31293440 1827 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5071744 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1827 835 435 0 1003 0
Current children cumulated CPU time (s) 2442.27
Current children cumulated vsize (KiB) 30560
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 32229
/proc/meminfo: memFree=30947948/32770624 swapFree=0/588496
[pid=31986] ppid=31983 vsize=30560 CPUtime=2502.27 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 15637 0 0 0 250227 0 0 0 20 0 1 0 100026642 31293440 1827 18446744073709551615 4194304 5972588 140735809145824 140735809143272 5053097 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1827 835 435 0 1003 0
Current children cumulated CPU time (s) 2502.27
Current children cumulated vsize (KiB) 30560
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 32229
/proc/meminfo: memFree=30947824/32770624 swapFree=0/588496
[pid=31986] ppid=31983 vsize=30560 CPUtime=2519.97 cores=0,2,4,6
/proc/31986/stat : 31986 (cosoco) R 31983 31986 24445 0 -1 4202496 15641 0 0 0 251997 0 0 0 20 0 1 0 100026642 31293440 1827 18446744073709551615 4194304 5972588 140735809145824 140735809143272 4909654 0 0 1 8405026 0 0 0 17 4 0 0 11 0 0 8070896 8075904 35524608 140735809151470 140735809151565 140735809151565 140735809155022 0
/proc/31986/statm: 7640 1827 835 435 0 1003 0
Current children cumulated CPU time (s) 2519.97
Current children cumulated vsize (KiB) 30560
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 31986 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.98
CPU user time (s): 2519.98
CPU system time (s): 0.006
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 30560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.006
maximum resident set size= 7376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15694
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= 7
involuntary context switches= 694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23856 second user time and 8.64752 second system time
The end