Trace number 2656291

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardOPT-76 35.3006 35.3093

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
MD5SUMc18c3db09a696b172987b81aa567120d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-76
Best CPU time to get the best result obtained on this benchmark5.51416
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints29096
Number of constraints which are clauses29096
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 341
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 341
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656291-1276685650.opb
0.00/0.00	c File size is 961931 bytes.
0.09/0.16	c Highest Coefficient sum: 341
0.09/0.16	c Parsing was ok!!
0.09/0.16	c Total parsing time: 0.159 s
0.09/0.17	c Var: 2025 Constr: 29096 29096/0/0 Lit: 86118 Watch. Lit: 58192
0.09/0.17	c Obj. Vars: 135 (6.66667 % of total variables)
0.29/0.33	c Pre-processing Time: 0.333 s
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   1996    29009    85944    2    58018    9669      0      0 0.33
0.29/0.33	c Switching off lower bounding mode.
0.29/0.34	o -18
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0   1996    29010    86050    2    58028    9881      1      0 0.35
0.29/0.35	o -19
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        6   1996    29020    87048    2    58054    9881     11     16 0.36
0.29/0.36	o -40
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c       46   1996    29093    87402    3    58210    9881     84    124 0.37
0.29/0.39	o -54
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c      121   1996    29233    89543    3    58507    9881    224    305 0.40
0.49/0.59	c      221   1996    29410    92651    3    58865   10870    401    524 0.42
0.49/0.59	c      471   1996    29832   100899    3    59708   11958    823    977 0.48
0.49/0.59	o -55
0.69/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.79	c      824   1996    30427   119195    3    60921    9881   1418   1382 0.60
0.69/0.79	c      924   1996    30609   122679    4    61291   10870   1600   1468 0.63
0.69/0.79	c     1175   1996    30992   136150    4    62064   11958   1983   1634 0.72
0.69/0.79	o -56
0.79/0.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.80	c     1377   1996    31341   143261    4    62785    9881   2332   1732 0.80
0.79/0.80	o -60
0.89/0.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.91	c     1382   1996    31352   143405    4    62828    9881   2343   1712 0.81
0.89/0.91	c     1483   1996    31525   146514    4    63169   10870   2516   1755 0.84
0.89/0.91	o -64
2.10/2.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.20	c     1646   1996    31784   154521    4    63684    9881   2775   1793 0.92
2.10/2.20	c     1746   1996    31941   158830    4    64000   10870   2932   1813 0.96
2.10/2.20	c     1996   1996    32336   171957    5    64804   11958   3327   1899 1.05
2.10/2.20	c     2471   1996    33037   201011    6    66213   13154   4028   1992 1.24
2.10/2.20	c     3284   1996    34134   260002    7    68416   14470   5125   2034 1.61
2.10/2.20	o -68
2.80/2.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.80/2.87	c     4439   1996    35565   350860    9    71272    9881   6556   2011 2.21
2.80/2.87	c     4539   1996    35713   357051    9    71576   10870   6704   1994 2.28
2.80/2.87	c     4790   1996    36037   376218   10    72222   11958   7028   1980 2.42
2.80/2.87	c     5265   1996    36670   412069   11    73513   13154   7661   1932 2.73
2.80/2.87	o -69
4.09/4.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.10	c     5483   1996    36964   426477   11    74107    9881   7955   1904 2.88
4.09/4.10	c     5583   1996    37093   434266   11    74361   10870   8084   1891 2.95
4.09/4.10	c     5834   1996    37425   452707   12    75033   11958   8416   1871 3.12
4.09/4.10	c     6310   1996    38008   490807   12    76190   13154   8999   1838 3.43
4.09/4.10	c     7123   1996    39051   556774   14    78293   14470  10042   1772 4.02
4.09/4.10	o -72
4.19/4.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.27	c     7216   1996    39174   564080   14    78536    9881  10165   1759 4.10
4.19/4.27	c     7318   1996    34229   350359   10    68489   10870   5220   1727 4.24
4.19/4.27	o -76
35.28/35.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.28/35.30	c     7375   1996    34307   354613   10    68676    9881   5298   1723 4.28
35.28/35.30	c     7476   1996    34429   361546   10    68923   10870   5420   1720 4.35
35.28/35.30	c     7726   1996    34750   380383   10    69557   11958   5741   1719 4.49
35.28/35.30	c     8201   1996    35321   416612   11    70703   13154   6312   1725 4.75
35.28/35.30	c     9015   1996    36306   478090   13    72671   14470   7297   1709 5.27
35.28/35.30	c    10337   1996    37911   578158   15    75884   15918   8902   1700 6.08
35.28/35.30	c    12418   1996    40482   740264   18    81022   17510  11473   1582 7.85
35.28/35.30	c    15641   1992    44107   970465   22    88266   19262  15098   1423 10.99
35.28/35.30	c    20577   1989    39806   678018   17    79635   21189  10797   1239 16.59
35.28/35.30	c    28084   1978    47663  1113306   23    95339   23308  18654   1145 24.53
35.28/35.30	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 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 -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 -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 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 x212 x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 
35.28/35.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
35.28/35.30	c   38    36986   2225    57982    45379   745185  16370   1047 35.30
35.28/35.30	c Objective: -76
35.28/35.30	s OPTIMUM FOUND
35.28/35.30	c Total time: 35.296 s

Verifier Data 

OK	-76

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656291-1276685650/watcher-2656291-1276685650 -o /tmp/evaluation-result-2656291-1276685650/solver-2656291-1276685650 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656291-1276685650.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 10421
/proc/meminfo: memFree=1732736/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=11872 CPUtime=0
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 351 0 0 0 0 0 0 0 18 0 1 0 42221363 12156928 270 1992294400 134512640 137138936 4290417312 18446744073709551615 134531343 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 2968 271 175 642 0 2089 0

[startup+0.078301 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 10421
/proc/meminfo: memFree=1732736/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=13376 CPUtime=0.07
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 822 0 0 0 7 0 0 0 20 0 1 0 42221363 13697024 741 1992294400 134512640 137138936 4290417312 18446744073709551615 134529504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 3344 741 279 642 0 2465 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13376

[startup+0.101304 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 10421
/proc/meminfo: memFree=1732736/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=13792 CPUtime=0.09
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 973 0 0 0 9 0 0 0 20 0 1 0 42221363 14123008 892 1992294400 134512640 137138936 4290417312 18446744073709551615 136660710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 3448 893 313 642 0 2569 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13792

[startup+0.301322 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 10421
/proc/meminfo: memFree=1732736/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=16992 CPUtime=0.29
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 2115 0 0 0 26 3 0 0 20 0 1 0 42221363 17399808 1799 1992294400 134512640 137138936 4290417312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 4248 1799 185 642 0 3604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16992

[startup+0.701361 s]
/proc/loadavg: 1.01 1.00 1.00 3/106 10421
/proc/meminfo: memFree=1732736/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=16996 CPUtime=0.69
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 2426 0 0 0 65 4 0 0 20 0 1 0 42221363 17403904 1796 1992294400 134512640 137138936 4290417312 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 4249 1796 192 642 0 3605 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16996

[startup+1.50144 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1726156/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=18196 CPUtime=1.49
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 2728 0 0 0 144 5 0 0 23 0 1 0 42221363 18632704 2098 1992294400 134512640 137138936 4290417312 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 4549 2098 192 642 0 3905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18196

[startup+3.10159 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1723428/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=21272 CPUtime=3.1
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 3497 0 0 0 304 6 0 0 25 0 1 0 42221363 21782528 2867 1992294400 134512640 137138936 4290417312 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 5318 2867 192 642 0 4674 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 21272

[startup+6.3019 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1719832/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=23336 CPUtime=6.29
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 4035 0 0 0 622 7 0 0 25 0 1 0 42221363 23896064 3405 1992294400 134512640 137138936 4290417312 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 5834 3405 192 642 0 5190 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23336

[startup+12.7015 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1713260/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=29988 CPUtime=12.69
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 5678 0 0 0 1260 9 0 0 25 0 1 0 42221363 30707712 5048 1992294400 134512640 137138936 4290417312 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 7497 5048 192 642 0 6853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29988

[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1710160/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=32496 CPUtime=25.48
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 6318 0 0 0 2537 11 0 0 25 0 1 0 42221363 33275904 5688 1992294400 134512640 137138936 4290417312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 8124 5688 192 642 0 7480 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32496

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

[startup+31.9093 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1708424/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=34280 CPUtime=31.89
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 6775 0 0 0 3176 13 0 0 25 0 1 0 42221363 35102720 6145 1992294400 134512640 137138936 4290417312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 8570 6145 192 642 0 7926 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 34280

[startup+33.5005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1708424/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=34280 CPUtime=33.48
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 6775 0 0 0 3335 13 0 0 25 0 1 0 42221363 35102720 6145 1992294400 134512640 137138936 4290417312 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 8570 6145 192 642 0 7926 0
Current children cumulated CPU time (s) 33.48
Current children cumulated vsize (KiB) 34280

[startup+34.3006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1708424/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=34280 CPUtime=34.29
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 6775 0 0 0 3415 14 0 0 25 0 1 0 42221363 35102720 6145 1992294400 134512640 137138936 4290417312 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 8570 6145 192 642 0 7926 0
Current children cumulated CPU time (s) 34.29
Current children cumulated vsize (KiB) 34280

[startup+35.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1708424/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=34280 CPUtime=35.09
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 6775 0 0 0 3495 14 0 0 25 0 1 0 42221363 35102720 6145 1992294400 134512640 137138936 4290417312 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 8570 6145 192 642 0 7926 0
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (KiB) 34280

[startup+35.3007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10422
/proc/meminfo: memFree=1708424/2059040 swapFree=4140256/4192956
[pid=10421] ppid=10419 vsize=34280 CPUtime=35.28
/proc/10421/stat : 10421 (bsolo_pb10) R 10419 10421 10203 0 -1 4202496 6775 0 0 0 3514 14 0 0 25 0 1 0 42221363 35102720 6145 1992294400 134512640 137138936 4290417312 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10421/statm: 8570 6145 192 642 0 7926 0
Current children cumulated CPU time (s) 35.28
Current children cumulated vsize (KiB) 34280

Child status: 0
Real time (s): 35.3093
CPU time (s): 35.3006
CPU user time (s): 35.1547
CPU system time (s): 0.145977
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 34280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.1547
system time used= 0.145977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6776
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= 1
involuntary context switches= 118

runsolver used 0.049992 second user time and 0.186971 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-16 12:54:10
IDJOB=2656291
IDBENCH=71826
IDSOLVER=1162
FILE ID=node018/2656291-1276685650
PBS_JOBID= 11172585
Free space on /tmp= 62484 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-8000opt.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656291-1276685650/watcher-2656291-1276685650 -o /tmp/evaluation-result-2656291-1276685650/solver-2656291-1276685650 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656291-1276685650.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c18c3db09a696b172987b81aa567120d
RANDOM SEED=1817442397

node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
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.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1733264 kB
Buffers:        115056 kB
Cached:         121768 kB
SwapCached:       6364 kB
Active:         102384 kB
Inactive:       148036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1733264 kB
SwapTotal:     4192956 kB
SwapFree:      4140256 kB
Dirty:            4860 kB
Writeback:           0 kB
AnonPages:       11576 kB
Mapped:          13044 kB
Slab:            53644 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181828 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62480 MiB
End job on node018 at 2010-06-16 12:54:46