Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-sat 1.12 | SAT (TO) | 3837939 | 240.03799 | 240.052 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml |
MD5SUM | e15ea9448d462545754e2532d86d3e94 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 3169398 |
Best CPU time to get the best result obtained on this benchmark | 252.08501 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 702 |
Number of constraints | 326 |
Number of domains | 2 |
Minimum domain size | 26 |
Maximum domain size | 280 |
Distribution of domain sizes | [{"size":26,"count":26},{"size":280,"count":325}] |
Minimum variable degree | 0 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":26}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 26 |
Distribution of constraint arities | [{"arity":3,"count":325},{"arity":26,"count":1}] |
Number of extensional constraints | 325 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":325},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
1.88/1.98 c SAT : Variables: 189956 -- Clauses: 26413712 1.88/1.98 c best=?? lower=-205560396 upper=0 2.00/2.03 c 2.00/2.03 c This is cosoco 1.12 -- 2.00/2.03 c 2.00/2.03 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266778-1502599009.xml 2.00/2.03 c enable optimization 2.00/2.03 c ========================================[ Problem Statistics ]=========================================== 2.00/2.03 c | 2.00/2.03 c | Parse time : 1.69 s 2.00/2.03 c | 2.00/2.03 c | Variables: 702 2.00/2.03 c | Domain Sizes: 26..280 2.00/2.03 c | 2.00/2.03 c | Constraints: 327 2.00/2.03 c | Arity: 3..325 -- Ternary: 325 2.00/2.03 c | 2.00/2.03 c | Types: 2.00/2.03 c | All Different: 1 2.00/2.03 c | Extension: 325 (nb tuples: 650..650) -- (shared: 324) 2.00/2.03 c | Sum: 1 2.00/2.03 c | 2.00/2.03 c ========================================================================================================= 2.00/2.03 conflict 49lvl : 105 bt105-421:0(60843)X105844154 2.00/2.03 conflict 49lvl : 105 bt104-425:0(60854)X105844206 2.10/2.12 o -5370865 2.10/2.12 c 1 calls to solver: best=-5370865 lower=-5370864 upper=0 2.39/2.42 o -5269580 2.49/2.54 o -5011253 2.49/2.54 c 3 calls to solver: best=-5011253 lower=-5011252 upper=0 2.59/2.65 o -4998736 2.78/2.82 conflict 49lvl : 103 bt103-149:0(64101)X105847288 2.78/2.82 conflict 49lvl : 103 bt102-404:0(64110)X105847340 2.88/2.90 conflict 49lvl : 59 bt59-97:0(48738)X105849252 2.88/2.91 conflict 49lvl : 69 bt69-357:0(52992)X105849304 3.18/3.26 conflict 49lvl : 103 bt103-97:0(64100)X105853144 3.18/3.26 conflict 49lvl : 103 bt102-196:0(64109)X105853196 3.58/3.60 conflict 49lvl : 104 bt104-590:0(64202)X105858359 3.58/3.60 conflict 49lvl : 104 bt103-508:0(64211)X105858411 3.88/3.99 conflict 49lvl : 104 bt104-664:0(64199)X105862772 3.88/3.99 conflict 49lvl : 104 bt103-118:0(64208)X105862824 3.99/4.04 o -4747122 3.99/4.04 c 5 calls to solver: best=-4747122 lower=-4747121 upper=0 3.99/4.10 conflict 49lvl : 105 bt104-668:0(64172)X105862876 4.18/4.28 conflict 49lvl : 26 bt26-508:0(12423)X105864682 4.18/4.28 conflict 71lvl : 26 bt25-471:0(12439)X105864734 4.18/4.28 conflict 49lvl : 28 bt25-498:0(18391)X105864808 4.38/4.49 conflict 49lvl : 130 bt130-174:0(70494)X105865780 4.38/4.49 conflict 49lvl : 130 bt129-170:0(70501)X105865832 5.28/5.40 conflict 49lvl : 171 bt155-382:0(78347)X105874779 5.48/5.59 conflict 49lvl : 105 bt105-560:0(64199)X105876513 5.48/5.59 conflict 49lvl : 104 bt104-565:0(64198)X105876565 5.78/5.89 conflict 49lvl : 59 bt59-356:0(48744)X105878305 5.78/5.89 conflict 49lvl : 69 bt69-201:0(53017)X105878357 5.88/5.90 conflict 49lvl : 80 bt69-222:0(57019)X105878409 6.18/6.25 conflict 49lvl : 59 bt59-278:0(48738)X105883205 6.18/6.25 conflict 49lvl : 69 bt69-326:0(53011)X105883257 6.58/6.61 conflict 49lvl : 60 bt60-616:0(48764)X105886438 6.58/6.61 conflict 49lvl : 70 bt70-534:0(53035)X105886490 6.78/6.82 conflict 49lvl : 59 bt59-279:0(48750)X105889763 6.78/6.82 conflict 49lvl : 69 bt69-14:0(53007)X105889815 6.89/6.91 conflict 49lvl : 44 bt44-591:0(39968)X105892029 6.89/6.91 conflict 72lvl : 49 bt49616:0(44697)X105892081 6.89/7.00 conflict 96lvl : 28 bt28638:0(18431)X105893261 7.09/7.19 conflict 49lvl : 116 bt115-488:0(64321)X105895400 7.18/7.20 conflict 49lvl : 128 bt115-488:0(67611)X105895452 7.48/7.52 o -4469419 7.58/7.62 o -4217447 7.58/7.62 c 7 calls to solver: best=-4217447 lower=-4217446 upper=0 7.79/7.82 o -4182180 7.99/8.06 conflict 72lvl : 25 bt25404:0(12417)X105902093 7.99/8.06 conflict 70lvl : 25 bt24-393:0(12431)X105902168 8.68/8.77 conflict 49lvl : 59 bt59-331:0(48769)X105908305 8.68/8.77 conflict 49lvl : 69 bt69-643:0(53027)X105908357 8.68/8.77 conflict 71lvl : 80 bt69-201:0(57039)X105908409 9.48/9.59 conflict 49lvl : 116 bt115-421:0(64335)X105916827 9.48/9.59 conflict 49lvl : 128 bt115-408:0(67617)X105916879 9.58/9.68 conflict 49lvl : 92 bt92-665:0(61321)X105918163 10.38/10.44 conflict 49lvl : 59 bt59-487:0(48788)X105924152 10.38/10.45 conflict 49lvl : 69 bt69-408:0(53055)X105924204 10.38/10.45 conflict 49lvl : 80 bt69-278:0(57057)X105924256 10.48/10.55 conflict 49lvl : 61 bt61-404:0(48785)X105925648 10.48/10.55 conflict 49lvl : 71 bt71-482:0(53049)X105925700 10.48/10.56 conflict 93lvl : 71 bt61-473:0(53039)X105925752 10.78/10.85 conflict 49lvl : 59 bt59-71:0(48788)X105929121 10.78/10.85 conflict 49lvl : 69 bt69-149:0(53028)X105929173 10.78/10.85 conflict 93lvl : 69 bt59-135:0(53024)X105929225 10.88/10.94 conflict 49lvl : 38 bt38-616:0(34898)X105930595 11.29/11.33 conflict 49lvl : 60 bt60-278:0(48795)X105935325 11.29/11.33 conflict 49lvl : 70 bt70-305:0(53050)X105935377 11.58/11.63 conflict 72lvl : 59 bt59222:0(48737)X105938368 11.58/11.64 conflict 49lvl : 69 bt69-201:0(52997)X105938443 11.58/11.64 conflict 71lvl : 80 bt69-227:0(57008)X105938495 11.78/11.83 conflict 49lvl : 116 bt116-317:0(64334)X105940282 11.78/11.83 conflict 71lvl : 116 bt115-291:0(64339)X105940334 11.78/11.84 conflict 49lvl : 128 bt128-668:0(67613)X105940408 11.88/11.90 conflict 71lvl : 28 bt28-659:0(18395)X105941943 11.88/11.91 conflict 96lvl : 31 bt31617:0(24230)X105942017 12.18/12.27 conflict 93lvl : 27 bt26-133:0(12443)X105945454 12.18/12.28 conflict 93lvl : 29 bt26-134:0(18395)X105945550 12.98/13.07 conflict 49lvl : 60 bt60-331:0(48792)X105952795 12.98/13.08 conflict 49lvl : 70 bt70-305:0(53053)X105952847 12.98/13.08 conflict 49lvl : 81 bt70-201:0(57055)X105952899 13.68/13.71 conflict 49lvl : 60 bt60-149:0(48775)X105958638 13.68/13.71 conflict 49lvl : 70 bt70-201:0(53031)X105958690 13.68/13.71 conflict 49lvl : 81 bt70-331:0(57043)X105958742 13.77/13.84 conflict 71lvl : 140 bt140-101:0(73227)X105960955 13.98/14.02 conflict 49lvl : 116 bt116-659:0(64281)X105963032 13.98/14.02 conflict 71lvl : 116 bt115-291:0(64286)X105963084 13.98/14.03 conflict 71lvl : 128 bt128-659:0(67564)X105963158 14.18/14.28 conflict 93lvl : 27 bt26-185:0(12443)X105966461 14.18/14.29 conflict 93lvl : 29 bt26-186:0(18415)X105966557 14.28/14.37 conflict 71lvl : 27 bt26-654:0(12429)X105967947 14.28/14.37 conflict 137lvl : 26 bt25-263:0(12437)X105968021 14.28/14.38 conflict 71lvl : 29 bt29-669:0(18380)X105968161 14.28/14.38 conflict 93lvl : 29 bt28-264:0(18396)X105968235 14.28/14.38 conflict 115lvl : 28 bt25-420:0(18389)X105968331 14.48/14.54 conflict 49lvl : 27 bt27-664:0(12429)X105970068 14.48/14.54 conflict 93lvl : 27 bt26-55:0(12445)X105970120 14.48/14.54 conflict 71lvl : 29 bt26-654:0(18381)X105970216 15.09/15.17 conflict 49lvl : 38 bt38-591:0(34909)X105976579 15.09/15.17 conflict 49lvl : 42 bt42-643:0(39857)X105976631 15.88/15.93 conflict 93lvl : 26 bt26-56:0(12426)X105986604 15.88/15.93 conflict 115lvl : 26 bt25-133:0(12437)X105986700 15.88/15.93 conflict 118lvl : 28 bt28149:0(18368)X105986818 15.88/15.94 conflict 49lvl : 32 bt28-668:0(23978)X105986939 16.37/16.42 conflict 93lvl : 27 bt26-341:0(12443)X105994013 16.37/16.42 conflict 93lvl : 29 bt26-342:0(18398)X105994109 17.27/17.30 conflict 49lvl : 103 bt90-21:0(67578)X106004688 17.47/17.51 conflict 72lvl : 79 bt79223:0(56874)X106006894 17.47/17.52 conflict 49lvl : 103 bt79-44:0(67633)X106006969 17.47/17.59 conflict 93lvl : 27 bt26-393:0(12443)X106008457 17.47/17.59 conflict 90lvl : 29 bt26-394:0(18408)X106008553 17.67/17.79 conflict 49lvl : 26 bt25-123:0(12423)X106010793 17.67/17.79 conflict 49lvl : 28 bt25-123:0(18390)X106010845 17.99/18.08 conflict 96lvl : 79 bt79197:0(56871)X106013235 17.99/18.08 conflict 117lvl : 79 bt79197:0(56876)X106013334 17.99/18.09 conflict 49lvl : 103 bt78-20:0(67639)X106013454 18.28/18.30 conflict 118lvl : 79 bt79197:0(56866)X106016345 18.28/18.30 conflict 116lvl : 79 bt78197:0(56872)X106016466 18.28/18.30 conflict 72lvl : 90 bt90197:0(60698)X106016585 18.48/18.51 conflict 49lvl : 105 bt104-482:0(60633)X106018529 18.48/18.51 conflict 49lvl : 116 bt105-642:0(64194)X106018581 18.48/18.56 conflict 49lvl : 26 bt25-196:0(12423)X106020575 18.48/18.56 conflict 49lvl : 28 bt25-565:0(18372)X106020627 18.88/18.98 conflict 72lvl : 116 bt116330:0(67526)X106023749 18.99/19.07 conflict 72lvl : 117 bt117122:0(67514)X106025064 19.09/19.16 conflict 72lvl : 116 bt116330:0(67526)X106026422 19.28/19.35 conflict 49lvl : 105 bt105-664:0(60633)X106028673 19.28/19.35 conflict 49lvl : 105 bt104-670:0(60639)X106028725 19.28/19.35 conflict 49lvl : 116 bt105-666:0(64191)X106028777 19.37/19.40 conflict 72lvl : 25 bt2571:0(12417)X106030771 19.37/19.40 conflict 70lvl : 25 bt24-55:0(12431)X106030846 19.37/19.41 conflict 49lvl : 28 bt28-66:0(18394)X106030919 19.37/19.41 conflict 71lvl : 28 bt27-186:0(18410)X106030971 19.37/19.41 conflict 71lvl : 31 bt27-187:0(23994)X106031045 19.57/19.62 conflict 49lvl : 117 bt117-201:0(67518)X106033220 19.57/19.62 conflict 49lvl : 117 bt116-196:0(67522)X106033272 19.77/19.80 conflict 70lvl : 78 bt78-197:0(56860)X106037136 19.87/19.91 conflict 49lvl : 117 bt116-97:0(67529)X106037807 20.08/20.18 conflict 118lvl : 79 bt79483:0(56886)X106042596 20.08/20.18 conflict 117lvl : 79 bt79483:0(56892)X106042717 20.08/20.18 conflict 49lvl : 78 bt78-46:0(56892)X106042837 21.18/21.25 conflict 93lvl : 27 bt26-81:0(12443)X106056226 21.18/21.26 conflict 93lvl : 29 bt26-82:0(18403)X106056322 21.58/21.65 conflict 49lvl : 104 bt103-668:0(64256)X106059633 21.78/21.88 conflict 49lvl : 172 bt157-538:0(78346)X106060620 22.38/22.48 conflict 72lvl : 115 bt115222:0(67455)X106067430 22.48/22.57 conflict 72lvl : 79 bt79666:0(56873)X106069307 22.48/22.58 conflict 117lvl : 79 bt79665:0(56879)X106069382 22.48/22.58 conflict 71lvl : 78 bt78-665:0(56877)X106069502 22.58/22.68 conflict 49lvl : 116 bt116-149:0(67470)X106070041 22.58/22.68 conflict 49lvl : 116 bt115-144:0(67475)X106070093 22.77/22.84 conflict 93lvl : 27 bt26-263:0(12443)X106073118 22.77/22.85 conflict 93lvl : 29 bt26-264:0(18384)X106073214 23.27/23.36 conflict 72lvl : 115 bt115564:0(67485)X106078483 23.47/23.57 conflict 72lvl : 144 bt144122:0(73377)X106079855 23.87/23.97 conflict 49lvl : 145 bt145-357:0(73337)X106087265 23.87/23.97 conflict 49lvl : 145 bt144-352:0(73337)X106087317 24.38/24.46 conflict 49lvl : 161 bt161-175:0(75920)X106095960 24.38/24.46 conflict 49lvl : 161 bt160-170:0(75920)X106096012 24.78/24.81 conflict 49lvl : 61 bt61-196:0(48783)X106101181 24.78/24.82 conflict 49lvl : 71 bt71-383:0(53039)X106101233 24.88/24.94 conflict 49lvl : 170 bt169-447:0(75889)X106103162 25.09/25.14 conflict 49lvl : 141 bt141-633:0(70603)X106105912 25.09/25.14 conflict 49lvl : 141 bt140-627:0(70603)X106105964 25.18/25.25 conflict 49lvl : 144 bt144-378:0(73323)X106108117 25.68/25.72 conflict 49lvl : 145 bt145-383:0(73325)X106116529 25.68/25.72 conflict 49lvl : 145 bt144-378:0(73331)X106116581 25.68/25.78 conflict 49lvl : 59 bt59-97:0(48768)X106119335 25.68/25.79 conflict 49lvl : 80 bt69-201:0(57025)X106119387 25.78/25.89 conflict 49lvl : 91 bt90-20:0(60659)X106120779 25.78/25.90 conflict 49lvl : 103 bt91-20:0(64230)X106120831 25.99/26.10 conflict 49lvl : 130 bt90-23:0(73509)X106124074 26.48/26.50 conflict 49lvl : 145 bt145-201:0(73323)X106128306 26.48/26.50 conflict 49lvl : 145 bt144-196:0(73325)X106128358 26.48/26.56 conflict 71lvl : 27 bt26-654:0(12429)X106130528 26.48/26.56 conflict 115lvl : 26 bt25-55:0(12437)X106130602 26.48/26.56 conflict 142lvl : 28 bt28300:0(18394)X106130720 26.48/26.56 conflict 70lvl : 28 bt25-290:0(18407)X106130865 26.68/26.79 conflict 49lvl : 145 bt145-96:0(73319)X106133285 26.68/26.79 conflict 49lvl : 145 bt144-92:0(73325)X106133337 26.78/26.85 conflict 49lvl : 28 bt28-643:0(18442)X106135046 26.78/26.85 conflict 72lvl : 31 bt31664:0(24163)X106135098 26.88/26.97 conflict 49lvl : 105 bt104-369:0(60854)X106135722 26.88/26.97 conflict 49lvl : 116 bt104-655:0(64385)X106135774 27.09/27.16 conflict 72lvl : 90 bt90639:0(60633)X106139547 27.09/27.16 conflict 70lvl : 90 bt89-638:0(60638)X106139622 27.18/27.24 conflict 97lvl : 29 bt26289:0(18262)X106141410 27.28/27.33 conflict 72lvl : 49 bt49638:0(35029)X106142322 27.48/27.51 conflict 117lvl : 90 bt90197:0(60629)X106143541 27.48/27.51 conflict 116lvl : 90 bt89-196:0(60635)X106143661 27.68/27.71 conflict 49lvl : 130 bt90-46:0(73489)X106145108 27.88/27.92 conflict 49lvl : 128 bt127-629:0(67596)X106147754 27.88/27.92 conflict 49lvl : 141 bt127-369:0(70627)X106147806 28.28/28.31 conflict 138lvl : 79 bt79640:0(56882)X106153508 28.28/28.31 conflict 71lvl : 79 bt78-639:0(56888)X106153649 28.28/28.31 conflict 94lvl : 90 bt90642:0(60695)X106153723 29.18/29.21 conflict 49lvl : 101 bt101-20:0(67679)X106164298 29.18/29.27 conflict 49lvl : 38 bt38-642:0(34892)X106164848 29.18/29.28 conflict 72lvl : 49 bt49586:0(44658)X106164900 29.48/29.58 conflict 160lvl : 78 bt78430:0(56883)X106169147 29.48/29.58 conflict 139lvl : 90 bt79642:0(60701)X106169310 29.67/29.79 conflict 49lvl : 105 bt104-373:0(60859)X106172482 29.67/29.79 conflict 49lvl : 116 bt104-529:0(64385)X106172534 29.77/29.86 conflict 49lvl : 38 bt38-617:0(34887)X106174717 29.77/29.87 conflict 72lvl : 42 bt42664:0(39832)X106174769 29.98/30.08 conflict 72lvl : 116 bt11644:0(67523)X106177903 30.17/30.27 conflict 141lvl : 90 bt90205:0(60686)X106180657 30.37/30.46 conflict 141lvl : 90 bt90205:0(60691)X106184008 30.77/30.88 conflict 94lvl : 90 bt90200:0(60709)X106187782 31.08/31.16 conflict 138lvl : 78 bt7892:0(56884)X106189145 31.08/31.16 conflict 140lvl : 90 bt90197:0(60693)X106189286 31.17/31.26 conflict 138lvl : 78 bt78406:0(56874)X106190453 31.17/31.26 conflict 139lvl : 90 bt79197:0(60690)X106190594 31.48/31.56 conflict 72lvl : 146 bt14645:0(73440)X106194883 31.48/31.57 conflict 49lvl : 163 bt146-665:0(76010)X106194958 31.68/31.75 conflict 159lvl : 78 bt7898:0(56874)X106199034 31.68/31.75 conflict 158lvl : 79 bt79-92:0(56881)X106199196 31.68/31.75 -> -92:X(56881)conflict 138lvl : 89 bt8998:0(60684)X106199357 31.88/31.94 conflict 136lvl : 79 bt79-664:0(56876)X106200662 32.38/32.46 -> -664:X(56876)conflict 72lvl : 104 bt104549:0(60849)X106207690 32.38/32.46 conflict 70lvl : 104 bt103-549:0(60855)X106207765 32.38/32.46 conflict 49lvl : 116 bt115-551:0(64381)X106207838 32.77/32.85 conflict 140lvl : 90 bt90642:0(60636)X106213170 32.77/32.85 conflict 139lvl : 90 bt89-639:0(60642)X106213313 32.77/32.86 conflict 49lvl : 102 bt102-46:0(64204)X106213455 32.77/32.86 conflict 93lvl : 102 bt89-639:0(64208)X106213507 32.98/33.05 conflict 136lvl : 79 bt79-638:0(56889)X106215513 33.37/33.43 -> -638:X(56889)conflict 140lvl : 79 bt79483:0(56881)X106219298 33.37/33.43 conflict 136lvl : 80 bt80-482:0(56887)X106219441 33.57/33.64 -> -482:X(56887)conflict 136lvl : 79 bt79-404:0(56873)X106221929 33.98/34.02 -> -404:X(56873)conflict 49lvl : 101 bt101-127:0(67668)X106226825 34.28/34.39 conflict 118lvl : 90 bt90205:0(60694)X106231144 34.67/34.71 conflict 49lvl : 163 bt146-665:0(75993)X106234151 34.77/34.87 conflict 49lvl : 101 bt101-205:0(67667)X106236331 35.08/35.12 conflict 49lvl : 43 bt43-612:0(39987)X106240237 35.08/35.13 conflict 72lvl : 49 bt49668:0(44723)X106240289 35.37/35.45 conflict 49lvl : 118 bt118-565:0(67479)X106243800 35.37/35.45 conflict 49lvl : 117 bt117-487:0(67478)X106243852 35.47/35.54 conflict 49lvl : 116 bt115-565:0(67485)X106245940 35.57/35.68 o -4142226 35.57/35.68 c 9 calls to solver: best=-4142226 lower=-4142225 upper=0 35.67/35.74 conflict 161lvl : 78 bt78197:0(56881)X106247552 35.67/35.74 conflict 136lvl : 79 bt79-196:0(56886)X106247716 35.77/35.89 -> -196:X(56886)o -4133810 37.87/37.96 conflict 72lvl : 160 bt160226:0(75899)X106275072 38.47/38.51 conflict 49lvl : 62 bt62-97:0(48793)X106283900 38.47/38.52 conflict 49lvl : 94 bt94-668:0(64461)X106283952 38.47/38.53 conflict 95lvl : 118 bt118-612:0(70831)X106284004 38.47/38.58 conflict 139lvl : 26 bt25-289:0(12423)X106285186 38.47/38.59 conflict 71lvl : 32 bt28-655:0(23997)X106285328 39.08/39.19 o -4006230 39.08/39.19 c 11 calls to solver: best=-4006230 lower=-4006229 upper=0 39.38/39.45 conflict 72lvl : 62 bt62612:0(48787)X106294229 39.38/39.46 conflict 141lvl : 94 bt94616:0(64467)X106294304 39.98/40.05 conflict 72lvl : 61 bt61616:0(48787)X106301277 39.98/40.05 conflict 49lvl : 71 bt71-513:0(53067)X106301352 40.47/40.53 conflict 49lvl : 60 bt60-123:0(48784)X106308142 40.47/40.54 conflict 49lvl : 70 bt70-565:0(53042)X106308194 40.47/40.54 conflict 70lvl : 81 bt70-486:0(57046)X106308246 40.57/40.66 conflict 71lvl : 128 bt127-384:0(67595)X106309753 40.57/40.67 conflict 49lvl : 141 bt127-451:0(70627)X106309827 40.77/40.85 conflict 49lvl : 141 bt140-525:0(70609)X106313573 40.98/41.03 conflict 72lvl : 115 bt11573:0(70680)X106316570 41.87/41.97 conflict 49lvl : 115 bt115-101:0(70684)X106327130 42.37/42.45 conflict 49lvl : 141 bt141-503:0(70604)X106332612 42.37/42.45 conflict 49lvl : 141 bt140-497:0(70603)X106332664 43.27/43.35 o -3837939 43.37/43.47 conflict 93lvl : 27 bt26-187:0(12443)X106343312 43.37/43.48 conflict 70lvl : 29 bt26-191:0(18418)X106343408 43.77/43.84 conflict 70lvl : 115 bt89-101:0(70687)X106346634 44.47/44.54 conflict 49lvl : 161 bt161-148:0(75907)X106354661 44.47/44.54 conflict 49lvl : 161 bt160-144:0(75906)X106354713 45.38/45.40 conflict 95lvl : 25 bt25497:0(12419)X106364092 45.38/45.40 conflict 119lvl : 28 bt2871:0(18396)X106364190 45.38/45.41 conflict 117lvl : 28 bt25-56:0(18410)X106364312 45.98/46.03 conflict 49lvl : 145 bt144-18:0(73303)X106370625 46.18/46.23 conflict 49lvl : 141 bt141-607:0(70600)X106373057 46.18/46.23 conflict 49lvl : 141 bt140-601:0(70602)X106373109 46.37/46.40 conflict 72lvl : 140 bt140577:0(70593)X106376211 46.37/46.49 conflict 49lvl : 130 bt130-201:0(70495)X106378291 46.37/46.49 conflict 49lvl : 130 bt129-196:0(70502)X106378343 46.98/47.06 conflict 71lvl : 90 bt90-203:0(60612)X106384812 46.98/47.06 conflict 139lvl : 90 bt89-197:0(60618)X106384886 46.98/47.06 conflict 117lvl : 102 bt102200:0(64184)X106385028 47.47/47.54 conflict 138lvl : 89 bt89430:0(60611)X106390664 47.47/47.54 conflict 116lvl : 102 bt90-202:0(64185)X106390805 47.67/47.76 conflict 138lvl : 89 bt89203:0(60629)X106392761 47.67/47.76 conflict 116lvl : 102 bt89647:0(64200)X106392902 47.98/48.06 conflict 71lvl : 91 bt91-543:0(60632)X106395933 47.98/48.06 conflict 49lvl : 91 bt90-535:0(60640)X106396007 47.98/48.07 conflict 49lvl : 103 bt91-645:0(64218)X106396059 48.08/48.13 conflict 49lvl : 27 bt27-668:0(12429)X106397651 48.08/48.14 conflict 114lvl : 27 bt26-3:0(12445)X106397703 48.08/48.14 conflict 70lvl : 29 bt26-654:0(18415)X106397820 48.27/48.30 conflict 96lvl : 26 bt26601:0(12427)X106399313 48.27/48.30 conflict 49lvl : 29 bt26-664:0(18416)X106399412 48.47/48.57 conflict 49lvl : 115 bt115-101:0(70696)X106402246 48.57/48.65 conflict 49lvl : 91 bt90-20:0(60630)X106403605 48.57/48.65 conflict 49lvl : 103 bt90-20:0(64216)X106403657 48.67/48.73 conflict 93lvl : 27 bt26-367:0(12443)X106405167 48.67/48.73 conflict 70lvl : 29 bt26-368:0(18411)X106405263 48.77/48.81 conflict 93lvl : 26 bt26-357:0(12423)X106406630 48.77/48.81 conflict 113lvl : 26 bt25-445:0(12439)X106406726 48.77/48.82 conflict 49lvl : 28 bt25-342:0(18403)X106406842 49.17/49.21 conflict 49lvl : 141 bt127-607:0(70626)X106411904 49.27/49.31 conflict 49lvl : 145 bt144-357:0(73327)X106413837 49.27/49.39 conflict 95lvl : 90 bt90145:0(60638)X106415586 49.27/49.39 conflict 92lvl : 90 bt89-144:0(60641)X106415684 49.27/49.40 conflict 70lvl : 102 bt102-566:0(64203)X106415779 49.37/49.46 conflict 71lvl : 25 bt25-446:0(12420)X106416883 49.37/49.46 conflict 137lvl : 25 bt24-3:0(12431)X106416957 49.37/49.47 conflict 71lvl : 28 bt28-19:0(18404)X106417097 49.37/49.47 conflict 70lvl : 28 bt27-342:0(18420)X106417171 49.47/49.55 conflict 70lvl : 26 bt26-456:0(12426)X106417788 49.47/49.55 conflict 70lvl : 26 bt25-456:0(12437)X106417861 49.47/49.55 conflict 120lvl : 28 bt28602:0(18367)X106417934 49.47/49.56 conflict 49lvl : 32 bt28-668:0(24044)X106418057 49.67/49.72 conflict 137lvl : 26 bt25-445:0(12437)X106420251 49.67/49.73 conflict 72lvl : 28 bt28421:0(18365)X106420391 49.67/49.73 conflict 70lvl : 28 bt25-420:0(18377)X106420466 49.77/49.84 conflict 49lvl : 130 bt129-435:0(70523)X106421214 49.98/50.02 conflict 139lvl : 79 bt79202:0(56908)X106425598 49.98/50.02 conflict 49lvl : 91 bt79-21:0(60722)X106425740 50.17/50.22 conflict 49lvl : 79 bt79-14:0(56904)X106429005 50.17/50.22 conflict 49lvl : 91 bt80-15:0(60723)X106429057 50.37/50.41 conflict 163lvl : 79 bt79203:0(56901)X106432374 50.37/50.41 conflict 162lvl : 79 bt79203:0(56908)X106432540 50.37/50.41 conflict 133lvl : 79 bt78-567:0(56910)X106432705 50.37/50.42 conflict 114lvl : 90 bt90200:0(60712)X106432841 50.47/50.54 conflict 49lvl : 116 bt116-179:0(64087)X106433616 50.47/50.54 conflict 49lvl : 116 bt115-176:0(64094)X106433668 50.47/50.55 conflict 49lvl : 128 bt116-179:0(67397)X106433720 50.57/50.69 conflict 70lvl : 26 bt26-420:0(12426)X106436871 50.57/50.69 conflict 114lvl : 26 bt25-3:0(12437)X106436944 50.67/50.70 conflict 95lvl : 28 bt289:0(18394)X106437061 50.67/50.70 conflict 71lvl : 32 bt28-669:0(23986)X106437159 50.77/50.87 conflict 71lvl : 25 bt25-341:0(12421)X106440374 50.77/50.87 conflict 71lvl : 28 bt25-564:0(18392)X106440448 51.77/51.86 conflict 70lvl : 27 bt26-369:0(12443)X106456851 51.77/51.86 conflict 70lvl : 29 bt26-373:0(18412)X106456924 51.87/51.95 conflict 70lvl : 26 bt25-4:0(12426)X106458291 51.87/51.95 conflict 70lvl : 32 bt28-659:0(24031)X106458364 52.08/52.12 conflict 96lvl : 25 bt25638:0(12420)X106461159 52.08/52.13 conflict 93lvl : 25 bt24-627:0(12431)X106461258 52.08/52.13 conflict 92lvl : 27 bt27-643:0(18386)X106461354 52.08/52.13 conflict 116lvl : 27 bt24-186:0(18397)X106461449 52.27/52.31 conflict 71lvl : 33 bt26-668:0(29426)X106464152 52.37/52.40 conflict 94lvl : 38 bt38664:0(34916)X106465491 52.77/52.83 conflict 49lvl : 157 bt157-91:0(73533)X106471606 52.97/53.02 -> -91:X(73533)conflict 49lvl : 117 bt117-331:0(67499)X106474379 52.97/53.02 conflict 49lvl : 117 bt116-326:0(67507)X106474431 54.98/55.08 conflict 72lvl : 117 bt117382:0(67526)X106483701 57.17/57.30 conflict 70lvl : 27 bt26-29:0(12443)X106487211 57.27/57.30 conflict 70lvl : 29 bt26-30:0(18384)X106487284 59.98/60.06 conflict 49lvl : 116 bt115-70:0(67517)X106492483 61.57/61.60 conflict 49lvl : 172 bt156-564:0(78363)X106494460 62.97/63.07 conflict 165lvl : 26 bt26227:0(12423)X106500071 62.97/63.07 conflict 114lvl : 26 bt25-211:0(12437)X106500239 62.97/63.08 conflict 164lvl : 28 bt28226:0(18406)X106500356 62.97/63.08 conflict 94lvl : 28 bt25-212:0(18419)X106500523 66.76/66.81 conflict 49lvl : 104 bt104-643:0(64186)X106505211 66.76/66.81 conflict 49lvl : 104 bt103-66:0(64195)X106505263 76.87/76.95 conflict 49lvl : 59 bt59-40:0(48745)X106518656 76.87/76.96 conflict 49lvl : 69 bt69-66:0(52995)X106518708 88.98/89.05 conflict 49lvl : 59 bt59-326:0(48744)X106526059 88.98/89.06 conflict 49lvl : 69 bt69-40:0(53016)X106526111 88.98/89.06 conflict 49lvl : 80 bt69-71:0(57023)X106526163 109.67/109.76 conflict 70lvl : 123 bt123-280:0(67668)X106539128 109.67/109.76 conflict 70lvl : 138 bt122-46:0(70735)X106539201 154.56/154.62 conflict 94lvl : 28 bt28-612:0(18476)X106567510 154.56/154.62 conflict 70lvl : 30 bt28-638:0(24043)X106567607 166.98/167.07 conflict 49lvl : 170 bt169-607:0(75873)X106571827 192.99/193.09 conflict 49lvl : 103 bt102-305:0(64195)X106580170 239.98/240.01 239.98/240.01 c *** INTERRUPTED *** 239.98/240.01 c restarts : 550 239.98/240.01 c conflicts : 134668 (562 /sec) 239.98/240.01 c decisions : 1493823 (6239 /sec) 239.98/240.01 c propagations : 247900540 (1035386 /sec) 239.98/240.01 c root propagations : 3575 239.98/240.01 c filter calls : 22812676 (95280 /sec) 239.98/240.01 c useless filter calls : 18365525 (80 %) 239.98/240.01 c 239.98/240.01 c clauses : 26417828 239.98/240.01 c SAT propagations : 588 239.98/240.01 c SAT conflicts : 0 (354 learnts) 239.98/240.01 c Memory used : 1367.80 MB 239.98/240.01 c CPU time : 239.428 s 239.98/240.01 239.98/240.01 c nb Solutions = 12 239.98/240.01 s SATISFIABLE 239.98/240.01 c Best value found: -3837939 239.98/240.01 239.98/240.01 239.98/240.01 v <instantiation type='solution' cost='-3837939'> 239.98/240.01 v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list> 239.98/240.01 v <values>* 30 8 506 40 3 5 0 296 3 3 0 4 8 8 1 0 0 2 5 11 6 7 973 16 1356 * * 28 556 16 15 54 12 1268 8 1 * 9 24 21 19 0 1 * * * * * * * * * * * 313 2 1 0 0 140 256 0 * 0 3 0 0 0 0 * * * * * * * * * * * * 5 270 8 856 49 566 242 * 291 454 955 528 4 0 * * * * * * * * * * * * * 0 0 1 4 0 7 * 0 0 1 1 0 0 * * * * * * * * * * * * * * 79 24 228 191 0 * 7 10 2 5 0 0 * * * * * * * * * * * * * * * 8 286 15 0 * 4 3 0 0 0 0 * * * * * * * * * * * * * * * * 546 23 1 * 11 16 93 17 0 0 * * * * * * * * * * * * * * * * * 375 462 * 46 88 75 896 2 10 * * * * * * * * * * * * * * * * * * 5 * 106 28 43 177 0 0 * * * * * * * * * * * * * * * * * * * * 1 1 3 0 0 1 * * * * * * * * * 0 0 574 0 5 0 0 477 13 0 * 0 1 0 7 0 0 0 17 108 11 0 390 0 959 * * * * * * * * * * * * * 4 5 53 0 0 * * * * * * * * * * * * * * * * * * * * * * 3 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * 55 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 5 1 1 0 21 1 7 9 * 0 0 39 1 0 0 * 4 0 16 17 6 34 9 * 60 48 811 52 22 160 34 1256 46 12 * 6 88 12 139 0 0 * * 280 5 622 770 595 3844 * 224 83 0 1 136 8 80 977 228 64 * 12 11 14 69 11 0 * * * 489 494 29 388 81 * 2401 116 533 14 318 107 64 1212 187 146 * 47 131 20 1949 2 8 * * * * 31 768 1009 1012 * 1434 190 1095 9 476 165 234 1035 427 39 * 13 187 86 301 5 1 * * * * * 1140 869 2129 * 516 57 1 6 507 15 576 94 1531 495 * 294 120 247 610 3 0 * * * * * * 500 5 * 70 70 232 93 90 51 89 301 336 1005 * 20 61 339 26 0 2 * * * * * * * 943 * 1114 331 46 9 777 222 688 1061 2717 415 * 515 660 284 926 56 11 * * * * * * * * 22 3 1 14 9 10 7 12 8 11 2 25 5 21 15 6 23 16 24 19 20 13 17 0 18 4 </values> 239.98/240.01 v </instantiation> 239.98/240.01
OK 3837939
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12352 MiB free) memory of node 1: 16384 MiB (13672 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266778-1502599009/watcher-4266778-1502599009 -o /tmp/evaluation-result-4266778-1502599009/solver-4266778-1502599009 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502597910-28410 --watchdog 300 cosoco -lc -model -restarts -sat HOME/instance-4266778-1502599009.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=28566, runsolver pid=28563 [startup+0.100123 s]* /proc/loadavg: 2.11 2.23 2.14 3/190 28577 /proc/meminfo: memFree=26599376/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=76108 memory=51116 CPUtime=0.1 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 11947 0 0 0 9 1 0 0 20 0 1 0 92972589 77934592 12779 33554432000 4194304 5972588 140735889850880 140735889847528 139637138746341 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 19027 12779 766 435 0 12390 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 76108 KiB Current children cumulated memory: 51116 KiB [startup+0.209783 s]* /proc/loadavg: 2.11 2.23 2.14 3/190 28577 /proc/meminfo: memFree=26534384/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=159244 memory=117788 CPUtime=0.2 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 24000 0 0 0 18 2 0 0 20 0 1 0 92972589 163065856 29447 33554432000 4194304 5972588 140735889850880 140735889847528 139637138746341 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 39811 29447 766 435 0 33174 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 159244 KiB Current children cumulated memory: 117788 KiB [startup+0.309526 s]* /proc/loadavg: 2.11 2.23 2.14 3/190 28577 /proc/meminfo: memFree=26472920/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=229272 memory=177836 CPUtime=0.31 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 33430 0 0 0 27 4 0 0 20 0 1 0 92972589 234774528 44459 33554432000 4194304 5972588 140735889850880 140735889847528 139637138746341 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 57318 44459 766 435 0 50681 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 229272 KiB Current children cumulated memory: 177836 KiB [startup+0.700319 s] /proc/loadavg: 2.11 2.23 2.14 3/190 28577 /proc/meminfo: memFree=26353204/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=514888 memory=407776 CPUtime=0.68 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 66883 0 0 0 59 9 0 0 20 0 1 0 92972589 527245312 101944 33554432000 4194304 5972588 140735889850880 140735889847528 139637138746341 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 128722 101944 766 435 0 122085 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 514888 KiB Current children cumulated memory: 407776 KiB [startup+1.50033 s] /proc/loadavg: 2.11 2.23 2.14 3/190 28577 /proc/meminfo: memFree=26055492/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=973492 memory=891504 CPUtime=1.49 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 136186 0 0 0 127 22 0 0 20 0 1 0 92972589 996855808 222876 33554432000 4194304 5972588 140735889850880 140735889847672 139637138746341 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 243373 222876 766 435 0 236736 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 973492 KiB Current children cumulated memory: 891504 KiB [startup+3.10971 s] /proc/loadavg: 2.11 2.23 2.14 3/190 28577 /proc/meminfo: memFree=25452860/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=1398636 memory=1188404 CPUtime=3.09 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 187998 0 0 0 280 29 0 0 20 0 1 0 92972589 1432203264 297101 33554432000 4194304 5972588 140735889850880 140735889848328 4935502 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 349659 297101 790 435 0 343022 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 1398636 KiB Current children cumulated memory: 1188404 KiB [startup+6.30032 s] /proc/loadavg: 2.10 2.23 2.14 3/190 28577 /proc/meminfo: memFree=25449980/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=1399428 memory=1191224 CPUtime=6.28 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 241584 0 0 0 596 32 0 0 20 0 1 0 92972589 1433014272 297806 33554432000 4194304 5972588 140735889850880 140735889847688 5139319 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 349857 297806 790 435 0 343220 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 1399428 KiB Current children cumulated memory: 1191224 KiB [startup+12.7003 s] /proc/loadavg: 2.09 2.23 2.14 3/190 28577 /proc/meminfo: memFree=25449624/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=1399820 memory=1191700 CPUtime=12.68 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 311701 0 0 0 1232 36 0 0 20 0 1 0 92972589 1433415680 297925 33554432000 4194304 5972588 140735889850880 140735889848104 5048020 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 349955 297925 791 435 0 343318 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 1399820 KiB Current children cumulated memory: 1191700 KiB [startup+25.5005 s] /proc/loadavg: 2.08 2.22 2.14 3/190 28577 /proc/meminfo: memFree=25449596/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=1400204 memory=1191980 CPUtime=25.48 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 393969 0 0 0 2507 41 0 0 20 0 1 0 92972589 1433808896 297995 33554432000 4194304 5972588 140735889850880 140735889848104 5099668 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 350051 297995 791 435 0 343414 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 1400204 KiB Current children cumulated memory: 1191980 KiB [startup+51.1098 s] /proc/loadavg: 2.33 2.26 2.15 3/190 28577 /proc/meminfo: memFree=25447164/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=1400500 memory=1194312 CPUtime=51.08 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 472942 0 0 0 5062 46 0 0 20 0 1 0 92972589 1434112000 298578 33554432000 4194304 5972588 140735889850880 140735889848104 4908843 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 350125 298578 791 435 0 343488 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 1400500 KiB Current children cumulated memory: 1194312 KiB [startup+102.3 s] /proc/loadavg: 2.37 2.30 2.17 3/190 28578 /proc/meminfo: memFree=25446956/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=1400500 memory=1194424 CPUtime=102.28 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 569565 0 0 0 10177 51 0 0 20 0 1 0 92972589 1434112000 298606 33554432000 4194304 5972588 140735889850880 140735889848104 5139327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 350125 298606 791 435 0 343488 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 1400500 KiB Current children cumulated memory: 1194424 KiB [startup+162.3 s] /proc/loadavg: 2.14 2.24 2.16 3/189 28580 /proc/meminfo: memFree=25446812/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=1400628 memory=1194472 CPUtime=162.27 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 613708 0 0 0 16174 53 0 0 20 0 1 0 92972589 1434243072 298618 33554432000 4194304 5972588 140735889850880 140735889848104 5273433 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 350157 298618 791 435 0 343520 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 1400628 KiB Current children cumulated memory: 1194472 KiB [startup+222.3 s] /proc/loadavg: 2.05 2.20 2.15 3/189 28581 /proc/meminfo: memFree=25446480/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=1400628 memory=1194492 CPUtime=222.28 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 651507 0 0 0 22173 55 0 0 20 0 1 0 92972589 1434243072 298623 33554432000 4194304 5972588 140735889850880 140735889848104 5139312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 350157 298623 791 435 0 343520 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 1400628 KiB Current children cumulated memory: 1194492 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240 s]* /proc/loadavg: 2.04 2.19 2.14 3/189 28581 /proc/meminfo: memFree=25446688/32770624 swapFree=67108860/67108860 [pid=28566] ppid=28563 vsize=1400628 memory=1194504 CPUtime=239.98 cores=0,2,4,6 /proc/28566/stat : 28566 (cosoco) R 28563 28566 24318 0 -1 4202496 676430 0 0 0 23942 56 0 0 20 0 1 0 92972589 1434243072 298626 33554432000 4194304 5972588 140735889850880 140735889848104 5139312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 8577024 140735889855679 140735889855779 140735889855779 140735889858510 0 /proc/28566/statm: 350157 298626 791 435 0 343520 0 Current children cumulated CPU time: 239.98 s Current children cumulated vsize: 1400628 KiB Current children cumulated memory: 1194504 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+240.052 s] # the end of solver process 28566 was just reported to runsolver # cumulated CPU time of all completed processes: user=239.429 s, system=0.609042 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 240.052 CPU time (s): 240.038 CPU user time (s): 239.429 CPU system time (s): 0.609042 CPU usage (%): 99.9938 Max. virtual memory (cumulated for all children) (KiB): 1400628 Max. memory (cumulated for all children) (KiB): 1194504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 239.429 system time used= 0.609042 maximum resident set size= 1194584 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 676484 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= 55 involuntary context switches= 175 # summary of solver processes directly reported to runsolver: # pid: 28566 # total CPU time (s): 240.038 # total CPU user time (s): 239.429 # total CPU system time (s): 0.609042 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.813174 second user time and 2.00527 second system time The end
Begin job on node105 at 2017-08-13 06:22:31 IDJOB=4266778 IDBENCH=123075 IDSOLVER=2656 FILE ID=node105/4266778-1502599009 RUNJOBID= node105-1502597910-28410 PBS_JOBID= 20628286 Free space on /tmp= 60668 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-bur26g.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266778-1502599009/watcher-4266778-1502599009 -o /tmp/evaluation-result-4266778-1502599009/solver-4266778-1502599009 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502597910-28410 --watchdog 300 cosoco -lc -model -restarts -sat HOME/instance-4266778-1502599009.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e15ea9448d462545754e2532d86d3e94 RANDOM SEED=1752749356 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.17 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.17 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.17 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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 : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 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 : 5333.17 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 : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 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: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26653100 kB MemAvailable: 31979876 kB Buffers: 147888 kB Cached: 5455924 kB SwapCached: 0 kB Active: 645340 kB Inactive: 5011556 kB Active(anon): 56040 kB Inactive(anon): 25072 kB Active(file): 589300 kB Inactive(file): 4986484 kB Unevictable: 6236 kB Mlocked: 6236 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2336 kB Writeback: 4 kB AnonPages: 51088 kB Mapped: 42804 kB Shmem: 25228 kB Slab: 159416 kB SReclaimable: 133656 kB SUnreclaim: 25760 kB KernelStack: 3264 kB PageTables: 5132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324812 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: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60660 MiB End job on node105 at 2017-08-13 06:26:31