Trace number 429862

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.16OPT3 996.945 997.238

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.02	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.02	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.02	c type "bsolo -h" for help
0.00/0.02	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.02	c Time Limit set to 1800
0.00/0.02	c Memory Limit set to 1800 MB
0.00/0.02	c Instance file /tmp/evaluation/429862-1177988987/instance-429862-1177988987.opb
0.00/0.02	c File size is 5689 bytes.
0.00/0.03	c Highest Coefficient sum: 523264
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.003 s
0.00/0.03	c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694
0.00/0.03	c Obj. Vars: 9 (2.08333 % of total variables)
0.00/0.03	c Pre-processing Time: 0.007 s
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    432      661     2763    4     2377    3689      0      0 0.01
0.00/0.03	c Switching off LPR mode.
0.06/0.15	c      100    432      761    10634   13     2559    4058    100   5882 0.02
0.06/0.15	c      253    432      914    23150   25     2777    4464    253   9035 0.03
0.06/0.15	c      479    432     1140    43074   37     3278    4911    479  10413 0.05
0.06/0.15	c      817    432     1478    71951   48     3937    5403    817   9963 0.08
0.06/0.15	o 205	0.126
1.96/2.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.96/2.06	c     1284    432     1946   108914   55     4888    3707   1285  10190 0.13
1.96/2.06	c     1384    432     2046   117183   57     5090    4078   1385  10028 0.14
1.96/2.06	c     1635    432     2297   140322   61     5594    4486   1636  10030 0.16
1.96/2.06	c     2110    421     2772   178532   64     6546    4935   2111   9634 0.22
1.96/2.06	c     2924    421     3586   249304   69     8126    5429   2925   8914 0.33
1.96/2.06	c     4245    421     4907   366066   74    10788    5972   4246   8258 0.51
1.96/2.06	c     6327    421     3710   271170   73     8394    6570   3049   6652 0.95
1.96/2.06	c     9550    421     6933   533565   76    14894    7228   6272   6366 1.50
1.96/2.06	o 171	2.037
330.36/330.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
330.36/330.59	c    11599    421     5280   370602   70    11545    3705   4619   5691 2.04
330.36/330.59	c    11700    421     2617   154681   59     6158    4076   1956   5652 2.07
330.36/330.59	c    11951    421     2868   177104   61     6744    4484   2207   5680 2.10
330.36/330.59	c    12426    421     3343   217080   64     7648    4933   2682   5755 2.16
330.36/330.59	c    13240    421     4157   289421   69     9249    5427   3496   5855 2.26
330.36/330.59	c    14560    421     5477   393536   71    11957    5970   4816   5689 2.56
330.36/330.59	c    16642    421     4490   298549   66     9963    6568   3829   5207 3.20
330.36/330.59	c    19866    421     4335   272570   62     9664    7225   3674   4488 4.43
330.36/330.59	c    24804    421     5562   366245   65    12108    7948   4901   4006 6.19
330.36/330.59	c    32310    421     4949   332329   67    10816    8743   4288   3393 9.52
330.36/330.59	c    43671    421     7412   514472   69    15751    9618   6751   3058 14.28
330.36/330.59	c    60815    421     9874   701153   71    20692   10580   9213   2813 21.61
330.36/330.59	c    86635    421     7330   638124   87    15572   11639   6669   2312 37.47
330.36/330.59	c   125468    421    10473   723644   69    21873   12803   9812   2138 58.67
330.36/330.59	c   183820    421     9006   626672   69    19007   14084   8345   1921 95.64
330.36/330.59	c   271452    421     7705   554744   71    16429   15493   7044   1704 159.23
330.36/330.59	c   403005    421    10614   825202   77    22195   17043   9953   1522 264.64
330.36/330.59	o 133	330.468
801.95/802.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
801.95/802.23	c   486740    420    15714  1113727   70    32395    3705  15053   1472 330.47
801.95/802.23	c   486843    420     2622   157100   59     6298    4076   1961   1472 330.68
801.95/802.23	c   487093    420     2872   179244   62     6764    4484   2211   1472 330.71
801.95/802.23	c   487568    420     3347   219159   65     7738    4933   2686   1474 330.78
801.95/802.23	c   488382    420     4161   287273   69     9304    5427   3500   1475 330.95
801.95/802.23	c   489702    420     5481   398629   72    11993    5970   4820   1477 331.38
801.95/802.23	c   491784    420     4480   320033   71     9967    6568   3819   1479 332.33
801.95/802.23	c   495007    420     4316   303438   70     9617    7225   3655   1481 334.06
801.95/802.23	c   499944    420     5541   395086   71    12056    7948   4880   1487 336.00
801.95/802.23	c   507450    420     4932   344610   69    10844    8743   4271   1494 339.51
801.95/802.23	c   518812    420     6941   527443   75    14853    9618   6280   1512 343.12
801.95/802.23	c   535957    420     8804   654625   74    18658   10580   8143   1516 353.49
801.95/802.23	c   561777    420     7693   557493   72    16379   11639   7032   1522 369.04
801.95/802.23	c   600610    420    10533   829415   78    22040   12803   9872   1529 392.71
801.95/802.23	c   658963    420    10084   756023   74    21135   14084   9423   1519 433.73
801.95/802.23	c   746595    420    12231   924398   75    25423   15493  11570   1466 509.12
801.95/802.23	c   878148    420    15768  1167731   74    32531   17043  15107   1414 620.99
801.95/802.23	o 21	801.987
802.34/802.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
802.34/802.67	c  1073602    419     9190   664737   72    19396    3705   8529   1338 802.24
802.34/802.67	c  1073702    419     2621   146715   55     6293    4076   1960   1338 802.35
802.34/802.67	c  1073952    419     2871   169873   59     6793    4484   2210   1338 802.37
802.34/802.67	o 19	802.432
829.65/829.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
829.65/829.99	c  1074370    398     3290   196728   59     7572    3701   2629   1338 802.43
829.65/829.99	c  1074470    398     3390   204454   60     7736    4072   2729   1338 802.45
829.65/829.99	c  1074720    398     3640   225573   61     8239    4480   2979   1339 802.47
829.65/829.99	c  1075195    398     4115   260250   63     9170    4929   3454   1339 802.54
829.65/829.99	c  1076008    398     4928   331325   67    10861    5422   4267   1340 802.67
829.65/829.99	c  1077328    398     3427   231386   67     7852    5965   2766   1341 803.02
829.65/829.99	c  1079409    398     5508   412830   74    12014    6562   4847   1343 803.71
829.65/829.99	c  1082632    398     5325   395860   74    11641    7219   4664   1344 805.12
829.65/829.99	c  1087568    398     6545   493625   75    14108    7941   5884   1346 807.53
829.65/829.99	c  1095074    398     5893   432657   73    12818    8736   5232   1349 811.43
829.65/829.99	c  1106435    398     8291   622980   75    17603    9610   7630   1353 817.26
829.65/829.99	c  1123579    386     5642   410343   72    12327   10572   4981   1359 826.76
829.65/829.99	o 17	829.737
839.43/839.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
839.43/839.71	c  1128833    386    10897   815801   74    22733    3699  10236   1360 829.74
839.43/839.71	c  1128934    386     2620   135047   51     6202    4069   1959   1360 829.92
839.43/839.71	c  1129185    386     2871   156247   54     6699    4476   2210   1360 829.96
839.43/839.71	c  1129661    386     3347   195915   58     7667    4924   2686   1360 830.04
839.43/839.71	c  1130475    386     4161   263283   63     9334    5417   3500   1361 830.22
839.43/839.71	c  1131795    386     5481   372857   68    11957    5959   4820   1362 830.67
839.43/839.71	c  1133876    386     4461   315650   70     9916    6555   3800   1363 831.33
839.43/839.71	c  1137100    386     4297   305384   71     9596    7211   3636   1365 833.02
839.43/839.71	c  1142037    386     5505   403536   73    12011    7933   4844   1367 835.15
839.43/839.71	c  1149543    386     4845   337448   69    10691    8727   4184   1369 839.15
839.43/839.71	o 11	839.464
856.93/857.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
856.93/857.24	c  1151029    386     6332   436540   68    13714    3699   5671   1371 839.46
856.93/857.24	c  1151129    386     2620   136810   52     6273    4069   1959   1371 839.50
856.93/857.24	c  1151380    386     2871   153336   53     6784    4476   2210   1371 839.53
856.93/857.24	c  1151855    386     3346   190216   56     7720    4924   2685   1371 839.58
856.93/857.24	c  1152668    375     4159   261190   62     9335    5417   3498   1372 839.68
856.93/857.24	c  1153988    375     5479   365627   66    11983    5959   4818   1373 840.00
856.93/857.24	c  1156069    375     4440   314783   70     9875    6555   3779   1374 840.91
856.93/857.24	c  1159293    375     4313   302329   70     9635    7211   3652   1376 842.50
856.93/857.24	c  1164230    375     5526   399642   72    12067    7933   4865   1378 844.86
856.93/857.24	c  1171736    375     4843   340814   70    10706    8727   4182   1380 848.91
856.93/857.24	c  1183097    375     7220   529331   73    15461    9600   6559   1385 854.17
856.93/857.24	o 5	856.984
874.73/875.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
874.73/875.03	c  1189104    375     8312   606547   72    17622    3697   7651   1387 856.98
874.73/875.03	c  1189205    375     2622   139752   53     6282    4067   1961   1387 857.05
874.73/875.03	c  1189456    375     2873   160755   55     6728    4474   2212   1387 857.10
874.73/875.03	c  1189931    375     3348   199478   59     7713    4922   2687   1388 857.20
874.73/875.03	c  1190745    375     4162   265922   63     9368    5415   3501   1388 857.41
874.73/875.03	c  1192068    375     5485   375596   68    12007    5957   4824   1389 857.82
874.73/875.03	c  1194149    375     4458   317308   71     9939    6553   3797   1390 858.53
874.73/875.03	c  1197373    375     4272   297554   69     9580    7209   3611   1391 860.20
874.73/875.03	c  1202309    375     5462   387710   70    11933    7930   4801   1394 862.24
874.73/875.03	c  1209816    364     4782   328418   68    10549    8724   4121   1397 865.61
874.73/875.03	c  1221177    364     7131   513969   72    15257    9597   6470   1402 870.80
874.73/875.03	o 3	874.773
996.90/997.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
996.90/997.23	c  1228526    364     9545   711905   74    20121    3695   8884   1404 874.77
996.90/997.23	c  1228627    341     2620   151242   57     6199    4065   1959   1404 874.85
996.90/997.23	c  1228879    341     2872   172414   60     6734    4472   2211   1404 874.89
996.90/997.23	c  1229354    341     3347   211375   63     7681    4920   2686   1404 874.99
996.90/997.23	c  1230167    341     4160   277732   66     9327    5413   3499   1405 875.21
996.90/997.23	c  1231488    341     5481   386695   70    11944    5955   4820   1406 875.66
996.90/997.23	c  1233570    341     4475   315863   70     9954    6551   3814   1407 876.62
996.90/997.23	c  1236793    341     4267   296564   69     9550    7207   3606   1408 878.24
996.90/997.23	c  1241730    341     5440   347839   63    11878    7928   4779   1410 880.16
996.90/997.23	c  1249237    341     4708   323221   68    10434    8721   4047   1414 883.40
996.90/997.23	c  1260598    341     7028   504918   71    15003    9594   6367   1417 889.15
996.90/997.23	c  1277743    341     9270   682458   73    19548   10554   8609   1421 899.15
996.90/997.23	c  1303562    341     7910   572313   72    16826   11610   7249   1427 913.45
996.90/997.23	c  1342394    331    10959   670837   61    22878   12772  10298   1426 941.31
996.90/997.23	c  1400747    328    10477   667984   63    21961   14050   9816   1429 979.55
996.90/997.23	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
996.90/997.23	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
996.90/997.23	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
996.90/997.23	v -x68 x69 -x70 -x71 -x72 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
996.90/997.23	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
996.90/997.23	c  108  1420924   5102  1441973     9145   511860   8484   1425 996.94
996.90/997.23	c Objective: 3
996.90/997.23	s OPTIMUM FOUND
996.90/997.23	c Total time: 996.937 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/node12/watcher-429862-1177988987 -o ROOT/results/node12/solver-429862-1177988987 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429862-1177988987/instance-429862-1177988987.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.01 1.01 1.00 3/77 8550
/proc/meminfo: memFree=1787000/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=1408 CPUtime=0
/proc/8550/stat : 8550 (bsolo3.0.16) D 8548 8550 3287 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 274936086 1441792 25 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9696036 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/8550/statm: 352 25 20 324 0 2 0

[startup+0.031467 s]
/proc/loadavg: 1.01 1.01 1.00 3/77 8550
/proc/meminfo: memFree=1787000/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=4056 CPUtime=0
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 420 0 0 0 0 0 0 0 18 0 1 0 274936086 4153344 387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8550/statm: 1014 390 303 324 0 83 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4056

[startup+0.101501 s]
/proc/loadavg: 1.01 1.01 1.00 3/77 8550
/proc/meminfo: memFree=1787000/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=4964 CPUtime=0.06
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 667 0 0 0 6 0 0 0 18 0 1 0 274936086 5083136 634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8550/statm: 1241 634 312 324 0 310 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4964

[startup+0.301522 s]
/proc/loadavg: 1.01 1.01 1.00 3/77 8550
/proc/meminfo: memFree=1787000/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=7036 CPUtime=0.27
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 1170 0 0 0 26 1 0 0 20 0 1 0 274936086 7204864 1137 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8550/statm: 1759 1137 313 324 0 828 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7036

[startup+0.701561 s]
/proc/loadavg: 1.01 1.01 1.00 3/77 8550
/proc/meminfo: memFree=1787000/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=10268 CPUtime=0.66
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 1970 0 0 0 64 2 0 0 23 0 1 0 274936086 10514432 1937 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8550/statm: 2567 1937 313 324 0 1636 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 10268

[startup+1.50264 s]
/proc/loadavg: 1.01 1.01 1.00 3/78 8551
/proc/meminfo: memFree=1778608/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=11812 CPUtime=1.46
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 2356 0 0 0 144 2 0 0 25 0 1 0 274936086 12095488 2323 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8550/statm: 2953 2323 313 324 0 2022 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11812

[startup+3.1018 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 8551
/proc/meminfo: memFree=1777648/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=12716 CPUtime=3.06
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 2597 0 0 0 303 3 0 0 25 0 1 0 274936086 13021184 2564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8550/statm: 3179 2564 313 324 0 2248 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12716

[startup+6.30112 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 8551
/proc/meminfo: memFree=1777648/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=12716 CPUtime=6.26
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 2597 0 0 0 622 4 0 0 25 0 1 0 274936086 13021184 2564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8550/statm: 3179 2564 313 324 0 2248 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12716

[startup+12.7018 s]
/proc/loadavg: 1.09 1.02 1.01 2/78 8551
/proc/meminfo: memFree=1776816/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=13624 CPUtime=12.66
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 2827 0 0 0 1261 5 0 0 25 0 1 0 274936086 13950976 2794 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8550/statm: 3406 2794 313 324 0 2475 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 13624

[startup+25.5011 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 8551
/proc/meminfo: memFree=1773488/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=17076 CPUtime=25.45
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 3688 0 0 0 2536 9 0 0 25 0 1 0 274936086 17485824 3655 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 4269 3655 313 324 0 3338 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 17076

[startup+51.1014 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 8551
/proc/meminfo: memFree=1771824/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=18756 CPUtime=51.04
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 4100 0 0 0 5091 13 0 0 25 0 1 0 274936086 19206144 4067 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 4689 4067 313 324 0 3758 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 18756

[startup+102.306 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 8551
/proc/meminfo: memFree=1770224/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=20288 CPUtime=102.23
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 4489 0 0 0 10202 21 0 0 25 0 1 0 274936086 20774912 4456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 5072 4456 313 324 0 4141 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 20288

[startup+162.302 s]
/proc/loadavg: 1.11 1.05 1.01 2/78 8551
/proc/meminfo: memFree=1767792/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=22720 CPUtime=162.21
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5102 0 0 0 16190 31 0 0 25 0 1 0 274936086 23265280 5069 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 5680 5069 313 324 0 4749 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 22720

[startup+222.302 s]
/proc/loadavg: 1.04 1.04 1.00 2/78 8551
/proc/meminfo: memFree=1767728/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=22828 CPUtime=222.2
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5134 0 0 0 22181 39 0 0 25 0 1 0 274936086 23375872 5100 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 5707 5100 313 324 0 4776 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 22828

[startup+282.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 8551
/proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24768 CPUtime=282.18
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 28170 48 0 0 25 0 1 0 274936086 25362432 5576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6192 5576 313 324 0 5261 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 24768

[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 8551
/proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24724 CPUtime=342.17
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 34158 59 0 0 25 0 1 0 274936086 25317376 5576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6181 5576 313 324 0 5250 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 24724

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 8551
/proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24720 CPUtime=402.15
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 40146 69 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6180 5575 313 324 0 5249 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 24720

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8551
/proc/meminfo: memFree=1765616/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24720 CPUtime=462.13
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 46135 78 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10137366 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6180 5575 313 324 0 5249 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 24720

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765616/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24720 CPUtime=522.12
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 52126 86 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6180 5575 313 324 0 5249 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 24720

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24720 CPUtime=582.1
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 58115 95 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6180 5575 313 324 0 5249 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 24720

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24720 CPUtime=642.09
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 64107 102 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10129040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6180 5575 313 324 0 5249 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 24720

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765616/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24720 CPUtime=702.07
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 70098 109 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6180 5575 313 324 0 5249 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 24720

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765616/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24720 CPUtime=762.06
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 76090 116 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6180 5575 313 324 0 5249 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 24720

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765616/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24720 CPUtime=822.04
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 82079 125 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6180 5575 313 324 0 5249 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 24720

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=882.02
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 88063 139 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 24548

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=942.01
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 94052 149 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 24548

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

[startup+947.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=946.81
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 94531 150 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134558827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 946.81
Current children cumulated vsize (KiB) 24548

[startup+972.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=972.4
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 97086 154 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 972.4
Current children cumulated vsize (KiB) 24548

[startup+985.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=985.2
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 98364 156 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551113 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 985.2
Current children cumulated vsize (KiB) 24548

[startup+991.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=991.6
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99002 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 991.6
Current children cumulated vsize (KiB) 24548

[startup+995.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=994.8
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99322 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 994.8
Current children cumulated vsize (KiB) 24548

[startup+995.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=995.6
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99402 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 995.6
Current children cumulated vsize (KiB) 24548

[startup+996.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=996.4
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99482 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 996.4
Current children cumulated vsize (KiB) 24548

[startup+997.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=996.8
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99522 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10137317 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 996.8
Current children cumulated vsize (KiB) 24548

[startup+997.202 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8551
/proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956
[pid=8550] ppid=8548 vsize=24548 CPUtime=996.9
/proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99532 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8550/statm: 6137 5532 313 324 0 5206 0
Current children cumulated CPU time (s) 996.9
Current children cumulated vsize (KiB) 24548

Child status: 0
Real time (s): 997.238
CPU time (s): 996.945
CPU user time (s): 995.357
CPU system time (s): 1.58876
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 24768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 995.357
system time used= 1.58876
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= 19610

runsolver used 0.766883 second user time and 2.11868 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Tue May  1 03:09:47 UTC 2007

IDJOB= 429862
IDBENCH= 47939
IDSOLVER= 163
FILE ID= node12/429862-1177988987

PBS_JOBID= 4728195

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/429862-1177988987/instance-429862-1177988987.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-429862-1177988987 -o ROOT/results/node12/solver-429862-1177988987 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429862-1177988987/instance-429862-1177988987.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  e79e2db14e141163591dbcfdfed7384a

RANDOM SEED= 406265291

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1787344 kB
Buffers:         53528 kB
Cached:         124076 kB
SwapCached:      11572 kB
Active:         104952 kB
Inactive:        99936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1787344 kB
SwapTotal:     4192956 kB
SwapFree:      4160072 kB
Dirty:            6612 kB
Writeback:           0 kB
Mapped:          33716 kB
Slab:            49192 kB
Committed_AS:  7108352 kB
PageTables:       1804 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 node12 on Tue May  1 03:26:25 UTC 2007