Trace number 452872

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.17OPT3 993.278 993.498

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb
MD5SUMe79e2db14e141163591dbcfdfed7384a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.132979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables108
Total number of constraints9
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/452872-1177989063/instance-452872-1177989063.opb
0.00/0.00	c File size is 5689 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694
0.00/0.00	c Obj. Vars: 9 (2.08333 % of total variables)
0.00/0.01	c Pre-processing Time: 0.008 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    432      661     2763    4     2377    3689      0      0 0.01
0.00/0.01	c Switching off LPR mode.
0.09/0.13	c      100    432      761    10634   13     2559    4058    100   5882 0.02
0.09/0.13	c      253    432      914    23150   25     2777    4464    253   8433 0.03
0.09/0.13	c      479    432     1140    43074   37     3278    4911    479   9979 0.05
0.09/0.13	c      817    432     1478    71951   48     3937    5403    817   9611 0.09
0.09/0.13	o 205	0.132
2.09/2.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.13	c     1284    432     1946   108914   55     4888    3707   1285   9727 0.13
2.09/2.13	c     1384    432     2046   117183   57     5090    4078   1385   9611 0.14
2.09/2.13	c     1635    432     2297   140322   61     5594    4486   1636   9617 0.17
2.09/2.13	c     2110    421     2772   178532   64     6546    4935   2111   9254 0.23
2.09/2.13	c     2924    421     3586   249304   69     8126    5429   2925   8574 0.34
2.09/2.13	c     4245    421     4907   366066   74    10788    5972   4246   7905 0.54
2.09/2.13	c     6327    421     3710   271170   73     8394    6570   3049   6352 1.00
2.09/2.13	c     9550    421     6933   533565   76    14894    7228   6272   6063 1.57
2.09/2.13	o 171	2.128
329.92/330.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
329.92/330.04	c    11599    421     5280   370602   70    11545    3705   4619   5448 2.13
329.92/330.04	c    11700    421     2617   154681   59     6158    4076   1956   5411 2.16
329.92/330.04	c    11951    421     2868   177104   61     6744    4484   2207   5437 2.20
329.92/330.04	c    12426    421     3343   217080   64     7648    4933   2682   5507 2.26
329.92/330.04	c    13240    421     4157   289421   69     9249    5427   3496   5603 2.36
329.92/330.04	c    14560    421     5477   393536   71    11957    5970   4816   5440 2.68
329.92/330.04	c    16642    421     4490   298549   66     9963    6568   3829   4972 3.35
329.92/330.04	c    19866    421     4335   272570   62     9664    7225   3674   4280 4.64
329.92/330.04	c    24804    421     5562   366245   65    12108    7948   4901   3824 6.49
329.92/330.04	c    32310    421     4949   332329   67    10816    8743   4288   3244 9.96
329.92/330.04	c    43671    421     7412   514472   69    15751    9618   6751   2924 14.93
329.92/330.04	c    60815    421     9874   701153   71    20692   10580   9213   2702 22.50
329.92/330.04	c    86635    421     7330   638124   87    15572   11639   6669   2255 38.40
329.92/330.04	c   125468    421    10473   723644   69    21873   12803   9812   2109 59.46
329.92/330.04	c   183820    421     9006   626672   69    19007   14084   8345   1909 96.27
329.92/330.04	c   271452    421     7705   554744   71    16429   15493   7044   1702 159.45
329.92/330.04	c   403005    421    10614   825202   77    22195   17043   9953   1523 264.51
329.92/330.04	o 133	329.971
798.71/798.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
798.71/798.94	c   486740    420    15714  1113727   70    32395    3705  15053   1475 329.97
798.71/798.94	c   486843    420     2622   157100   59     6298    4076   1961   1474 330.18
798.71/798.94	c   487093    420     2872   179244   62     6764    4484   2211   1475 330.21
798.71/798.94	c   487568    420     3347   219159   65     7738    4933   2686   1476 330.28
798.71/798.94	c   488382    420     4161   287273   69     9304    5427   3500   1477 330.45
798.71/798.94	c   489702    420     5481   398629   72    11993    5970   4820   1479 330.88
798.71/798.94	c   491784    420     4480   320033   71     9967    6568   3819   1482 331.82
798.71/798.94	c   495007    420     4316   303438   70     9617    7225   3655   1484 333.53
798.71/798.94	c   499944    420     5541   395086   71    12056    7948   4880   1490 335.42
798.71/798.94	c   507450    420     4932   344610   69    10844    8743   4271   1497 338.87
798.71/798.94	c   518812    420     6941   527443   75    14853    9618   6280   1515 342.43
798.71/798.94	c   535957    420     8804   654625   74    18658   10580   8143   1519 352.79
798.71/798.94	c   561777    420     7693   557493   72    16379   11639   7032   1525 368.17
798.71/798.94	c   600610    420    10533   829415   78    22040   12803   9872   1533 391.68
798.71/798.94	c   658963    420    10084   756023   74    21135   14084   9423   1523 432.39
798.71/798.94	c   746595    420    12231   924398   75    25423   15493  11570   1472 507.13
798.71/798.94	c   878148    420    15768  1167731   74    32531   17043  15107   1419 618.42
798.71/798.94	o 21	798.769
799.11/799.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
799.11/799.39	c  1073602    419     9190   664737   72    19396    3705   8529   1343 799.03
799.11/799.39	c  1073702    419     2621   146715   55     6293    4076   1960   1343 799.13
799.11/799.39	c  1073952    419     2871   169873   59     6793    4484   2210   1343 799.15
799.11/799.39	o 19	799.213
826.31/826.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
826.31/826.59	c  1074370    398     3290   196728   59     7572    3701   2629   1344 799.21
826.31/826.59	c  1074470    398     3390   204454   60     7736    4072   2729   1344 799.23
826.31/826.59	c  1074720    398     3640   225573   61     8239    4480   2979   1344 799.25
826.31/826.59	c  1075195    398     4115   260250   63     9170    4929   3454   1345 799.32
826.31/826.59	c  1076008    398     4928   331325   67    10861    5422   4267   1345 799.45
826.31/826.59	c  1077328    398     3427   231386   67     7852    5965   2766   1347 799.79
826.31/826.59	c  1079409    398     5508   412830   74    12014    6562   4847   1348 800.48
826.31/826.59	c  1082632    398     5325   395860   74    11641    7219   4664   1350 801.88
826.31/826.59	c  1087568    398     6545   493625   75    14108    7941   5884   1352 804.28
826.31/826.59	c  1095074    398     5893   432657   73    12818    8736   5232   1354 808.17
826.31/826.59	c  1106435    398     8291   622980   75    17603    9610   7630   1359 813.95
826.31/826.59	c  1123579    386     5642   410343   72    12327   10572   4981   1364 823.41
826.31/826.59	o 17	826.41
836.00/836.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
836.00/836.26	c  1128833    386    10897   815801   74    22733    3699  10236   1365 826.41
836.00/836.26	c  1128934    386     2620   135047   51     6202    4069   1959   1365 826.60
836.00/836.26	c  1129185    386     2871   156247   54     6699    4476   2210   1366 826.63
836.00/836.26	c  1129661    386     3347   195915   58     7667    4924   2686   1366 826.71
836.00/836.26	c  1130475    386     4161   263283   63     9334    5417   3500   1367 826.89
836.00/836.26	c  1131795    386     5481   372857   68    11957    5959   4820   1367 827.34
836.00/836.26	c  1133876    386     4461   315650   70     9916    6555   3800   1369 828.00
836.00/836.26	c  1137100    386     4297   305384   71     9596    7211   3636   1370 829.68
836.00/836.26	c  1142037    386     5505   403536   73    12011    7933   4844   1372 831.81
836.00/836.26	c  1149543    386     4845   337448   69    10691    8727   4184   1375 835.77
836.00/836.26	o 11	836.076
853.50/853.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
853.50/853.76	c  1151029    386     6332   436540   68    13714    3699   5671   1376 836.08
853.50/853.76	c  1151129    386     2620   136810   52     6273    4069   1959   1376 836.12
853.50/853.76	c  1151380    386     2871   153336   53     6784    4476   2210   1377 836.14
853.50/853.76	c  1151855    386     3346   190216   56     7720    4924   2685   1377 836.19
853.50/853.76	c  1152668    375     4159   261190   62     9335    5417   3498   1378 836.29
853.50/853.76	c  1153988    375     5479   365627   66    11983    5959   4818   1379 836.61
853.50/853.76	c  1156069    375     4440   314783   70     9875    6555   3779   1380 837.51
853.50/853.76	c  1159293    375     4313   302329   70     9635    7211   3652   1381 839.09
853.50/853.76	c  1164230    375     5526   399642   72    12067    7933   4865   1383 841.43
853.50/853.76	c  1171736    375     4843   340814   70    10706    8727   4182   1385 845.50
853.50/853.76	c  1183097    375     7220   529331   73    15461    9600   6559   1390 850.77
853.50/853.76	o 5	853.572
871.30/871.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
871.30/871.54	c  1189104    375     8312   606547   72    17622    3697   7651   1393 853.57
871.30/871.54	c  1189205    375     2622   139752   53     6282    4067   1961   1393 853.64
871.30/871.54	c  1189456    375     2873   160755   55     6728    4474   2212   1393 853.69
871.30/871.54	c  1189931    375     3348   199478   59     7713    4922   2687   1393 853.78
871.30/871.54	c  1190745    375     4162   265922   63     9368    5415   3501   1394 854.00
871.30/871.54	c  1192068    375     5485   375596   68    12007    5957   4824   1395 854.40
871.30/871.54	c  1194149    375     4458   317308   71     9939    6553   3797   1396 855.10
871.30/871.54	c  1197373    375     4272   297554   69     9580    7209   3611   1397 856.76
871.30/871.54	c  1202309    375     5462   387710   70    11933    7930   4801   1399 858.80
871.30/871.54	c  1209816    364     4782   328418   68    10549    8724   4121   1403 862.18
871.30/871.54	c  1221177    364     7131   513969   72    15257    9597   6470   1407 867.40
871.30/871.54	o 3	871.355
993.17/993.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
993.17/993.49	c  1228526    364     9545   711905   74    20121    3695   8884   1409 871.36
993.17/993.49	c  1228627    341     2620   151242   57     6199    4065   1959   1409 871.43
993.17/993.49	c  1228879    341     2872   172414   60     6734    4472   2211   1410 871.47
993.17/993.49	c  1229354    341     3347   211375   63     7681    4920   2686   1410 871.57
993.17/993.49	c  1230167    341     4160   277732   66     9327    5413   3499   1411 871.79
993.17/993.49	c  1231488    341     5481   386695   70    11944    5955   4820   1411 872.23
993.17/993.49	c  1233570    341     4475   315863   70     9954    6551   3814   1412 873.18
993.17/993.49	c  1236793    341     4267   296564   69     9550    7207   3606   1413 874.77
993.17/993.49	c  1241730    341     5440   347839   63    11878    7928   4779   1416 876.67
993.17/993.49	c  1249237    341     4708   323221   68    10434    8721   4047   1419 879.90
993.17/993.49	c  1260598    341     7028   504918   71    15003    9594   6367   1423 885.63
993.17/993.49	c  1277743    341     9270   682458   73    19548   10554   8609   1426 895.53
993.17/993.49	c  1303562    341     7910   572313   72    16826   11610   7249   1432 909.81
993.17/993.49	c  1342394    331    10959   670837   61    22878   12772  10298   1431 937.59
993.17/993.49	c  1400747    328    10477   667984   63    21961   14050   9816   1435 975.86
993.17/993.49	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
993.17/993.49	v x32 x33 -x34 x35 -x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x73 -x74 -x75 -x76
993.17/993.49	v -x77 -x78 -x79 -x80 -x81 x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x64 x65 x66 -x67
993.17/993.49	v -x68 x69 -x70 -x71 -x72 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
993.17/993.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
993.17/993.49	c  108  1420924   5102  1441973     9145   511860   8484   1430 993.27
993.17/993.49	c Objective: 3
993.17/993.49	s OPTIMUM FOUND
993.17/993.49	c Total time: 993.271 s

Verifier Data (download as text)

OK	3

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node52/watcher-452872-1177989063 -o ROOT/results/node52/solver-452872-1177989063 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452872-1177989063/instance-452872-1177989063.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: 1.00 1.00 1.00 3/64 17801
/proc/meminfo: memFree=1857492/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=11744 CPUtime=0
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 153751388 12025856 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 983 345 289 324 0 51 0

[startup+0.0824419 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17801
/proc/meminfo: memFree=1857492/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=5096 CPUtime=0.07
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 673 0 0 0 7 0 0 0 18 0 1 0 153751388 5218304 641 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 1274 641 310 324 0 344 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5096

[startup+0.101442 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17801
/proc/meminfo: memFree=1857492/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=5224 CPUtime=0.09
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 714 0 0 0 9 0 0 0 18 0 1 0 153751388 5349376 682 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 1306 682 310 324 0 376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5224

[startup+0.301455 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17801
/proc/meminfo: memFree=1857492/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=7168 CPUtime=0.29
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 1215 0 0 0 29 0 0 0 19 0 1 0 153751388 7340032 1183 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4744827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 1792 1183 311 324 0 862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7168

[startup+0.701484 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17801
/proc/meminfo: memFree=1857492/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=10268 CPUtime=0.69
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 1962 0 0 0 68 1 0 0 23 0 1 0 153751388 10514432 1930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 2567 1930 311 324 0 1637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10268

[startup+1.50154 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1849356/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=11812 CPUtime=1.49
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 2353 0 0 0 148 1 0 0 25 0 1 0 153751388 12095488 2321 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 2953 2321 311 324 0 2023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11812

[startup+3.10165 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1848268/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=12716 CPUtime=3.09
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 2594 0 0 0 308 1 0 0 25 0 1 0 153751388 13021184 2562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 3179 2562 311 324 0 2249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12716

[startup+6.30186 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 17802
/proc/meminfo: memFree=1848012/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=12716 CPUtime=6.29
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 2594 0 0 0 627 2 0 0 25 0 1 0 153751388 13021184 2562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 3179 2562 311 324 0 2249 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12716

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1847628/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=13624 CPUtime=12.69
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 2824 0 0 0 1267 2 0 0 25 0 1 0 153751388 13950976 2792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 3406 2792 311 324 0 2476 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13624

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1844492/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=16948 CPUtime=25.48
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 3635 0 0 0 2546 2 0 0 25 0 1 0 153751388 17354752 3603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 4237 3603 311 324 0 3307 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16948

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1842188/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=18756 CPUtime=51.08
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 4097 0 0 0 5105 3 0 0 25 0 1 0 153751388 19206144 4065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 4689 4065 311 324 0 3759 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18756

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1840908/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=20032 CPUtime=102.27
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 4422 0 0 0 10224 3 0 0 25 0 1 0 153751388 20512768 4390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 5008 4390 311 324 0 4078 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20032

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1838156/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=22720 CPUtime=162.26
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5099 0 0 0 16222 4 0 0 25 0 1 0 153751388 23265280 5067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 5680 5067 311 324 0 4750 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 22720

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1838092/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=22828 CPUtime=222.24
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5131 0 0 0 22220 4 0 0 25 0 1 0 153751388 23375872 5098 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 5707 5098 311 324 0 4777 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 22828

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1836044/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24768 CPUtime=282.23
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 28219 4 0 0 25 0 1 0 153751388 25362432 5574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572689 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6192 5574 311 324 0 5262 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 24768

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1836044/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24724 CPUtime=342.21
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 34217 4 0 0 25 0 1 0 153751388 25317376 5574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6181 5574 311 324 0 5251 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 24724

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24720 CPUtime=402.2
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 40216 4 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6180 5573 311 324 0 5250 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 24720

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1836044/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24720 CPUtime=462.19
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 46214 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6180 5573 311 324 0 5250 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 24720

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1836044/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24720 CPUtime=522.18
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 52213 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6180 5573 311 324 0 5250 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 24720

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1836044/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24720 CPUtime=582.16
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 58211 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6180 5573 311 324 0 5250 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 24720

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24720 CPUtime=642.15
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 64210 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6180 5573 311 324 0 5250 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 24720

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24720 CPUtime=702.13
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 70208 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6180 5573 311 324 0 5250 0
Current children cumulated CPU time (s) 702.13
Current children cumulated vsize (KiB) 24720

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24720 CPUtime=762.12
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 76207 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6180 5573 311 324 0 5250 0
Current children cumulated CPU time (s) 762.12
Current children cumulated vsize (KiB) 24720

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24720 CPUtime=822.11
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 82206 5 0 0 25 0 1 0 153751388 25313280 5573 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6180 5573 311 324 0 5250 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 24720

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=882.09
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 88204 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4742696 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 24548

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=942.08
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 94203 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 24548

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

[startup+947.105 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=946.88
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 94683 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 946.88
Current children cumulated vsize (KiB) 24548

[startup+972.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=972.47
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 97242 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 972.47
Current children cumulated vsize (KiB) 24548

[startup+985.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=985.27
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 98522 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 985.27
Current children cumulated vsize (KiB) 24548

[startup+988.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=988.47
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 98842 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 988.47
Current children cumulated vsize (KiB) 24548

[startup+991.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=991.67
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 99162 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 991.67
Current children cumulated vsize (KiB) 24548

[startup+992.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=992.47
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 99242 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 992.47
Current children cumulated vsize (KiB) 24548

[startup+993.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=992.87
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 99282 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 992.87
Current children cumulated vsize (KiB) 24548

[startup+993.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=993.07
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 99302 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 993.07
Current children cumulated vsize (KiB) 24548

[startup+993.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 17802
/proc/meminfo: memFree=1835980/2055920 swapFree=4182984/4192956
[pid=17801] ppid=17799 vsize=24548 CPUtime=993.17
/proc/17801/stat : 17801 (bsolo3.0.17) R 17799 17801 28704 0 -1 4194304 5607 0 0 0 99312 5 0 0 25 0 1 0 153751388 25137152 5530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4740405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17801/statm: 6137 5530 311 324 0 5207 0
Current children cumulated CPU time (s) 993.17
Current children cumulated vsize (KiB) 24548

Child status: 0
Real time (s): 993.498
CPU time (s): 993.278
CPU user time (s): 993.214
CPU system time (s): 0.06399
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 24768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 993.214
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5611
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= 11
involuntary context switches= 1345

runsolver used 0.758884 second user time and 1.9607 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue May  1 03:11:03 UTC 2007

IDJOB= 452872
IDBENCH= 47939
IDSOLVER= 199
FILE ID= node52/452872-1177989063

PBS_JOBID= 4728160

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452872-1177989063/instance-452872-1177989063.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-452872-1177989063 -o ROOT/results/node52/solver-452872-1177989063 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452872-1177989063/instance-452872-1177989063.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  e79e2db14e141163591dbcfdfed7384a

RANDOM SEED= 3356154

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1857836 kB
Buffers:         28624 kB
Cached:         101856 kB
SwapCached:       3888 kB
Active:          83456 kB
Inactive:        61328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857836 kB
SwapTotal:     4192956 kB
SwapFree:      4182984 kB
Dirty:            6580 kB
Writeback:           0 kB
Mapped:          19752 kB
Slab:            39200 kB
Committed_AS:  2649564 kB
PageTables:       1500 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= 66558 MiB

End job on node52 on Tue May  1 03:27:37 UTC 2007