| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2520.02 | 2519.7 |
| Name | SuperSolutions/SuperSolutions-Taillard-os15/ SuperTaillard-os-15-22.xml |
| MD5SUM | 3ba855dc46a3fd367cb99709f0833fff |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 9675 |
| Number of domains | 86 |
| Minimum domain size | 811 |
| Maximum domain size | 909 |
| Distribution of domain sizes | [{"size":811,"count":4},{"size":812,"count":6},{"size":813,"count":4},{"size":814,"count":6},{"size":815,"count":6},{"size":816,"count":6},{"size":818,"count":6},{"size":820,"count":4},{"size":821,"count":8},{"size":822,"count":2},{"size":823,"count":2},{"size":824,"count":6},{"size":825,"count":2},{"size":826,"count":2},{"size":827,"count":12},{"size":828,"count":4},{"size":829,"count":4},{"size":830,"count":6},{"size":831,"count":2},{"size":832,"count":4},{"size":833,"count":12},{"size":834,"count":10},{"size":835,"count":2},{"size":837,"count":8},{"size":838,"count":8},"...",{"size":878,"count":6}, {"size":879,"count":2}, {"size":880,"count":2}, {"size":881,"count":6}, {"size":882,"count":6}, {"size":884,"count":4}, {"size":885,"count":6}, {"size":886,"count":6}, {"size":887,"count":4}, {"size":888,"count":4}, {"size":889,"count":2}, {"size":890,"count":8}, {"size":891,"count":6}, {"size":892,"count":6}, {"size":893,"count":6}, {"size":894,"count":8}, {"size":895,"count":8}, {"size":896,"count":8}, {"size":898,"count":4}, {"size":901,"count":4}, {"size":902,"count":4}, {"size":905,"count":6}, {"size":906,"count":2}, {"size":907,"count":10}, {"size":909,"count":4}] |
| Minimum variable degree | 29 |
| Maximum variable degree | 57 |
| Distribution of variable degrees | [{"degree":29,"count":225},{"degree":57,"count":225}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":9675}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 9675 |
| Distribution of constraint types | [{"type":"intension","count":9675}] |
| Optimization problem | NO |
| Type of objective |
10.99/11.07 c intension x0 != x1 using generic constraint 10.99/11.07 c intension x2 != x3 using generic constraint 10.99/11.08 c intension x4 != x5 using generic constraint 10.99/11.08 c intension x6 != x7 using generic constraint 10.99/11.08 c intension x8 != x9 using generic constraint 10.99/11.08 c intension x10 != x11 using generic constraint 10.99/11.08 c intension x12 != x13 using generic constraint 10.99/11.08 c intension x14 != x15 using generic constraint 10.99/11.08 c intension x16 != x17 using generic constraint 10.99/11.08 c intension x18 != x19 using generic constraint 10.99/11.08 c intension x20 != x21 using generic constraint 10.99/11.08 c intension x22 != x23 using generic constraint 10.99/11.08 c intension x24 != x25 using generic constraint 10.99/11.09 c intension x26 != x27 using generic constraint 10.99/11.09 c intension x28 != x29 using generic constraint 10.99/11.09 c intension x30 != x31 using generic constraint 10.99/11.09 c intension x32 != x33 using generic constraint 10.99/11.09 c intension x34 != x35 using generic constraint 10.99/11.09 c intension x36 != x37 using generic constraint 10.99/11.09 c intension x38 != x39 using generic constraint 10.99/11.09 c intension x40 != x41 using generic constraint 10.99/11.09 c intension x42 != x43 using generic constraint 10.99/11.09 c intension x44 != x45 using generic constraint 10.99/11.09 c intension x46 != x47 using generic constraint 10.99/11.10 c intension x48 != x49 using generic constraint 10.99/11.10 c intension x50 != x51 using generic constraint 10.99/11.10 c intension x52 != x53 using generic constraint 10.99/11.10 c intension x54 != x55 using generic constraint 10.99/11.10 c intension x56 != x57 using generic constraint 10.99/11.10 c intension x58 != x59 using generic constraint 10.99/11.10 c intension x60 != x61 using generic constraint 10.99/11.10 c intension x62 != x63 using generic constraint 10.99/11.10 c intension x64 != x65 using generic constraint 10.99/11.10 c intension x66 != x67 using generic constraint 11.09/11.10 c intension x68 != x69 using generic constraint 11.09/11.11 c intension x70 != x71 using generic constraint 11.09/11.11 c intension x72 != x73 using generic constraint 11.09/11.11 c intension x74 != x75 using generic constraint 11.09/11.11 c intension x76 != x77 using generic constraint 11.09/11.11 c intension x78 != x79 using generic constraint 11.09/11.11 c intension x80 != x81 using generic constraint 11.09/11.11 c intension x82 != x83 using generic constraint 11.09/11.11 c intension x84 != x85 using generic constraint 11.09/11.11 c intension x86 != x87 using generic constraint 11.09/11.11 c intension x88 != x89 using generic constraint 11.09/11.11 c intension x90 != x91 using generic constraint 11.09/11.12 c intension x92 != x93 using generic constraint 11.09/11.12 c intension x94 != x95 using generic constraint 11.09/11.12 c intension x96 != x97 using generic constraint 11.09/11.12 c intension x98 != x99 using generic constraint 11.09/11.12 c intension x100 != x101 using generic constraint 11.09/11.12 c intension x102 != x103 using generic constraint 11.09/11.12 c intension x104 != x105 using generic constraint 11.09/11.12 c intension x106 != x107 using generic constraint 11.09/11.12 c intension x108 != x109 using generic constraint 11.09/11.12 c intension x110 != x111 using generic constraint 11.09/11.12 c intension x112 != x113 using generic constraint 11.09/11.13 c intension x114 != x115 using generic constraint 11.09/11.13 c intension x116 != x117 using generic constraint 11.09/11.13 c intension x118 != x119 using generic constraint 11.09/11.13 c intension x120 != x121 using generic constraint 11.09/11.13 c intension x122 != x123 using generic constraint 11.09/11.13 c intension x124 != x125 using generic constraint 11.09/11.13 c intension x126 != x127 using generic constraint 11.09/11.13 c intension x128 != x129 using generic constraint 11.09/11.13 c intension x130 != x131 using generic constraint 11.09/11.13 c intension x132 != x133 using generic constraint 11.09/11.13 c intension x134 != x135 using generic constraint 11.09/11.14 c intension x136 != x137 using generic constraint 11.09/11.14 c intension x138 != x139 using generic constraint 11.09/11.14 c intension x140 != x141 using generic constraint 11.09/11.14 c intension x142 != x143 using generic constraint 11.09/11.14 c intension x144 != x145 using generic constraint 11.09/11.14 c intension x146 != x147 using generic constraint 11.09/11.14 c intension x148 != x149 using generic constraint 11.09/11.14 c intension x150 != x151 using generic constraint 11.09/11.14 c intension x152 != x153 using generic constraint 11.09/11.14 c intension x154 != x155 using generic constraint 11.09/11.14 c intension x156 != x157 using generic constraint 11.09/11.15 c intension x158 != x159 using generic constraint 11.09/11.15 c intension x160 != x161 using generic constraint 11.09/11.15 c intension x162 != x163 using generic constraint 11.09/11.15 c intension x164 != x165 using generic constraint 11.09/11.15 c intension x166 != x167 using generic constraint 11.09/11.15 c intension x168 != x169 using generic constraint 11.09/11.15 c intension x170 != x171 using generic constraint 11.09/11.15 c intension x172 != x173 using generic constraint 11.09/11.15 c intension x174 != x175 using generic constraint 11.09/11.15 c intension x176 != x177 using generic constraint 11.09/11.15 c intension x178 != x179 using generic constraint 11.09/11.16 c intension x180 != x181 using generic constraint 11.09/11.16 c intension x182 != x183 using generic constraint 11.09/11.16 c intension x184 != x185 using generic constraint 11.09/11.16 c intension x186 != x187 using generic constraint 11.09/11.16 c intension x188 != x189 using generic constraint 11.09/11.16 c intension x190 != x191 using generic constraint 11.09/11.16 c intension x192 != x193 using generic constraint 11.09/11.16 c intension x194 != x195 using generic constraint 11.09/11.16 c intension x196 != x197 using generic constraint 11.09/11.16 c intension x198 != x199 using generic constraint 11.09/11.16 c intension x200 != x201 using generic constraint 11.09/11.17 c intension x202 != x203 using generic constraint 11.09/11.17 c intension x204 != x205 using generic constraint 11.09/11.17 c intension x206 != x207 using generic constraint 11.09/11.17 c intension x208 != x209 using generic constraint 11.09/11.17 c intension x210 != x211 using generic constraint 11.09/11.17 c intension x212 != x213 using generic constraint 11.09/11.17 c intension x214 != x215 using generic constraint 11.09/11.17 c intension x216 != x217 using generic constraint 11.09/11.17 c intension x218 != x219 using generic constraint 11.09/11.17 c intension x220 != x221 using generic constraint 11.09/11.17 c intension x222 != x223 using generic constraint 11.09/11.18 c intension x224 != x225 using generic constraint 11.09/11.18 c intension x226 != x227 using generic constraint 11.09/11.18 c intension x228 != x229 using generic constraint 11.09/11.18 c intension x230 != x231 using generic constraint 11.09/11.18 c intension x232 != x233 using generic constraint 11.09/11.18 c intension x234 != x235 using generic constraint 11.09/11.18 c intension x236 != x237 using generic constraint 11.09/11.18 c intension x238 != x239 using generic constraint 11.09/11.18 c intension x240 != x241 using generic constraint 11.09/11.18 c intension x242 != x243 using generic constraint 11.09/11.18 c intension x244 != x245 using generic constraint 11.09/11.18 c intension x246 != x247 using generic constraint 11.09/11.19 c intension x248 != x249 using generic constraint 11.09/11.19 c intension x250 != x251 using generic constraint 11.09/11.19 c intension x252 != x253 using generic constraint 11.09/11.19 c intension x254 != x255 using generic constraint 11.09/11.19 c intension x256 != x257 using generic constraint 11.09/11.19 c intension x258 != x259 using generic constraint 11.09/11.19 c intension x260 != x261 using generic constraint 11.09/11.19 c intension x262 != x263 using generic constraint 11.09/11.19 c intension x264 != x265 using generic constraint 11.09/11.19 c intension x266 != x267 using generic constraint 11.09/11.19 c intension x268 != x269 using generic constraint 11.18/11.20 c intension x270 != x271 using generic constraint 11.18/11.20 c intension x272 != x273 using generic constraint 11.18/11.20 c intension x274 != x275 using generic constraint 11.18/11.20 c intension x276 != x277 using generic constraint 11.18/11.20 c intension x278 != x279 using generic constraint 11.18/11.20 c intension x280 != x281 using generic constraint 11.18/11.20 c intension x282 != x283 using generic constraint 11.18/11.20 c intension x284 != x285 using generic constraint 11.18/11.20 c intension x286 != x287 using generic constraint 11.18/11.20 c intension x288 != x289 using generic constraint 11.18/11.20 c intension x290 != x291 using generic constraint 11.18/11.21 c intension x292 != x293 using generic constraint 11.18/11.21 c intension x294 != x295 using generic constraint 11.18/11.21 c intension x296 != x297 using generic constraint 11.18/11.21 c intension x298 != x299 using generic constraint 11.18/11.21 c intension x300 != x301 using generic constraint 11.18/11.21 c intension x302 != x303 using generic constraint 11.18/11.21 c intension x304 != x305 using generic constraint 11.18/11.21 c intension x306 != x307 using generic constraint 11.18/11.21 c intension x308 != x309 using generic constraint 11.18/11.21 c intension x310 != x311 using generic constraint 11.18/11.21 c intension x312 != x313 using generic constraint 11.18/11.22 c intension x314 != x315 using generic constraint 11.18/11.22 c intension x316 != x317 using generic constraint 11.18/11.22 c intension x318 != x319 using generic constraint 11.18/11.22 c intension x320 != x321 using generic constraint 11.18/11.22 c intension x322 != x323 using generic constraint 11.18/11.22 c intension x324 != x325 using generic constraint 11.18/11.22 c intension x326 != x327 using generic constraint 11.18/11.22 c intension x328 != x329 using generic constraint 11.18/11.22 c intension x330 != x331 using generic constraint 11.18/11.22 c intension x332 != x333 using generic constraint 11.18/11.22 c intension x334 != x335 using generic constraint 11.18/11.23 c intension x336 != x337 using generic constraint 11.18/11.23 c intension x338 != x339 using generic constraint 11.18/11.23 c intension x340 != x341 using generic constraint 11.18/11.23 c intension x342 != x343 using generic constraint 11.18/11.23 c intension x344 != x345 using generic constraint 11.18/11.23 c intension x346 != x347 using generic constraint 11.18/11.23 c intension x348 != x349 using generic constraint 11.18/11.23 c intension x350 != x351 using generic constraint 11.18/11.23 c intension x352 != x353 using generic constraint 11.18/11.23 c intension x354 != x355 using generic constraint 11.18/11.23 c intension x356 != x357 using generic constraint 11.18/11.24 c intension x358 != x359 using generic constraint 11.18/11.24 c intension x360 != x361 using generic constraint 11.18/11.24 c intension x362 != x363 using generic constraint 11.18/11.24 c intension x364 != x365 using generic constraint 11.18/11.24 c intension x366 != x367 using generic constraint 11.18/11.24 c intension x368 != x369 using generic constraint 11.18/11.24 c intension x370 != x371 using generic constraint 11.18/11.24 c intension x372 != x373 using generic constraint 11.18/11.24 c intension x374 != x375 using generic constraint 11.18/11.24 c intension x376 != x377 using generic constraint 11.18/11.24 c intension x378 != x379 using generic constraint 11.18/11.25 c intension x380 != x381 using generic constraint 11.18/11.25 c intension x382 != x383 using generic constraint 11.18/11.25 c intension x384 != x385 using generic constraint 11.18/11.25 c intension x386 != x387 using generic constraint 11.18/11.25 c intension x388 != x389 using generic constraint 11.18/11.25 c intension x390 != x391 using generic constraint 11.18/11.25 c intension x392 != x393 using generic constraint 11.18/11.25 c intension x394 != x395 using generic constraint 11.18/11.25 c intension x396 != x397 using generic constraint 11.18/11.25 c intension x398 != x399 using generic constraint 11.18/11.25 c intension x400 != x401 using generic constraint 11.18/11.26 c intension x402 != x403 using generic constraint 11.18/11.26 c intension x404 != x405 using generic constraint 11.18/11.26 c intension x406 != x407 using generic constraint 11.18/11.26 c intension x408 != x409 using generic constraint 11.18/11.26 c intension x410 != x411 using generic constraint 11.18/11.26 c intension x412 != x413 using generic constraint 11.18/11.26 c intension x414 != x415 using generic constraint 11.18/11.26 c intension x416 != x417 using generic constraint 11.18/11.26 c intension x418 != x419 using generic constraint 11.18/11.26 c intension x420 != x421 using generic constraint 11.18/11.26 c intension x422 != x423 using generic constraint 11.18/11.27 c intension x424 != x425 using generic constraint 11.18/11.27 c intension x426 != x427 using generic constraint 11.18/11.27 c intension x428 != x429 using generic constraint 11.18/11.27 c intension x430 != x431 using generic constraint 11.18/11.27 c intension x432 != x433 using generic constraint 11.18/11.27 c intension x434 != x435 using generic constraint 11.18/11.27 c intension x436 != x437 using generic constraint 11.18/11.27 c intension x438 != x439 using generic constraint 11.18/11.27 c intension x440 != x441 using generic constraint 11.18/11.27 c intension x442 != x443 using generic constraint 11.18/11.27 c intension x444 != x445 using generic constraint 11.18/11.27 c intension x446 != x447 using generic constraint 11.18/11.28 c intension x448 != x449 using generic constraint 11.18/11.29 c root propagations : 0 11.18/11.29 c restarts enabled, print stats at every restarts 11.18/11.29 c 11.18/11.29 c 11.18/11.29 c 11.18/11.29 c This is cosoco 1.12 -- 11.18/11.29 c 11.18/11.29 c command line: cosoco -lc -model -restarts HOME/instance-4268391-1502580280.xml 11.18/11.29 c ========================================[ Problem Statistics ]=========================================== 11.18/11.29 c | 11.18/11.29 c | Parse time : 11.16 s 11.18/11.29 c | 11.18/11.29 c | Variables: 450 11.18/11.29 c | Domain Sizes: 811..909 11.18/11.29 c | 11.18/11.29 c | Constraints: 9675 11.18/11.29 c | Arity: 2..2 -- Binary: 9675 11.18/11.29 c | 11.18/11.29 c | Types: 11.18/11.29 c | (X != Y): 225 11.18/11.29 c | Intension: 9450 11.18/11.29 c | 11.18/11.29 c ========================================================================================================= 11.18/11.29 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 11.79/11.84 c 101 117 91653 372992 0 0 13 15 13 12.28/12.34 c 211 241 131379 1120630 0 0 13 13 12 12.99/13.08 c 332 379 219985 1951112 0 0 11 11 10 13.78/13.80 c 465 522 266091 3065685 0 0 11 11 10 14.18/14.25 c 611 679 302206 3873016 0 0 10 10 9 14.89/14.96 c 771 852 358609 5042791 0 0 11 12 10 15.79/15.88 c 947 1047 458200 5887699 0 0 11 12 10 16.89/16.96 c 1140 1259 565715 7394052 0 0 10 12 10 18.00/18.07 c 1352 1497 691965 8567571 0 0 10 11 10 19.00/19.08 c 1585 1753 810446 9843207 0 0 10 12 10 20.00/20.02 c 1841 2026 896334 11112305 0 0 10 11 9 21.79/21.80 c 2122 2326 1027215 13517532 0 0 10 11 10 22.99/23.08 c 2431 2661 1162119 15151488 0 0 10 11 10 24.59/24.65 c 2770 3036 1344076 17007410 0 0 10 12 10 26.29/26.31 c 3142 3438 1516759 18578112 0 0 10 11 10 28.39/28.42 c 3551 3875 1692839 21717628 0 0 10 12 10 30.79/30.81 c 4000 4362 1922936 23913286 0 0 10 13 11 32.59/32.67 c 4493 4883 2077103 27011641 0 0 10 11 10 35.29/35.35 c 5035 5466 2323983 30432395 0 0 10 13 10 38.39/38.45 c 5631 6109 2641298 33630937 0 0 10 12 10 41.69/41.76 c 6286 6808 2958477 36762830 0 0 10 12 10 45.10/45.12 c 7006 7583 3298548 41839765 0 0 10 13 11 48.18/48.27 c 7798 8415 3562410 47137313 0 0 10 11 10 51.48/51.59 c 8669 9335 3873432 51468060 0 0 10 11 10 56.19/56.26 c 9627 10369 4378557 55118755 0 0 11 13 11 61.50/61.58 c 10680 11466 4726593 63051278 0 0 10 12 10 65.89/65.93 c 11838 12671 5062802 70675724 0 0 10 11 10 72.10/72.19 c 13111 14031 5660081 75587358 0 0 11 13 11 79.00/79.06 c 14511 15496 6189703 84984644 0 0 10 11 10 84.89/84.94 c 16051 17098 6648667 94506437 0 0 10 11 10 93.19/93.24 c 17745 18890 7286818 104882786 0 0 10 13 10 102.29/102.35 c 19608 20817 7923026 118287191 0 0 10 11 10 113.29/113.37 c 21657 22995 9026267 130466972 0 0 9 12 10 121.39/121.42 c 23910 25398 9710296 142566073 0 0 9 11 9 131.10/131.18 c 26388 27967 10319270 159128600 0 0 10 12 10 142.10/142.15 c 29113 30764 10988045 177232208 0 0 10 11 10 151.49/151.56 c 32110 33814 11552506 195257970 0 0 10 12 10 162.69/162.78 c 35406 37177 12240656 217820151 0 0 10 11 10 180.69/180.72 c 39031 41042 14228455 232018368 0 0 10 13 11 195.01/195.04 c 43018 45087 14982051 260591720 0 0 10 12 10 212.90/212.97 c 47403 49573 15970511 290024628 0 0 10 11 10 229.60/229.66 c 52226 54597 17163084 317522094 0 0 9 11 9 253.91/253.91 c 57531 60216 19650449 351203939 0 0 9 12 10 270.61/270.66 c 63366 66158 20697854 382451402 0 0 10 11 10 301.61/301.67 c 69784 72709 22337330 431472030 0 0 10 12 10 335.12/335.15 c 76843 80168 25297169 469656718 0 0 9 12 10 374.92/374.92 c 84607 88382 28500342 525779496 0 0 9 13 10 415.23/415.24 c 93147 97366 31462069 586604133 0 0 9 12 10 459.14/459.17 c 102541 107355 35621042 652040692 0 0 10 13 11 494.74/494.74 c 112874 117980 37791228 713180527 0 0 9 12 9 522.34/522.37 c 124240 129529 39394960 765411463 0 0 9 11 10 587.45/587.48 c 136742 142820 44990764 836325658 0 0 10 14 12 645.07/645.10 c 150494 157286 49477696 923031959 0 0 9 13 10 706.57/706.55 c 165621 173064 54462489 1022909623 0 0 9 12 10 778.27/778.20 c 182260 190607 60270761 1112768599 0 0 9 12 10 844.58/844.55 c 200562 209405 64076184 1231784933 0 0 9 12 10 925.49/925.48 c 220694 230302 69687957 1366669304 0 0 9 11 9 1034.12/1034.06 c 242839 253810 79629561 1480700765 0 0 9 13 11 1111.62/1111.53 c 267198 278548 83689903 1639186129 0 0 9 12 10 1208.03/1207.96 c 293992 306287 90370087 1796501382 0 0 9 11 9 1318.95/1318.85 c 323465 336565 96893183 1993501753 0 0 9 12 10 1452.86/1452.71 c 355885 370446 107523270 2171427448 0 0 9 13 11 1607.29/1607.13 c 391547 407878 119222790 2385748229 0 0 9 12 10 1747.50/1747.31 c 430775 448524 128612537 2622927488 0 0 9 12 10 1912.23/1912.05 c 473925 493213 140542734 2908362893 0 0 9 13 11 2066.65/2066.41 c 521390 541699 149089469 3187183647 0 0 9 11 9 2337.58/2337.37 c 573601 597936 178297206 3401602444 0 0 11 14 12 2520.00/2519.70 2520.00/2519.70 c *** INTERRUPTED *** 2520.00/2519.70 c restarts : 67 2520.00/2519.70 c conflicts : 621781 (247 /sec) 2520.00/2519.70 c decisions : 647142 (257 /sec) 2520.00/2519.70 c propagations : 3731563724 (1480867 /sec) 2520.00/2519.70 c root propagations : 0 2520.00/2519.70 c filter calls : 187813506 (74534 /sec) 2520.00/2519.70 c useless filter calls : 149334869 (79 %) 2520.00/2519.70 c Memory used : 358.40 MB 2520.00/2519.70 c CPU time : 2519.85 s 2520.00/2519.70 2520.00/2519.70 s UNKNOWN
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 (11738 MiB free)
memory of node 1: 16384 MiB (14940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268391-1502580280/watcher-4268391-1502580280 -o /tmp/evaluation-result-4268391-1502580280/solver-4268391-1502580280 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502571587-3600 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268391-1502580280.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4409, runsolver pid=4406
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 4410
/proc/meminfo: memFree=27314892/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=31008 memory=7092 CPUtime=0.1 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 1982 0 0 0 10 0 0 0 20 0 1 0 91109185 31752192 1773 33554432000 4194304 5972588 140721679367696 140721679364344 140060053433396 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 7752 1773 736 435 0 1115 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31008 KiB
Current children cumulated memory: 7092 KiB
[startup+0.209572 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 4410
/proc/meminfo: memFree=27314148/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=31848 memory=7760 CPUtime=0.21 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 2164 0 0 0 21 0 0 0 20 0 1 0 91109185 32612352 1940 33554432000 4194304 5972588 140721679367696 140721679364344 140060062702565 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 7962 1940 736 435 0 1325 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31848 KiB
Current children cumulated memory: 7760 KiB
[startup+0.308969 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 4410
/proc/meminfo: memFree=27313404/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=32488 memory=8688 CPUtime=0.31 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 2337 0 0 0 31 0 0 0 20 0 1 0 91109185 33267712 2172 33554432000 4194304 5972588 140721679367696 140721679364264 140060062702565 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 8122 2172 736 435 0 1485 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32488 KiB
Current children cumulated memory: 8688 KiB
[startup+0.70029 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4410
/proc/meminfo: memFree=27309396/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=41540 memory=17672 CPUtime=0.69 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 4694 0 0 0 69 0 0 0 20 0 1 0 91109185 42536960 4418 33554432000 4194304 5972588 140721679367696 140721679364264 4967517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 10385 4418 780 435 0 3748 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41540 KiB
Current children cumulated memory: 17672 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4410
/proc/meminfo: memFree=27295632/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=64360 memory=40376 CPUtime=1.49 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 10376 0 0 0 148 1 0 0 20 0 1 0 91109185 65904640 10094 33554432000 4194304 5972588 140721679367696 140721679361256 140060063544823 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 16090 10094 780 435 0 9453 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64360 KiB
Current children cumulated memory: 40376 KiB
[startup+3.10946 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4410
/proc/meminfo: memFree=27238616/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=110252 memory=86288 CPUtime=3.1 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 22001 0 0 0 307 3 0 0 20 0 1 0 91109185 112898048 21572 33554432000 4194304 5972588 140721679367696 140721679361256 140060062702565 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 27563 21572 780 435 0 20926 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 110252 KiB
Current children cumulated memory: 86288 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4410
/proc/meminfo: memFree=27150012/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=201468 memory=177608 CPUtime=6.29 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 45413 0 0 0 623 6 0 0 20 0 1 0 91109185 206303232 44402 33554432000 4194304 5972588 140721679367696 140721679359464 140060062700531 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 50400 44402 780 435 0 43763 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 201468 KiB
Current children cumulated memory: 177608 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4410
/proc/meminfo: memFree=26988864/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=356436 memory=333012 CPUtime=12.68 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 96328 0 0 0 1256 12 0 0 20 0 1 0 91109185 364990464 83253 33554432000 4194304 5972588 140721679367696 140721679364728 4965880 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 89109 83253 826 435 0 82472 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 356436 KiB
Current children cumulated memory: 333012 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4410
/proc/meminfo: memFree=26982600/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=361320 memory=337960 CPUtime=25.49 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 118452 0 0 0 2536 13 0 0 20 0 1 0 91109185 369991680 84490 33554432000 4194304 5972588 140721679367696 140721679365000 4969215 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 90330 84490 826 435 0 83693 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 361320 KiB
Current children cumulated memory: 337960 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4410
/proc/meminfo: memFree=26982048/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=362376 memory=339080 CPUtime=51.09 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 137556 0 0 0 5095 14 0 0 20 0 1 0 91109185 371073024 84770 33554432000 4194304 5972588 140721679367696 140721679365000 4965760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 90594 84770 826 435 0 83957 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 362376 KiB
Current children cumulated memory: 339080 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 4411
/proc/meminfo: memFree=26981636/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=362772 memory=339484 CPUtime=102.29 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 158540 0 0 0 10214 15 0 0 20 0 1 0 91109185 371478528 84871 33554432000 4194304 5972588 140721679367696 140721679365000 4968760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 90693 84871 826 435 0 84056 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 362772 KiB
Current children cumulated memory: 339484 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 4412
/proc/meminfo: memFree=26981016/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=363432 memory=340044 CPUtime=162.29 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 163310 0 0 0 16214 15 0 0 20 0 1 0 91109185 372154368 85011 33554432000 4194304 5972588 140721679367696 140721679364728 4965365 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 90858 85011 826 435 0 84221 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 363432 KiB
Current children cumulated memory: 340044 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 4413
/proc/meminfo: memFree=26980168/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=363564 memory=340264 CPUtime=222.3 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 169269 0 0 0 22214 16 0 0 20 0 1 0 91109185 372289536 85066 33554432000 4194304 5972588 140721679367696 140721679365000 5070704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 90891 85066 826 435 0 84254 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 363564 KiB
Current children cumulated memory: 340264 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4414
/proc/meminfo: memFree=26980172/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=363960 memory=340620 CPUtime=282.31 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 169619 0 0 0 28215 16 0 0 20 0 1 0 91109185 372695040 85155 33554432000 4194304 5972588 140721679367696 140721679364728 5070704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 90990 85155 826 435 0 84353 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 363960 KiB
Current children cumulated memory: 340620 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4415
/proc/meminfo: memFree=26980188/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=364092 memory=340740 CPUtime=342.32 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 169738 0 0 0 34216 16 0 0 20 0 1 0 91109185 372830208 85185 33554432000 4194304 5972588 140721679367696 140721679365000 5071952 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91023 85185 826 435 0 84386 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 364092 KiB
Current children cumulated memory: 340740 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4416
/proc/meminfo: memFree=26980192/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=364224 memory=340928 CPUtime=402.32 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 170029 0 0 0 40216 16 0 0 20 0 1 0 91109185 372965376 85232 33554432000 4194304 5972588 140721679367696 140721679364728 4968769 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91056 85232 826 435 0 84419 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 364224 KiB
Current children cumulated memory: 340928 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4417
/proc/meminfo: memFree=26980112/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=364356 memory=341036 CPUtime=462.33 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 170170 0 0 0 46217 16 0 0 20 0 1 0 91109185 373100544 85259 33554432000 4194304 5972588 140721679367696 140721679365000 4969215 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91089 85259 826 435 0 84452 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 364356 KiB
Current children cumulated memory: 341036 KiB
################
# More data... #
################
/proc/4409/statm: 91716 85880 826 435 0 85079 0
Current children cumulated CPU time: 1782.51 s
Current children cumulated vsize: 366864 KiB
Current children cumulated memory: 343520 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4466
/proc/meminfo: memFree=26976492/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366864 memory=343544 CPUtime=1842.52 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 175288 0 0 0 184236 16 0 0 20 0 1 0 91109185 375668736 85886 33554432000 4194304 5972588 140721679367696 140721679365000 4965468 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91716 85886 826 435 0 85079 0
Current children cumulated CPU time: 1842.52 s
Current children cumulated vsize: 366864 KiB
Current children cumulated memory: 343544 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4467
/proc/meminfo: memFree=26976392/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366864 memory=343580 CPUtime=1902.52 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 175816 0 0 0 190236 16 0 0 20 0 1 0 91109185 375668736 85895 33554432000 4194304 5972588 140721679367696 140721679365000 4962247 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91716 85895 826 435 0 85079 0
Current children cumulated CPU time: 1902.52 s
Current children cumulated vsize: 366864 KiB
Current children cumulated memory: 343580 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4468
/proc/meminfo: memFree=26976392/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343604 CPUtime=1962.53 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 176061 0 0 0 196237 16 0 0 20 0 1 0 91109185 375803904 85901 33554432000 4194304 5972588 140721679367696 140721679364728 4968786 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85901 826 435 0 85112 0
Current children cumulated CPU time: 1962.53 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343604 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4469
/proc/meminfo: memFree=26976764/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343608 CPUtime=2022.54 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 176117 0 0 0 202238 16 0 0 20 0 1 0 91109185 375803904 85902 33554432000 4194304 5972588 140721679367696 140721679364728 4968760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85902 826 435 0 85112 0
Current children cumulated CPU time: 2022.54 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343608 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4470
/proc/meminfo: memFree=26976028/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343660 CPUtime=2082.55 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 176347 0 0 0 208239 16 0 0 20 0 1 0 91109185 375803904 85915 33554432000 4194304 5972588 140721679367696 140721679365000 4965365 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85915 826 435 0 85112 0
Current children cumulated CPU time: 2082.55 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343660 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4471
/proc/meminfo: memFree=26975924/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343664 CPUtime=2142.56 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 176425 0 0 0 214240 16 0 0 20 0 1 0 91109185 375803904 85916 33554432000 4194304 5972588 140721679367696 140721679365000 4969261 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85916 826 435 0 85112 0
Current children cumulated CPU time: 2142.56 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343664 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4472
/proc/meminfo: memFree=26976052/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343668 CPUtime=2202.57 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 176614 0 0 0 220241 16 0 0 20 0 1 0 91109185 375803904 85917 33554432000 4194304 5972588 140721679367696 140721679365000 5071990 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85917 826 435 0 85112 0
Current children cumulated CPU time: 2202.57 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343668 KiB
[startup+2262.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 4534
/proc/meminfo: memFree=26924184/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343668 CPUtime=2262.57 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 176675 0 0 0 226241 16 0 0 20 0 1 0 91109185 375803904 85917 33554432000 4194304 5972588 140721679367696 140721679365000 5071088 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85917 826 435 0 85112 0
Current children cumulated CPU time: 2262.57 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343668 KiB
[startup+2322.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 4535
/proc/meminfo: memFree=25093780/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343668 CPUtime=2322.58 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 176878 0 0 0 232242 16 0 0 20 0 1 0 91109185 375803904 85917 33554432000 4194304 5972588 140721679367696 140721679365000 5071376 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85917 826 435 0 85112 0
Current children cumulated CPU time: 2322.58 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343668 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 4543
/proc/meminfo: memFree=25033352/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343684 CPUtime=2382.59 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 176993 0 0 0 238243 16 0 0 20 0 1 0 91109185 375803904 85921 33554432000 4194304 5972588 140721679367696 140721679365000 5070704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85921 826 435 0 85112 0
Current children cumulated CPU time: 2382.59 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343684 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 4544
/proc/meminfo: memFree=25027552/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343692 CPUtime=2442.6 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 177199 0 0 0 244244 16 0 0 20 0 1 0 91109185 375803904 85923 33554432000 4194304 5972588 140721679367696 140721679365000 5071088 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85923 826 435 0 85112 0
Current children cumulated CPU time: 2442.6 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343692 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4545
/proc/meminfo: memFree=25024116/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343696 CPUtime=2502.6 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 177253 0 0 0 250244 16 0 0 20 0 1 0 91109185 375803904 85924 33554432000 4194304 5972588 140721679367696 140721679365000 4968704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85924 826 435 0 85112 0
Current children cumulated CPU time: 2502.6 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4545
/proc/meminfo: memFree=25024184/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343696 CPUtime=2520 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 177269 0 0 0 251984 16 0 0 20 0 1 0 91109185 375803904 85924 33554432000 4194304 5972588 140721679367696 140721679365000 4969136 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85924 826 435 0 85112 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.7 s]
# the end of solver process 4409 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.85 s, system=0.166021 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4545
/proc/meminfo: memFree=25024184/32770624 swapFree=67108860/67108860
[pid=4409] ppid=4406 vsize=366996 memory=343696 CPUtime=2520 cores=1,3,5,7
/proc/4409/stat : 4409 (cosoco) R 4406 4409 3568 0 -1 4202496 177269 0 0 0 251984 16 0 0 20 0 1 0 91109185 375803904 85924 33554432000 4194304 5972588 140721679367696 140721679365000 4969136 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 24698880 140721679373503 140721679373598 140721679373598 140721679376334 0
/proc/4409/statm: 91749 85924 826 435 0 85112 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 366996 KiB
Current children cumulated memory: 343696 KiB
Child status: 1
Real time (s): 2519.7
CPU time (s): 2520.02
CPU user time (s): 2519.85
CPU system time (s): 0.166021
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 366996
Max. memory (cumulated for all children) (KiB): 343696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.85
system time used= 0.166021
maximum resident set size= 343768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177313
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= 41
involuntary context switches= 852
# summary of solver processes directly reported to runsolver:
# pid: 4409
# total CPU time (s): 2520.02
# total CPU user time (s): 2519.85
# total CPU system time (s): 0.166021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.45434 second user time and 17.4985 second system time
The end
Begin job on node150 at 2017-08-13 01:10:22 IDJOB=4268391 IDBENCH=138550 IDSOLVER=2658 FILE ID=node150/4268391-1502580280 RUNJOBID= node150-1502571587-3600 PBS_JOBID= 20628290 Free space on /tmp= 61636 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os15/SuperTaillard-os-15-22.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268391-1502580280/watcher-4268391-1502580280 -o /tmp/evaluation-result-4268391-1502580280/solver-4268391-1502580280 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502571587-3600 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268391-1502580280.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3ba855dc46a3fd367cb99709f0833fff RANDOM SEED=274704661 node150.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 : 5332.89 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 : 5332.89 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 : 5332.89 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 : 5332.89 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: 27319024 kB MemAvailable: 31979664 kB Buffers: 213520 kB Cached: 4736424 kB SwapCached: 0 kB Active: 657808 kB Inactive: 4356864 kB Active(anon): 67704 kB Inactive(anon): 25068 kB Active(file): 590104 kB Inactive(file): 4331796 kB Unevictable: 6228 kB Mlocked: 6228 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2856 kB Writeback: 0 kB AnonPages: 81080 kB Mapped: 44756 kB Shmem: 25224 kB Slab: 135264 kB SReclaimable: 109152 kB SUnreclaim: 26112 kB KernelStack: 3360 kB PageTables: 5012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 361924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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= 61632 MiB End job on node150 at 2017-08-13 01:52:22