Trace number 455580

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
bsolo 3.0.16SAT (MO)-18 957.371 957.793

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_4.opb
MD5SUMd34b8195c337caa741dffbe26b4db95e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)74916
Sum of products size (including duplicates)149832
Number of different products37458
Sum of products size74916

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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455580-1178045941/instance-455580-1178045941.opb
0.00/0.00	c File size is 986475 bytes.
0.39/0.44	c Highest Coefficient sum: 1000
0.39/0.44	c Parsing was ok!!
0.39/0.44	c Total parsing time: 0.444 s
0.49/0.57	c Var: 75916 Constr: 151334 75416/1002/74916 Lit: 527412 Watch. Lit: 451498
0.49/0.57	c Obj. Vars: 500 (0.658623 % of total variables)
180.53/180.78	c Pre-processing Time: 180.624 s
180.53/180.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.53/180.79	c        0  75916   151334   527412    3   451498  500000      0      0 180.62
180.53/180.79	c Switching off LPR mode.
180.73/180.92	o -1	180.765
180.93/181.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.93/181.11	c        0  75916   151335   527912    3   451501  500000      1      0 180.80
180.93/181.11	o -2	180.95
181.03/181.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.03/181.29	c        0  75916   151336   528412    3   451505  500000      2      0 180.99
181.03/181.29	o -3	181.137
181.23/181.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.23/181.48	c        0  75916   151337   528912    3   451510  500000      3      0 181.18
181.23/181.48	o -4	181.327
181.43/181.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.43/181.67	c        0  75916   151338   529412    3   451516  500000      4      0 181.36
181.43/181.67	o -5	181.516
181.63/181.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.63/181.86	c        0  75916   151339   529912    3   451523  500000      5      0 181.56
181.63/181.86	o -6	181.706
181.83/182.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.83/182.05	c        0  75916   151340   530412    3   451531  500000      6      0 181.75
181.83/182.05	o -7	181.897
182.03/182.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.03/182.24	c        0  75916   151341   530912    3   451540  500000      7      0 181.94
182.03/182.24	o -8	182.088
182.23/182.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.23/182.44	c        0  75916   151342   531412    3   451550  500000      8      0 182.13
182.23/182.44	o -9	182.278
182.43/182.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.43/182.63	c        0  75916   151343   531912    3   451561  500000      9      0 182.32
182.43/182.63	o -10	182.468
182.64/182.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.64/182.81	c        0  75916   151344   532412    3   451573  500000     10      0 182.51
182.64/182.81	o -11	182.658
182.83/183.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.83/183.00	c        0  75916   151345   532912    3   451586  500000     11      0 182.70
182.83/183.00	o -12	182.847
182.93/183.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.93/183.19	c        0  75916   151346   533412    3   451600  500000     12      0 182.89
182.93/183.19	o -13	183.035
183.13/183.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.13/183.38	c        0  75916   151347   533912    3   451615  500000     13      0 183.08
183.13/183.38	o -14	183.223
183.33/183.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.33/183.57	c        0  75916   151348   534412    3   451631  500000     14      0 183.27
183.33/183.57	o -15	183.411
183.53/183.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.53/183.76	c        0  75916   151349   534912    3   451648  500000     15      0 183.45
183.53/183.76	o -16	183.599
183.73/183.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.73/183.94	c        0  75916   151350   535412    3   451666  500000     16      0 183.64
183.73/183.94	o -17	183.787
184.23/184.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.23/184.48	c        0  75916   151351   535912    3   451685  500000     17      0 183.83
184.23/184.48	o -18	184.322
957.08/957.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
957.08/957.50	c        2  75916   151354   536418    3   451709  500000     20      0 184.37
957.08/957.50	c      102  75916   151454   590905    3   451909  550001    120      0 184.96
957.08/957.50	c      352  75916   151704   723160    4   452409  605002    370      1 186.18
957.08/957.50	c      827  75916   152179  1070617    7   453359  665503    845      4 190.27
957.08/957.50	c     1640  75916   152992  1721816   11   454985  732054   1658      8 193.39
957.08/957.50	c     2960  75916   154312  2408592   15   457625  805260   2978     14 197.77
957.08/957.50	c     5041  75916   156393  3458486   22   461787  885787   5059     24 202.56
957.08/957.50	c     8264  75916   159616  5182233   32   468233  974366   8282     38 215.10
957.08/957.50	c    13200  75916   164552  7800521   47   478105  500000  13218     56 234.83
957.08/957.50	c    20706  75916   172058 11582862   67   493117  550001  20724     85 243.47
957.08/957.50	c    32067  75916   183419 17371632   94   515839  605002  32085    121 264.18
957.08/957.50	c    49211  75916   200563 26381823  131   550127  665503  49229    155 315.87
957.08/957.50	c    75030  75916   226382 39937150  176   601765  732054  75048    191 390.94
957.08/957.50	c   113862  75916   265214 60134787  226   679429  805260 113880    226 503.11
957.08/957.50	c   172214  75916   323566 89535778  276   796133  885787 172232    266 646.50
957.08/957.50	c   259846  75916   411198 134966792  328   971397  974366 259864    278 932.82
957.08/957.50	c Caught signal: 15
957.08/957.50	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
957.08/957.50	v -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
957.08/957.50	v -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
957.08/957.50	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
957.08/957.50	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
957.08/957.50	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
957.08/957.50	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
957.08/957.50	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
957.08/957.50	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
957.08/957.50	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
957.08/957.50	v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
957.08/957.50	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
957.08/957.50	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
957.08/957.50	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
957.08/957.50	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
957.08/957.50	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
957.08/957.50	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
957.08/957.50	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
957.08/957.50	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
957.08/957.50	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
957.08/957.50	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
957.08/957.50	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
957.08/957.50	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x802 -x584 -x775 -x827 -x864 -x538 -x526
957.08/957.50	v -x529 -x886 -x545 -x955 -x715 -x965 -x904 -x915 -x903 -x942 -x902 -x650 -x718 -x605 -x969 -x780 -x574 -x719 -x823 -x883 -x721
957.08/957.50	v -x821 -x631 -x874 -x905 -x757 -x700 -x620 -x795 -x725 -x984 -x962 -x880 -x777 -x676 -x845 -x532 -x943 -x599 -x973 -x844 -x748
957.08/957.50	v -x690 -x948 -x568 -x822 -x873 -x787 -x996 -x755 -x507 -x817 -x738 -x502 -x509 -x518 -x539 -x553 -x558 -x588 -x596 -x603 -x615
957.08/957.50	v -x625 -x626 -x638 -x641 -x642 -x651 -x660 -x678 -x699 -x708 -x720 -x759 -x773 -x779 -x803 -x816 -x848 -x852 -x916 -x926 -x501
957.08/957.50	v x732 -x573 x994 -x932 -x692 x640 -x508 -x527 -x970 x907 -x591 -x997 -x974 -x939 x701 x947 -x634 x800 x988 -x933 -x868 x661
957.08/957.50	v -x806 -x506 -x657 -x912 -x825 -x595 -x749 -x847 -x878 -x940 x986 -x967 -x707 -x742 -x703 -x879 -x513 -x627 -x853 -x897 -x865
957.08/957.50	v -x717 -x521 -x980 -x765 -x697 -x981 -x712 -x503 -x515 -x535 -x547 -x551 -x560 -x563 -x576 -x589 -x590 -x597 -x600 -x612 -x618
957.08/957.50	v -x652 -x653 -x665 -x666 -x682 -x685 -x695 -x714 -x727 -x731 -x752 -x756 -x776 -x831 x854 -x876 -x982 -x998 -x945 -x885 -x664
957.08/957.50	v -x826 -x963 -x884 -x927 -x556 -x771 -x983 -x635 -x910 -x987 -x557 -x537 -x810 -x724 -x869 -x921 -x849 -x578 -x601 -x655 -x505
957.08/957.50	v -x639 -x577 -x860 -x519 -x770 -x679 -x587 -x979 -x896 -x730 -x674 -x663 -x520 -x543 -x559 -x562 -x572 -x609 -x616 -x643 -x659
957.08/957.50	v -x698 -x710 -x750 -x753 -x772 -x811 -x832 -x863 -x891 -x900 -x929 -x975 -x977 -x866 -x741 -x819 -x614 -x758 x530 -x794 -x711
957.08/957.50	v x922 -x813 -x843 x985 -x781 -x815 -x528 -x768 -x702 -x769 -x956 -x566 -x555 -x976 -x696 -x888 -x871 -x890 -x855 -x670 -x959
957.08/957.50	v x669 -x549 -x579 -x681 -x602 -x511 -x514 -x517 -x565 -x575 -x580 -x593 -x611 -x637 -x716 -x734 -x788 -x809 -x835 -x934 -x953
957.08/957.50	v -x966 -x504 -x739 -x841 -x668 -x928 -x585 -x531 -x622 -x892 -x949 x989 -x525 -x899 -x693 -x887 -x632 -x991 -x542 -x606 -x836
957.08/957.50	v -x554 -x824 -x540 -x510 -x552 -x567 -x569 -x594 -x617 -x628 -x723 -x729 -x754 -x760 -x762 -x764 -x790 -x814 -x820 -x828 -x870
957.08/957.50	v -x906 -x917 -x952 -x833 -x604 -x968 -x704 -x957 -x851 -x840 -x792 -x747 -x786 -x850 -x534 -x581 -x630 -x592 -x548 -x935 -x544
957.08/957.50	v -x918 -x766 -x706 -x713 -x746 -x785 -x791 -x898 -x972 -x978 -x889 -x856 -x610 -x837 -x877 -x924 -x673 -x858 -x516 -x675 -x561
957.08/957.50	v -x550 -x523 -x672 -x512 -x536 -x570 -x629 -x636 -x646 -x647 -x654 -x656 -x658 -x662 -x671 -x684 -x733 -x761 -x763 -x784 -x834
957.08/957.50	v -x881 -x909 -x751 -x958 -x872 -x805 -x621 -x782 -x624 -x911 -x960 -x954 -x796 -x936 -x882 -x533 -x667 -x680 -x689 -x743 -x783
957.08/957.50	v -x857 -x930 -x1000 -x522 -x677 -x607 -x582 -x709 -x687 -x644 -x862 -x838 -x546 -x645 -x649 -x740 -x774 x999 -x686 -x789 -x722
957.08/957.50	v -x951 -x895 -x925 -x541 -x524 -x598 -x613 -x623 -x797 -x801 -x807 -x919 -x964 -x648 -x908 -x861 -x920 -x941 -x728 -x931 -x736
957.08/957.50	v -x691 -x726 -x990 -x745 -x995 -x808 -x839 -x944 -x688 -x705 -x961 -x846 -x938 -x799 -x793 -x586 -x804 -x992 -x619 -x859 -x767
957.08/957.50	v -x798 -x564 -x914 -x683 -x950 -x744 -x913 -x583 -x901 -x893 x993 -x633 -x735 -x694 -x875 -x737 -x946 -x937 -x608 -x812 -x829
957.08/957.50	v -x842 -x571 -x923 -x830 -x818 -x894 -x971 -x778 -x867
957.08/957.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
957.08/957.51	c   33   269311    475  1460359   420663 139704870 269329    281 957.09
957.08/957.51	c Objective: -18
957.08/957.51	s SATISFIABLE
957.08/957.51	c Total time: 957.089 s

Verifier Data (download as text)

OK	-18

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node22/watcher-455580-1178045941 -o ROOT/results/node22/solver-455580-1178045941 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455580-1178045941/instance-455580-1178045941.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.78 0.95 0.98 3/77 4150
/proc/meminfo: memFree=1834992/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=12700 CPUtime=0
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 252511792 13004800 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 3175 335 281 324 0 2003 0

[startup+0.045771 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 4150
/proc/meminfo: memFree=1834992/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=7224 CPUtime=0.03
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 967 0 0 0 3 0 0 0 18 0 1 0 252511792 7397376 936 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 1806 937 314 324 0 634 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7224

[startup+0.101779 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 4150
/proc/meminfo: memFree=1834992/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=10316 CPUtime=0.09
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 1765 0 0 0 9 0 0 0 18 0 1 0 252511792 10563584 1734 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 2579 1734 345 324 0 1407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10316

[startup+0.301809 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 4150
/proc/meminfo: memFree=1834992/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=20396 CPUtime=0.29
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 4539 0 0 0 28 1 0 0 19 0 1 0 252511792 20885504 4340 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5113467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 5099 4341 447 324 0 3927 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20396

[startup+0.70187 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 4150
/proc/meminfo: memFree=1834992/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=44448 CPUtime=0.69
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 10620 0 0 0 65 4 0 0 23 0 1 0 252511792 45514752 10180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 11112 10180 307 324 0 10181 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44448

[startup+1.50199 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 4151
/proc/meminfo: memFree=1794664/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=44976 CPUtime=1.49
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 10793 0 0 0 145 4 0 0 25 0 1 0 252511792 46055424 10353 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5109079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 11244 10353 307 324 0 10313 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44976

[startup+3.10123 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 4151
/proc/meminfo: memFree=1794536/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=44976 CPUtime=3.09
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 10796 0 0 0 305 4 0 0 25 0 1 0 252511792 46055424 10356 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 11244 10356 307 324 0 10313 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44976

[startup+6.30172 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 4151
/proc/meminfo: memFree=1794280/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=44976 CPUtime=6.28
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 10798 0 0 0 624 4 0 0 25 0 1 0 252511792 46055424 10358 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 11244 10358 307 324 0 10313 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 44976

[startup+12.7017 s]
/proc/loadavg: 0.83 0.95 0.98 2/78 4151
/proc/meminfo: memFree=1794288/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=44976 CPUtime=12.68
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 10806 0 0 0 1264 4 0 0 25 0 1 0 252511792 46055424 10366 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 11244 10366 307 324 0 10313 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44976

[startup+25.5016 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 4151
/proc/meminfo: memFree=1794352/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=44976 CPUtime=25.48
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 10810 0 0 0 2543 5 0 0 25 0 1 0 252511792 46055424 10370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5111895 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 11244 10370 307 324 0 10313 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44976

[startup+51.1015 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 4151
/proc/meminfo: memFree=1794352/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=45108 CPUtime=51.07
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 10814 0 0 0 5102 5 0 0 25 0 1 0 252511792 46190592 10374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 11277 10374 307 324 0 10346 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45108

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 4151
/proc/meminfo: memFree=1794416/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=45108 CPUtime=102.26
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 10814 0 0 0 10220 6 0 0 25 0 1 0 252511792 46190592 10374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5111895 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 11277 10374 307 324 0 10346 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 45108

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/84 4323
/proc/meminfo: memFree=1792888/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=45108 CPUtime=162.16
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 10817 0 0 0 16208 8 0 0 25 0 1 0 252511792 46190592 10377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5107864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 11277 10377 307 324 0 10346 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 45108

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4349
/proc/meminfo: memFree=1719408/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=119160 CPUtime=222.12
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 29633 0 0 0 22129 83 0 0 25 0 1 0 252511792 122019840 29044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 29790 29044 313 324 0 28859 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 119160

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4349
/proc/meminfo: memFree=1530736/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=307884 CPUtime=282.09
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 76818 0 0 0 28099 110 0 0 25 0 1 0 252511792 315273216 76229 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 76971 76229 313 324 0 76040 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 307884

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4349
/proc/meminfo: memFree=1404336/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=433712 CPUtime=342.08
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 108278 0 0 0 34077 131 0 0 25 0 1 0 252511792 444121088 107689 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 108428 107689 313 324 0 107497 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 433712

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4349
/proc/meminfo: memFree=1262000/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=576864 CPUtime=402.05
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 144055 0 0 0 40050 155 0 0 25 0 1 0 252511792 590708736 143466 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 144216 143466 313 324 0 143285 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 576864

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 4349
/proc/meminfo: memFree=1132400/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=705928 CPUtime=462.04
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 176328 0 0 0 46026 178 0 0 25 0 1 0 252511792 722870272 175739 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 176482 175739 313 324 0 175551 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 705928

[startup+522.301 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 4349
/proc/meminfo: memFree=946160/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=894352 CPUtime=522.01
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 223429 0 0 0 51990 211 0 0 25 0 1 0 252511792 915816448 222840 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 223588 222840 313 324 0 222657 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 894352

[startup+582.301 s]
/proc/loadavg: 1.01 0.99 0.99 2/78 4349
/proc/meminfo: memFree=749296/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=1088596 CPUtime=582
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 271995 0 0 0 57953 247 0 0 25 0 1 0 252511792 1114722304 271406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 272149 271406 313 324 0 271218 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 1088596

[startup+642.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 4349
/proc/meminfo: memFree=645936/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=1190228 CPUtime=641.98
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 297403 0 0 0 63932 266 0 0 25 0 1 0 252511792 1218793472 296814 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 297557 296814 313 324 0 296626 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 1190228

[startup+702.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 4349
/proc/meminfo: memFree=545904/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=1291868 CPUtime=701.95
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 322809 0 0 0 69908 287 0 0 25 0 1 0 252511792 1322872832 322220 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 322967 322220 313 324 0 322036 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 1291868

[startup+762.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 4349
/proc/meminfo: memFree=430640/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=1405236 CPUtime=761.94
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 351159 0 0 0 75884 310 0 0 25 0 1 0 252511792 1438961664 350570 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 351309 350570 313 324 0 350378 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 1405236

[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 4349
/proc/meminfo: memFree=299632/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=1537332 CPUtime=821.92
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 384188 0 0 0 81856 336 0 0 25 0 1 0 252511792 1574227968 383599 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 384333 383599 313 324 0 383402 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 1537332

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 4349
/proc/meminfo: memFree=170224/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=1665256 CPUtime=881.9
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 416167 0 0 0 87826 364 0 0 25 0 1 0 252511792 1705222144 415578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 416314 415578 313 324 0 415383 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 1665256

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 4349
/proc/meminfo: memFree=32304/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=1804752 CPUtime=941.87
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 451043 0 0 0 93794 393 0 0 25 0 1 0 252511792 1848066048 450454 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5111958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 451188 450454 313 324 0 450257 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 1804752



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+957.502 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 4349
/proc/meminfo: memFree=15920/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=1843228 CPUtime=957.08
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194304 460656 0 0 0 95307 401 0 0 25 0 1 0 252511792 1887465472 460067 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 460807 460067 313 324 0 459876 0
Current children cumulated CPU time (s) 957.08
Current children cumulated vsize (KiB) 1843228

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+957.606 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 4349
/proc/meminfo: memFree=15920/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=0 CPUtime=957.17
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194308 460657 0 0 0 95307 410 0 0 25 0 1 0 252511792 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 957.17
Current children cumulated vsize (KiB) 0

[startup+957.702 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 4349
/proc/meminfo: memFree=15920/2055920 swapFree=4163572/4192956
[pid=4150] ppid=4148 vsize=0 CPUtime=957.27
/proc/4150/stat : 4150 (bsolo3.0.16) R 4148 4150 3994 0 -1 4194308 460657 0 0 0 95307 420 0 0 25 0 1 0 252511792 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/4150/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 957.27
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 957.793
CPU time (s): 957.371
CPU user time (s): 953.079
CPU system time (s): 4.29235
CPU usage (%): 99.956
Max. virtual memory (cumulated for all children) (KiB): 1843228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 953.079
system time used= 4.29235
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460657
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= 12
involuntary context switches= 21100

runsolver used 0.742887 second user time and 2.08568 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue May  1 18:59:01 UTC 2007

IDJOB= 455580
IDBENCH= 48273
IDSOLVER= 163
FILE ID= node22/455580-1178045941

PBS_JOBID= 4728479

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_4.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455580-1178045941/instance-455580-1178045941.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-455580-1178045941 -o ROOT/results/node22/solver-455580-1178045941 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455580-1178045941/instance-455580-1178045941.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  d34b8195c337caa741dffbe26b4db95e

RANDOM SEED= 868818695

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1835336 kB
Buffers:         62460 kB
Cached:          66324 kB
SwapCached:       7080 kB
Active:          64200 kB
Inactive:        89200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1835336 kB
SwapTotal:     4192956 kB
SwapFree:      4163572 kB
Dirty:            7816 kB
Writeback:           0 kB
Mapped:          29408 kB
Slab:            52756 kB
Committed_AS:  4085680 kB
PageTables:       1676 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= 66557 MiB

End job on node22 on Tue May  1 19:15:01 UTC 2007