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-4268178-1502547714/watcher-4268178-1502547714 -o /tmp/evaluation-result-4268178-1502547714/solver-4268178-1502547714 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502500309-6740 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268178-1502547714.xml
pid=15306
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: 2.00 2.01 2.05 3/180 15309
/proc/meminfo: memFree=31185572/32770624 swapFree=0/563288
[pid=15309] ppid=15306 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15309/stat : 15309 (runsolver) D 15306 15309 6677 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 56964745 24240128 106 18446744073709551615 4194304 4338465 140727830112880 140727830110520 139786670633687 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 12783616 140727830114498 140727830114889 140727830114889 140727830118346 0
/proc/15309/statm: 5918 106 53 36 0 2156 0
[startup+0.111075 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 15309
/proc/meminfo: memFree=31185572/32770624 swapFree=0/563288
[pid=15309] ppid=15306 vsize=27772 CPUtime=0.01 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1152 0 0 0 1 0 0 0 20 0 1 0 56964745 28438528 971 18446744073709551615 4194304 5972588 140730512161680 140730512156920 5506577 0 0 1 0 0 0 0 17 6 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 6943 971 706 435 0 306 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27772
[startup+0.201079 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 15309
/proc/meminfo: memFree=31185572/32770624 swapFree=0/563288
[pid=15309] ppid=15306 vsize=39580 CPUtime=0.09 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 4110 0 0 0 9 0 0 0 20 0 1 0 56964745 40529920 3900 18446744073709551615 4194304 5972588 140730512161680 140730512158248 140370397736240 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 9895 3900 717 435 0 3258 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39580
[startup+0.300243 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 15309
/proc/meminfo: memFree=31185572/32770624 swapFree=0/563288
[pid=15309] ppid=15306 vsize=54908 CPUtime=0.19 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 7937 0 0 0 18 1 0 0 20 0 1 0 56964745 56225792 7728 18446744073709551615 4194304 5972588 140730512161680 140730512155400 5138764 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 13727 7728 742 435 0 7090 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 54908
[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 15309
/proc/meminfo: memFree=31185572/32770624 swapFree=0/563288
[pid=15309] ppid=15306 vsize=385076 CPUtime=0.59 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 90490 0 0 0 47 12 0 0 20 0 1 0 56964745 394317824 90280 18446744073709551615 4194304 5972588 140730512161680 140730512155512 140370397690853 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 96303 90346 742 435 0 89666 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 385076
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15310
/proc/meminfo: memFree=30343708/32770624 swapFree=0/563312
[pid=15309] ppid=15306 vsize=1233424 CPUtime=1.39 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 302661 0 0 0 102 37 0 0 20 0 1 0 56964745 1263026176 302412 18446744073709551615 4194304 5972588 140730512161680 140730512155512 5328496 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 308356 302412 743 435 0 301719 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 1233424
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15310
/proc/meminfo: memFree=29977412/32770624 swapFree=0/563312
[pid=15309] ppid=15306 vsize=1245688 CPUtime=2.99 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 315287 0 0 0 261 38 0 0 20 0 1 0 56964745 1275584512 305479 18446744073709551615 4194304 5972588 140730512161680 140730512158776 4908956 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 311422 305479 776 435 0 304785 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 1245688
[startup+6.30024 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15310
/proc/meminfo: memFree=29569708/32770624 swapFree=0/563312
[pid=15309] ppid=15306 vsize=1717180 CPUtime=6.19 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 464280 0 0 0 562 57 0 0 20 0 1 0 56964745 1758392320 419193 18446744073709551615 4194304 5972588 140730512161680 140730512158648 4908843 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 429295 419193 776 435 0 422658 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 1717180
[startup+12.7003 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 15310
/proc/meminfo: memFree=29215468/32770624 swapFree=0/563308
[pid=15309] ppid=15306 vsize=2046696 CPUtime=12.59 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 660609 0 0 0 1185 74 0 0 20 0 1 0 56964745 2095816704 493190 18446744073709551615 4194304 5972588 140730512161680 140730512158488 5045817 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 511674 493190 778 435 0 505037 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 2046696
[startup+25.5004 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 15310
/proc/meminfo: memFree=28968280/32770624 swapFree=0/563308
[pid=15309] ppid=15306 vsize=2312892 CPUtime=25.38 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 905967 0 0 0 2446 92 0 0 20 0 1 0 56964745 2368401408 554202 18446744073709551615 4194304 5972588 140730512161680 140730512158984 4909158 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 578223 554202 778 435 0 571586 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 2312892
[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 15311
/proc/meminfo: memFree=28892700/32770624 swapFree=0/563308
[pid=15309] ppid=15306 vsize=2391948 CPUtime=50.99 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1047910 0 0 0 4998 101 0 0 20 0 1 0 56964745 2449354752 572924 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5139312 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 572924 778 435 0 591350 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 2391948
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 15313
/proc/meminfo: memFree=28892648/32770624 swapFree=0/563312
[pid=15309] ppid=15306 vsize=2391948 CPUtime=102.17 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1155862 0 0 0 10108 109 0 0 20 0 1 0 56964745 2449354752 572930 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5139312 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 572930 778 435 0 591350 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 2391948
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/185 15330
/proc/meminfo: memFree=28887260/32770624 swapFree=0/563316
[pid=15309] ppid=15306 vsize=2391948 CPUtime=162.17 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1215991 0 0 0 16105 112 0 0 20 0 1 0 56964745 2449354752 572930 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5047901 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 572930 778 435 0 591350 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 2391948
[startup+222.306 s]
/proc/loadavg: 2.02 2.01 2.05 3/184 15332
/proc/meminfo: memFree=28889040/32770624 swapFree=0/563344
[pid=15309] ppid=15306 vsize=2391948 CPUtime=222.17 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1265949 0 0 0 22101 116 0 0 20 0 1 0 56964745 2449354752 572932 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5338169 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 572932 778 435 0 591350 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 2391948
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/182 15335
/proc/meminfo: memFree=28891148/32770624 swapFree=0/563344
[pid=15309] ppid=15306 vsize=2391948 CPUtime=282.16 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1331271 0 0 0 28096 120 0 0 20 0 1 0 56964745 2449354752 572932 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5139291 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 572932 778 435 0 591350 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 2391948
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15337
/proc/meminfo: memFree=28891032/32770624 swapFree=0/563352
[pid=15309] ppid=15306 vsize=2391948 CPUtime=342.16 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1381107 0 0 0 34093 123 0 0 20 0 1 0 56964745 2449354752 572935 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5045980 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 572935 778 435 0 591350 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 2391948
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15339
/proc/meminfo: memFree=28891268/32770624 swapFree=0/563364
[pid=15309] ppid=15306 vsize=2391948 CPUtime=402.16 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1411131 0 0 0 40091 125 0 0 20 0 1 0 56964745 2449354752 572935 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5045825 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 572935 778 435 0 591350 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 2391948
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15341
/proc/meminfo: memFree=28891240/32770624 swapFree=0/563372
[pid=15309] ppid=15306 vsize=2391948 CPUtime=462.15 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1466698 0 0 0 46087 128 0 0 20 0 1 0 56964745 2449354752 572935 18446744073709551615 4194304 5972588 140730512161680 140730512158984 4909279 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 572935 778 435 0 591350 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 2391948
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15343
/proc/meminfo: memFree=28890872/32770624 swapFree=0/563372
[pid=15309] ppid=15306 vsize=2391948 CPUtime=522.15 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1497406 0 0 0 52085 130 0 0 20 0 1 0 56964745 2449354752 572935 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5045821 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 572935 778 435 0 591350 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 2391948
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15345
/proc/meminfo: memFree=28890616/32770624 swapFree=0/563376
[pid=15309] ppid=15306 vsize=2391948 CPUtime=582.14 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1526048 0 0 0 58082 132 0 0 20 0 1 0 56964745 2449354752 572935 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5139324 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 572935 778 435 0 591350 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 2391948
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15530
/proc/meminfo: memFree=28805796/32770624 swapFree=0/563704
[pid=15309] ppid=15306 vsize=2391948 CPUtime=1602.08 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1814114 0 0 0 160055 153 0 0 20 0 1 0 56964745 2449354752 589855 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5139319 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589855 778 435 0 591350 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 2391948
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15532
/proc/meminfo: memFree=28806204/32770624 swapFree=0/563716
[pid=15309] ppid=15306 vsize=2391948 CPUtime=1662.08 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1820718 0 0 0 166054 154 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5045825 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 2391948
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15533
/proc/meminfo: memFree=28806568/32770624 swapFree=0/563724
[pid=15309] ppid=15306 vsize=2391948 CPUtime=1722.07 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1822160 0 0 0 172053 154 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5046736 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 2391948
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15536
/proc/meminfo: memFree=28806204/32770624 swapFree=0/563728
[pid=15309] ppid=15306 vsize=2391948 CPUtime=1782.07 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1828395 0 0 0 178052 155 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5139490 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 1782.07
Current children cumulated vsize (KiB) 2391948
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15537
/proc/meminfo: memFree=28806824/32770624 swapFree=0/563736
[pid=15309] ppid=15306 vsize=2391948 CPUtime=1842.07 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1830199 0 0 0 184052 155 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 2391948
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15539
/proc/meminfo: memFree=28806692/32770624 swapFree=0/563740
[pid=15309] ppid=15306 vsize=2391948 CPUtime=1902.07 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1831799 0 0 0 190052 155 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 2391948
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 15556
/proc/meminfo: memFree=28802592/32770624 swapFree=0/563744
[pid=15309] ppid=15306 vsize=2391948 CPUtime=1962.07 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1833413 0 0 0 196052 155 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 2391948
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 15558
/proc/meminfo: memFree=28802252/32770624 swapFree=0/563744
[pid=15309] ppid=15306 vsize=2391948 CPUtime=2022.06 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1841062 0 0 0 202050 156 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 2022.06
Current children cumulated vsize (KiB) 2391948
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 15560
/proc/meminfo: memFree=28806112/32770624 swapFree=0/563768
[pid=15309] ppid=15306 vsize=2391948 CPUtime=2082.06 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1843532 0 0 0 208050 156 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5139490 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 2082.06
Current children cumulated vsize (KiB) 2391948
[startup+2142.3 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 15562
/proc/meminfo: memFree=28805836/32770624 swapFree=0/563784
[pid=15309] ppid=15306 vsize=2391948 CPUtime=2142.06 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1844920 0 0 0 214050 156 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5139327 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 2391948
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 15564
/proc/meminfo: memFree=28806376/32770624 swapFree=0/563808
[pid=15309] ppid=15306 vsize=2391948 CPUtime=2202.07 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1846518 0 0 0 220050 157 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5139264 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 2202.07
Current children cumulated vsize (KiB) 2391948
[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 15566
/proc/meminfo: memFree=28806368/32770624 swapFree=0/563816
[pid=15309] ppid=15306 vsize=2391948 CPUtime=2262.05 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1852942 0 0 0 226048 157 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 2391948
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15568
/proc/meminfo: memFree=28806120/32770624 swapFree=0/563840
[pid=15309] ppid=15306 vsize=2391948 CPUtime=2322.06 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1855039 0 0 0 232048 158 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5338164 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 2391948
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15570
/proc/meminfo: memFree=28805992/32770624 swapFree=0/563840
[pid=15309] ppid=15306 vsize=2391948 CPUtime=2382.05 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1857165 0 0 0 238047 158 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5046712 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 2391948
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15572
/proc/meminfo: memFree=28805872/32770624 swapFree=0/563860
[pid=15309] ppid=15306 vsize=2391948 CPUtime=2442.05 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1859039 0 0 0 244047 158 0 0 20 0 1 0 56964745 2449354752 589857 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5139490 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589857 778 435 0 591350 0
Current children cumulated CPU time (s) 2442.05
Current children cumulated vsize (KiB) 2391948
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15574
/proc/meminfo: memFree=28806244/32770624 swapFree=0/563864
[pid=15309] ppid=15306 vsize=2391948 CPUtime=2502.04 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1867854 0 0 0 250046 158 0 0 20 0 1 0 56964745 2449354752 589899 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589899 778 435 0 591350 0
Current children cumulated CPU time (s) 2502.04
Current children cumulated vsize (KiB) 2391948
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15575
/proc/meminfo: memFree=28806304/32770624 swapFree=0/563864
[pid=15309] ppid=15306 vsize=2391948 CPUtime=2519.74 cores=0,2,4,6
/proc/15309/stat : 15309 (cosoco) R 15306 15309 6677 0 -1 4202496 1868325 0 0 0 251816 158 0 0 20 0 1 0 56964745 2449354752 589900 18446744073709551615 4194304 5972588 140730512161680 140730512158984 5338173 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 29609984 140730512163310 140730512163405 140730512163405 140730512166862 0
/proc/15309/statm: 597987 589900 778 435 0 591350 0
Current children cumulated CPU time (s) 2519.74
Current children cumulated vsize (KiB) 2391948
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 15309 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.77
CPU user time (s): 2518.17
CPU system time (s): 1.60793
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 2391948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.17
system time used= 1.60793
maximum resident set size= 2359680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1868379
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= 119
involuntary context switches= 689
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79091 second user time and 10.3624 second system time
The end