Trace number 454568

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14OPT-25 738.263 738.548

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_4.opb
MD5SUMd0c1e6f66b584092ef8bd8f37f3a4db9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-25
Best CPU time to get the best result obtained on this benchmark675.688
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -25
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint10
Maximum length of a constraint18
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1258
Sum of products size (including duplicates)2516
Number of different products629
Sum of products size1258

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
0.00/0.04	c Converting 629 PB-constraints to clauses...
0.00/0.04	c   -- Unit propagations: (none)
0.00/0.04	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.04	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.04	c ==================================[MINISAT+]==================================
0.00/0.04	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.04	c ==============================================================================
0.00/0.04	c |         0 |     629     1258 |     209       0        0     nan |  0.000 % |
0.00/0.04	c ==============================================================================
0.00/0.04	c Found solution: -21
0.00/0.04	o -21
0.00/0.04	c ---[   0]---> Sorter-cost: 2208     Base:
0.00/0.05	c ==================================[MINISAT+]==================================
0.00/0.05	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.05	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.05	c ==============================================================================
0.00/0.05	c |         0 |    2900     6617 |     966       0        0     nan |  0.000 % |
0.05/0.06	c |       102 |    2857     6530 |    1062      98     2204    22.5 | 29.264 % |
0.05/0.07	c |       255 |    2831     6475 |    1168     214     7435    34.7 | 29.892 % |
0.05/0.08	c ==============================================================================
0.05/0.08	c Found solution: -22
0.05/0.08	o -22
0.05/0.09	c ---[   0]---> Sorter-cost:    0     Base:
0.05/0.09	c ==================================[MINISAT+]==================================
0.05/0.09	c | Conflicts | Original         | Learnt                           | Progress |
0.05/0.09	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.05/0.09	c ==============================================================================
0.05/0.09	c |       392 |    2808     6425 |     936     350    12849    36.7 | 29.892 % |
0.10/0.10	c |       492 |    2761     6328 |    1029     447    16678    37.3 | 31.753 % |
0.10/0.12	c |       643 |    2761     6328 |    1132     598    22290    37.3 | 31.753 % |
0.10/0.14	c |       868 |    2695     6184 |    1245     818    31124    38.0 | 33.498 % |
0.10/0.16	c ==============================================================================
0.10/0.16	c Found solution: -23
0.10/0.16	o -23
0.10/0.16	c ---[   0]---> Sorter-cost:    0     Base:
0.10/0.16	c ==================================[MINISAT+]==================================
0.10/0.16	c | Conflicts | Original         | Learnt                           | Progress |
0.10/0.16	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.10/0.16	c ==============================================================================
0.10/0.16	c |       987 |    2742     6328 |     914     937    34992    37.3 | 33.498 % |
0.10/0.17	c |      1087 |    2676     6180 |    1005    1007    37134    36.9 | 34.854 % |
0.10/0.18	c |      1237 |    2645     6111 |    1105    1153    38470    33.4 | 35.645 % |
0.20/0.21	c |      1462 |    2613     6037 |    1216    1212    43202    35.6 | 36.488 % |
0.20/0.25	c |      1800 |    2613     6037 |    1338    1550    58842    38.0 | 36.489 % |
0.30/0.33	c |      2306 |    2597     6001 |    1472    2053    85257    41.5 | 36.930 % |
0.39/0.43	c |      3066 |    2597     6001 |    1619    2813   115554    41.1 | 36.926 % |
0.59/0.60	c |      4205 |    2582     5968 |    1781    2543   100743    39.6 | 37.325 % |
0.79/0.85	c |      5913 |    2582     5968 |    1959    2885    98760    34.2 | 37.323 % |
1.19/1.22	c |      8476 |    2570     5944 |    2155    2512    84154    33.5 | 37.545 % |
1.79/1.82	c |     12320 |    2570     5944 |    2370    2685    55815    20.8 | 37.546 % |
2.69/2.77	c |     18087 |    2570     5944 |    2607    2676    82763    30.9 | 37.546 % |
4.09/4.15	c |     26737 |    2539     5877 |    2868    3429   119074    34.7 | 38.342 % |
4.39/4.44	c ==============================================================================
4.39/4.44	c Found solution: -24
4.39/4.44	o -24
4.39/4.44	c ---[   0]---> Sorter-cost:    0     Base:
4.39/4.45	c ==================================[MINISAT+]==================================
4.39/4.45	c | Conflicts | Original         | Learnt                           | Progress |
4.39/4.45	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
4.39/4.45	c ==============================================================================
4.39/4.45	c |     28535 |    2533     5856 |     844    2979    99978    33.6 | 38.342 % |
4.39/4.46	c |     28636 |    2533     5856 |     928    1591    42471    26.7 | 38.658 % |
4.39/4.48	c |     28786 |    2492     5761 |    1021    1734    49930    28.8 | 39.806 % |
4.49/4.51	c |     29014 |    2492     5761 |    1123    1962    61277    31.2 | 39.806 % |
4.49/4.56	c |     29352 |    2492     5761 |    1235    2300    74613    32.4 | 39.806 % |
4.59/4.63	c |     29858 |    2492     5761 |    1359    1656    51683    31.2 | 39.806 % |
4.69/4.73	c |     30617 |    2492     5761 |    1495    2415    82408    34.1 | 39.806 % |
4.79/4.89	c |     31758 |    2490     5757 |    1644    2345    71809    30.6 | 39.851 % |
5.09/5.16	c |     33466 |    2490     5757 |    1809    2490    95806    38.5 | 39.850 % |
5.49/5.52	c |     36029 |    2490     5757 |    1990    3459   137086    39.6 | 39.854 % |
6.09/6.13	c |     39874 |    2490     5757 |    2189    1985    68262    34.4 | 39.850 % |
6.99/7.08	c |     45640 |    2476     5720 |    2408    2132    90220    42.3 | 40.294 % |
8.39/8.40	c |     54290 |    2463     5689 |    2648    3111   111453    35.8 | 40.690 % |
10.49/10.50	c |     67269 |    2463     5689 |    2913    3726   140280    37.6 | 40.690 % |
13.88/13.92	c |     86732 |    2463     5689 |    3205    3155   119816    38.0 | 40.690 % |
18.78/18.83	c |    115925 |    2412     5580 |    3525    4438   138061    31.1 | 41.970 % |
26.48/26.51	c |    159715 |    2412     5580 |    3878    3630   134756    37.1 | 41.970 % |
38.38/38.50	c |    225399 |    2412     5580 |    4265    4069   165810    40.7 | 41.969 % |
39.18/39.23	c ==============================================================================
39.18/39.23	c Found solution: -25
39.18/39.23	o -25
39.18/39.23	c ---[   0]---> Sorter-cost:    0     Base:
39.18/39.24	c ==================================[MINISAT+]==================================
39.18/39.24	c | Conflicts | Original         | Learnt                           | Progress |
39.18/39.24	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
39.18/39.24	c ==============================================================================
39.18/39.24	c |    229446 |    2432     5637 |     810    5161   236850    45.9 | 41.969 % |
39.18/39.25	c |    229546 |    2432     5637 |     891    1391    37403    26.9 | 41.834 % |
39.18/39.27	c |    229696 |    2432     5637 |     980    1541    43890    28.5 | 41.831 % |
39.28/39.30	c |    229922 |    2432     5637 |    1078    1767    51616    29.2 | 41.833 % |
39.28/39.35	c |    230260 |    2432     5637 |    1185    2105    60581    28.8 | 41.831 % |
39.38/39.42	c |    230766 |    2432     5637 |    1304    2611    76455    29.3 | 41.832 % |
39.48/39.53	c |    231526 |    2432     5637 |    1434    2066    50059    24.2 | 41.831 % |
39.58/39.68	c |    232665 |    2432     5637 |    1578    1833    35597    19.4 | 41.831 % |
39.88/39.92	c |    234373 |    2432     5637 |    1736    1998    54268    27.2 | 41.831 % |
40.18/40.30	c |    236936 |    2432     5637 |    1909    2958    98824    33.4 | 41.831 % |
40.78/40.87	c |    240781 |    2432     5637 |    2100    2033    41539    20.4 | 41.833 % |
41.68/41.77	c |    246548 |    2432     5637 |    2311    2359    60242    25.5 | 41.832 % |
42.98/43.09	c |    255197 |    2432     5637 |    2542    2147    52429    24.4 | 41.831 % |
45.08/45.17	c |    268171 |    2432     5637 |    2796    2910   114170    39.2 | 41.833 % |
48.28/48.40	c |    287633 |    2432     5637 |    3075    2983   116386    39.0 | 41.832 % |
53.37/53.41	c |    316826 |    2432     5637 |    3383    2416    74755    30.9 | 41.833 % |
61.07/61.14	c |    360616 |    2432     5637 |    3721    4507   188199    41.8 | 41.833 % |
71.87/71.95	c |    426300 |    2417     5601 |    4094    5059   134744    26.6 | 42.270 % |
89.07/89.12	c |    524826 |    2417     5601 |    4503    3198   102837    32.2 | 42.271 % |
115.16/115.27	c |    672615 |    2354     5457 |    4953    4400   143159    32.5 | 44.021 % |
157.45/157.51	c |    894298 |    2354     5457 |    5449    4021   136345    33.9 | 44.021 % |
220.94/221.09	c |   1226824 |    2339     5427 |    5994    5981   215616    36.1 | 44.068 % |
314.91/315.03	c |   1725612 |    2280     5296 |    6593    7061   166329    23.6 | 45.599 % |
461.57/461.77	c |   2473794 |    2258     5250 |    7252    5843   171286    29.3 | 45.905 % |
680.92/681.26	c |   3596069 |    2209     5145 |    7978    4465   108626    24.3 | 46.912 % |
738.21/738.54	c ==============================================================================
738.21/738.54	c Optimal solution: -25
738.21/738.54	s OPTIMUM FOUND
738.21/738.54	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 x26 x27 x28 -x29
738.21/738.54	v x30 -x31 -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 x56
738.21/738.54	v -x57 -x58 -x59 -x60 x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 -x81 -x82 x83
738.21/738.54	v -x84 -x85 x86 -x87 x88 -x89 x90 -x91 -x92 -x93 x94 -x95 x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
738.21/738.54	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
738.21/738.54	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
738.21/738.54	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
738.21/738.54	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
738.21/738.54	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
738.21/738.54	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
738.21/738.54	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
738.21/738.54	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
738.21/738.54	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
738.21/738.54	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
738.21/738.54	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
738.21/738.54	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
738.21/738.54	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
738.21/738.54	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
738.21/738.54	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
738.21/738.54	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
738.21/738.54	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
738.21/738.54	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
738.21/738.54	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507
738.21/738.54	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
738.21/738.54	v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
738.21/738.54	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
738.21/738.54	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
738.21/738.54	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612
738.21/738.54	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
738.21/738.54	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654
738.21/738.54	v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675
738.21/738.54	v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696
738.21/738.54	v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
738.21/738.54	v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729
738.21/738.54	c _______________________________________________________________________________
738.21/738.54	c 
738.21/738.54	c restarts              : 64
738.21/738.54	c conflicts             : 3899774        (5283 /sec)
738.21/738.54	c decisions             : 4857032        (6579 /sec)
738.21/738.54	c propagations          : 0              (0 /sec)
738.21/738.54	c inspects              : 0              (0 /sec)
738.21/738.54	c CPU time              : 738.227 s
738.21/738.54	c _______________________________________________________________________________

Verifier Data (download as text)

OK	-25

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/454568-1178027461/instance-454568-1178027461.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node65/watcher-454568-1178027461 -o ROOT/results/node65/solver-454568-1178027461 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/454568-1178027461/minisat+ /tmp/evaluation/454568-1178027461/instance-454568-1178027461.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21271
/proc/meminfo: memFree=1918640/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=1048 CPUtime=0
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 112 0 0 0 0 0 0 0 18 0 1 0 278735774 1073152 98 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838351 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 262 100 73 215 0 44 0

[startup+0.0561949 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21271
/proc/meminfo: memFree=1918640/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=1640 CPUtime=0.05
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 271 0 0 0 5 0 0 0 18 0 1 0 278735774 1679360 257 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 410 257 108 215 0 192 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1640

[startup+0.102198 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21271
/proc/meminfo: memFree=1918640/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=1784 CPUtime=0.1
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 306 0 0 0 10 0 0 0 18 0 1 0 278735774 1826816 292 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574457 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 446 292 110 215 0 228 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1784

[startup+0.302226 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21271
/proc/meminfo: memFree=1918640/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=2048 CPUtime=0.3
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 374 0 0 0 30 0 0 0 19 0 1 0 278735774 2097152 360 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 512 360 110 215 0 294 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2048

[startup+0.701248 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21271
/proc/meminfo: memFree=1918640/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=2188 CPUtime=0.69
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 426 0 0 0 69 0 0 0 23 0 1 0 278735774 2240512 412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574093 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 547 412 110 215 0 329 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2188

[startup+1.50131 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 21272
/proc/meminfo: memFree=1917352/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=2316 CPUtime=1.49
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 461 0 0 0 149 0 0 0 25 0 1 0 278735774 2371584 447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 579 447 110 215 0 361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2316

[startup+3.10145 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 21272
/proc/meminfo: memFree=1917032/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=2448 CPUtime=3.09
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 480 0 0 0 309 0 0 0 25 0 1 0 278735774 2506752 466 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580433 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 612 466 110 215 0 394 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2448

[startup+6.30171 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 21272
/proc/meminfo: memFree=1916648/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=2580 CPUtime=6.29
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 532 0 0 0 629 0 0 0 25 0 1 0 278735774 2641920 518 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 645 518 110 215 0 427 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 2580

[startup+12.7012 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 21272
/proc/meminfo: memFree=1916328/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=2972 CPUtime=12.69
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 627 0 0 0 1269 0 0 0 25 0 1 0 278735774 3043328 613 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574378 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 743 613 110 215 0 525 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2972

[startup+25.5023 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 21272
/proc/meminfo: memFree=1916136/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=3236 CPUtime=25.48
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 692 0 0 0 2548 0 0 0 25 0 1 0 278735774 3313664 678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583911 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 809 678 110 215 0 591 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3236

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 21272
/proc/meminfo: memFree=1915752/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=3624 CPUtime=51.07
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 796 0 0 0 5107 0 0 0 25 0 1 0 278735774 3710976 782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134585952 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 906 782 110 215 0 688 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3624

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 21272
/proc/meminfo: memFree=1915304/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=4140 CPUtime=102.27
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 912 0 0 0 10226 1 0 0 25 0 1 0 278735774 4239360 898 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1035 898 110 215 0 817 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 4140

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21272
/proc/meminfo: memFree=1914728/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=4660 CPUtime=162.25
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1041 0 0 0 16224 1 0 0 25 0 1 0 278735774 4771840 1027 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1165 1027 110 215 0 947 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 4660

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21272
/proc/meminfo: memFree=1914472/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=4912 CPUtime=222.23
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1095 0 0 0 22222 1 0 0 25 0 1 0 278735774 5029888 1081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579622 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1228 1081 110 215 0 1010 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 4912

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21272
/proc/meminfo: memFree=1914152/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=5176 CPUtime=282.22
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1177 0 0 0 28221 1 0 0 25 0 1 0 278735774 5300224 1163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134586087 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1294 1163 110 215 0 1076 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 5176

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21272
/proc/meminfo: memFree=1913768/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=5568 CPUtime=342.2
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1258 0 0 0 34219 1 0 0 25 0 1 0 278735774 5701632 1244 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580294 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1392 1244 110 215 0 1174 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 5568

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21272
/proc/meminfo: memFree=1913384/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=5824 CPUtime=402.18
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1339 0 0 0 40217 1 0 0 25 0 1 0 278735774 5963776 1325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1456 1325 110 215 0 1238 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 5824

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21272
/proc/meminfo: memFree=1913256/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=5952 CPUtime=462.17
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1367 0 0 0 46216 1 0 0 25 0 1 0 278735774 6094848 1353 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1488 1353 110 215 0 1270 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 5952

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21272
/proc/meminfo: memFree=1913128/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6084 CPUtime=522.15
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1401 0 0 0 52214 1 0 0 25 0 1 0 278735774 6230016 1387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1521 1387 110 215 0 1303 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 6084

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21272
/proc/meminfo: memFree=1912808/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6348 CPUtime=582.14
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1472 0 0 0 58212 2 0 0 25 0 1 0 278735774 6500352 1458 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574327 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1587 1458 110 215 0 1369 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 6348

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/71 21444
/proc/meminfo: memFree=1911472/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6348 CPUtime=642.05
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1477 0 0 0 64202 3 0 0 25 0 1 0 278735774 6500352 1463 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580792 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1587 1463 110 215 0 1369 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 6348

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21470
/proc/meminfo: memFree=1912552/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6480 CPUtime=702.02
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1492 0 0 0 70199 3 0 0 25 0 1 0 278735774 6635520 1478 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1620 1478 110 215 0 1402 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 6480

Solver just ended. Dumping a history of the last processes samples

[startup+716.702 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21470
/proc/meminfo: memFree=1912552/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6480 CPUtime=716.42
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1492 0 0 0 71639 3 0 0 25 0 1 0 278735774 6635520 1478 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1620 1478 110 215 0 1402 0
Current children cumulated CPU time (s) 716.42
Current children cumulated vsize (KiB) 6480

[startup+729.502 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21470
/proc/meminfo: memFree=1912552/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6480 CPUtime=729.21
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1496 0 0 0 72918 3 0 0 25 0 1 0 278735774 6635520 1482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1620 1482 110 215 0 1402 0
Current children cumulated CPU time (s) 729.21
Current children cumulated vsize (KiB) 6480

[startup+732.702 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21470
/proc/meminfo: memFree=1912552/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6480 CPUtime=732.41
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1496 0 0 0 73238 3 0 0 25 0 1 0 278735774 6635520 1482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1620 1482 110 215 0 1402 0
Current children cumulated CPU time (s) 732.41
Current children cumulated vsize (KiB) 6480

[startup+735.905 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21470
/proc/meminfo: memFree=1912488/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6480 CPUtime=735.61
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1496 0 0 0 73558 3 0 0 25 0 1 0 278735774 6635520 1482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580393 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1620 1482 110 215 0 1402 0
Current children cumulated CPU time (s) 735.61
Current children cumulated vsize (KiB) 6480

[startup+737.501 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21470
/proc/meminfo: memFree=1912488/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6480 CPUtime=737.21
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1496 0 0 0 73718 3 0 0 25 0 1 0 278735774 6635520 1482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581002 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1620 1482 110 215 0 1402 0
Current children cumulated CPU time (s) 737.21
Current children cumulated vsize (KiB) 6480

[startup+738.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21470
/proc/meminfo: memFree=1912488/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6480 CPUtime=738.01
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1496 0 0 0 73798 3 0 0 25 0 1 0 278735774 6635520 1482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581202 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1620 1482 110 215 0 1402 0
Current children cumulated CPU time (s) 738.01
Current children cumulated vsize (KiB) 6480

[startup+738.501 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21470
/proc/meminfo: memFree=1912488/2055920 swapFree=4184032/4192956
[pid=21271] ppid=21269 vsize=6480 CPUtime=738.21
/proc/21271/stat : 21271 (minisat+) R 21269 21271 20568 0 -1 4194304 1496 0 0 0 73818 3 0 0 25 0 1 0 278735774 6635520 1482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21271/statm: 1620 1482 110 215 0 1402 0
Current children cumulated CPU time (s) 738.21
Current children cumulated vsize (KiB) 6480

Child status: 30
Real time (s): 738.548
CPU time (s): 738.263
CPU user time (s): 738.227
CPU system time (s): 0.035994
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 6480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 738.227
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1500
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= 10
involuntary context switches= 864

runsolver used 0.596909 second user time and 1.47778 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Tue May  1 13:51:01 UTC 2007

IDJOB= 454568
IDBENCH= 48206
IDSOLVER= 156
FILE ID= node65/454568-1178027461

PBS_JOBID= 4728388

Free space on /tmp= 66562 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_4.opb
COMMAND LINE= /tmp/evaluation/454568-1178027461/minisat+ /tmp/evaluation/454568-1178027461/instance-454568-1178027461.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-454568-1178027461 -o ROOT/results/node65/conversion-454568-1178027461 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454568-1178027461/instance-454568-1178027461.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-454568-1178027461 -o ROOT/results/node65/solver-454568-1178027461 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/454568-1178027461/minisat+ /tmp/evaluation/454568-1178027461/instance-454568-1178027461.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  d0c1e6f66b584092ef8bd8f37f3a4db9

RANDOM SEED= 537425250

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1919048 kB
Buffers:         17488 kB
Cached:          52320 kB
SwapCached:       3020 kB
Active:          47208 kB
Inactive:        34124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1919048 kB
SwapTotal:     4192956 kB
SwapFree:      4184032 kB
Dirty:            2380 kB
Writeback:           0 kB
Mapped:          16660 kB
Slab:            41556 kB
Committed_AS:  4449720 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node65 on Tue May  1 14:03:20 UTC 2007