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-4267564-1502542685/watcher-4267564-1502542685 -o /tmp/evaluation-result-4267564-1502542685/solver-4267564-1502542685 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27514 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267564-1502542685.xml
pid=4791
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.01 2.03 2.05 3/184 4794
/proc/meminfo: memFree=31045032/32770624 swapFree=0/473348
[pid=4794] ppid=4791 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4794/stat : 4794 (runsolver) D 4791 4794 27450 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 153921288 24240128 108 18446744073709551615 4194304 4338465 140736696135344 140736696132984 140092827681495 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 26206208 140736696144065 140736696144457 140736696144457 140736696147914 0
/proc/4794/statm: 5918 108 54 36 0 2156 0
[startup+0.10015 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 4794
/proc/meminfo: memFree=31045032/32770624 swapFree=0/473348
[pid=4794] ppid=4791 vsize=29232 CPUtime=0.02 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 1522 0 0 0 2 0 0 0 20 0 1 0 153921288 29933568 1302 18446744073709551615 4194304 5972588 140724648085840 140724648082488 140417790770149 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 7308 1302 711 435 0 671 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29232
[startup+0.20028 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 4794
/proc/meminfo: memFree=31045032/32770624 swapFree=0/473348
[pid=4794] ppid=4791 vsize=31208 CPUtime=0.12 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 2031 0 0 0 12 0 0 0 20 0 1 0 153921288 31956992 1873 18446744073709551615 4194304 5972588 140724648085840 140724648082488 5110591 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 7802 1873 742 435 0 1165 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 31208
[startup+0.30026 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 4794
/proc/meminfo: memFree=31045032/32770624 swapFree=0/473348
[pid=4794] ppid=4791 vsize=32132 CPUtime=0.22 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 2306 0 0 0 22 0 0 0 20 0 1 0 153921288 32903168 2136 18446744073709551615 4194304 5972588 140724648085840 140724648082488 140417790770149 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 8033 2136 779 435 0 1396 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 32132
[startup+0.70027 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 4794
/proc/meminfo: memFree=31045032/32770624 swapFree=0/473348
[pid=4794] ppid=4791 vsize=52472 CPUtime=0.62 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 7346 0 0 0 61 1 0 0 20 0 1 0 153921288 53731328 7152 18446744073709551615 4194304 5972588 140724648085840 140724648082488 5139507 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 13118 7152 779 435 0 6481 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 52472
[startup+1.50024 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 4795
/proc/meminfo: memFree=31019388/32770624 swapFree=0/473464
[pid=4794] ppid=4791 vsize=56620 CPUtime=1.42 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 8364 0 0 0 141 1 0 0 20 0 1 0 153921288 57978880 8142 18446744073709551615 4194304 5972588 140724648085840 140724648082504 5046264 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 14155 8142 779 435 0 7518 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 56620
[startup+3.10022 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 4795
/proc/meminfo: memFree=31013440/32770624 swapFree=0/473464
[pid=4794] ppid=4791 vsize=58364 CPUtime=3.02 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 11030 0 0 0 301 1 0 0 20 0 1 0 153921288 59764736 8657 18446744073709551615 4194304 5972588 140724648085840 140724648082504 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 14591 8657 779 435 0 7954 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 58364
[startup+6.30022 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 4795
/proc/meminfo: memFree=31012668/32770624 swapFree=0/473344
[pid=4794] ppid=4791 vsize=59840 CPUtime=6.22 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 17548 0 0 0 620 2 0 0 20 0 1 0 153921288 61276160 9012 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5046712 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 14960 9012 779 435 0 8323 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 59840
[startup+12.7002 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 4795
/proc/meminfo: memFree=31009472/32770624 swapFree=0/473344
[pid=4794] ppid=4791 vsize=61736 CPUtime=12.62 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 23627 0 0 0 1260 2 0 0 20 0 1 0 153921288 63217664 9482 18446744073709551615 4194304 5972588 140724648085840 140724648082504 5046462 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 15434 9482 779 435 0 8797 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 61736
[startup+25.5003 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 4795
/proc/meminfo: memFree=31007612/32770624 swapFree=0/473340
[pid=4794] ppid=4791 vsize=62944 CPUtime=25.42 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 34125 0 0 0 2539 3 0 0 20 0 1 0 153921288 64454656 9781 18446744073709551615 4194304 5972588 140724648085840 140724648082504 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 15736 9781 779 435 0 9099 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 62944
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 4795
/proc/meminfo: memFree=31006000/32770624 swapFree=0/473336
[pid=4794] ppid=4791 vsize=64324 CPUtime=51.02 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 42054 0 0 0 5099 3 0 0 20 0 1 0 153921288 65867776 10145 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16081 10145 779 435 0 9444 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 64324
[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 4797
/proc/meminfo: memFree=31004936/32770624 swapFree=0/473364
[pid=4794] ppid=4791 vsize=64460 CPUtime=102.22 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 49057 0 0 0 10218 4 0 0 20 0 1 0 153921288 66007040 10228 18446744073709551615 4194304 5972588 140724648085840 140724648082504 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16115 10228 779 435 0 9478 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 64460
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 4800
/proc/meminfo: memFree=31005128/32770624 swapFree=0/473368
[pid=4794] ppid=4791 vsize=64596 CPUtime=162.21 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 49568 0 0 0 16217 4 0 0 20 0 1 0 153921288 66146304 10250 18446744073709551615 4194304 5972588 140724648085840 140724648082504 5046284 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16149 10250 779 435 0 9512 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 64596
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 4802
/proc/meminfo: memFree=31004704/32770624 swapFree=0/473372
[pid=4794] ppid=4791 vsize=64860 CPUtime=222.22 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 50146 0 0 0 22218 4 0 0 20 0 1 0 153921288 66416640 10334 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5032400 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16215 10334 779 435 0 9578 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 64860
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 4804
/proc/meminfo: memFree=31004832/32770624 swapFree=0/473384
[pid=4794] ppid=4791 vsize=64860 CPUtime=282.21 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 50679 0 0 0 28217 4 0 0 20 0 1 0 153921288 66416640 10337 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5046284 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16215 10337 779 435 0 9578 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 64860
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4806
/proc/meminfo: memFree=31004552/32770624 swapFree=0/473388
[pid=4794] ppid=4791 vsize=64860 CPUtime=342.21 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 51187 0 0 0 34217 4 0 0 20 0 1 0 153921288 66416640 10339 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5032431 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16215 10339 779 435 0 9578 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 64860
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 4823
/proc/meminfo: memFree=31000120/32770624 swapFree=0/473408
[pid=4794] ppid=4791 vsize=64860 CPUtime=402.21 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 51689 0 0 0 40217 4 0 0 20 0 1 0 153921288 66416640 10339 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5338164 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16215 10339 779 435 0 9578 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 64860
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4825
/proc/meminfo: memFree=30999772/32770624 swapFree=0/473412
[pid=4794] ppid=4791 vsize=64860 CPUtime=462.21 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 52189 0 0 0 46217 4 0 0 20 0 1 0 153921288 66416640 10342 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5338169 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16215 10342 779 435 0 9578 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 64860
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 4827
/proc/meminfo: memFree=31002672/32770624 swapFree=0/473428
[pid=4794] ppid=4791 vsize=64860 CPUtime=522.21 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 52694 0 0 0 52217 4 0 0 20 0 1 0 153921288 66416640 10342 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5139264 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16215 10342 779 435 0 9578 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 64860
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 4829
/proc/meminfo: memFree=31003568/32770624 swapFree=0/473440
[pid=4794] ppid=4791 vsize=64996 CPUtime=582.21 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 53203 0 0 0 58217 4 0 0 20 0 1 0 153921288 66555904 10353 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5139319 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10353 779 435 0 9612 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 64996
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 4921
/proc/meminfo: memFree=30999328/32770624 swapFree=0/473600
[pid=4794] ppid=4791 vsize=64996 CPUtime=1602.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 61973 0 0 0 160215 4 0 0 20 0 1 0 153921288 66555904 10361 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5046668 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10361 779 435 0 9612 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 64996
[startup+1662.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/189 4924
/proc/meminfo: memFree=30998772/32770624 swapFree=0/473608
[pid=4794] ppid=4791 vsize=64996 CPUtime=1662.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 62498 0 0 0 166215 4 0 0 20 0 1 0 153921288 66555904 10361 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5046280 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10361 779 435 0 9612 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 64996
[startup+1722.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/186 4926
/proc/meminfo: memFree=31001924/32770624 swapFree=0/473624
[pid=4794] ppid=4791 vsize=64996 CPUtime=1722.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 63002 0 0 0 172215 4 0 0 20 0 1 0 153921288 66555904 10361 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10361 779 435 0 9612 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 64996
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/186 4928
/proc/meminfo: memFree=31002388/32770624 swapFree=0/473628
[pid=4794] ppid=4791 vsize=64996 CPUtime=1782.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 63503 0 0 0 178215 4 0 0 20 0 1 0 153921288 66555904 10361 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5139329 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10361 779 435 0 9612 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 64996
[startup+1842.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/186 4930
/proc/meminfo: memFree=31002392/32770624 swapFree=0/473644
[pid=4794] ppid=4791 vsize=64996 CPUtime=1842.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 64026 0 0 0 184215 4 0 0 20 0 1 0 153921288 66555904 10361 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10361 779 435 0 9612 0
Current children cumulated CPU time (s) 1842.19
Current children cumulated vsize (KiB) 64996
[startup+1902.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 4993
/proc/meminfo: memFree=31021908/32770624 swapFree=0/473748
[pid=4794] ppid=4791 vsize=64996 CPUtime=1902.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 64531 0 0 0 190215 4 0 0 20 0 1 0 153921288 66555904 10361 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10361 779 435 0 9612 0
Current children cumulated CPU time (s) 1902.19
Current children cumulated vsize (KiB) 64996
[startup+1962.3 s]
/proc/loadavg: 1.93 1.98 2.03 3/184 4995
/proc/meminfo: memFree=31019820/32770624 swapFree=0/473660
[pid=4794] ppid=4791 vsize=64996 CPUtime=1962.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 65034 0 0 0 196215 4 0 0 20 0 1 0 153921288 66555904 10361 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5338173 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10361 779 435 0 9612 0
Current children cumulated CPU time (s) 1962.19
Current children cumulated vsize (KiB) 64996
[startup+2022.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/184 4997
/proc/meminfo: memFree=31018424/32770624 swapFree=0/473668
[pid=4794] ppid=4791 vsize=64996 CPUtime=2022.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 65573 0 0 0 202215 4 0 0 20 0 1 0 153921288 66555904 10364 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5046712 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10364 779 435 0 9612 0
Current children cumulated CPU time (s) 2022.19
Current children cumulated vsize (KiB) 64996
[startup+2082.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 4999
/proc/meminfo: memFree=31019024/32770624 swapFree=0/473692
[pid=4794] ppid=4791 vsize=64996 CPUtime=2082.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 66078 0 0 0 208215 4 0 0 20 0 1 0 153921288 66555904 10364 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5032431 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10364 779 435 0 9612 0
Current children cumulated CPU time (s) 2082.19
Current children cumulated vsize (KiB) 64996
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 5001
/proc/meminfo: memFree=31019148/32770624 swapFree=0/473692
[pid=4794] ppid=4791 vsize=64996 CPUtime=2142.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 66565 0 0 0 214215 4 0 0 20 0 1 0 153921288 66555904 10364 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5139264 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10364 779 435 0 9612 0
Current children cumulated CPU time (s) 2142.19
Current children cumulated vsize (KiB) 64996
[startup+2202.31 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 5019
/proc/meminfo: memFree=31014860/32770624 swapFree=0/473740
[pid=4794] ppid=4791 vsize=64996 CPUtime=2202.19 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 67070 0 0 0 220215 4 0 0 20 0 1 0 153921288 66555904 10364 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5338173 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10364 779 435 0 9612 0
Current children cumulated CPU time (s) 2202.19
Current children cumulated vsize (KiB) 64996
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 5020
/proc/meminfo: memFree=31015412/32770624 swapFree=0/473736
[pid=4794] ppid=4791 vsize=64996 CPUtime=2262.18 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 67582 0 0 0 226214 4 0 0 20 0 1 0 153921288 66555904 10364 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5046280 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10364 779 435 0 9612 0
Current children cumulated CPU time (s) 2262.18
Current children cumulated vsize (KiB) 64996
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 5022
/proc/meminfo: memFree=31018636/32770624 swapFree=0/473736
[pid=4794] ppid=4791 vsize=64996 CPUtime=2322.18 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 68094 0 0 0 232214 4 0 0 20 0 1 0 153921288 66555904 10364 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5139312 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10364 779 435 0 9612 0
Current children cumulated CPU time (s) 2322.18
Current children cumulated vsize (KiB) 64996
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 5024
/proc/meminfo: memFree=31019012/32770624 swapFree=0/473740
[pid=4794] ppid=4791 vsize=64996 CPUtime=2382.18 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 68589 0 0 0 238214 4 0 0 20 0 1 0 153921288 66555904 10364 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5046287 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10364 779 435 0 9612 0
Current children cumulated CPU time (s) 2382.18
Current children cumulated vsize (KiB) 64996
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 5026
/proc/meminfo: memFree=31019036/32770624 swapFree=0/473748
[pid=4794] ppid=4791 vsize=64996 CPUtime=2442.18 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 69131 0 0 0 244214 4 0 0 20 0 1 0 153921288 66555904 10366 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5032450 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10366 779 435 0 9612 0
Current children cumulated CPU time (s) 2442.18
Current children cumulated vsize (KiB) 64996
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 5029
/proc/meminfo: memFree=31019044/32770624 swapFree=0/473764
[pid=4794] ppid=4791 vsize=64996 CPUtime=2502.18 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 69625 0 0 0 250214 4 0 0 20 0 1 0 153921288 66555904 10366 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5139264 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10366 779 435 0 9612 0
Current children cumulated CPU time (s) 2502.18
Current children cumulated vsize (KiB) 64996
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 5030
/proc/meminfo: memFree=31019016/32770624 swapFree=0/473780
[pid=4794] ppid=4791 vsize=64996 CPUtime=2519.88 cores=1,3,5,7
/proc/4794/stat : 4794 (cosoco) R 4791 4794 27450 0 -1 4202496 69927 0 0 0 251984 4 0 0 20 0 1 0 153921288 66555904 10366 18446744073709551615 4194304 5972588 140724648085840 140724648082600 5046284 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 13225984 140724648092142 140724648092237 140724648092237 140724648095694 0
/proc/4794/statm: 16249 10366 779 435 0 9612 0
Current children cumulated CPU time (s) 2519.88
Current children cumulated vsize (KiB) 64996
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 4794 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.89
CPU user time (s): 2519.84
CPU system time (s): 0.050999
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 64996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.84
system time used= 0.050999
maximum resident set size= 41544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69981
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= 21
involuntary context switches= 671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.5463 second user time and 8.89697 second system time
The end