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-4268337-1502530281/watcher-4268337-1502530281 -o /tmp/evaluation-result-4268337-1502530281/solver-4268337-1502530281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268337-1502530281.xml
pid=32710
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.08 2.03 2.05 2/185 32713
/proc/meminfo: memFree=30945952/32770624 swapFree=0/589136
[pid=32713] ppid=32710 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/32713/stat : 32713 (runsolver) D 32710 32713 24445 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 100534468 24240128 106 18446744073709551615 4194304 4338465 140724038228048 140724038225688 140083182682839 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 9289728 140724038230209 140724038230601 140724038230601 140724038234058 0
/proc/32713/statm: 5918 106 53 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 2.08 2.03 2.05 2/185 32713
/proc/meminfo: memFree=30945952/32770624 swapFree=0/589136
[pid=32713] ppid=32710 vsize=28824 CPUtime=0.01 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 1429 0 0 0 1 0 0 0 20 0 1 0 100534468 29515776 1266 18446744073709551615 4194304 5972588 140736388860912 140736388857560 139690846190565 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 7239 1266 711 435 0 602 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28824
[startup+0.200297 s]
/proc/loadavg: 2.08 2.03 2.05 2/185 32713
/proc/meminfo: memFree=30945952/32770624 swapFree=0/589136
[pid=32713] ppid=32710 vsize=51548 CPUtime=0.11 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 7121 0 0 0 11 0 0 0 20 0 1 0 100534468 52785152 6917 18446744073709551615 4194304 5972588 140736388860912 140736388857560 139690846190565 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 12887 6917 744 435 0 6250 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 51548
[startup+0.30032 s]
/proc/loadavg: 2.08 2.03 2.05 2/185 32713
/proc/meminfo: memFree=30945952/32770624 swapFree=0/589136
[pid=32713] ppid=32710 vsize=52752 CPUtime=0.21 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 7430 0 0 0 21 0 0 0 20 0 1 0 100534468 54018048 7202 18446744073709551615 4194304 5972588 140736388860912 140736388855416 5496983 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 13188 7202 744 435 0 6551 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 52752
[startup+0.700224 s]
/proc/loadavg: 2.08 2.03 2.05 2/185 32713
/proc/meminfo: memFree=30945952/32770624 swapFree=0/589136
[pid=32713] ppid=32710 vsize=57576 CPUtime=0.61 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 8872 0 0 0 60 1 0 0 20 0 1 0 100534468 58957824 8527 18446744073709551615 4194304 5972588 140736388860912 140736388857480 139690846238624 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 14394 8527 797 435 0 7757 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 57576
[startup+1.50023 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 32714
/proc/meminfo: memFree=30896948/32770624 swapFree=0/589200
[pid=32713] ppid=32710 vsize=93608 CPUtime=1.41 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 17875 0 0 0 138 3 0 0 20 0 1 0 100534468 95854592 17503 18446744073709551615 4194304 5972588 140736388860912 140736388857480 139690846190565 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 23402 17503 797 435 0 16765 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 93608
[startup+3.10023 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 32714
/proc/meminfo: memFree=30847100/32770624 swapFree=0/589200
[pid=32713] ppid=32710 vsize=165680 CPUtime=3.01 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 36571 0 0 0 296 5 0 0 20 0 1 0 100534468 169656320 35479 18446744073709551615 4194304 5972588 140736388860912 140736388854312 139690846238624 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 41420 35479 797 435 0 34783 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 165680
[startup+6.30023 s]
/proc/loadavg: 2.08 2.03 2.05 3/186 32714
/proc/meminfo: memFree=30698040/32770624 swapFree=0/589200
[pid=32713] ppid=32710 vsize=309580 CPUtime=6.21 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 73025 0 0 0 610 11 0 0 20 0 1 0 100534468 317009920 71520 18446744073709551615 4194304 5972588 140736388860912 140736388854312 139690846238624 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 77395 71520 797 435 0 70758 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 309580
[startup+12.7002 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 32714
/proc/meminfo: memFree=30401480/32770624 swapFree=0/589196
[pid=32713] ppid=32710 vsize=598168 CPUtime=12.61 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 145528 0 0 0 1240 21 0 0 20 0 1 0 100534468 612524032 143603 18446744073709551615 4194304 5972588 140736388860912 140736388854312 139690846238624 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 149542 143603 797 435 0 142905 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 598168
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 32714
/proc/meminfo: memFree=29805976/32770624 swapFree=0/589200
[pid=32713] ppid=32710 vsize=1174836 CPUtime=25.4 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 289901 0 0 0 2500 40 0 0 20 0 1 0 100534468 1203032064 287824 18446744073709551615 4194304 5972588 140736388860912 140736388854312 139690846190565 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 293709 287824 797 435 0 287072 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 1174836
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 32714
/proc/meminfo: memFree=29284656/32770624 swapFree=0/589208
[pid=32713] ppid=32710 vsize=1687112 CPUtime=50.99 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 442610 0 0 0 5039 60 0 0 20 0 1 0 100534468 1727602688 415632 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5039064 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 421778 415632 830 435 0 415141 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 1687112
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 310
/proc/meminfo: memFree=28386956/32770624 swapFree=0/589208
[pid=32713] ppid=32710 vsize=1695020 CPUtime=102.19 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 479226 0 0 0 10155 64 0 0 20 0 1 0 100534468 1735700480 417620 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5071104 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 423755 417620 830 435 0 417118 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 1695020
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 329
/proc/meminfo: memFree=28381516/32770624 swapFree=0/589244
[pid=32713] ppid=32710 vsize=1695020 CPUtime=162.17 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 513536 0 0 0 16151 66 0 0 20 0 1 0 100534468 1735700480 417620 18446744073709551615 4194304 5972588 140736388860912 140736388858216 4909702 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 423755 417620 830 435 0 417118 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 1695020
[startup+222.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 331
/proc/meminfo: memFree=28330148/32770624 swapFree=0/589252
[pid=32713] ppid=32710 vsize=1695020 CPUtime=222.17 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 545177 0 0 0 22149 68 0 0 20 0 1 0 100534468 1735700480 417620 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5070896 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 423755 417620 830 435 0 417118 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 1695020
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 333
/proc/meminfo: memFree=28333012/32770624 swapFree=0/589252
[pid=32713] ppid=32710 vsize=1695020 CPUtime=282.15 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 575895 0 0 0 28145 70 0 0 20 0 1 0 100534468 1735700480 417620 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5328649 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 423755 417620 830 435 0 417118 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 1695020
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 335
/proc/meminfo: memFree=28300192/32770624 swapFree=0/589256
[pid=32713] ppid=32710 vsize=1695020 CPUtime=342.15 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 604359 0 0 0 34143 72 0 0 20 0 1 0 100534468 1735700480 417620 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5338173 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 423755 417620 830 435 0 417118 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 1695020
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 339
/proc/meminfo: memFree=28300708/32770624 swapFree=0/589260
[pid=32713] ppid=32710 vsize=1695020 CPUtime=402.15 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 631087 0 0 0 40141 74 0 0 20 0 1 0 100534468 1735700480 417620 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5070896 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 423755 417620 830 435 0 417118 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1695020
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 343
/proc/meminfo: memFree=28299480/32770624 swapFree=0/589264
[pid=32713] ppid=32710 vsize=1696252 CPUtime=462.15 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 655989 0 0 0 46139 76 0 0 20 0 1 0 100534468 1736962048 417924 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5099664 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 417924 830 435 0 417426 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1696252
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 345
/proc/meminfo: memFree=28300084/32770624 swapFree=0/589264
[pid=32713] ppid=32710 vsize=1696252 CPUtime=522.14 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 678995 0 0 0 52136 78 0 0 20 0 1 0 100534468 1736962048 417924 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5328649 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 417924 830 435 0 417426 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1696252
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 347
/proc/meminfo: memFree=28300372/32770624 swapFree=0/589288
[pid=32713] ppid=32710 vsize=1696252 CPUtime=582.14 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 699751 0 0 0 58135 79 0 0 20 0 1 0 100534468 1736962048 417924 18446744073709551615 4194304 5972588 140736388860912 140736388858216 4908987 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 417924 830 435 0 417426 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1696252
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 417
/proc/meminfo: memFree=28262100/32770624 swapFree=0/589448
[pid=32713] ppid=32710 vsize=1696252 CPUtime=1602.11 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 808260 0 0 0 160123 88 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 4909602 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 1696252
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 419
/proc/meminfo: memFree=28239316/32770624 swapFree=0/589464
[pid=32713] ppid=32710 vsize=1696252 CPUtime=1662.11 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 809310 0 0 0 166123 88 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5070704 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 1696252
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 421
/proc/meminfo: memFree=28234956/32770624 swapFree=0/589476
[pid=32713] ppid=32710 vsize=1696252 CPUtime=1722.12 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 810196 0 0 0 172124 88 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5338164 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 1696252
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 423
/proc/meminfo: memFree=28235468/32770624 swapFree=0/589488
[pid=32713] ppid=32710 vsize=1696252 CPUtime=1782.12 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 811209 0 0 0 178124 88 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5053097 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 1696252
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 425
/proc/meminfo: memFree=28235716/32770624 swapFree=0/589500
[pid=32713] ppid=32710 vsize=1696252 CPUtime=1842.13 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 812214 0 0 0 184124 89 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5338173 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 1696252
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 428
/proc/meminfo: memFree=28235220/32770624 swapFree=0/589516
[pid=32713] ppid=32710 vsize=1696252 CPUtime=1902.13 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 813189 0 0 0 190124 89 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5338173 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 1696252
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 449
/proc/meminfo: memFree=28230644/32770624 swapFree=0/589528
[pid=32713] ppid=32710 vsize=1696252 CPUtime=1962.13 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 814185 0 0 0 196124 89 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5053099 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 1696252
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 451
/proc/meminfo: memFree=28230924/32770624 swapFree=0/589544
[pid=32713] ppid=32710 vsize=1696252 CPUtime=2022.13 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 815075 0 0 0 202124 89 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 4965677 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 1696252
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 453
/proc/meminfo: memFree=28234556/32770624 swapFree=0/589556
[pid=32713] ppid=32710 vsize=1696252 CPUtime=2082.14 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 816023 0 0 0 208125 89 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5321024 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 2082.14
Current children cumulated vsize (KiB) 1696252
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 455
/proc/meminfo: memFree=28234764/32770624 swapFree=0/589560
[pid=32713] ppid=32710 vsize=1696252 CPUtime=2142.13 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 817073 0 0 0 214124 89 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5139319 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 1696252
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 457
/proc/meminfo: memFree=28235104/32770624 swapFree=0/589572
[pid=32713] ppid=32710 vsize=1696252 CPUtime=2202.14 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 817995 0 0 0 220125 89 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 4909274 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 1696252
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 461
/proc/meminfo: memFree=28235004/32770624 swapFree=0/589600
[pid=32713] ppid=32710 vsize=1696252 CPUtime=2262.14 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 818907 0 0 0 226124 90 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5328641 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 2262.14
Current children cumulated vsize (KiB) 1696252
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 463
/proc/meminfo: memFree=28234976/32770624 swapFree=0/589612
[pid=32713] ppid=32710 vsize=1696252 CPUtime=2322.15 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 819811 0 0 0 232125 90 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5053094 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 2322.15
Current children cumulated vsize (KiB) 1696252
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 465
/proc/meminfo: memFree=28234732/32770624 swapFree=0/589620
[pid=32713] ppid=32710 vsize=1696252 CPUtime=2382.15 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 820918 0 0 0 238125 90 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5039159 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 2382.15
Current children cumulated vsize (KiB) 1696252
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 468
/proc/meminfo: memFree=28234200/32770624 swapFree=0/589628
[pid=32713] ppid=32710 vsize=1696252 CPUtime=2442.15 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 821809 0 0 0 244125 90 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5338185 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 2442.15
Current children cumulated vsize (KiB) 1696252
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 471
/proc/meminfo: memFree=28234432/32770624 swapFree=0/589636
[pid=32713] ppid=32710 vsize=1696252 CPUtime=2502.15 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 822694 0 0 0 250125 90 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 5338144 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 2502.15
Current children cumulated vsize (KiB) 1696252
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 472
/proc/meminfo: memFree=28234512/32770624 swapFree=0/589640
[pid=32713] ppid=32710 vsize=1696252 CPUtime=2519.85 cores=1,3,5,7
/proc/32713/stat : 32713 (cosoco) R 32710 32713 24445 0 -1 4202496 823079 0 0 0 251895 90 0 0 20 0 1 0 100534468 1736962048 418240 18446744073709551615 4194304 5972588 140736388860912 140736388858216 4962170 0 0 1 8405026 0 0 0 17 3 0 0 7 0 0 8070896 8075904 41254912 140736388862446 140736388862541 140736388862541 140736388865998 0
/proc/32713/statm: 424063 418240 830 435 0 417426 0
Current children cumulated CPU time (s) 2519.85
Current children cumulated vsize (KiB) 1696252
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 32713 sig 9
??? 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): 2518.96
CPU system time (s): 0.909027
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 1696252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.96
system time used= 0.909027
maximum resident set size= 1673024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 823127
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= 329
involuntary context switches= 916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01813 second user time and 11.6733 second system time
The end