| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | Signal | 59.506 | 822.832 |
| Name | SuperSolutions/SuperSolutions-Taillard-js20-15/ SuperTaillard-js-20-15-15.xml |
| MD5SUM | 6d7e3033fdb5217c74d2816bb8c5b7b8 |
| 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 | 600 |
| Number of constraints | 9690 |
| Number of domains | 95 |
| Minimum domain size | 1346 |
| Maximum domain size | 1444 |
| Distribution of domain sizes | [{"size":1346,"count":6},{"size":1347,"count":4},{"size":1348,"count":4},{"size":1349,"count":2},{"size":1350,"count":2},{"size":1351,"count":6},{"size":1352,"count":2},{"size":1353,"count":6},{"size":1354,"count":4},{"size":1355,"count":2},{"size":1356,"count":12},{"size":1357,"count":8},{"size":1358,"count":8},{"size":1359,"count":8},{"size":1360,"count":8},{"size":1361,"count":4},{"size":1362,"count":10},{"size":1363,"count":8},{"size":1364,"count":2},{"size":1365,"count":14},{"size":1366,"count":6},{"size":1367,"count":14},{"size":1368,"count":6},{"size":1369,"count":10},{"size":1370,"count":14},"...",{"size":1419,"count":10}, {"size":1420,"count":8}, {"size":1421,"count":6}, {"size":1422,"count":4}, {"size":1423,"count":6}, {"size":1424,"count":2}, {"size":1425,"count":8}, {"size":1426,"count":4}, {"size":1427,"count":10}, {"size":1429,"count":4}, {"size":1430,"count":12}, {"size":1431,"count":6}, {"size":1432,"count":14}, {"size":1433,"count":6}, {"size":1434,"count":12}, {"size":1435,"count":8}, {"size":1436,"count":4}, {"size":1437,"count":4}, {"size":1438,"count":6}, {"size":1439,"count":10}, {"size":1440,"count":6}, {"size":1441,"count":8}, {"size":1442,"count":8}, {"size":1443,"count":2}, {"size":1444,"count":12}] |
| Minimum variable degree | 21 |
| Maximum variable degree | 43 |
| Distribution of variable degrees | [{"degree":21,"count":40},{"degree":22,"count":260},{"degree":41,"count":40},{"degree":43,"count":260}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":9690}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 9690 |
| Distribution of constraint types | [{"type":"intension","count":9690}] |
| Optimization problem | NO |
| Type of objective |
10.48/10.59 c intension x0 != x1 using generic constraint 10.48/10.59 c intension x2 != x3 using generic constraint 10.48/10.59 c intension x4 != x5 using generic constraint 10.48/10.59 c intension x6 != x7 using generic constraint 10.48/10.59 c intension x8 != x9 using generic constraint 10.48/10.59 c intension x10 != x11 using generic constraint 10.48/10.59 c intension x12 != x13 using generic constraint 10.48/10.60 c intension x14 != x15 using generic constraint 10.59/10.60 c intension x16 != x17 using generic constraint 10.59/10.60 c intension x18 != x19 using generic constraint 10.59/10.60 c intension x20 != x21 using generic constraint 10.59/10.60 c intension x22 != x23 using generic constraint 10.59/10.60 c intension x24 != x25 using generic constraint 10.59/10.60 c intension x26 != x27 using generic constraint 10.59/10.60 c intension x28 != x29 using generic constraint 10.59/10.60 c intension x30 != x31 using generic constraint 10.59/10.60 c intension x32 != x33 using generic constraint 10.59/10.60 c intension x34 != x35 using generic constraint 10.59/10.60 c intension x36 != x37 using generic constraint 10.59/10.61 c intension x38 != x39 using generic constraint 10.59/10.61 c intension x40 != x41 using generic constraint 10.59/10.61 c intension x42 != x43 using generic constraint 10.59/10.61 c intension x44 != x45 using generic constraint 10.59/10.61 c intension x46 != x47 using generic constraint 10.59/10.61 c intension x48 != x49 using generic constraint 10.59/10.61 c intension x50 != x51 using generic constraint 10.59/10.61 c intension x52 != x53 using generic constraint 10.59/10.61 c intension x54 != x55 using generic constraint 10.59/10.61 c intension x56 != x57 using generic constraint 10.59/10.61 c intension x58 != x59 using generic constraint 10.59/10.62 c intension x60 != x61 using generic constraint 10.59/10.62 c intension x62 != x63 using generic constraint 10.59/10.62 c intension x64 != x65 using generic constraint 10.59/10.62 c intension x66 != x67 using generic constraint 10.59/10.62 c intension x68 != x69 using generic constraint 10.59/10.62 c intension x70 != x71 using generic constraint 10.59/10.62 c intension x72 != x73 using generic constraint 10.59/10.62 c intension x74 != x75 using generic constraint 10.59/10.62 c intension x76 != x77 using generic constraint 10.59/10.62 c intension x78 != x79 using generic constraint 10.59/10.62 c intension x80 != x81 using generic constraint 10.59/10.62 c intension x82 != x83 using generic constraint 10.59/10.63 c intension x84 != x85 using generic constraint 10.59/10.63 c intension x86 != x87 using generic constraint 10.59/10.63 c intension x88 != x89 using generic constraint 10.59/10.63 c intension x90 != x91 using generic constraint 10.59/10.63 c intension x92 != x93 using generic constraint 10.59/10.63 c intension x94 != x95 using generic constraint 10.59/10.63 c intension x96 != x97 using generic constraint 10.59/10.63 c intension x98 != x99 using generic constraint 10.59/10.63 c intension x100 != x101 using generic constraint 10.59/10.63 c intension x102 != x103 using generic constraint 10.59/10.63 c intension x104 != x105 using generic constraint 10.59/10.63 c intension x106 != x107 using generic constraint 10.59/10.64 c intension x108 != x109 using generic constraint 10.59/10.64 c intension x110 != x111 using generic constraint 10.59/10.64 c intension x112 != x113 using generic constraint 10.59/10.64 c intension x114 != x115 using generic constraint 10.59/10.64 c intension x116 != x117 using generic constraint 10.59/10.64 c intension x118 != x119 using generic constraint 10.59/10.64 c intension x120 != x121 using generic constraint 10.59/10.64 c intension x122 != x123 using generic constraint 10.59/10.64 c intension x124 != x125 using generic constraint 10.59/10.64 c intension x126 != x127 using generic constraint 10.59/10.64 c intension x128 != x129 using generic constraint 10.59/10.65 c intension x130 != x131 using generic constraint 10.59/10.65 c intension x132 != x133 using generic constraint 10.59/10.65 c intension x134 != x135 using generic constraint 10.59/10.65 c intension x136 != x137 using generic constraint 10.59/10.65 c intension x138 != x139 using generic constraint 10.59/10.65 c intension x140 != x141 using generic constraint 10.59/10.65 c intension x142 != x143 using generic constraint 10.59/10.65 c intension x144 != x145 using generic constraint 10.59/10.65 c intension x146 != x147 using generic constraint 10.59/10.65 c intension x148 != x149 using generic constraint 10.59/10.65 c intension x150 != x151 using generic constraint 10.59/10.65 c intension x152 != x153 using generic constraint 10.59/10.66 c intension x154 != x155 using generic constraint 10.59/10.66 c intension x156 != x157 using generic constraint 10.59/10.66 c intension x158 != x159 using generic constraint 10.59/10.66 c intension x160 != x161 using generic constraint 10.59/10.66 c intension x162 != x163 using generic constraint 10.59/10.66 c intension x164 != x165 using generic constraint 10.59/10.66 c intension x166 != x167 using generic constraint 10.59/10.66 c intension x168 != x169 using generic constraint 10.59/10.66 c intension x170 != x171 using generic constraint 10.59/10.66 c intension x172 != x173 using generic constraint 10.59/10.66 c intension x174 != x175 using generic constraint 10.59/10.66 c intension x176 != x177 using generic constraint 10.59/10.67 c intension x178 != x179 using generic constraint 10.59/10.67 c intension x180 != x181 using generic constraint 10.59/10.67 c intension x182 != x183 using generic constraint 10.59/10.67 c intension x184 != x185 using generic constraint 10.59/10.67 c intension x186 != x187 using generic constraint 10.59/10.67 c intension x188 != x189 using generic constraint 10.59/10.67 c intension x190 != x191 using generic constraint 10.59/10.67 c intension x192 != x193 using generic constraint 10.59/10.67 c intension x194 != x195 using generic constraint 10.59/10.67 c intension x196 != x197 using generic constraint 10.59/10.67 c intension x198 != x199 using generic constraint 10.59/10.68 c intension x200 != x201 using generic constraint 10.59/10.68 c intension x202 != x203 using generic constraint 10.59/10.68 c intension x204 != x205 using generic constraint 10.59/10.68 c intension x206 != x207 using generic constraint 10.59/10.68 c intension x208 != x209 using generic constraint 10.59/10.68 c intension x210 != x211 using generic constraint 10.59/10.68 c intension x212 != x213 using generic constraint 10.59/10.68 c intension x214 != x215 using generic constraint 10.59/10.68 c intension x216 != x217 using generic constraint 10.59/10.68 c intension x218 != x219 using generic constraint 10.59/10.68 c intension x220 != x221 using generic constraint 10.59/10.68 c intension x222 != x223 using generic constraint 10.59/10.69 c intension x224 != x225 using generic constraint 10.59/10.69 c intension x226 != x227 using generic constraint 10.59/10.69 c intension x228 != x229 using generic constraint 10.59/10.69 c intension x230 != x231 using generic constraint 10.59/10.69 c intension x232 != x233 using generic constraint 10.59/10.69 c intension x234 != x235 using generic constraint 10.59/10.69 c intension x236 != x237 using generic constraint 10.59/10.69 c intension x238 != x239 using generic constraint 10.59/10.69 c intension x240 != x241 using generic constraint 10.59/10.69 c intension x242 != x243 using generic constraint 10.59/10.69 c intension x244 != x245 using generic constraint 10.59/10.69 c intension x246 != x247 using generic constraint 10.69/10.70 c intension x248 != x249 using generic constraint 10.69/10.70 c intension x250 != x251 using generic constraint 10.69/10.70 c intension x252 != x253 using generic constraint 10.69/10.70 c intension x254 != x255 using generic constraint 10.69/10.70 c intension x256 != x257 using generic constraint 10.69/10.70 c intension x258 != x259 using generic constraint 10.69/10.70 c intension x260 != x261 using generic constraint 10.69/10.70 c intension x262 != x263 using generic constraint 10.69/10.70 c intension x264 != x265 using generic constraint 10.69/10.70 c intension x266 != x267 using generic constraint 10.69/10.70 c intension x268 != x269 using generic constraint 10.69/10.71 c intension x270 != x271 using generic constraint 10.69/10.71 c intension x272 != x273 using generic constraint 10.69/10.71 c intension x274 != x275 using generic constraint 10.69/10.71 c intension x276 != x277 using generic constraint 10.69/10.71 c intension x278 != x279 using generic constraint 10.69/10.71 c intension x280 != x281 using generic constraint 10.69/10.71 c intension x282 != x283 using generic constraint 10.69/10.71 c intension x284 != x285 using generic constraint 10.69/10.71 c intension x286 != x287 using generic constraint 10.69/10.71 c intension x288 != x289 using generic constraint 10.69/10.71 c intension x290 != x291 using generic constraint 10.69/10.71 c intension x292 != x293 using generic constraint 10.69/10.72 c intension x294 != x295 using generic constraint 10.69/10.72 c intension x296 != x297 using generic constraint 10.69/10.72 c intension x298 != x299 using generic constraint 10.69/10.72 c intension x300 != x301 using generic constraint 10.69/10.72 c intension x302 != x303 using generic constraint 10.69/10.72 c intension x304 != x305 using generic constraint 10.69/10.72 c intension x306 != x307 using generic constraint 10.69/10.72 c intension x308 != x309 using generic constraint 10.69/10.72 c intension x310 != x311 using generic constraint 10.69/10.72 c intension x312 != x313 using generic constraint 10.69/10.72 c intension x314 != x315 using generic constraint 10.69/10.72 c intension x316 != x317 using generic constraint 10.69/10.73 c intension x318 != x319 using generic constraint 10.69/10.73 c intension x320 != x321 using generic constraint 10.69/10.73 c intension x322 != x323 using generic constraint 10.69/10.73 c intension x324 != x325 using generic constraint 10.69/10.73 c intension x326 != x327 using generic constraint 10.69/10.73 c intension x328 != x329 using generic constraint 10.69/10.73 c intension x330 != x331 using generic constraint 10.69/10.73 c intension x332 != x333 using generic constraint 10.69/10.73 c intension x334 != x335 using generic constraint 10.69/10.73 c intension x336 != x337 using generic constraint 10.69/10.73 c intension x338 != x339 using generic constraint 10.69/10.74 c intension x340 != x341 using generic constraint 10.69/10.74 c intension x342 != x343 using generic constraint 10.69/10.74 c intension x344 != x345 using generic constraint 10.69/10.74 c intension x346 != x347 using generic constraint 10.69/10.74 c intension x348 != x349 using generic constraint 10.69/10.74 c intension x350 != x351 using generic constraint 10.69/10.74 c intension x352 != x353 using generic constraint 10.69/10.74 c intension x354 != x355 using generic constraint 10.69/10.74 c intension x356 != x357 using generic constraint 10.69/10.74 c intension x358 != x359 using generic constraint 10.69/10.74 c intension x360 != x361 using generic constraint 10.69/10.74 c intension x362 != x363 using generic constraint 10.69/10.75 c intension x364 != x365 using generic constraint 10.69/10.75 c intension x366 != x367 using generic constraint 10.69/10.75 c intension x368 != x369 using generic constraint 10.69/10.75 c intension x370 != x371 using generic constraint 10.69/10.75 c intension x372 != x373 using generic constraint 10.69/10.75 c intension x374 != x375 using generic constraint 10.69/10.75 c intension x376 != x377 using generic constraint 10.69/10.75 c intension x378 != x379 using generic constraint 10.69/10.75 c intension x380 != x381 using generic constraint 10.69/10.75 c intension x382 != x383 using generic constraint 10.69/10.75 c intension x384 != x385 using generic constraint 10.69/10.75 c intension x386 != x387 using generic constraint 10.69/10.76 c intension x388 != x389 using generic constraint 10.69/10.76 c intension x390 != x391 using generic constraint 10.69/10.76 c intension x392 != x393 using generic constraint 10.69/10.76 c intension x394 != x395 using generic constraint 10.69/10.76 c intension x396 != x397 using generic constraint 10.69/10.76 c intension x398 != x399 using generic constraint 10.69/10.76 c intension x400 != x401 using generic constraint 10.69/10.76 c intension x402 != x403 using generic constraint 10.69/10.76 c intension x404 != x405 using generic constraint 10.69/10.76 c intension x406 != x407 using generic constraint 10.69/10.76 c intension x408 != x409 using generic constraint 10.69/10.77 c intension x410 != x411 using generic constraint 10.69/10.77 c intension x412 != x413 using generic constraint 10.69/10.77 c intension x414 != x415 using generic constraint 10.69/10.77 c intension x416 != x417 using generic constraint 10.69/10.77 c intension x418 != x419 using generic constraint 10.69/10.77 c intension x420 != x421 using generic constraint 10.69/10.77 c intension x422 != x423 using generic constraint 10.69/10.77 c intension x424 != x425 using generic constraint 10.69/10.77 c intension x426 != x427 using generic constraint 10.69/10.77 c intension x428 != x429 using generic constraint 10.69/10.77 c intension x430 != x431 using generic constraint 10.69/10.77 c intension x432 != x433 using generic constraint 10.69/10.78 c intension x434 != x435 using generic constraint 10.69/10.78 c intension x436 != x437 using generic constraint 10.69/10.78 c intension x438 != x439 using generic constraint 10.69/10.78 c intension x440 != x441 using generic constraint 10.69/10.78 c intension x442 != x443 using generic constraint 10.69/10.78 c intension x444 != x445 using generic constraint 10.69/10.78 c intension x446 != x447 using generic constraint 10.69/10.78 c intension x448 != x449 using generic constraint 10.69/10.78 c intension x450 != x451 using generic constraint 10.69/10.78 c intension x452 != x453 using generic constraint 10.69/10.78 c intension x454 != x455 using generic constraint 10.69/10.78 c intension x456 != x457 using generic constraint 10.69/10.79 c intension x458 != x459 using generic constraint 10.69/10.79 c intension x460 != x461 using generic constraint 10.69/10.79 c intension x462 != x463 using generic constraint 10.69/10.79 c intension x464 != x465 using generic constraint 10.69/10.79 c intension x466 != x467 using generic constraint 10.69/10.79 c intension x468 != x469 using generic constraint 10.69/10.79 c intension x470 != x471 using generic constraint 10.69/10.79 c intension x472 != x473 using generic constraint 10.69/10.79 c intension x474 != x475 using generic constraint 10.69/10.79 c intension x476 != x477 using generic constraint 10.69/10.79 c intension x478 != x479 using generic constraint 10.69/10.80 c intension x480 != x481 using generic constraint 10.78/10.80 c intension x482 != x483 using generic constraint 10.78/10.80 c intension x484 != x485 using generic constraint 10.78/10.80 c intension x486 != x487 using generic constraint 10.78/10.80 c intension x488 != x489 using generic constraint 10.78/10.80 c intension x490 != x491 using generic constraint 10.78/10.80 c intension x492 != x493 using generic constraint 10.78/10.80 c intension x494 != x495 using generic constraint 10.78/10.80 c intension x496 != x497 using generic constraint 10.78/10.80 c intension x498 != x499 using generic constraint 10.78/10.80 c intension x500 != x501 using generic constraint 10.78/10.80 c intension x502 != x503 using generic constraint 10.78/10.81 c intension x504 != x505 using generic constraint 10.78/10.81 c intension x506 != x507 using generic constraint 10.78/10.81 c intension x508 != x509 using generic constraint 10.78/10.81 c intension x510 != x511 using generic constraint 10.78/10.81 c intension x512 != x513 using generic constraint 10.78/10.81 c intension x514 != x515 using generic constraint 10.78/10.81 c intension x516 != x517 using generic constraint 10.78/10.81 c intension x518 != x519 using generic constraint 10.78/10.81 c intension x520 != x521 using generic constraint 10.78/10.81 c intension x522 != x523 using generic constraint 10.78/10.81 c intension x524 != x525 using generic constraint 10.78/10.82 c intension x526 != x527 using generic constraint 10.78/10.82 c intension x528 != x529 using generic constraint 10.78/10.82 c intension x530 != x531 using generic constraint 10.78/10.82 c intension x532 != x533 using generic constraint 10.78/10.82 c intension x534 != x535 using generic constraint 10.78/10.82 c intension x536 != x537 using generic constraint 10.78/10.82 c intension x538 != x539 using generic constraint 10.78/10.82 c intension x540 != x541 using generic constraint 10.78/10.82 c intension x542 != x543 using generic constraint 10.78/10.82 c intension x544 != x545 using generic constraint 10.78/10.82 c intension x546 != x547 using generic constraint 10.78/10.83 c intension x548 != x549 using generic constraint 10.78/10.83 c intension x550 != x551 using generic constraint 10.78/10.83 c intension x552 != x553 using generic constraint 10.78/10.83 c intension x554 != x555 using generic constraint 10.78/10.83 c intension x556 != x557 using generic constraint 10.78/10.83 c intension x558 != x559 using generic constraint 10.78/10.83 c intension x560 != x561 using generic constraint 10.78/10.83 c intension x562 != x563 using generic constraint 10.78/10.83 c intension x564 != x565 using generic constraint 10.78/10.83 c intension x566 != x567 using generic constraint 10.78/10.83 c intension x568 != x569 using generic constraint 10.78/10.83 c intension x570 != x571 using generic constraint 10.78/10.84 c intension x572 != x573 using generic constraint 10.78/10.84 c intension x574 != x575 using generic constraint 10.78/10.84 c intension x576 != x577 using generic constraint 10.78/10.84 c intension x578 != x579 using generic constraint 10.78/10.84 c intension x580 != x581 using generic constraint 10.78/10.84 c intension x582 != x583 using generic constraint 10.78/10.84 c intension x584 != x585 using generic constraint 10.78/10.84 c intension x586 != x587 using generic constraint 10.78/10.84 c intension x588 != x589 using generic constraint 10.78/10.84 c intension x590 != x591 using generic constraint 10.78/10.84 c intension x592 != x593 using generic constraint 10.78/10.84 c intension x594 != x595 using generic constraint 10.78/10.85 c intension x596 != x597 using generic constraint 10.78/10.85 c intension x598 != x599 using generic constraint 41.37/41.49 terminate called after throwing an instance of 'Glucose::OutOfMemoryException' 41.37/41.49 c 41.37/41.49 c This is cosoco 1.0 -- 41.37/41.49 c
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4243018-1500666653/watcher-4243018-1500666653 -o /tmp/evaluation-result-4243018-1500666653/solver-4243018-1500666653 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500648172-9859 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4243018-1500666653.xml pid=12306 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.03 2.03 2.05 3/243 12309 /proc/meminfo: memFree=31339356/32770624 swapFree=6556/240576 [pid=12309] ppid=12306 vsize=29384 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 4202496 1522 0 0 0 0 0 0 0 20 0 1 0 1930271 30089216 1360 33554432000 4194304 5970956 140725384336832 140725384332152 140478477036517 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 7346 1360 680 434 0 710 0 [startup+0.100152 s] /proc/loadavg: 2.03 2.03 2.05 3/243 12309 /proc/meminfo: memFree=31339356/32770624 swapFree=6556/240576 [pid=12309] ppid=12306 vsize=34296 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 4202496 2792 0 0 0 8 0 0 0 20 0 1 0 1930271 35119104 2592 33554432000 4194304 5970956 140725384336832 140725384333432 140478480521629 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 8574 2592 730 434 0 1938 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 34296 [startup+0.20032 s] /proc/loadavg: 2.03 2.03 2.05 3/243 12309 /proc/meminfo: memFree=31339356/32770624 swapFree=6556/240576 [pid=12309] ppid=12306 vsize=34848 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 4202496 2944 0 0 0 18 0 0 0 20 0 1 0 1930271 35684352 2757 33554432000 4194304 5970956 140725384336832 140725384331560 140478480522887 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 8712 2757 730 434 0 2076 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 34848 [startup+0.300241 s] /proc/loadavg: 2.03 2.03 2.05 3/243 12309 /proc/meminfo: memFree=31339356/32770624 swapFree=6556/240576 [pid=12309] ppid=12306 vsize=35688 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 4202496 3117 0 0 0 28 0 0 0 20 0 1 0 1930271 36544512 2949 33554432000 4194304 5970956 140725384336832 140725384333432 140478480518232 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 8922 2949 730 434 0 2286 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 35688 [startup+0.700191 s] /proc/loadavg: 2.03 2.03 2.05 3/243 12309 /proc/meminfo: memFree=31339356/32770624 swapFree=6556/240576 [pid=12309] ppid=12306 vsize=49616 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 4202496 6689 0 0 0 68 1 0 0 20 0 1 0 1930271 50806784 6438 33554432000 4194304 5970956 140725384336832 140725384330424 140478477783796 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 12404 6438 776 434 0 5768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49616 [startup+1.50025 s] /proc/loadavg: 2.03 2.03 2.05 3/244 12310 /proc/meminfo: memFree=31297620/32770624 swapFree=6556/240576 [pid=12309] ppid=12306 vsize=86832 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 4202496 15996 0 0 0 147 2 0 0 20 0 1 0 1930271 88915968 15744 33554432000 4194304 5970956 140725384336832 140725384330424 140478477036517 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 21708 15744 776 434 0 15072 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86832 [startup+3.10022 s] /proc/loadavg: 1.95 2.01 2.04 3/244 12310 /proc/meminfo: memFree=31246268/32770624 swapFree=6556/240576 [pid=12309] ppid=12306 vsize=160828 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 4202496 34878 0 0 0 304 5 0 0 20 0 1 0 1930271 164687872 34239 33554432000 4194304 5970956 140725384336832 140725384330424 140478477036517 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 40207 34239 776 434 0 33571 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 160828 [startup+6.30021 s] /proc/loadavg: 1.95 2.01 2.04 3/244 12310 /proc/meminfo: memFree=31092108/32770624 swapFree=6556/240576 [pid=12309] ppid=12306 vsize=309736 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 4202496 72789 0 0 0 620 9 0 0 20 0 1 0 1930271 317169664 71428 33554432000 4194304 5970956 140725384336832 140725384330424 140478477783800 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 77434 71428 776 434 0 70798 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 309736 [startup+12.7003 s] /proc/loadavg: 1.96 2.01 2.04 3/244 12310 /proc/meminfo: memFree=30180888/32770624 swapFree=6556/240576 [pid=12309] ppid=12306 vsize=1677500 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 4202496 259541 0 0 0 1225 43 0 0 20 0 1 0 1930271 1717760000 369219 33554432000 4194304 5970956 140725384336832 140725384333656 140478477105707 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 419375 369219 808 434 0 412739 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1677500 [startup+25.5004 s] /proc/loadavg: 1.96 2.01 2.04 3/244 12310 /proc/meminfo: memFree=23477916/32770624 swapFree=6556/240576 [pid=12309] ppid=12306 vsize=9129936 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 4202496 1042323 0 0 0 2348 200 0 0 20 0 1 0 1930271 9349054464 1985947 33554432000 4194304 5970956 140725384336832 140725384333656 140478477105707 0 0 4096 8404994 0 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 2282484 1985947 808 434 0 2275848 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9129936 [startup+51.1004 s] /proc/loadavg: 2.14 2.04 2.05 2/245 12311 /proc/meminfo: memFree=12807508/32770624 swapFree=6556/3019176 [pid=12309] ppid=12306 vsize=15855832 CPUtime=42.55 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 3844 411 0 0 20 0 1 0 1930271 16236371968 3909533 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 5 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3909533 808 434 0 3957322 0 Current children cumulated CPU time (s) 42.55 Current children cumulated vsize (KiB) 15855832 [startup+102.3 s] /proc/loadavg: 3.86 2.54 2.22 2/246 12313 /proc/meminfo: memFree=12034396/32770624 swapFree=6556/3771372 [pid=12309] ppid=12306 vsize=15855832 CPUtime=43.03 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 3871 432 0 0 20 0 1 0 1930271 16236371968 3909533 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 3 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3909533 808 434 0 3957322 0 Current children cumulated CPU time (s) 43.03 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=13 pid=12311 uid=0 cmd= [startup+162.3 s] /proc/loadavg: 4.58 2.99 2.39 2/246 12314 /proc/meminfo: memFree=8691360/32770624 swapFree=6556/6982740 [pid=12309] ppid=12306 vsize=15855832 CPUtime=44.73 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 3962 511 0 0 20 0 1 0 1930271 16236371968 3909533 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 5 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3909533 808 434 0 3957322 0 Current children cumulated CPU time (s) 44.73 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=15 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+222.315 s] /proc/loadavg: 4.85 3.35 2.56 3/246 12315 /proc/meminfo: memFree=5652528/32770624 swapFree=6556/9923928 [pid=12309] ppid=12306 vsize=15855832 CPUtime=46.39 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 4044 595 0 0 20 0 1 0 1930271 16236371968 3909533 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3909533 808 434 0 3957322 0 Current children cumulated CPU time (s) 46.39 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=16 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+282.3 s] /proc/loadavg: 4.94 3.65 2.71 2/245 12317 /proc/meminfo: memFree=2273340/32770624 swapFree=6556/13221284 [pid=12309] ppid=12306 vsize=15855832 CPUtime=48.22 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 4130 692 0 0 20 0 1 0 1930271 16236371968 3909533 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 5 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3909533 808 434 0 3957322 0 Current children cumulated CPU time (s) 48.22 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=16 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+342.3 s] /proc/loadavg: 5.12 3.94 2.87 2/245 12318 /proc/meminfo: memFree=1204408/32770624 swapFree=6556/14243552 [pid=12309] ppid=12306 vsize=15855832 CPUtime=49.87 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 4195 792 0 0 20 0 1 0 1930271 16236371968 3909533 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 11 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3909533 808 434 0 3957322 0 Current children cumulated CPU time (s) 49.87 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=17 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+402.3 s] /proc/loadavg: 5.04 4.14 3.00 3/245 12319 /proc/meminfo: memFree=430912/32770624 swapFree=6556/14957688 [pid=12309] ppid=12306 vsize=15855832 CPUtime=51.71 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 4272 899 0 0 20 0 1 0 1930271 16236371968 3909533 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 3 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3909533 808 434 0 3957322 0 Current children cumulated CPU time (s) 51.71 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=17 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+462.3 s] /proc/loadavg: 5.14 4.32 3.14 3/245 12321 /proc/meminfo: memFree=212396/32770624 swapFree=6556/15167608 [pid=12309] ppid=12306 vsize=15855832 CPUtime=54.34 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 4354 1080 0 0 20 0 1 0 1930271 16236371968 3909534 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 13 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3909534 808 434 0 3957322 0 Current children cumulated CPU time (s) 54.34 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=19 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+522.3 s] /proc/loadavg: 5.12 4.46 3.26 3/245 12322 /proc/meminfo: memFree=207376/32770624 swapFree=6556/15196708 [pid=12309] ppid=12306 vsize=15855832 CPUtime=57.29 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 4462 1267 0 0 20 0 1 0 1930271 16236371968 3909534 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 3 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3909534 808 434 0 3957322 0 Current children cumulated CPU time (s) 57.29 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=23 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+582.3 s] /proc/loadavg: 5.01 4.56 3.37 2/247 12327 /proc/meminfo: memFree=249468/32770624 swapFree=6556/15140632 [pid=12309] ppid=12306 vsize=15855832 CPUtime=58.67 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 4548 1319 0 0 20 0 1 0 1930271 16236371968 3909534 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 3 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3909534 808 434 0 3957322 0 Current children cumulated CPU time (s) 58.67 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=22 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+642.314 s] /proc/loadavg: 5.01 4.64 3.47 2/248 12349 /proc/meminfo: memFree=251612/32770624 swapFree=6556/15140856 [pid=12309] ppid=12306 vsize=15855832 CPUtime=58.67 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 4548 1319 0 0 20 0 1 0 1930271 16236371968 3910199 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 3 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3910199 808 434 0 3957322 0 Current children cumulated CPU time (s) 58.67 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=20 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+702.3 s] /proc/loadavg: 5.00 4.70 3.57 2/248 12350 /proc/meminfo: memFree=329536/32770624 swapFree=6556/15079152 [pid=12309] ppid=12306 vsize=15855832 CPUtime=58.67 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 4548 1319 0 0 20 0 1 0 1930271 16236371968 3910199 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 3 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3910199 808 434 0 3957322 0 Current children cumulated CPU time (s) 58.67 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=18 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+762.3 s] /proc/loadavg: 5.34 4.84 3.68 2/248 12351 /proc/meminfo: memFree=378192/32770624 swapFree=6556/15031964 [pid=12309] ppid=12306 vsize=15855832 CPUtime=58.67 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) S 12306 12309 9825 0 -1 512 1959883 0 0 0 4548 1319 0 0 20 0 1 0 1930271 16236371968 3910199 33554432000 4194304 5970956 140725384336832 140725384333912 140478476739031 0 0 4096 8404994 18446744071580971376 0 0 17 3 0 0 0 0 0 8070896 8075904 10383360 140725384340668 140725384340803 140725384340803 140725384343502 0 /proc/12309/statm: 3963958 3910199 808 434 0 3957322 0 Current children cumulated CPU time (s) 58.67 Current children cumulated vsize (KiB) 15855832 heavy processes: %CPU=17 pid=12311 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 12309 506 1001 1500666695 e 12309 12309 [startup+822.3 s] /proc/loadavg: 5.48 5.00 3.81 3/248 12359 /proc/meminfo: memFree=7906220/32770624 swapFree=6556/7504672 [pid=12309] ppid=12306 vsize=0 CPUtime=58.88 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 516 1959883 0 0 0 4548 1340 0 0 20 0 1 0 1930271 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/12309/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 58.88 Current children cumulated vsize (KiB) 0 heavy processes: Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 12309 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+822.5 s] /proc/loadavg: 5.48 5.00 3.81 3/247 12359 /proc/meminfo: memFree=11030064/32770624 swapFree=6556/7504672 [pid=12309] ppid=12306 vsize=0 CPUtime=59.11 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 516 1959883 0 0 0 4548 1363 0 0 20 0 1 0 1930271 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/12309/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 59.11 Current children cumulated vsize (KiB) 0 [startup+822.714 s] /proc/loadavg: 5.48 5.00 3.81 3/247 12359 /proc/meminfo: memFree=16270700/32770624 swapFree=6556/7504672 [pid=12309] ppid=12306 vsize=0 CPUtime=59.36 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 516 1959883 0 0 0 4548 1388 0 0 20 0 1 0 1930271 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/12309/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 59.36 Current children cumulated vsize (KiB) 0 [startup+822.8 s] /proc/loadavg: 5.48 5.00 3.81 3/247 12359 /proc/meminfo: memFree=16270700/32770624 swapFree=6556/7504672 [pid=12309] ppid=12306 vsize=0 CPUtime=59.36 cores=1,3,5,7,9,11,13,15 /proc/12309/stat : 12309 (cosoco) R 12306 12309 9825 0 -1 516 1959883 0 0 0 4548 1388 0 0 20 0 1 0 1930271 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0 /proc/12309/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 59.36 Current children cumulated vsize (KiB) 0 Child ended because it received signal 6 (SIGABRT) Child dumped core Real time (s): 822.832 CPU time (s): 59.506 CPU user time (s): 45.4874 CPU system time (s): 14.0186 CPU usage (%): 7.23184 Max. virtual memory (cumulated for all children) (KiB): 15855832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 45.4874 system time used= 14.0186 maximum resident set size= 15640876 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1959883 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= 3901669 involuntary context switches= 6129 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.94522 second user time and 6.66775 second system time The end
Begin job on node148 at 2017-07-21 21:50:53 IDJOB=4243018 IDBENCH=138612 IDSOLVER=2621 FILE ID=node148/4243018-1500666653 RUNJOBID= node148-1500648172-9859 PBS_JOBID= 20623273 Free space on /tmp= 61960 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js20-15/SuperTaillard-js-20-15-15.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243018-1500666653/watcher-4243018-1500666653 -o /tmp/evaluation-result-4243018-1500666653/solver-4243018-1500666653 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500648172-9859 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4243018-1500666653.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 6d7e3033fdb5217c74d2816bb8c5b7b8 RANDOM SEED=1607173760 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.21 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31339516 kB MemAvailable: 31451872 kB Buffers: 38396 kB Cached: 382316 kB SwapCached: 0 kB Active: 799968 kB Inactive: 249188 kB Active(anon): 631008 kB Inactive(anon): 8612 kB Active(file): 168960 kB Inactive(file): 240576 kB Unevictable: 6556 kB Mlocked: 6556 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2972 kB Writeback: 0 kB AnonPages: 634672 kB Mapped: 32368 kB Shmem: 8848 kB Slab: 69612 kB SReclaimable: 37308 kB SUnreclaim: 32304 kB KernelStack: 4272 kB PageTables: 6332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 902712 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 575488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 47068 MiB End job on node148 at 2017-07-21 22:04:36