Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco-sat 1.1 | UNSAT | 143.535 | 143.634 |
Name | QRandom/ QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-16.xml |
MD5SUM | 2a6706ebf1a04474da396dd8277f6c47 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 24.489901 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 21 |
Number of constraints | 2713 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":21}] |
Minimum variable degree | 1854 |
Maximum variable degree | 1979 |
Distribution of variable degrees | [{"degree":1854,"count":1},{"degree":1899,"count":1},{"degree":1906,"count":1},{"degree":1917,"count":1},{"degree":1920,"count":1},{"degree":1924,"count":2},{"degree":1928,"count":1},{"degree":1938,"count":1},{"degree":1941,"count":1},{"degree":1943,"count":1},{"degree":1945,"count":1},{"degree":1948,"count":1},{"degree":1950,"count":1},{"degree":1955,"count":1},{"degree":1961,"count":2},{"degree":1962,"count":2},{"degree":1978,"count":1},{"degree":1979,"count":1}] |
Minimum constraint arity | 15 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":15,"count":2713}] |
Number of extensional constraints | 2713 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":2713}] |
Optimization problem | NO |
Type of objective |
0.29/0.31 c SAT : Variables: 42 -- Clauses: 42 1.20/1.22 c root propagations : 0 1.20/1.22 c restarts enabled, print stats at every restarts 1.20/1.22 c 1.20/1.22 c 1.20/1.22 c 1.20/1.22 c This is cosoco 1.0 -- 1.20/1.22 c 1.20/1.22 c ========================================[ Problem Statistics ]=========================================== 1.20/1.22 c | 1.20/1.22 c | Parse time : 0.27 s 1.20/1.22 c | 1.20/1.22 c | Variables: 21 1.20/1.22 c | Domain Sizes: 2..2 1.20/1.22 c | 1.20/1.22 c | Constraints: 2713 1.20/1.22 c | Arity: 15..15 1.20/1.22 c | 1.20/1.22 c | Types: 1.20/1.22 c | Extension: 2713 (nb tuples: 6901..6901) -- (shared: 2712) 1.20/1.22 c | 1.20/1.22 c ========================================================================================================= 1.20/1.22 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.19/2.25 c 10 34 70523 190 0 3 10 12 10 3.89/3.93 c 20 67 142887 436 0 4 9 11 9 5.79/5.80 c 30 105 226126 680 0 6 9 11 9 7.48/7.53 c 40 140 301435 903 0 8 9 11 9 9.38/9.40 c 50 171 378758 1108 0 11 7 11 8 10.99/11.09 c 60 207 458338 1335 0 15 9 11 9 12.88/12.93 c 70 245 539864 1590 0 17 7 11 9 14.88/14.97 c 80 286 634262 1867 0 21 9 11 9 16.97/17.03 c 90 328 725549 2092 0 23 10 11 9 19.07/19.12 c 100 370 825182 2349 0 27 9 10 9 20.37/20.46 c 101 380 850839 2385 0 28 10 10 5 22.27/22.37 c 110 415 933425 2578 0 30 9 11 9 24.37/24.48 c 120 451 1016557 2825 0 32 8 10 8 26.48/26.53 c 130 489 1104900 3071 0 35 7 11 8 28.67/28.73 c 140 531 1202876 3364 0 39 9 10 9 30.56/30.61 c 150 569 1287128 3572 0 43 9 11 9 32.46/32.51 c 160 608 1376255 3799 0 47 8 11 9 34.17/34.29 c 170 649 1462361 4037 0 51 10 11 9 36.56/36.60 c 180 686 1553910 4269 0 53 5 10 7 38.57/38.66 c 190 730 1650557 4554 0 56 9 11 9 40.46/40.59 c 200 767 1730433 4786 0 59 9 11 9 42.16/42.28 c 210 803 1812064 5012 0 63 9 11 9 43.66/43.70 c 211 813 1834634 5055 0 64 10 10 5 45.46/45.50 c 220 851 1920873 5281 0 66 10 11 9 47.16/47.30 c 230 892 2009267 5551 0 68 10 11 9 48.96/49.05 c 240 927 2092152 5768 0 71 8 11 8 50.86/50.98 c 250 967 2187409 6039 0 73 9 10 9 52.66/52.79 c 260 1005 2276890 6278 0 77 8 11 8 54.76/54.83 c 270 1040 2356899 6524 0 80 8 11 8 56.75/56.85 c 280 1074 2438155 6746 0 83 5 10 8 58.85/58.98 c 290 1114 2530880 6989 0 86 9 10 8 60.95/61.06 c 300 1157 2630642 7254 0 87 9 11 9 62.95/63.00 c 310 1195 2721723 7496 0 91 8 10 8 64.86/65.00 c 320 1232 2804449 7745 0 95 4 10 8 66.85/66.97 c 330 1272 2894460 8010 0 97 9 10 9 68.25/68.31 c 332 1285 2928352 8088 0 98 10 10 6 70.24/70.32 c 340 1319 3004322 8288 0 100 8 10 8 72.24/72.37 c 350 1356 3096320 8514 0 104 6 10 8 74.44/74.59 c 360 1400 3195173 8792 0 107 10 10 9 75.44/75.55 conflict 4lvl : 4 bt4-25:0(4)X1185 77.14/77.21 -> -25:X(4)c 370 1441 3293985 9041 0 110 9 11 9 78.94/79.04 c 380 1484 3391295 9302 0 114 9 11 9 80.84/80.90 c 390 1522 3479645 9542 0 119 5 10 8 82.54/82.68 c 400 1558 3566725 9787 0 123 7 11 8 83.64/83.78 conflict 4lvl : 6 bt5-25:0(5)X1337 84.53/84.64 c 410 1597 3655025 10024 0 127 7 10 8 85.53/85.65 conflict 3lvl : 4 bt4-5:0(4)X1383 87.33/87.46 -> -5:X(4)c 420 1635 3751200 10265 0 132 7 11 8 89.14/89.29 c 430 1671 3831442 10512 0 133 8 11 9 91.34/91.48 c 440 1709 3923316 10719 0 135 8 11 8 93.33/93.50 c 450 1745 4008394 10946 0 137 9 11 9 95.73/95.85 c 460 1789 4111514 11193 0 139 6 11 8 96.73/96.85 conflict 2lvl : 3 bt3-5:0(2)X1482 97.62/97.72 c 465 1808 4158784 11292 0 143 6 10 7 99.22/99.34 c 470 1830 4212293 11394 0 146 8 10 7 101.23/101.37 c 480 1866 4301560 11582 0 149 7 10 8 103.72/103.83 c 490 1907 4399408 11827 0 151 6 11 8 105.92/106.01 c 500 1948 4495975 12085 0 151 9 10 9 107.42/107.57 c 510 1987 4593135 12322 1 153 9 10 8 109.02/109.19 c 520 2025 4685050 12553 1 155 8 11 8 110.52/110.60 conflict 5lvl : 9 bt9-21:0(6)X1634 111.12/111.23 -> -21:X(6)c 530 2068 4789880 12804 1 157 7 10 8 113.01/113.10 c 540 2110 4889503 13050 1 159 8 10 8 114.51/114.64 c 550 2142 4966640 13245 1 162 8 11 8 116.21/116.31 c 560 2187 5068958 13487 1 164 9 10 9 118.11/118.26 c 570 2225 5161009 13699 1 166 7 10 8 120.11/120.26 c 580 2269 5264634 13998 1 168 8 11 9 121.81/121.94 conflict 3lvl : 8 bt8-33:0(5)X1753 122.11/122.25 c 590 2313 5367534 14229 1 171 9 11 9 123.71/123.81 c 600 2355 5463797 14483 1 172 10 11 9 125.80/125.97 c 610 2397 5568861 14729 1 175 6 10 8 126.60/126.78 c 611 2406 5591400 14756 1 176 9 9 4 128.50/128.66 c 620 2441 5675277 15000 1 180 3 11 8 130.20/130.38 c 630 2483 5773454 15261 1 181 8 11 9 132.10/132.27 c 640 2524 5876120 15498 1 185 8 10 8 133.70/133.81 c 650 2563 5971087 15737 1 188 9 11 9 134.90/135.06 conflict 4lvl : 10 bt10-21:0(5)X1938 135.21/135.33 conflict 2lvl : 9 bt7-29:0(4)X1945 135.31/135.45 c 660 2604 6071019 15972 1 193 5 11 8 136.90/137.01 c 670 2640 6158704 16174 1 197 7 11 8 139.10/139.20 c 680 2679 6259090 16385 2 200 8 11 8 140.10/140.23 conflict 4lvl : 8 bt8-1:0(4)X2065 141.29/141.41 -> -1:X(4)c 690 2724 6372757 16618 3 201 4 10 8 142.79/142.98 c 700 2762 6474321 16832 5 203 5 10 7 143.49/143.63 c restarts : 75 143.49/143.63 c conflicts : 706 (5 /sec) 143.49/143.63 c decisions : 2788 (19 /sec) 143.49/143.63 c propagations : 16977 (118 /sec) 143.49/143.63 c root propagations : 0 143.49/143.63 c filter calls : 6542125 (45631 /sec) 143.49/143.63 c useless filter calls : 6534308 (99 %) 143.49/143.63 c 143.49/143.63 c clauses : 244 143.49/143.63 c SAT propagations : 389 143.49/143.63 c SAT conflicts : 30 (9 learnts) 143.49/143.63 c Memory used : 183.05 MB 143.49/143.63 c CPU time : 143.37 s 143.49/143.63 143.49/143.63 s UNSATISFIABLE
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-4241069-1500628947/watcher-4241069-1500628947 -o /tmp/evaluation-result-4241069-1500628947/solver-4241069-1500628947 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17720 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241069-1500628947.xml pid=19715 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.97 2.01 2.00 3/243 19718 /proc/meminfo: memFree=31588364/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=26992 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 968 0 0 0 0 0 0 0 20 0 1 0 16309078 27639808 766 33554432000 4194304 5970956 140736505255440 140736505252088 5672390 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 6748 766 683 434 0 112 0 [startup+0.100152 s] /proc/loadavg: 1.97 2.01 2.00 3/243 19718 /proc/meminfo: memFree=31588364/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=27732 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 1111 0 0 0 9 0 0 0 20 0 1 0 16309078 28397568 898 33554432000 4194304 5970956 140736505255440 140736505252040 140677828266814 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 6933 898 709 434 0 297 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27732 [startup+0.200211 s] /proc/loadavg: 1.97 2.01 2.00 3/243 19718 /proc/meminfo: memFree=31588364/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=32244 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 2276 0 0 0 19 0 0 0 20 0 1 0 16309078 33017856 2086 33554432000 4194304 5970956 140736505255440 140736505250024 140677828271077 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 8061 2086 719 434 0 1425 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 32244 [startup+0.300284 s] /proc/loadavg: 1.97 2.01 2.00 3/243 19718 /proc/meminfo: memFree=31588364/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=182824 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 39971 0 0 0 25 4 0 0 20 0 1 0 16309078 187211776 39720 33554432000 4194304 5970956 140736505255440 140736505251048 4941417 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 45706 39720 720 434 0 39070 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 182824 [startup+0.700301 s] /proc/loadavg: 1.97 2.01 2.00 3/243 19718 /proc/meminfo: memFree=31588364/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=187180 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 40026 0 0 0 65 4 0 0 20 0 1 0 16309078 191672320 39786 33554432000 4194304 5970956 140736505255440 140736505252696 4934310 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46795 39786 736 434 0 40159 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 187180 [startup+1.50031 s] /proc/loadavg: 1.97 2.01 2.00 3/244 19719 /proc/meminfo: memFree=31432092/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=187312 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 40037 0 0 0 145 4 0 0 20 0 1 0 16309078 191807488 39786 33554432000 4194304 5970956 140736505255440 140736505252520 4933182 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46828 39786 736 434 0 40192 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 187312 [startup+3.10029 s] /proc/loadavg: 1.97 2.01 2.00 3/244 19719 /proc/meminfo: memFree=31430984/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=187444 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 78273 0 0 0 304 5 0 0 20 0 1 0 16309078 191942656 39884 33554432000 4194304 5970956 140736505255440 140736505252776 4934272 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39884 767 434 0 40225 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 187444 [startup+6.3003 s] /proc/loadavg: 1.97 2.01 2.00 3/244 19719 /proc/meminfo: memFree=31430984/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=187444 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 117965 0 0 0 621 8 0 0 20 0 1 0 16309078 191942656 39884 33554432000 4194304 5970956 140736505255440 140736505252776 4934357 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39884 767 434 0 40225 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 187444 [startup+12.7005 s] /proc/loadavg: 1.98 2.01 2.00 3/244 19719 /proc/meminfo: memFree=31430612/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=187444 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 157154 0 0 0 1259 9 0 0 20 0 1 0 16309078 191942656 39884 33554432000 4194304 5970956 140736505255440 140736505252776 4933204 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39884 767 434 0 40225 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 187444 [startup+25.5004 s] /proc/loadavg: 1.98 2.01 2.00 3/244 19719 /proc/meminfo: memFree=31430612/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=187444 CPUtime=25.47 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 235082 0 0 0 2534 13 0 0 20 0 1 0 16309078 191942656 39884 33554432000 4194304 5970956 140736505255440 140736505252776 4933151 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39884 767 434 0 40225 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 187444 [startup+51.1005 s] /proc/loadavg: 1.99 2.01 2.00 3/244 19719 /proc/meminfo: memFree=31429228/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=187444 CPUtime=51.06 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 266553 0 0 0 5091 15 0 0 20 0 1 0 16309078 191942656 39885 33554432000 4194304 5970956 140736505255440 140736505252776 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39885 767 434 0 40225 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 187444 [startup+102.3 s] /proc/loadavg: 1.99 2.01 2.00 3/244 19720 /proc/meminfo: memFree=31428404/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=187444 CPUtime=102.23 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 287169 0 0 0 10207 16 0 0 20 0 1 0 16309078 191942656 39886 33554432000 4194304 5970956 140736505255440 140736505252776 4934327 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39886 767 434 0 40225 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 187444 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 19718 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+102.408 s] /proc/loadavg: 1.99 2.01 2.00 3/244 19720 /proc/meminfo: memFree=31428404/32770624 swapFree=6792/303196 [pid=19718] ppid=19715 vsize=187444 CPUtime=102.33 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 287169 0 0 0 10217 16 0 0 20 0 1 0 16309078 191942656 39886 33554432000 4194304 5970956 140736505255440 140736505252776 4933151 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39886 767 434 0 40225 0 Current children cumulated CPU time (s) 102.33 Current children cumulated vsize (KiB) 187444 [startup+128 s] /proc/loadavg: 2.00 2.01 2.00 3/244 19721 /proc/meminfo: memFree=31429340/32770624 swapFree=6792/303692 [pid=19718] ppid=19715 vsize=187444 CPUtime=127.9 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 289531 0 0 0 12774 16 0 0 20 0 1 0 16309078 191942656 39890 33554432000 4194304 5970956 140736505255440 140736505252776 4934465 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39890 770 434 0 40225 0 Current children cumulated CPU time (s) 127.9 Current children cumulated vsize (KiB) 187444 [startup+134.4 s] /proc/loadavg: 2.00 2.01 2.00 3/244 19721 /proc/meminfo: memFree=31429964/32770624 swapFree=6792/303724 [pid=19718] ppid=19715 vsize=187444 CPUtime=134.3 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 289531 0 0 0 13414 16 0 0 20 0 1 0 16309078 191942656 39890 33554432000 4194304 5970956 140736505255440 140736505252776 4934460 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39890 770 434 0 40225 0 Current children cumulated CPU time (s) 134.3 Current children cumulated vsize (KiB) 187444 [startup+137.608 s] /proc/loadavg: 2.00 2.01 2.00 3/244 19721 /proc/meminfo: memFree=31429964/32770624 swapFree=6792/303724 [pid=19718] ppid=19715 vsize=187444 CPUtime=137.5 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 289532 0 0 0 13734 16 0 0 20 0 1 0 16309078 191942656 39890 33554432000 4194304 5970956 140736505255440 140736505252776 4934320 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39890 770 434 0 40225 0 Current children cumulated CPU time (s) 137.5 Current children cumulated vsize (KiB) 187444 [startup+140.8 s] /proc/loadavg: 2.00 2.01 2.00 3/244 19721 /proc/meminfo: memFree=31429964/32770624 swapFree=6792/303724 [pid=19718] ppid=19715 vsize=187444 CPUtime=140.7 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 289533 0 0 0 14054 16 0 0 20 0 1 0 16309078 191942656 39891 33554432000 4194304 5970956 140736505255440 140736505252872 4934320 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39891 771 434 0 40225 0 Current children cumulated CPU time (s) 140.7 Current children cumulated vsize (KiB) 187444 [startup+142.4 s] /proc/loadavg: 2.00 2.01 2.00 3/244 19721 /proc/meminfo: memFree=31429964/32770624 swapFree=6792/303724 [pid=19718] ppid=19715 vsize=187444 CPUtime=142.29 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 289533 0 0 0 14213 16 0 0 20 0 1 0 16309078 191942656 39891 33554432000 4194304 5970956 140736505255440 140736505252776 4934323 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39891 771 434 0 40225 0 Current children cumulated CPU time (s) 142.29 Current children cumulated vsize (KiB) 187444 [startup+143.2 s] /proc/loadavg: 2.00 2.01 2.00 3/244 19721 /proc/meminfo: memFree=31429964/32770624 swapFree=6792/303724 [pid=19718] ppid=19715 vsize=187444 CPUtime=143.09 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 289533 0 0 0 14293 16 0 0 20 0 1 0 16309078 191942656 39891 33554432000 4194304 5970956 140736505255440 140736505252776 4930630 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39891 771 434 0 40225 0 Current children cumulated CPU time (s) 143.09 Current children cumulated vsize (KiB) 187444 [startup+143.6 s] /proc/loadavg: 2.00 2.01 2.00 3/244 19721 /proc/meminfo: memFree=31429964/32770624 swapFree=6792/303724 [pid=19718] ppid=19715 vsize=187444 CPUtime=143.49 cores=1,3,5,7,9,11,13,15 /proc/19718/stat : 19718 (cosoco) R 19715 19718 17688 0 -1 4202496 289533 0 0 0 14333 16 0 0 20 0 1 0 16309078 191942656 39891 33554432000 4194304 5970956 140736505255440 140736505252776 4934320 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 17362944 140736505259196 140736505259331 140736505259331 140736505262030 0 /proc/19718/statm: 46861 39891 771 434 0 40225 0 Current children cumulated CPU time (s) 143.49 Current children cumulated vsize (KiB) 187444 Child status: 0 Real time (s): 143.634 CPU time (s): 143.535 CPU user time (s): 143.37 CPU system time (s): 0.164893 CPU usage (%): 99.9315 Max. virtual memory (cumulated for all children) (KiB): 187444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 143.37 system time used= 0.164893 maximum resident set size= 159648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289574 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= 11 involuntary context switches= 7292 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.53851 second user time and 0.735249 second system time The end
Begin job on node112 at 2017-07-21 11:22:27 IDJOB=4241069 IDBENCH=125874 IDSOLVER=2621 FILE ID=node112/4241069-1500628947 RUNJOBID= node112-1500623784-17720 PBS_JOBID= 20623019 Free space on /tmp= 62020 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-16.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241069-1500628947/watcher-4241069-1500628947 -o /tmp/evaluation-result-4241069-1500628947/solver-4241069-1500628947 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17720 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241069-1500628947.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 2a6706ebf1a04474da396dd8277f6c47 RANDOM SEED=132268301 node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2000.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31588800 kB MemAvailable: 31829964 kB Buffers: 134764 kB Cached: 386752 kB SwapCached: 0 kB Active: 427032 kB Inactive: 311964 kB Active(anon): 220836 kB Inactive(anon): 8768 kB Active(file): 206196 kB Inactive(file): 303196 kB Unevictable: 6792 kB Mlocked: 6800 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2504 kB Writeback: 0 kB AnonPages: 66728 kB Mapped: 33156 kB Shmem: 8848 kB Slab: 128552 kB SReclaimable: 95216 kB SUnreclaim: 33336 kB KernelStack: 4672 kB PageTables: 4796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505016 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62020 MiB End job on node112 at 2017-07-21 11:24:51