Trace number 372871

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
PB-clasp 2007-03-23SAT (MO)1344 51.21 51.4364

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir09_area_delay.opb
MD5SUM5a18fe98bad06341d01eaf33ecb4f046
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved NO
Number of variables13487
Total number of constraints57800
Number of constraints which are clauses57800
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 constraint1
Maximum length of a constraint254
Number of terms in the objective function 6486
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 6486
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6486
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

8.87/8.91	o 1344
49.34/49.42	c Somebody sent me a SIGTERM
49.34/49.42	s SATISFIABLE
49.34/49.42	v x1 x63 x64 x137 x138 x173 x196 x198 x202 x210 x212 x216 x217 x221 x223 x227 x233 x236 x237 x239 x243 x245 x246 x247 x294 x295 x314
49.34/49.42	v x316 x324 x325 x327 x329 x332 x338 x339 x340 x344 x347 x348 x351 x352 x359 x363 x366 x367 x398 x406 x407 x417 x419 x421 x425 x431
49.34/49.42	v x433 x434 x435 x439 x441 x447 x449 x450 x451 x452 x464 x465 x467 x468 x470 x473 x474 x475 x477 x478 x479 x481 x486 x489 x493 x494
49.34/49.42	v x495 x497 x499 x500 x502 x504 x505 x507 x508 x510 x511 x512 x513 x514 x515 x516 x520 x521 x523 x524 x525 x526 x527 x528 x531 x534
49.34/49.42	v x535 x536 x537 x538 x539 x541 x545 x547 x549 x551 x553 x559 x561 x563 x567 x571 x573 x575 x587 x591 x593 x597 x601 x603 x604 x605
49.34/49.42	v x607 x611 x613 x615 x617 x619 x621 x622 x623 x626 x627 x629 x633 x635 x639 x641 x643 x645 x649 x651 x653 x655 x657 x661 x663 x664
49.34/49.42	v x665 x669 x671 x673 x677 x678 x679 x685 x687 x689 x690 x691 x693 x695 x697 x701 x703 x705 x709 x715 x723 x725 x727 x729 x731 x735
49.34/49.42	v x739 x741 x745 x747 x749 x753 x757 x759 x763 x765 x767 x773 x777 x779 x791 x793 x1047 x1055 x1057 x1059 x1065 x1079 x1085 x1105
49.34/49.42	v x1107 x1111 x1121 x1125 x1153 x1165 x1167 x1171 x1179 x1183 x1185 x1191 x1193 x1195 x1199 x1201 x1205 x1207 x1211 x1225 x1231
49.34/49.42	v x1237 x1241 x1243 x1251 x1255 x1257 x1259 x1267 x1273 x1279 x1293 x1299 x1303 x1305 x1309 x1319 x1333 x1349 x1355 x1357 x1363
49.34/49.42	v x1365 x1367 x1373 x1375 x1379 x1383 x1389 x1401 x1403 x1409 x1411 x1413 x1427 x1433 x1439 x1461 x1469 x1471 x1497 x1499 x1505
49.34/49.42	v x1507 x1509 x1523 x1533 x1541 x1547 x1555 x1557 x1559 x1579 x1587 x1589 x1593 x1597 x1601 x1611 x1619 x1623 x1641 x1651 x1659
49.34/49.42	v x1661 x1673 x1677 x1701 x1733 x1767 x1771 x1783 x1787 x1791 x1795 x1803 x1815 x1819 x1823 x1825 x1831 x1837 x1841 x1853 x1921
49.34/49.42	v x1929 x1935 x1941 x1953 x1961 x1963 x1989 x2001 x2003 x2017 x2019 x2039 x2045 x2047 x2057 x2059 x2065 x2067 x2077 x2097 x2117
49.34/49.42	v x2199 x2203 x2211 x2245 x2409 x2411 x2415 x2421 x2429 x2433 x2435 x2441 x2443 x2463 x2476 x2478 x2484 x2494 x2504 x2508 x2516
49.34/49.42	v x2530 x2542 x2568 x2572 x2574 x2576 x2600 x2619 x2634 x2638 x2646 x2648 x2650 x2652 x2656 x2677 x2685 x2693 x2697 x2731 x2737
49.34/49.42	v x2745 x2773 x2775 x2785 x2789 x2817 x2829 x2831 x2863 x2894 x2895 x2896 x2897 x2898 x2899 x2901 x2903 x2905 x2907 x2909 x2911
49.34/49.42	v x2913 x2915 x2919 x2921 x2923 x2927 x2929 x2931 x2933 x2935 x2937 x2941 x2943 x2947 x2949 x2951 x2953 x2955 x2957 x2959 x2961
49.34/49.42	v x2967 x2969 x2971 x2973 x2975 x2983 x2985 x2987 x2989 x2991 x2995 x2997 x3007 x3009 x3011 x3013 x3015 x3021 x3023 x3029 x3031
49.34/49.42	v x3033 x3037 x3039 x3041 x3043 x3045 x3047 x3049 x3055 x3059 x3061 x3063 x3067 x3069 x3071 x3079 x3081 x3083 x3085 x3087 x3089
49.34/49.42	v x3091 x3095 x3099 x3103 x3109 x3113 x3115 x3117 x3131 x3133 x3137 x3145 x3147 x3151 x3155 x3157 x3159 x3163 x3167 x3171 x3173
49.34/49.42	v x3175 x3183 x3185 x3189 x3191 x3193 x3197 x3199 x3205 x3209 x3213 x3215 x3219 x3221 x3225 x3227 x3234 x3235 x3237 x3251 x3255
49.34/49.42	v x3259 x3261 x3263 x3265 x3267 x3269 x3271 x3275 x3277 x3279 x3281 x3285 x3287 x3289 x3291 x3293 x3297 x3303 x3305 x3309 x3311
49.34/49.42	v x3319 x3326 x3327 x3329 x3331 x3333 x3335 x3337 x3345 x3347 x3349 x3351 x3353 x3355 x3361 x3363 x3365 x3367 x3369 x3381 x3383
49.34/49.42	v x3385 x3387 x3389 x3391 x3393 x3395 x3397 x3401 x3403 x3405 x3407 x3409 x3417 x3427 x3447 x3505 x3545 x3595 x3609 x3665 x3673
49.34/49.42	v x3675 x3679 x3689 x3691 x3693 x3695 x3699 x3705 x3707 x3717 x3719 x3721 x3725 x3727 x3731 x3733 x3735 x3739 x3745 x3751 x3760
49.34/49.42	v x3764 x3772 x3776 x3778 x3784 x3786 x3788 x3794 x3798 x3808 x3814 x3816 x3818 x3822 x3824 x3826 x3830 x3832 x3840 x3844 x3846
49.34/49.42	v x3856 x3858 x3860 x3862 x3864 x3866 x3870 x3872 x3878 x3880 x3884 x3888 x3894 x3898 x3904 x3906 x3926 x3932 x3958 x3988 x4004
49.34/49.42	v x4014 x4276 x4284 x4306 x4308 x4316 x4328 x4334 x4346 x4372 x4400 x4410 x4414 x4418 x4442 x4446 x4448 x4450 x4460 x4462 x4472
49.34/49.42	v x4492 x4496 x4500 x4502 x4508 x4512 x4540 x4544 x4566 x4568 x4629 x4645 x4647 x4679 x4733 x4766 x4808 x4816 x4938 x4960 x4964
49.34/49.42	v x4968 x4988 x4990 x5000 x5016 x5028 x5032 x5054 x5058 x5062 x5076 x5082 x5090 x5096 x5102 x5104 x5108 x5120 x5144 x5150 x5160
49.34/49.42	v x5164 x5166 x5172 x5176 x5188 x5196 x5212 x5216 x5218 x5224 x5230 x5240 x5254 x5262 x5268 x5304 x5312 x5314 x5350 x5352 x5825
49.34/49.42	v x5845 x5851 x5869 x5871 x5879 x5881 x5889 x5907 x5909 x5917 x5925 x5929 x5937 x5939 x5959 x5971 x5985 x5993 x5997 x5999 x6009
49.34/49.42	v x6011 x6015 x6027 x6029 x6039 x6049 x6053 x6077 x6093 x6101 x6115 x6127 x6135 x6137 x6151 x6155 x6157 x6173 x6183 x6187 x6193
49.34/49.42	v x6195 x6213 x6249 x6281 x6287 x6297 x6301 x6323 x6331 x6342 x6368 x6374 x6380 x6398 x6404 x6418 x6430 x6440 x6444 x6464 x6466
49.34/49.42	v x6468 x6470 x6480 x6486 x6494 x6496 x6498 x6504 x6518 x6522 x6532 x6534 x6536 x6540 x6546 x6548 x6552 x6556 x6558 x6560 x6564
49.34/49.42	v x6568 x6570 x6572 x6575 x6579 x6581 x6585 x6587 x6595 x6597 x6601 x6605 x6609 x6611 x6613 x6627 x6635 x6643 x6645 x6647 x6651
49.34/49.42	v x6655 x6661 x6663 x6665 x6667 x6673 x6675 x6679 x6681 x6687 x6693 x6905 x6921 x6927 x6931 x6941 x6945 x6959 x6963 x6969 x6997
49.34/49.42	v x6999 x7009 x7011 x7023 x7027 x7029 x7047 x7055 x7071 x7075 x7087 x7093 x7097 x7105 x7119 x7133 x7137 x7155 x7157 x7165 x7167
49.34/49.42	v x7173 x7177 x7179 x7203 x7211 x7217 x7227 x7233 x7249 x7255 x7259 x7263 x7269 x7287 x7307 x7315 x7323 x7329 x7331 x7341 x7343
49.34/49.42	v x7347 x7359 x7361 x7363 x7377 x7381 x7387 x7397 x7415 x7417 x7442 x7443 x7444 x7445 x7447 x7449 x7450 x7451 x7453 x7458 x7459
49.34/49.42	v x7461 x7462 x7463 x7468 x7469 x7470 x7471 x7473 x7475 x7477 x7479 x7480 x7481 x7483 x7491 x7492 x7493 x7494 x7495 x7497 x7498
49.34/49.42	v x7499 x7503 x7504 x7505 x7506 x7507 x7513 x7517 x7518 x7519 x7521 x7526 x7527 x7529 x7530 x7531 x7532 x7533 x7534 x7535 x7539
49.34/49.42	v x7545 x7547 x7548 x7549 x7550 x7551 x7553 x7555 x7560 x7561 x7571 x7589 x7591 x7595 x7617 x7669 x7791 x7797 x7799 x7801 x7803
49.34/49.42	v x7815 x7877 x7891 x7916 x7952 x7972 x7982 x7986 x7996 x7998 x8000 x8008 x8066 x8074 x8084 x8124 x8126 x8132 x8136 x8138 x8158
49.34/49.42	v x8164 x8170 x8208 x8236 x8239 x8240 x8241 x8242 x8244 x8468 x8472 x8494 x8514 x8516 x8529 x8545 x8547 x8563 x8569 x8573 x8690
49.34/49.42	v x8700 x8706 x8712 x8714 x8715 x8716 x8718 x8720 x8723 x8724 x8726 x8727 x8728 x8732 x8737 x8738 x8741 x8742 x8743 x8744 x8745
49.34/49.42	v x8746 x8748 x8753 x8754 x8756 x8761 x8762 x8763 x8765 x8767 x8768 x8769 x8771 x8772 x8773 x8774 x8775 x8777 x8779 x8781 x8784
49.34/49.42	v x8785 x8791 x8792 x8793 x8804 x8807 x8808 x8810 x8811 x8812 x8813 x8814 x8816 x8818 x8852 x8860 x8864 x8868 x8882 x8884 x8898
49.34/49.42	v x9017 x9019 x9031 x9049 x9051 x9057 x9067 x9079 x9085 x9087 x9089 x9105 x9126 x9158 x9160 x9162 x9168 x9170 x9174 x9178 x9180
49.34/49.42	v x9194 x9214 x9250 x9268 x9292 x9296 x9308 x9316 x9318 x9324 x9327 x9328 x9384 x9406 x9424 x9428 x9470 x9482 x9516 x9522 x9564
49.34/49.42	v x9570 x9590 x9592 x9610 x9630 x9654 x9670 x9676 x9682 x9694 x9706 x9716 x9718 x9736 x9740 x9756 x9779 x9780 x9814 x9820 x9832
49.34/49.42	v x9840 x9846 x9856 x9862 x9892 x9894 x9912 x9968 x9980 x9994 x10012 x10018 x10020 x10038 x10048 x10074 x10084 x10098 x10104
49.34/49.42	v x10144 x10164 x10184 x10198 x10217 x10218 x10221 x10222 x10229 x10230 x10236 x10241 x10242 x10243 x10244 x10246 x10247
49.34/49.42	v x10248 x10250 x10251 x10252 x10254 x10255 x10256 x10260 x10265 x10266 x10270 x10273 x10274 x10278 x10280 x10281 x10282
49.34/49.42	v x10286 x10288 x10289 x10290 x10292 x10294 x10296 x10299 x10300 x10302 x10307 x10308 x10310 x10332 x10334 x10356 x10382
49.34/49.42	v x10387 x10388 x10389 x10390 x10392 x10418 x10424 x10451 x10452 x10466 x10468 x10474 x10507 x10516 x10517 x10519 x10551
49.34/49.42	v x10562 x10577 x10578 x10592 x10604 x10610 x10612 x10620 x10631 x10632 x10642 x10644 x10652 x10658 x10666 x10667 x10668
49.34/49.42	v x10676 x10682 x10686 x10692 x10698 x10700 x10702 x10704 x10710 x10712 x10714 x10720 x10722 x10734 x10739 x10741 x10745
49.34/49.42	v x10751 x10753 x10757 x10761 x10767 x10769 x10775 x10777 x10779 x10783 x10791 x10793 x10795 x10799 x10803 x10811 x10815
49.34/49.42	v x10817 x10824 x10828 x10830 x10832 x10842 x10846 x10852 x10854 x10858 x10862 x10864 x10870 x10874 x10876 x10882 x10890
49.34/49.42	v x10900 x10988 x10990 x10994 x11000 x11002 x11006 x11008 x11010 x11024 x11026 x11028 x11036 x11038 x11044 x11046 x11050
49.34/49.42	v x11052 x11056 x11062 x11064 x11070 x11072 x11074 x11090 x11092 x11096 x11100 x11116 x11118 x11120 x11124 x11128 x11130
49.34/49.42	v x11142 x11150 x11156 x11158 x11162 x11172 x11180 x11182 x11184 x11186 x11196 x11198 x11206 x11228 x11230 x11236 x11240
49.34/49.42	v x11242 x11244 x11260 x11274 x11290 x11296 x11384 x11400 x11406 x11420 x11426 x11432 x11446 x11462 x11472 x11630 x11852
49.34/49.42	v x11864 x11868 x11878 x11882 x11916 x11920 x11932 x11980 x11994 x11996 x12000 x12008 x12018 x12020 x12044 x12048 x12064
49.34/49.42	v x12066 x12114 x12120 x12122 x12128 x12130 x12150 x12156 x12166 x12170 x12176 x12186 x12202 x12208 x12218 x12226 x12228
49.34/49.42	v x12238 x12244 x12250 x12262 x12266 x12276 x12288 x12294 x12312 x12314 x12322 x12324 x12338 x12346 x12350 x12372 x12376
49.34/49.42	v x12396 x12412 x12420 x12432 x12440 x12450 x12452 x12454 x12460 x12462 x12470 x12479 x12480 x12485 x12486 x12487 x12488
49.34/49.42	v x12490 x12491 x12492 x12497 x12498 x12501 x12502 x12507 x12508 x12510 x12513 x12514 x12517 x12518 x12522 x12548 x12567
49.34/49.42	v x12568 x12623 x12640 x12641 x12647 x12657 x12659 x12663 x12669 x12675 x12676 x12677 x12683 x12685 x12687 x12688 x12689
49.34/49.42	v x12691 x12692 x12693 x12694 x12695 x12697 x12702 x12703 x12708 x12709 x12711 x12713 x12717 x12719 x12724 x12725 x12727
49.34/49.42	v x12728 x12729 x12736 x12737 x12741 x12749 x12751 x12754 x12755 x12760 x12761 x12762 x12763 x12764 x12765 x12766 x12767
49.34/49.42	v x12768 x12769 x12785 x12791 x12795 x12821 x12859 x12867 x12878 x12879 x12885 x12891 x12893 x12899 x12901 x12933 x12943
49.34/49.42	v x12947 x12957 x12961 x12975 x13075 x13109 x13125 x13141 x13167 x13171 x13179 x13197 x13199 x13201 x13203 x13221 x13235
49.34/49.42	v x13237 x13275 x13281 x13289 x13291 x13295 x13299 x13313 x13342 x13348 x13356 x13362 x13366 x13374 x13392 x13409 x13410
49.34/49.42	v x13411 x13412 x13419 x13420 x13422 x13423 x13424 x13425 x13426 x13428 x13429 x13430 x13431 x13432 x13433 x13434 x13443
49.34/49.42	v x13444 x13445 x13446 x13449 x13450 x13454 x13462 x13469
49.34/49.42	pb2clasp1: no process killed

Verifier Data (download as text)

OK	1344

Conversion Script Data (download as text)

/tmp/evaluation/372871-1177143668/instance-372871-1177143668.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-372871-1177143668 -o ROOT/results/node4/solver-372871-1177143668 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-372871-1177143668.opb /tmp/evaluation/372871-1177143668/temp 

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.92 0.98 0.99 3/77 5990
/proc/meminfo: memFree=1785560/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=12268 CPUtime=0
/proc/5990/stat : 5990 (pbclasp) R 5988 5990 5233 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 190404614 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922115582 0 0 4224 0 0 0 0 17 1 0 0
/proc/5990/statm: 3067 317 242 3 0 167 0

[startup+0.067296 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5990
/proc/meminfo: memFree=1785560/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=13240 CPUtime=0.06
/proc/5990/stat : 5990 (pbclasp) R 5988 5990 5233 0 -1 4194304 685 0 0 0 6 0 0 0 18 0 1 0 190404614 13557760 651 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259927248654 0 0 4224 16384 0 0 0 17 1 0 0
/proc/5990/statm: 3310 651 320 3 0 410 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13240

[startup+0.101299 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5990
/proc/meminfo: memFree=1785560/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=13240 CPUtime=0.09
/proc/5990/stat : 5990 (pbclasp) R 5988 5990 5233 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 190404614 13557760 664 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259927248642 0 0 4224 16384 0 0 0 17 1 0 0
/proc/5990/statm: 3310 664 320 3 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13240

[startup+0.301318 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5990
/proc/meminfo: memFree=1785560/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=13636 CPUtime=0.29
/proc/5990/stat : 5990 (pbclasp) R 5988 5990 5233 0 -1 4194304 793 0 0 0 29 0 0 0 19 0 1 0 190404614 13963264 759 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259913061089 0 0 4224 16384 0 0 0 17 1 0 0
/proc/5990/statm: 3409 759 320 3 0 509 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13636

[startup+0.70136 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5990
/proc/meminfo: memFree=1785560/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14296 CPUtime=0.46
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 981 0 0 0 46 0 0 0 16 0 1 0 190404614 14639104 933 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5990/statm: 3574 933 324 3 0 674 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 14296

[startup+1.50243 s]
/proc/loadavg: 0.92 0.98 0.99 2/80 5993
/proc/meminfo: memFree=1781888/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14296 CPUtime=0.46
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 981 0 0 0 46 0 0 0 16 0 1 0 190404614 14639104 933 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5990/statm: 3574 933 324 3 0 674 0
[pid=5992] ppid=5990 vsize=5352 CPUtime=0
/proc/5992/stat : 5992 (sh) S 5990 5990 5233 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 190404661 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5992/statm: 1338 230 193 169 0 49 0
[pid=5993] ppid=5992 vsize=12532 CPUtime=1.01
/proc/5993/stat : 5993 (pb2clasp1) R 5992 5990 5233 0 -1 4194304 527 0 0 0 101 0 0 0 25 0 1 0 190404662 12832768 489 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 259926879440 0 0 4224 0 0 0 0 17 1 0 0
/proc/5993/statm: 3133 489 340 3 0 233 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32180

[startup+3.10159 s]
/proc/loadavg: 0.92 0.98 0.99 2/80 5993
/proc/meminfo: memFree=1781312/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14296 CPUtime=0.46
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 981 0 0 0 46 0 0 0 16 0 1 0 190404614 14639104 933 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/5990/statm: 3574 933 324 3 0 674 0
[pid=5992] ppid=5990 vsize=5352 CPUtime=0
/proc/5992/stat : 5992 (sh) S 5990 5990 5233 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 190404661 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5992/statm: 1338 230 193 169 0 49 0
[pid=5993] ppid=5992 vsize=12532 CPUtime=2.62
/proc/5993/stat : 5993 (pb2clasp1) R 5992 5990 5233 0 -1 4194304 527 0 0 0 261 1 0 0 25 0 1 0 190404662 12832768 489 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 259927077946 0 0 4224 0 0 0 0 17 1 0 0
/proc/5993/statm: 3133 489 340 3 0 233 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32180

[startup+6.30189 s]
/proc/loadavg: 0.93 0.98 0.99 2/81 6000
/proc/meminfo: memFree=1758968/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14956 CPUtime=4.5
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 1410 1620 0 0 48 0 398 4 16 0 1 0 190404614 15314944 1096 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5990/statm: 3739 1096 343 3 0 839 0
[pid=5998] ppid=5990 vsize=5356 CPUtime=0
/proc/5998/stat : 5998 (sh) S 5990 5990 5233 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 190405067 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5998/statm: 1339 225 188 169 0 50 0
[pid=5999] ppid=5998 vsize=2520 CPUtime=0
/proc/5999/stat : 5999 (cat) S 5998 5990 5233 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 190405067 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 259913384162 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/5999/statm: 630 87 71 4 0 42 0
[pid=6000] ppid=5998 vsize=40000 CPUtime=1.76
/proc/6000/stat : 6000 (clasp) R 5998 5990 5233 0 -1 4194304 9683 0 0 0 173 3 0 0 25 0 1 0 190405067 40960000 9612 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 11056096 0 0 4096 0 0 0 0 17 1 0 0
/proc/6000/statm: 10000 9612 173 154 0 9470 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 62832

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/81 6008
/proc/meminfo: memFree=1632824/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14956 CPUtime=8.91
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 1803 17824 0 0 50 0 828 13 16 0 1 0 190404614 15314944 1112 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5990/statm: 3739 1112 343 3 0 839 0
[pid=6006] ppid=5990 vsize=5356 CPUtime=0
/proc/6006/stat : 6006 (sh) S 5990 5990 5233 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 190405509 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6006/statm: 1339 225 188 169 0 50 0
[pid=6007] ppid=6006 vsize=2520 CPUtime=0
/proc/6007/stat : 6007 (cat) S 6006 5990 5233 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 190405510 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 259913384162 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6007/statm: 630 87 71 4 0 42 0
[pid=6008] ppid=6006 vsize=191688 CPUtime=3.73
/proc/6008/stat : 6008 (clasp) R 6006 5990 5233 0 -1 4194304 48078 0 0 0 354 19 0 0 25 0 1 0 190405510 196288512 46618 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/6008/statm: 47922 46619 184 154 0 47392 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 214520

[startup+25.5027 s]
/proc/loadavg: 0.95 0.98 0.99 2/81 6008
/proc/meminfo: memFree=989944/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14956 CPUtime=8.91
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 1803 17824 0 0 50 0 828 13 16 0 1 0 190404614 15314944 1112 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5990/statm: 3739 1112 343 3 0 839 0
[pid=6006] ppid=5990 vsize=5356 CPUtime=0
/proc/6006/stat : 6006 (sh) S 5990 5990 5233 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 190405509 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6006/statm: 1339 225 188 169 0 50 0
[pid=6007] ppid=6006 vsize=2520 CPUtime=0
/proc/6007/stat : 6007 (cat) S 6006 5990 5233 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 190405510 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 259913384162 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6007/statm: 630 87 71 4 0 42 0
[pid=6008] ppid=6006 vsize=832316 CPUtime=16.53
/proc/6008/stat : 6008 (clasp) R 6006 5990 5233 0 -1 4194304 211312 0 0 0 1566 87 0 0 25 0 1 0 190405510 852291584 199940 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/6008/statm: 208079 199941 184 154 0 207549 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 855148



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+49.402 s]
/proc/loadavg: 0.96 0.98 0.99 2/81 6008
/proc/meminfo: memFree=18104/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14956 CPUtime=8.91
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 1803 17824 0 0 50 0 828 13 16 0 1 0 190404614 15314944 1112 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5990/statm: 3739 1112 343 3 0 839 0
[pid=6006] ppid=5990 vsize=5356 CPUtime=0
/proc/6006/stat : 6006 (sh) S 5990 5990 5233 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 190405509 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6006/statm: 1339 225 188 169 0 50 0
[pid=6007] ppid=6006 vsize=2520 CPUtime=0
/proc/6007/stat : 6007 (cat) S 6006 5990 5233 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 190405510 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 259913384162 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6007/statm: 630 87 71 4 0 42 0
[pid=6008] ppid=6006 vsize=1832176 CPUtime=40.43
/proc/6008/stat : 6008 (clasp) R 6006 5990 5233 0 -1 4194304 463019 0 0 0 3860 183 0 0 25 0 1 0 190405510 1876148224 439133 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/6008/statm: 458044 439134 184 154 0 457514 0
Current children cumulated CPU time (s) 49.34
Current children cumulated vsize (KiB) 1855008

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

[startup+49.402 s]
/proc/loadavg: 0.96 0.98 0.99 2/81 6008
/proc/meminfo: memFree=18104/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14956 CPUtime=8.91
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 1803 17824 0 0 50 0 828 13 16 0 1 0 190404614 15314944 1112 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/5990/statm: 3739 1112 343 3 0 839 0
[pid=6006] ppid=5990 vsize=5356 CPUtime=0
/proc/6006/stat : 6006 (sh) S 5990 5990 5233 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 190405509 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6006/statm: 1339 225 188 169 0 50 0
[pid=6007] ppid=6006 vsize=2520 CPUtime=0
/proc/6007/stat : 6007 (cat) S 6006 5990 5233 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 190405510 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 259913384162 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6007/statm: 630 87 71 4 0 42 0
[pid=6008] ppid=6006 vsize=1832176 CPUtime=40.43
/proc/6008/stat : 6008 (clasp) R 6006 5990 5233 0 -1 4194304 463019 0 0 0 3860 183 0 0 25 0 1 0 190405510 1876148224 439133 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/6008/statm: 458044 439134 184 154 0 457514 0
Current children cumulated CPU time (s) 49.34
Current children cumulated vsize (KiB) 1855008

# WARNING:
# current cumulated CPU time (8.98 s) is less than in the last sample (49.34 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (40.36 s) to the 'lost time'.

[startup+49.5223 s]
/proc/loadavg: 0.96 0.98 0.99 2/81 6008
/proc/meminfo: memFree=18104/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14956 CPUtime=8.98
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 1973 19600 0 0 51 1 829 17 16 0 1 0 190404614 15314944 1116 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5990/statm: 3739 1116 343 3 0 839 0
Current children cumulated CPU time (s) 8.98
Current children cumulated vsize (KiB) 14956

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/82 6019
/proc/meminfo: memFree=1756592/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14956 CPUtime=8.98
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 1973 19600 0 0 51 1 829 17 16 0 1 0 190404614 15314944 1116 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5990/statm: 3739 1116 343 3 0 839 0
[pid=6017] ppid=5990 vsize=5356 CPUtime=0
/proc/6017/stat : 6017 (sh) S 5990 5990 5233 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 190409566 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6017/statm: 1339 225 188 169 0 50 0
[pid=6018] ppid=6017 vsize=2520 CPUtime=0
/proc/6018/stat : 6018 (cat) S 6017 5990 5233 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 190409566 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 259913384162 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6018/statm: 630 87 71 4 0 42 0
[pid=6019] ppid=6017 vsize=35760 CPUtime=1.57
/proc/6019/stat : 6019 (clasp) R 6017 5990 5233 0 -1 4194304 8613 0 0 0 153 4 0 0 25 0 1 0 190409566 36618240 8542 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134935322 0 0 4096 0 0 0 0 17 1 0 0
/proc/6019/statm: 8940 8542 173 154 0 8410 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 58592

Sending SIGKILL to process tree (bottom up)

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

[startup+51.4022 s]
/proc/loadavg: 0.96 0.98 0.99 2/82 6019
/proc/meminfo: memFree=1756592/2055920 swapFree=4153812/4192956
[pid=5990] ppid=5988 vsize=14956 CPUtime=8.98
/proc/5990/stat : 5990 (pbclasp) S 5988 5990 5233 0 -1 4194304 1973 19600 0 0 51 1 829 17 16 0 1 0 190404614 15314944 1116 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922116500 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/5990/statm: 3739 1116 343 3 0 839 0
[pid=6017] ppid=5990 vsize=5356 CPUtime=0
/proc/6017/stat : 6017 (sh) S 5990 5990 5233 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 190409566 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6017/statm: 1339 225 188 169 0 50 0
[pid=6018] ppid=6017 vsize=2520 CPUtime=0
/proc/6018/stat : 6018 (cat) S 6017 5990 5233 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 190409566 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 259913384162 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/6018/statm: 630 87 71 4 0 42 0
[pid=6019] ppid=6017 vsize=41284 CPUtime=1.87
/proc/6019/stat : 6019 (clasp) R 6017 5990 5233 0 -1 4194304 10016 0 0 0 182 5 0 0 25 0 1 0 190409566 42274816 9945 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134935322 0 0 4096 0 0 0 0 17 1 0 0
/proc/6019/statm: 10321 9945 176 154 0 9791 0
Current children cumulated CPU time (s) 10.85
Current children cumulated vsize (KiB) 64116

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5990 and gives
#  childrusage.ru_utime.tv_sec=8
#  childrusage.ru_utime.tv_usec=816659
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=191970
# CPU time returned by wait4() is 9.00863
# while last known CPU time is 10.85
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 40.36
#  lost CPU user time (s): 38.58
#  lost CPU system time (s): 1.78

Real time (s): 51.4364
CPU time (s): 51.21
CPU user time (s): 49.2
CPU system time (s): 2.01
CPU usage (%): 99.5598
Max. virtual memory (cumulated for all children) (KiB): 1855008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.81666
system time used= 0.19197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22613
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= 1651
involuntary context switches= 554

runsolver used 0.044993 second user time and 0.152976 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Apr 21 08:21:09 UTC 2007

IDJOB= 372871
IDBENCH= 25003
IDSOLVER= 158
FILE ID= node4/372871-1177143668

PBS_JOBID= 4648822

Free space on /tmp= 66476 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir09_area_delay.opb
COMMAND LINE= pbclasp instance-372871-1177143668.opb /tmp/evaluation/372871-1177143668/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node4/convwatcher-372871-1177143668 -o ROOT/results/node4/conversion-372871-1177143668 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372871-1177143668/instance-372871-1177143668.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-372871-1177143668 -o ROOT/results/node4/solver-372871-1177143668 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-372871-1177143668.opb /tmp/evaluation/372871-1177143668/temp

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  5a18fe98bad06341d01eaf33ecb4f046

RANDOM SEED= 208602607

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1786032 kB
Buffers:         48056 kB
Cached:         144668 kB
SwapCached:       2368 kB
Active:          69296 kB
Inactive:       146688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786032 kB
SwapTotal:     4192956 kB
SwapFree:      4153812 kB
Dirty:            2960 kB
Writeback:           0 kB
Mapped:          30432 kB
Slab:            39452 kB
Committed_AS:  6185460 kB
PageTables:       1816 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= 66471 MiB

End job on node4 on Sat Apr 21 08:22:00 UTC 2007