Trace number 4243026

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: cosoco-sat 1.1Signal 73.1115 835.908

General information on the benchmark

NameSuperSolutions/SuperSolutions-Taillard-os20/
SuperTaillard-os-20-17.xml
MD5SUM4b4738a8e40cdda4c63a077f136d1653
Bench CategoryCSP (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 variables800
Number of constraints23200
Number of domains98
Minimum domain size1322
Maximum domain size1420
Distribution of domain sizes[{"size":1322,"count":14},{"size":1323,"count":8},{"size":1324,"count":16},{"size":1325,"count":6},{"size":1326,"count":6},{"size":1327,"count":4},{"size":1328,"count":12},{"size":1329,"count":4},{"size":1330,"count":18},{"size":1331,"count":10},{"size":1332,"count":4},{"size":1333,"count":20},{"size":1334,"count":8},{"size":1335,"count":2},{"size":1336,"count":16},{"size":1337,"count":12},{"size":1338,"count":8},{"size":1339,"count":4},{"size":1340,"count":12},{"size":1341,"count":2},{"size":1342,"count":10},{"size":1343,"count":12},{"size":1344,"count":12},{"size":1345,"count":12},{"size":1346,"count":10},"...",{"size":1396,"count":10}, {"size":1397,"count":14}, {"size":1398,"count":8}, {"size":1399,"count":12}, {"size":1400,"count":4}, {"size":1401,"count":6}, {"size":1402,"count":12}, {"size":1403,"count":10}, {"size":1404,"count":6}, {"size":1405,"count":6}, {"size":1406,"count":6}, {"size":1407,"count":6}, {"size":1408,"count":4}, {"size":1409,"count":8}, {"size":1410,"count":6}, {"size":1411,"count":6}, {"size":1412,"count":8}, {"size":1413,"count":8}, {"size":1414,"count":8}, {"size":1415,"count":4}, {"size":1416,"count":10}, {"size":1417,"count":6}, {"size":1418,"count":10}, {"size":1419,"count":8}, {"size":1420,"count":6}]
Minimum variable degree39
Maximum variable degree77
Distribution of variable degrees[{"degree":39,"count":400},{"degree":77,"count":400}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":23200}]
Number of extensional constraints0
Number of intensional constraints23200
Distribution of constraint types[{"type":"intension","count":23200}]
Optimization problemNO
Type of objective

Solver Data 

25.77/25.88	c intension x0 != x1  using generic constraint 
25.77/25.88	c intension x2 != x3  using generic constraint 
25.77/25.88	c intension x4 != x5  using generic constraint 
25.77/25.88	c intension x6 != x7  using generic constraint 
25.77/25.88	c intension x8 != x9  using generic constraint 
25.77/25.89	c intension x10 != x11  using generic constraint 
25.77/25.89	c intension x12 != x13  using generic constraint 
25.77/25.89	c intension x14 != x15  using generic constraint 
25.77/25.89	c intension x16 != x17  using generic constraint 
25.77/25.89	c intension x18 != x19  using generic constraint 
25.77/25.89	c intension x20 != x21  using generic constraint 
25.77/25.89	c intension x22 != x23  using generic constraint 
25.77/25.89	c intension x24 != x25  using generic constraint 
25.77/25.89	c intension x26 != x27  using generic constraint 
25.77/25.89	c intension x28 != x29  using generic constraint 
25.77/25.89	c intension x30 != x31  using generic constraint 
25.77/25.90	c intension x32 != x33  using generic constraint 
25.87/25.90	c intension x34 != x35  using generic constraint 
25.87/25.90	c intension x36 != x37  using generic constraint 
25.87/25.90	c intension x38 != x39  using generic constraint 
25.87/25.90	c intension x40 != x41  using generic constraint 
25.87/25.90	c intension x42 != x43  using generic constraint 
25.87/25.90	c intension x44 != x45  using generic constraint 
25.87/25.90	c intension x46 != x47  using generic constraint 
25.87/25.90	c intension x48 != x49  using generic constraint 
25.87/25.90	c intension x50 != x51  using generic constraint 
25.87/25.90	c intension x52 != x53  using generic constraint 
25.87/25.90	c intension x54 != x55  using generic constraint 
25.87/25.91	c intension x56 != x57  using generic constraint 
25.87/25.91	c intension x58 != x59  using generic constraint 
25.87/25.91	c intension x60 != x61  using generic constraint 
25.87/25.91	c intension x62 != x63  using generic constraint 
25.87/25.91	c intension x64 != x65  using generic constraint 
25.87/25.91	c intension x66 != x67  using generic constraint 
25.87/25.91	c intension x68 != x69  using generic constraint 
25.87/25.91	c intension x70 != x71  using generic constraint 
25.87/25.91	c intension x72 != x73  using generic constraint 
25.87/25.91	c intension x74 != x75  using generic constraint 
25.87/25.91	c intension x76 != x77  using generic constraint 
25.87/25.92	c intension x78 != x79  using generic constraint 
25.87/25.92	c intension x80 != x81  using generic constraint 
25.87/25.92	c intension x82 != x83  using generic constraint 
25.87/25.92	c intension x84 != x85  using generic constraint 
25.87/25.92	c intension x86 != x87  using generic constraint 
25.87/25.92	c intension x88 != x89  using generic constraint 
25.87/25.92	c intension x90 != x91  using generic constraint 
25.87/25.92	c intension x92 != x93  using generic constraint 
25.87/25.92	c intension x94 != x95  using generic constraint 
25.87/25.92	c intension x96 != x97  using generic constraint 
25.87/25.92	c intension x98 != x99  using generic constraint 
25.87/25.92	c intension x100 != x101  using generic constraint 
25.87/25.93	c intension x102 != x103  using generic constraint 
25.87/25.93	c intension x104 != x105  using generic constraint 
25.87/25.93	c intension x106 != x107  using generic constraint 
25.87/25.93	c intension x108 != x109  using generic constraint 
25.87/25.93	c intension x110 != x111  using generic constraint 
25.87/25.93	c intension x112 != x113  using generic constraint 
25.87/25.93	c intension x114 != x115  using generic constraint 
25.87/25.93	c intension x116 != x117  using generic constraint 
25.87/25.93	c intension x118 != x119  using generic constraint 
25.87/25.93	c intension x120 != x121  using generic constraint 
25.87/25.93	c intension x122 != x123  using generic constraint 
25.87/25.93	c intension x124 != x125  using generic constraint 
25.87/25.94	c intension x126 != x127  using generic constraint 
25.87/25.94	c intension x128 != x129  using generic constraint 
25.87/25.94	c intension x130 != x131  using generic constraint 
25.87/25.94	c intension x132 != x133  using generic constraint 
25.87/25.94	c intension x134 != x135  using generic constraint 
25.87/25.94	c intension x136 != x137  using generic constraint 
25.87/25.94	c intension x138 != x139  using generic constraint 
25.87/25.94	c intension x140 != x141  using generic constraint 
25.87/25.94	c intension x142 != x143  using generic constraint 
25.87/25.94	c intension x144 != x145  using generic constraint 
25.87/25.94	c intension x146 != x147  using generic constraint 
25.87/25.95	c intension x148 != x149  using generic constraint 
25.87/25.95	c intension x150 != x151  using generic constraint 
25.87/25.95	c intension x152 != x153  using generic constraint 
25.87/25.95	c intension x154 != x155  using generic constraint 
25.87/25.95	c intension x156 != x157  using generic constraint 
25.87/25.95	c intension x158 != x159  using generic constraint 
25.87/25.95	c intension x160 != x161  using generic constraint 
25.87/25.95	c intension x162 != x163  using generic constraint 
25.87/25.95	c intension x164 != x165  using generic constraint 
25.87/25.95	c intension x166 != x167  using generic constraint 
25.87/25.95	c intension x168 != x169  using generic constraint 
25.87/25.95	c intension x170 != x171  using generic constraint 
25.87/25.96	c intension x172 != x173  using generic constraint 
25.87/25.96	c intension x174 != x175  using generic constraint 
25.87/25.96	c intension x176 != x177  using generic constraint 
25.87/25.96	c intension x178 != x179  using generic constraint 
25.87/25.96	c intension x180 != x181  using generic constraint 
25.87/25.96	c intension x182 != x183  using generic constraint 
25.87/25.96	c intension x184 != x185  using generic constraint 
25.87/25.96	c intension x186 != x187  using generic constraint 
25.87/25.96	c intension x188 != x189  using generic constraint 
25.87/25.96	c intension x190 != x191  using generic constraint 
25.87/25.96	c intension x192 != x193  using generic constraint 
25.87/25.97	c intension x194 != x195  using generic constraint 
25.87/25.97	c intension x196 != x197  using generic constraint 
25.87/25.97	c intension x198 != x199  using generic constraint 
25.87/25.97	c intension x200 != x201  using generic constraint 
25.87/25.97	c intension x202 != x203  using generic constraint 
25.87/25.97	c intension x204 != x205  using generic constraint 
25.87/25.97	c intension x206 != x207  using generic constraint 
25.87/25.97	c intension x208 != x209  using generic constraint 
25.87/25.97	c intension x210 != x211  using generic constraint 
25.87/25.97	c intension x212 != x213  using generic constraint 
25.87/25.97	c intension x214 != x215  using generic constraint 
25.87/25.97	c intension x216 != x217  using generic constraint 
25.87/25.98	c intension x218 != x219  using generic constraint 
25.87/25.98	c intension x220 != x221  using generic constraint 
25.87/25.98	c intension x222 != x223  using generic constraint 
25.87/25.98	c intension x224 != x225  using generic constraint 
25.87/25.98	c intension x226 != x227  using generic constraint 
25.87/25.98	c intension x228 != x229  using generic constraint 
25.87/25.98	c intension x230 != x231  using generic constraint 
25.87/25.98	c intension x232 != x233  using generic constraint 
25.87/25.98	c intension x234 != x235  using generic constraint 
25.87/25.98	c intension x236 != x237  using generic constraint 
25.87/25.98	c intension x238 != x239  using generic constraint 
25.87/25.99	c intension x240 != x241  using generic constraint 
25.87/25.99	c intension x242 != x243  using generic constraint 
25.87/25.99	c intension x244 != x245  using generic constraint 
25.87/25.99	c intension x246 != x247  using generic constraint 
25.87/25.99	c intension x248 != x249  using generic constraint 
25.87/25.99	c intension x250 != x251  using generic constraint 
25.87/25.99	c intension x252 != x253  using generic constraint 
25.87/25.99	c intension x254 != x255  using generic constraint 
25.87/25.99	c intension x256 != x257  using generic constraint 
25.87/25.99	c intension x258 != x259  using generic constraint 
25.87/25.99	c intension x260 != x261  using generic constraint 
25.87/25.99	c intension x262 != x263  using generic constraint 
25.87/26.00	c intension x264 != x265  using generic constraint 
25.97/26.00	c intension x266 != x267  using generic constraint 
25.97/26.00	c intension x268 != x269  using generic constraint 
25.97/26.00	c intension x270 != x271  using generic constraint 
25.97/26.00	c intension x272 != x273  using generic constraint 
25.97/26.00	c intension x274 != x275  using generic constraint 
25.97/26.00	c intension x276 != x277  using generic constraint 
25.97/26.00	c intension x278 != x279  using generic constraint 
25.97/26.00	c intension x280 != x281  using generic constraint 
25.97/26.00	c intension x282 != x283  using generic constraint 
25.97/26.00	c intension x284 != x285  using generic constraint 
25.97/26.00	c intension x286 != x287  using generic constraint 
25.97/26.01	c intension x288 != x289  using generic constraint 
25.97/26.01	c intension x290 != x291  using generic constraint 
25.97/26.01	c intension x292 != x293  using generic constraint 
25.97/26.01	c intension x294 != x295  using generic constraint 
25.97/26.01	c intension x296 != x297  using generic constraint 
25.97/26.01	c intension x298 != x299  using generic constraint 
25.97/26.01	c intension x300 != x301  using generic constraint 
25.97/26.01	c intension x302 != x303  using generic constraint 
25.97/26.01	c intension x304 != x305  using generic constraint 
25.97/26.01	c intension x306 != x307  using generic constraint 
25.97/26.01	c intension x308 != x309  using generic constraint 
25.97/26.02	c intension x310 != x311  using generic constraint 
25.97/26.02	c intension x312 != x313  using generic constraint 
25.97/26.02	c intension x314 != x315  using generic constraint 
25.97/26.02	c intension x316 != x317  using generic constraint 
25.97/26.02	c intension x318 != x319  using generic constraint 
25.97/26.02	c intension x320 != x321  using generic constraint 
25.97/26.02	c intension x322 != x323  using generic constraint 
25.97/26.02	c intension x324 != x325  using generic constraint 
25.97/26.02	c intension x326 != x327  using generic constraint 
25.97/26.02	c intension x328 != x329  using generic constraint 
25.97/26.02	c intension x330 != x331  using generic constraint 
25.97/26.02	c intension x332 != x333  using generic constraint 
25.97/26.03	c intension x334 != x335  using generic constraint 
25.97/26.03	c intension x336 != x337  using generic constraint 
25.97/26.03	c intension x338 != x339  using generic constraint 
25.97/26.03	c intension x340 != x341  using generic constraint 
25.97/26.03	c intension x342 != x343  using generic constraint 
25.97/26.03	c intension x344 != x345  using generic constraint 
25.97/26.03	c intension x346 != x347  using generic constraint 
25.97/26.03	c intension x348 != x349  using generic constraint 
25.97/26.03	c intension x350 != x351  using generic constraint 
25.97/26.03	c intension x352 != x353  using generic constraint 
25.97/26.03	c intension x354 != x355  using generic constraint 
25.97/26.04	c intension x356 != x357  using generic constraint 
25.97/26.04	c intension x358 != x359  using generic constraint 
25.97/26.04	c intension x360 != x361  using generic constraint 
25.97/26.04	c intension x362 != x363  using generic constraint 
25.97/26.04	c intension x364 != x365  using generic constraint 
25.97/26.04	c intension x366 != x367  using generic constraint 
25.97/26.04	c intension x368 != x369  using generic constraint 
25.97/26.04	c intension x370 != x371  using generic constraint 
25.97/26.04	c intension x372 != x373  using generic constraint 
25.97/26.04	c intension x374 != x375  using generic constraint 
25.97/26.04	c intension x376 != x377  using generic constraint 
25.97/26.04	c intension x378 != x379  using generic constraint 
25.97/26.05	c intension x380 != x381  using generic constraint 
25.97/26.05	c intension x382 != x383  using generic constraint 
25.97/26.05	c intension x384 != x385  using generic constraint 
25.97/26.05	c intension x386 != x387  using generic constraint 
25.97/26.05	c intension x388 != x389  using generic constraint 
25.97/26.05	c intension x390 != x391  using generic constraint 
25.97/26.05	c intension x392 != x393  using generic constraint 
25.97/26.05	c intension x394 != x395  using generic constraint 
25.97/26.05	c intension x396 != x397  using generic constraint 
25.97/26.05	c intension x398 != x399  using generic constraint 
25.97/26.05	c intension x400 != x401  using generic constraint 
25.97/26.06	c intension x402 != x403  using generic constraint 
25.97/26.06	c intension x404 != x405  using generic constraint 
25.97/26.06	c intension x406 != x407  using generic constraint 
25.97/26.06	c intension x408 != x409  using generic constraint 
25.97/26.06	c intension x410 != x411  using generic constraint 
25.97/26.06	c intension x412 != x413  using generic constraint 
25.97/26.06	c intension x414 != x415  using generic constraint 
25.97/26.06	c intension x416 != x417  using generic constraint 
25.97/26.06	c intension x418 != x419  using generic constraint 
25.97/26.06	c intension x420 != x421  using generic constraint 
25.97/26.06	c intension x422 != x423  using generic constraint 
25.97/26.06	c intension x424 != x425  using generic constraint 
25.97/26.07	c intension x426 != x427  using generic constraint 
25.97/26.07	c intension x428 != x429  using generic constraint 
25.97/26.07	c intension x430 != x431  using generic constraint 
25.97/26.07	c intension x432 != x433  using generic constraint 
25.97/26.07	c intension x434 != x435  using generic constraint 
25.97/26.07	c intension x436 != x437  using generic constraint 
25.97/26.07	c intension x438 != x439  using generic constraint 
25.97/26.07	c intension x440 != x441  using generic constraint 
25.97/26.07	c intension x442 != x443  using generic constraint 
25.97/26.07	c intension x444 != x445  using generic constraint 
25.97/26.07	c intension x446 != x447  using generic constraint 
25.97/26.07	c intension x448 != x449  using generic constraint 
25.97/26.08	c intension x450 != x451  using generic constraint 
25.97/26.08	c intension x452 != x453  using generic constraint 
25.97/26.08	c intension x454 != x455  using generic constraint 
25.97/26.08	c intension x456 != x457  using generic constraint 
25.97/26.08	c intension x458 != x459  using generic constraint 
25.97/26.08	c intension x460 != x461  using generic constraint 
25.97/26.08	c intension x462 != x463  using generic constraint 
25.97/26.08	c intension x464 != x465  using generic constraint 
25.97/26.08	c intension x466 != x467  using generic constraint 
25.97/26.08	c intension x468 != x469  using generic constraint 
25.97/26.08	c intension x470 != x471  using generic constraint 
25.97/26.09	c intension x472 != x473  using generic constraint 
25.97/26.09	c intension x474 != x475  using generic constraint 
25.97/26.09	c intension x476 != x477  using generic constraint 
25.97/26.09	c intension x478 != x479  using generic constraint 
25.97/26.09	c intension x480 != x481  using generic constraint 
25.97/26.09	c intension x482 != x483  using generic constraint 
25.97/26.09	c intension x484 != x485  using generic constraint 
25.97/26.09	c intension x486 != x487  using generic constraint 
25.97/26.09	c intension x488 != x489  using generic constraint 
25.97/26.09	c intension x490 != x491  using generic constraint 
25.97/26.09	c intension x492 != x493  using generic constraint 
25.97/26.09	c intension x494 != x495  using generic constraint 
26.07/26.10	c intension x496 != x497  using generic constraint 
26.07/26.10	c intension x498 != x499  using generic constraint 
26.07/26.10	c intension x500 != x501  using generic constraint 
26.07/26.10	c intension x502 != x503  using generic constraint 
26.07/26.10	c intension x504 != x505  using generic constraint 
26.07/26.10	c intension x506 != x507  using generic constraint 
26.07/26.10	c intension x508 != x509  using generic constraint 
26.07/26.10	c intension x510 != x511  using generic constraint 
26.07/26.10	c intension x512 != x513  using generic constraint 
26.07/26.10	c intension x514 != x515  using generic constraint 
26.07/26.10	c intension x516 != x517  using generic constraint 
26.07/26.11	c intension x518 != x519  using generic constraint 
26.07/26.11	c intension x520 != x521  using generic constraint 
26.07/26.11	c intension x522 != x523  using generic constraint 
26.07/26.11	c intension x524 != x525  using generic constraint 
26.07/26.11	c intension x526 != x527  using generic constraint 
26.07/26.11	c intension x528 != x529  using generic constraint 
26.07/26.11	c intension x530 != x531  using generic constraint 
26.07/26.11	c intension x532 != x533  using generic constraint 
26.07/26.11	c intension x534 != x535  using generic constraint 
26.07/26.11	c intension x536 != x537  using generic constraint 
26.07/26.11	c intension x538 != x539  using generic constraint 
26.07/26.11	c intension x540 != x541  using generic constraint 
26.07/26.12	c intension x542 != x543  using generic constraint 
26.07/26.12	c intension x544 != x545  using generic constraint 
26.07/26.12	c intension x546 != x547  using generic constraint 
26.07/26.12	c intension x548 != x549  using generic constraint 
26.07/26.12	c intension x550 != x551  using generic constraint 
26.07/26.12	c intension x552 != x553  using generic constraint 
26.07/26.12	c intension x554 != x555  using generic constraint 
26.07/26.12	c intension x556 != x557  using generic constraint 
26.07/26.12	c intension x558 != x559  using generic constraint 
26.07/26.12	c intension x560 != x561  using generic constraint 
26.07/26.12	c intension x562 != x563  using generic constraint 
26.07/26.13	c intension x564 != x565  using generic constraint 
26.07/26.13	c intension x566 != x567  using generic constraint 
26.07/26.13	c intension x568 != x569  using generic constraint 
26.07/26.13	c intension x570 != x571  using generic constraint 
26.07/26.13	c intension x572 != x573  using generic constraint 
26.07/26.13	c intension x574 != x575  using generic constraint 
26.07/26.13	c intension x576 != x577  using generic constraint 
26.07/26.13	c intension x578 != x579  using generic constraint 
26.07/26.13	c intension x580 != x581  using generic constraint 
26.07/26.13	c intension x582 != x583  using generic constraint 
26.07/26.13	c intension x584 != x585  using generic constraint 
26.07/26.13	c intension x586 != x587  using generic constraint 
26.07/26.14	c intension x588 != x589  using generic constraint 
26.07/26.14	c intension x590 != x591  using generic constraint 
26.07/26.14	c intension x592 != x593  using generic constraint 
26.07/26.14	c intension x594 != x595  using generic constraint 
26.07/26.14	c intension x596 != x597  using generic constraint 
26.07/26.14	c intension x598 != x599  using generic constraint 
26.07/26.14	c intension x600 != x601  using generic constraint 
26.07/26.14	c intension x602 != x603  using generic constraint 
26.07/26.14	c intension x604 != x605  using generic constraint 
26.07/26.14	c intension x606 != x607  using generic constraint 
26.07/26.14	c intension x608 != x609  using generic constraint 
26.07/26.14	c intension x610 != x611  using generic constraint 
26.07/26.15	c intension x612 != x613  using generic constraint 
26.07/26.15	c intension x614 != x615  using generic constraint 
26.07/26.15	c intension x616 != x617  using generic constraint 
26.07/26.15	c intension x618 != x619  using generic constraint 
26.07/26.15	c intension x620 != x621  using generic constraint 
26.07/26.15	c intension x622 != x623  using generic constraint 
26.07/26.15	c intension x624 != x625  using generic constraint 
26.07/26.15	c intension x626 != x627  using generic constraint 
26.07/26.15	c intension x628 != x629  using generic constraint 
26.07/26.15	c intension x630 != x631  using generic constraint 
26.07/26.15	c intension x632 != x633  using generic constraint 
26.07/26.16	c intension x634 != x635  using generic constraint 
26.07/26.16	c intension x636 != x637  using generic constraint 
26.07/26.16	c intension x638 != x639  using generic constraint 
26.07/26.16	c intension x640 != x641  using generic constraint 
26.07/26.16	c intension x642 != x643  using generic constraint 
26.07/26.16	c intension x644 != x645  using generic constraint 
26.07/26.16	c intension x646 != x647  using generic constraint 
26.07/26.16	c intension x648 != x649  using generic constraint 
26.07/26.16	c intension x650 != x651  using generic constraint 
26.07/26.16	c intension x652 != x653  using generic constraint 
26.07/26.16	c intension x654 != x655  using generic constraint 
26.07/26.16	c intension x656 != x657  using generic constraint 
26.07/26.17	c intension x658 != x659  using generic constraint 
26.07/26.17	c intension x660 != x661  using generic constraint 
26.07/26.17	c intension x662 != x663  using generic constraint 
26.07/26.17	c intension x664 != x665  using generic constraint 
26.07/26.17	c intension x666 != x667  using generic constraint 
26.07/26.17	c intension x668 != x669  using generic constraint 
26.07/26.17	c intension x670 != x671  using generic constraint 
26.07/26.17	c intension x672 != x673  using generic constraint 
26.07/26.17	c intension x674 != x675  using generic constraint 
26.07/26.17	c intension x676 != x677  using generic constraint 
26.07/26.17	c intension x678 != x679  using generic constraint 
26.07/26.18	c intension x680 != x681  using generic constraint 
26.07/26.18	c intension x682 != x683  using generic constraint 
26.07/26.18	c intension x684 != x685  using generic constraint 
26.07/26.18	c intension x686 != x687  using generic constraint 
26.07/26.18	c intension x688 != x689  using generic constraint 
26.07/26.18	c intension x690 != x691  using generic constraint 
26.07/26.18	c intension x692 != x693  using generic constraint 
26.07/26.18	c intension x694 != x695  using generic constraint 
26.07/26.18	c intension x696 != x697  using generic constraint 
26.07/26.18	c intension x698 != x699  using generic constraint 
26.07/26.18	c intension x700 != x701  using generic constraint 
26.07/26.18	c intension x702 != x703  using generic constraint 
26.07/26.19	c intension x704 != x705  using generic constraint 
26.07/26.19	c intension x706 != x707  using generic constraint 
26.07/26.19	c intension x708 != x709  using generic constraint 
26.07/26.19	c intension x710 != x711  using generic constraint 
26.07/26.19	c intension x712 != x713  using generic constraint 
26.07/26.19	c intension x714 != x715  using generic constraint 
26.07/26.19	c intension x716 != x717  using generic constraint 
26.07/26.19	c intension x718 != x719  using generic constraint 
26.07/26.19	c intension x720 != x721  using generic constraint 
26.07/26.19	c intension x722 != x723  using generic constraint 
26.07/26.19	c intension x724 != x725  using generic constraint 
26.07/26.19	c intension x726 != x727  using generic constraint 
26.17/26.20	c intension x728 != x729  using generic constraint 
26.17/26.20	c intension x730 != x731  using generic constraint 
26.17/26.20	c intension x732 != x733  using generic constraint 
26.17/26.20	c intension x734 != x735  using generic constraint 
26.17/26.20	c intension x736 != x737  using generic constraint 
26.17/26.20	c intension x738 != x739  using generic constraint 
26.17/26.20	c intension x740 != x741  using generic constraint 
26.17/26.20	c intension x742 != x743  using generic constraint 
26.17/26.20	c intension x744 != x745  using generic constraint 
26.17/26.20	c intension x746 != x747  using generic constraint 
26.17/26.20	c intension x748 != x749  using generic constraint 
26.17/26.21	c intension x750 != x751  using generic constraint 
26.17/26.21	c intension x752 != x753  using generic constraint 
26.17/26.21	c intension x754 != x755  using generic constraint 
26.17/26.21	c intension x756 != x757  using generic constraint 
26.17/26.21	c intension x758 != x759  using generic constraint 
26.17/26.21	c intension x760 != x761  using generic constraint 
26.17/26.21	c intension x762 != x763  using generic constraint 
26.17/26.21	c intension x764 != x765  using generic constraint 
26.17/26.21	c intension x766 != x767  using generic constraint 
26.17/26.21	c intension x768 != x769  using generic constraint 
26.17/26.21	c intension x770 != x771  using generic constraint 
26.17/26.21	c intension x772 != x773  using generic constraint 
26.17/26.22	c intension x774 != x775  using generic constraint 
26.17/26.22	c intension x776 != x777  using generic constraint 
26.17/26.22	c intension x778 != x779  using generic constraint 
26.17/26.22	c intension x780 != x781  using generic constraint 
26.17/26.22	c intension x782 != x783  using generic constraint 
26.17/26.22	c intension x784 != x785  using generic constraint 
26.17/26.22	c intension x786 != x787  using generic constraint 
26.17/26.22	c intension x788 != x789  using generic constraint 
26.17/26.22	c intension x790 != x791  using generic constraint 
26.17/26.22	c intension x792 != x793  using generic constraint 
26.17/26.22	c intension x794 != x795  using generic constraint 
26.17/26.23	c intension x796 != x797  using generic constraint 
26.17/26.23	c intension x798 != x799  using generic constraint 
56.14/56.26	terminate called after throwing an instance of 'Glucose::OutOfMemoryException'
56.14/56.26	c
56.14/56.26	c This is cosoco 1.0 --  
56.14/56.26	c

Verifier Data 

One s line expected

Watcher Data 

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-4243026-1500666676/watcher-4243026-1500666676 -o /tmp/evaluation-result-4243026-1500666676/solver-4243026-1500666676 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2490 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4243026-1500666676.xml 

pid=5887
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.25 2.08 2.06 3/242 5890
/proc/meminfo: memFree=31982876/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=28996 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 1419 0 0 0 0 0 0 0 20 0 1 0 1935972 29691904 1228 33554432000 4194304 5970956 140731027784656 140731027781304 140642919226341 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 7249 1228 680 434 0 613 0

[startup+0.100154 s]
/proc/loadavg: 2.25 2.08 2.06 3/242 5890
/proc/meminfo: memFree=31982876/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=36432 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 3333 0 0 0 9 0 0 0 20 0 1 0 1935972 37306368 3159 33554432000 4194304 5970956 140731027784656 140731027781256 140642919226341 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 9108 3159 730 434 0 2472 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36432

[startup+0.200485 s]
/proc/loadavg: 2.25 2.08 2.06 3/242 5890
/proc/meminfo: memFree=31982876/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=37112 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 3501 0 0 0 19 0 0 0 20 0 1 0 1935972 38002688 3326 33554432000 4194304 5970956 140731027784656 140731027781256 140642919226341 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 9278 3326 730 434 0 2642 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37112

[startup+0.300233 s]
/proc/loadavg: 2.25 2.08 2.06 3/242 5890
/proc/meminfo: memFree=31982876/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=37824 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 3674 0 0 0 29 0 0 0 20 0 1 0 1935972 38731776 3482 33554432000 4194304 5970956 140731027784656 140731027781256 140642919226341 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 9456 3482 730 434 0 2820 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37824

[startup+0.700245 s]
/proc/loadavg: 2.25 2.08 2.06 3/242 5890
/proc/meminfo: memFree=31982876/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=40632 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 4458 0 0 0 68 0 0 0 20 0 1 0 1935972 41607168 4200 33554432000 4194304 5970956 140731027784656 140731027781256 140642919226341 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 10158 4200 730 434 0 3522 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 40632

[startup+1.50029 s]
/proc/loadavg: 2.25 2.08 2.06 3/243 5891
/proc/meminfo: memFree=31962016/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=66568 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 11055 0 0 0 148 1 0 0 20 0 1 0 1935972 68165632 10600 33554432000 4194304 5970956 140731027784656 140731027778248 140642919226341 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 16642 10600 776 434 0 10006 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66568

[startup+3.10024 s]
/proc/loadavg: 2.25 2.08 2.06 3/243 5891
/proc/meminfo: memFree=31910308/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=141188 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 30150 0 0 0 305 4 0 0 20 0 1 0 1935972 144576512 29324 33554432000 4194304 5970956 140731027784656 140731027778248 4966541 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 35297 29324 776 434 0 28661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 141188

[startup+6.30021 s]
/proc/loadavg: 2.23 2.08 2.06 3/243 5891
/proc/meminfo: memFree=31755168/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=290404 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 67873 0 0 0 619 9 0 0 20 0 1 0 1935972 297373696 66580 33554432000 4194304 5970956 140731027784656 140731027778248 4966541 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 72601 66580 776 434 0 65965 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 290404

[startup+12.7002 s]
/proc/loadavg: 2.21 2.08 2.06 3/243 5891
/proc/meminfo: memFree=31446036/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=589236 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 142872 0 0 0 1248 20 0 0 20 0 1 0 1935972 603377664 141268 33554432000 4194304 5970956 140731027784656 140731027778248 4966541 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 147309 141268 776 434 0 140673 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 589236

[startup+25.5003 s]
/proc/loadavg: 2.16 2.07 2.06 3/243 5891
/proc/meminfo: memFree=30828192/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=1186776 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 292530 0 0 0 2504 43 0 0 20 0 1 0 1935972 1215258624 290657 33554432000 4194304 5970956 140731027784656 140731027778248 4966541 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 296694 290657 776 434 0 290058 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1186776

[startup+51.1005 s]
/proc/loadavg: 2.11 2.07 2.06 3/243 5891
/proc/meminfo: memFree=18865132/32770624 swapFree=6268/221460
[pid=5890] ppid=5887 vsize=14711180 CPUtime=51.04 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 4202496 1710794 0 0 0 4771 333 0 0 20 0 1 0 1935972 15064248320 3331930 33554432000 4194304 5970956 140731027784656 140731027781480 140642919222078 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3677795 3331930 808 434 0 3671159 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 14711180

[startup+102.3 s]
/proc/loadavg: 3.75 2.50 2.20 2/245 5894
/proc/meminfo: memFree=12833416/32770624 swapFree=6268/3476072
[pid=5890] ppid=5887 vsize=15811968 CPUtime=57.75 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988746 0 0 0 5337 438 0 0 20 0 1 0 1935972 16191455232 3940988 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940988 808 434 0 3946356 0
Current children cumulated CPU time (s) 57.75
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=17 pid=5892 uid=0 cmd=

[startup+162.3 s]
/proc/loadavg: 4.54 2.95 2.38 2/245 5895
/proc/meminfo: memFree=12679800/32770624 swapFree=6268/3625556
[pid=5890] ppid=5887 vsize=15811968 CPUtime=57.95 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988746 0 0 0 5354 441 0 0 20 0 1 0 1935972 16191455232 3940988 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071580971376 0 0 17 1 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940988 808 434 0 3946356 0
Current children cumulated CPU time (s) 57.95
Current children cumulated vsize (KiB) 15811968
heavy processes:

[startup+222.313 s]
/proc/loadavg: 4.83 3.33 2.54 2/245 5896
/proc/meminfo: memFree=10155348/32770624 swapFree=6268/6035792
[pid=5890] ppid=5887 vsize=15811968 CPUtime=59.32 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988746 0 0 0 5417 515 0 0 20 0 1 0 1935972 16191455232 3940988 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071580971376 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940988 808 434 0 3946356 0
Current children cumulated CPU time (s) 59.32
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=10 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

[startup+282.3 s]
/proc/loadavg: 4.71 3.58 2.68 2/245 5898
/proc/meminfo: memFree=5498020/32770624 swapFree=6268/10602016
[pid=5890] ppid=5887 vsize=15811968 CPUtime=61.64 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988746 0 0 0 5516 648 0 0 20 0 1 0 1935972 16191455232 3940988 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071580971376 0 0 17 13 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940988 808 434 0 3946356 0
Current children cumulated CPU time (s) 61.64
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=14 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

[startup+342.3 s]
/proc/loadavg: 4.79 3.80 2.81 2/245 5899
/proc/meminfo: memFree=1546548/32770624 swapFree=6268/14378836
[pid=5890] ppid=5887 vsize=15811968 CPUtime=63.8 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988746 0 0 0 5603 777 0 0 20 0 1 0 1935972 16191455232 3940988 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071580971376 0 0 17 13 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940988 808 434 0 3946356 0
Current children cumulated CPU time (s) 63.8
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=16 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

[startup+402.3 s]
/proc/loadavg: 4.97 4.03 2.95 2/245 5900
/proc/meminfo: memFree=582016/32770624 swapFree=6268/15303972
[pid=5890] ppid=5887 vsize=15811968 CPUtime=66.17 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988746 0 0 0 5692 925 0 0 20 0 1 0 1935972 16191455232 3940988 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071580971376 0 0 17 7 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940988 808 434 0 3946356 0
Current children cumulated CPU time (s) 66.17
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=18 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

[startup+462.3 s]
/proc/loadavg: 4.99 4.21 3.08 2/245 5902
/proc/meminfo: memFree=204988/32770624 swapFree=6268/15655220
[pid=5890] ppid=5887 vsize=15811968 CPUtime=68.44 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988746 0 0 0 5775 1069 0 0 20 0 1 0 1935972 16191455232 3940988 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071580971376 0 0 17 13 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940988 808 434 0 3946356 0
Current children cumulated CPU time (s) 68.44
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=19 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

[startup+522.3 s]
/proc/loadavg: 5.08 4.38 3.21 3/245 5903
/proc/meminfo: memFree=201668/32770624 swapFree=6268/15654416
[pid=5890] ppid=5887 vsize=15811968 CPUtime=70.56 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988746 0 0 0 5842 1214 0 0 20 0 1 0 1935972 16191455232 3940989 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071580971376 0 0 17 7 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940989 808 434 0 3946356 0
Current children cumulated CPU time (s) 70.56
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=20 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

[startup+582.3 s]
/proc/loadavg: 5.06 4.51 3.33 2/247 5912
/proc/meminfo: memFree=246572/32770624 swapFree=6268/15635644
[pid=5890] ppid=5887 vsize=15811968 CPUtime=72.34 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988747 0 0 0 5925 1309 0 0 20 0 1 0 1935972 16191455232 3940989 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071581338616 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940989 808 434 0 3946356 0
Current children cumulated CPU time (s) 72.34
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=23 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

[startup+642.3 s]
/proc/loadavg: 4.61 4.50 3.40 2/247 5935
/proc/meminfo: memFree=245352/32770624 swapFree=6268/15636492
[pid=5890] ppid=5887 vsize=15811968 CPUtime=72.34 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988747 0 0 0 5925 1309 0 0 20 0 1 0 1935972 16191455232 3940989 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071581338616 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940989 808 434 0 3946356 0
Current children cumulated CPU time (s) 72.34
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=21 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

[startup+702.3 s]
/proc/loadavg: 4.27 4.42 3.44 2/247 5936
/proc/meminfo: memFree=267780/32770624 swapFree=6268/15630492
[pid=5890] ppid=5887 vsize=15811968 CPUtime=72.34 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988747 0 0 0 5925 1309 0 0 20 0 1 0 1935972 16191455232 3940989 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071581338616 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940989 808 434 0 3946356 0
Current children cumulated CPU time (s) 72.34
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=19 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

[startup+762.3 s]
/proc/loadavg: 4.17 4.36 3.48 2/247 5937
/proc/meminfo: memFree=285924/32770624 swapFree=6264/15616492
[pid=5890] ppid=5887 vsize=15811968 CPUtime=72.34 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988747 0 0 0 5925 1309 0 0 20 0 1 0 1935972 16191455232 3940989 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071581338616 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940989 808 434 0 3946356 0
Current children cumulated CPU time (s) 72.34
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=17 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

[startup+822.3 s]
/proc/loadavg: 4.11 4.31 3.52 2/247 5938
/proc/meminfo: memFree=298436/32770624 swapFree=6264/15604200
[pid=5890] ppid=5887 vsize=15811968 CPUtime=72.34 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988747 0 0 0 5925 1309 0 0 20 0 1 0 1935972 16191455232 3940989 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071581338616 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940989 808 434 0 3946356 0
Current children cumulated CPU time (s) 72.34
Current children cumulated vsize (KiB) 15811968
heavy processes:
  %CPU=16 pid=5892 uid=0 cmd=/usr/libexec/abrt-hook-ccpp 6 18446744073709551615 5890 506 1001 1500666732 e 5890 5890 

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5890 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+825.6 s]
/proc/loadavg: 4.10 4.31 3.52 2/247 5938
/proc/meminfo: memFree=298436/32770624 swapFree=6264/15604200
[pid=5890] ppid=5887 vsize=15811968 CPUtime=72.34 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988747 0 0 0 5925 1309 0 0 20 0 1 0 1935972 16191455232 3940989 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071581338616 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940989 808 434 0 3946356 0
Current children cumulated CPU time (s) 72.34
Current children cumulated vsize (KiB) 15811968

[startup+832 s]
/proc/loadavg: 4.09 4.30 3.52 2/245 5938
/proc/meminfo: memFree=299044/32770624 swapFree=6268/15604236
[pid=5890] ppid=5887 vsize=15811968 CPUtime=72.34 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988747 0 0 0 5925 1309 0 0 20 0 1 0 1935972 16191455232 3940989 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071581338616 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940989 808 434 0 3946356 0
Current children cumulated CPU time (s) 72.34
Current children cumulated vsize (KiB) 15811968

[startup+833.6 s]
/proc/loadavg: 4.09 4.30 3.52 2/245 5938
/proc/meminfo: memFree=298892/32770624 swapFree=6268/15604236
[pid=5890] ppid=5887 vsize=15811968 CPUtime=72.34 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) S 5887 5890 2456 0 -1 512 1988747 0 0 0 5925 1309 0 0 20 0 1 0 1935972 16191455232 3940989 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071581338616 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940989 808 434 0 3946356 0
Current children cumulated CPU time (s) 72.34
Current children cumulated vsize (KiB) 15811968

[startup+835.2 s]
/proc/loadavg: 4.00 4.28 3.52 2/245 5938
/proc/meminfo: memFree=298864/32770624 swapFree=6268/15604236
[pid=5890] ppid=5887 vsize=15811968 CPUtime=72.34 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) t 5887 5890 2456 0 -1 1073742336 1988747 0 0 0 5925 1309 0 0 20 0 1 0 1935972 16191455232 3940989 33554432000 4194304 5970956 140731027784656 140731027781736 140642918928855 0 0 4096 8404994 18446744071579484205 0 0 17 9 0 0 0 0 0 8070896 8075904 28127232 140731027788988 140731027789123 140731027789123 140731027791822 0
/proc/5890/statm: 3952992 3940989 808 434 0 3946356 0
Current children cumulated CPU time (s) 72.34
Current children cumulated vsize (KiB) 15811968

[startup+835.6 s]
/proc/loadavg: 4.00 4.28 3.52 2/245 5938
/proc/meminfo: memFree=298864/32770624 swapFree=6268/15604236
[pid=5890] ppid=5887 vsize=0 CPUtime=72.77 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 516 1988747 0 0 0 5925 1352 0 0 20 0 1 0 1935972 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/5890/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 72.77
Current children cumulated vsize (KiB) 0

[startup+835.8 s]
/proc/loadavg: 4.00 4.28 3.52 2/245 5938
/proc/meminfo: memFree=298864/32770624 swapFree=6268/15604236
[pid=5890] ppid=5887 vsize=0 CPUtime=72.99 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 516 1988747 0 0 0 5925 1374 0 0 20 0 1 0 1935972 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/5890/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 72.99
Current children cumulated vsize (KiB) 0

[startup+835.9 s]
/proc/loadavg: 4.00 4.28 3.52 2/245 5938
/proc/meminfo: memFree=298864/32770624 swapFree=6268/15604236
[pid=5890] ppid=5887 vsize=0 CPUtime=73.1 cores=1,3,5,7,9,11,13,15
/proc/5890/stat : 5890 (cosoco) R 5887 5890 2456 0 -1 516 1988747 0 0 0 5925 1385 0 0 20 0 1 0 1935972 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 1 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/5890/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 73.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 835.908
CPU time (s): 73.1115
CPU user time (s): 59.2565
CPU system time (s): 13.855
CPU usage (%): 8.74636
Max. virtual memory (cumulated for all children) (KiB): 15811968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.2565
system time used= 13.855
maximum resident set size= 15764040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1988747
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= 3908500
involuntary context switches= 7487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46412 second user time and 6.62594 second system time

The end

Launcher Data 

Begin job on node123 at 2017-07-21 21:51:16
IDJOB=4243026
IDBENCH=138698
IDSOLVER=2621
FILE ID=node123/4243026-1500666676
RUNJOBID= node123-1500648174-2490
PBS_JOBID= 20623297
Free space on /tmp= 62008 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os20/SuperTaillard-os-20-17.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243026-1500666676/watcher-4243026-1500666676 -o /tmp/evaluation-result-4243026-1500666676/solver-4243026-1500666676 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2490 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4243026-1500666676.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 4b4738a8e40cdda4c63a077f136d1653
RANDOM SEED=1060103379

node123.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.12
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.12
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		: 1867.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.12
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.12
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		: 1600.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.12
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		: 2267.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		: 1733.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.12
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.12
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		: 1733.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.12
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		: 2000.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:        31981904 kB
MemAvailable:   31986860 kB
Buffers:           40136 kB
Cached:           275856 kB
SwapCached:            0 kB
Active:           181280 kB
Inactive:         230068 kB
Active(anon):      98084 kB
Inactive(anon):     8608 kB
Active(file):      83196 kB
Inactive(file):   221460 kB
Unevictable:        6268 kB
Mlocked:            6268 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2908 kB
Writeback:             0 kB
AnonPages:        137540 kB
Mapped:            29940 kB
Shmem:              8840 kB
Slab:              65296 kB
SReclaimable:      32268 kB
SUnreclaim:        33028 kB
KernelStack:        4256 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     367832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 47424 MiB
End job on node123 at 2017-07-21 22:05:12