Trace number 454890

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT-10 1800.02 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_1.opb
MD5SUM26861ca996cf8fd2abe5c211e1f47a26
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
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 -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1220
Sum of products size (including duplicates)2440
Number of different products610
Sum of products size1220

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/454890-1178033332/instance-454890-1178033332.opb
0.00/0.00	c File size is 16355 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.007 s
0.00/0.01	c Var: 1320 Constr: 2592 1270/102/1220 Lit: 8840 Watch. Lit: 7522
0.00/0.01	c Obj. Vars: 50 (3.78788 % of total variables)
0.39/0.41	c Pre-processing Time: 0.409 s
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   1320     2592     8840    3     7522   14413      0      0 0.41
0.39/0.41	c Switching off LPR mode.
0.39/0.41	o -1	0.411
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   1320     2593     8890    3     7525   14447      1      0 0.41
0.39/0.41	o -2	0.413
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0   1320     2594     8940    3     7529   14497      2      0 0.41
0.39/0.41	o -3	0.414
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c        0   1320     2595     8990    3     7534   14563      3      0 0.41
0.39/0.42	o -4	0.416
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c        0   1320     2596     9040    3     7540   14647      4      0 0.42
0.39/0.42	o -5	0.418
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        5   1320     2602     9460    3     7557   14663     10     11 0.42
0.39/0.43	c      105   1320     2702    15443    5     7757   16130    110    243 0.43
0.39/0.43	o -6	0.434
0.68/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.78	c      123   1320     2721    16608    6     7801   14680    129    282 0.43
0.68/0.78	c      223   1320     2821    22369    7     8001   16149    229    498 0.45
0.68/0.78	c      473   1320     3071    37900   12     8501   17764    479    987 0.48
0.68/0.78	c      948   1320     3546    67366   18     9451   19541    954   1798 0.53
0.68/0.78	c     1761   1320     4359   116207   26    11077   21496   1767   2863 0.61
0.68/0.78	o -7	0.777
1.29/1.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.30	c     2952   1320     5551   181797   32    13468   14697   2959   3799 0.78
1.29/1.30	c     3052   1320     5651   187711   33    13668   16167   3059   3853 0.79
1.29/1.30	c     3302   1320     5901   204407   34    14168   17784   3309   3983 0.83
1.29/1.30	c     3777   1320     6376   236587   37    15118   19563   3784   4159 0.91
1.29/1.30	c     4590   1320     7189   287884   40    16744   21520   4597   4277 1.07
1.29/1.30	o -8	1.301
149.24/149.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
149.24/149.32	c     5765   1320     8365   357019   42    19104   14713   5773   4427 1.30
149.24/149.32	c     5865   1320     8465   364830   43    19304   16185   5873   4426 1.32
149.24/149.32	c     6115   1320     8715   382077   43    19804   17804   6123   4427 1.38
149.24/149.32	c     6590   1320     9190   413627   45    20754   19585   6598   4378 1.50
149.24/149.32	c     7403   1320    10003   456598   45    22380   21544   7411   4481 1.65
149.24/149.32	c     8723   1320    11323   529047   46    25020   23699   8731   4579 1.91
149.24/149.32	c    10804   1320    13404   645115   48    29182   26069  10812   4080 2.65
149.24/149.32	c    14027   1320    16627   842384   50    35628   28676  14035   3388 4.14
149.24/149.32	c    18963   1320    21563  1177956   54    45500   31544  18971   2629 7.21
149.24/149.32	c    26469   1320    29069  1675484   57    60512   34699  26477   1920 13.78
149.24/149.32	c    37830   1320    15689   952860   60    33724   38169  13097   1360 27.80
149.24/149.32	c    54974   1320    32833  2039276   62    68012   41986  30241   1519 36.18
149.24/149.32	c    80793   1320    26852  1608142   59    56050   46185  24260   1351 59.76
149.24/149.32	c   119625   1320    29841  1770689   59    62028   50804  27249   1204 99.30
149.24/149.32	o -9	149.279
559.04/559.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
559.04/559.25	c   161885   1320    31604  1952223   61    65563   14580  29012   1084 149.28
559.04/559.25	c   161985   1320     9983   534662   53    22313   16039   7391   1075 150.64
559.04/559.25	c   162235   1320    10233   547734   53    22813   17643   7641   1076 150.70
559.04/559.25	c   162710   1320    10708   573261   53    23763   19408   8116   1078 150.88
559.04/559.25	c   163523   1320    11521   620424   53    25389   21349   8929   1081 151.24
559.04/559.25	c   164843   1320    12841   695834   54    28029   23484  10249   1085 151.91
559.04/559.25	c   166924   1320    14922   815789   54    32191   25833  12330   1090 153.03
559.04/559.25	c   170147   1320    18145  1008485   55    38637   28417  15553   1096 155.12
559.04/559.25	c   175083   1320    23081  1284572   55    48509   31259  20489   1113 157.22
559.04/559.25	c   182590   1320    30588  1715352   56    63523   34385  27996   1131 161.32
559.04/559.25	c   193951   1320    17651   965989   54    37649   37824  15059   1118 173.43
559.04/559.25	c   211095   1320    34795  2090712   60    71937   41607  32203   1126 187.40
559.04/559.25	c   236914   1320    29255  1693789   57    60857   45768  26663   1093 216.62
559.04/559.25	c   275749   1320    32658  1930712   59    67663   50345  30066   1046 263.41
559.04/559.25	c   334101   1320    51106  3418315   66   104559   55380  48514    961 347.32
559.04/559.25	c   421734   1320    49082  3287067   66   100511   60919  46490    838 502.74
559.04/559.25	o -10	559.093
1799.99/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.99/1800.50	c   457303   1320    34380  2055337   59    71117   14597  31788    817 559.09
1799.99/1800.50	c   457403   1320     9992   537217   53    22332   16057   7400    815 560.77
1799.99/1800.50	c   457653   1320    10242   550533   53    22832   17663   7650    815 560.87
1799.99/1800.50	c   458128   1320    10717   577363   53    23782   19430   8125    816 561.12
1799.99/1800.50	c   458941   1320    11530   620987   53    25408   21374   8938    817 561.42
1799.99/1800.50	c   460261   1320    12850   693097   53    28048   23512  10258    819 561.94
1799.99/1800.50	c   462342   1320    14931   808300   54    32210   25864  12339    821 562.81
1799.99/1800.50	c   465565   1320    18154   989074   54    38656   28451  15562    824 564.59
1799.99/1800.50	c   470501   1320    23090  1285420   55    48528   31297  20498    829 567.45
1799.99/1800.50	c   478007   1320    30596  1783571   58    63540   34427  28004    829 576.25
1799.99/1800.50	c   489368   1320    17671   935705   52    37690   37870  15079    828 590.44
1799.99/1800.50	c   506512   1320    34815  1988883   57    71978   41658  32223    841 602.15
1799.99/1800.50	c   532331   1320    29213  1707970   58    60774   45824  26621    848 627.10
1799.99/1800.50	c   571163   1320    32602  1896463   58    67552   50407  30010    844 676.49
1799.99/1800.50	c   629516   1320    51019  3301155   64   104386   55448  48427    823 764.29
1799.99/1800.50	c   717148   1320    48847  3071247   62   100042   60993  46255    798 897.94
1799.99/1800.50	c   848700   1320    29313  1755395   59    60974   67093  26721    753 1125.67
1799.99/1800.50	c  1046132   1320    57583  3740120   64   117514   73803  54991    735 1421.83
1799.99/1800.50	c Resources Exceeded
1799.99/1800.50	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29
1799.99/1800.50	v -x30 -x31 -x32 x33 -x34 -x35 x36 -x37 -x38 x39 x40 -x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 x50 -x84 x87 -x78 -x66 -x94 -x86 -x93
1799.99/1800.50	v -x100 x72 x63 -x58 -x68 -x85 -x97 -x99 -x51 -x91 -x60 -x64 -x77 -x73 -x62 -x69 -x59 -x61 -x67 -x70 x82 x52 -x80 -x83 -x81 -x74
1799.99/1800.50	v -x53 -x57 x65 x54 -x88 -x75 -x71 x92 x79 -x95 -x55 x76 -x96 -x56 -x90 -x89 -x98
1799.99/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.99/1800.50	c   64  1229858    587  1238649    52347  3450060  49755    683 1800.00
1799.99/1800.50	c Objective: -10
1799.99/1800.50	s SATISFIABLE
1799.99/1800.50	c Total time: 1800 s

Verifier Data (download as text)

OK	-10

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node61/watcher-454890-1178033332 -o ROOT/results/node61/solver-454890-1178033332 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454890-1178033332/instance-454890-1178033332.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 26646
/proc/meminfo: memFree=1848264/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=11752 CPUtime=0
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 215296865 12034048 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 2938 346 291 324 0 2003 0

[startup+0.0509129 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 26646
/proc/meminfo: memFree=1848264/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=4608 CPUtime=0.04
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 564 0 0 0 4 0 0 0 18 0 1 0 215296865 4718592 529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 1152 529 307 324 0 221 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4608

[startup+0.101917 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 26646
/proc/meminfo: memFree=1848264/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=4608 CPUtime=0.09
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 564 0 0 0 9 0 0 0 18 0 1 0 215296865 4718592 529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 1152 529 307 324 0 221 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4608

[startup+0.301936 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 26646
/proc/meminfo: memFree=1848264/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=4608 CPUtime=0.29
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 564 0 0 0 29 0 0 0 19 0 1 0 215296865 4718592 529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 1152 529 307 324 0 221 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4608

[startup+0.701974 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 26646
/proc/meminfo: memFree=1848264/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=6820 CPUtime=0.68
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 1109 0 0 0 68 0 0 0 22 0 1 0 215296865 6983680 1074 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 1705 1074 313 324 0 774 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6820

[startup+1.50105 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 26647
/proc/meminfo: memFree=1843456/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=10576 CPUtime=1.49
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 2052 0 0 0 148 1 0 0 25 0 1 0 215296865 10829824 2017 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 2644 2017 313 324 0 1713 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10576

[startup+3.10121 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 26647
/proc/meminfo: memFree=1839040/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=14988 CPUtime=3.08
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 3168 0 0 0 306 2 0 0 25 0 1 0 215296865 15347712 3133 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10501236 0 0 4096 16384 0 0 0 17 0 0 0
/proc/26646/statm: 3747 3133 313 324 0 2816 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14988

[startup+6.30152 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 26647
/proc/meminfo: memFree=1832768/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=20304 CPUtime=6.28
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 4490 0 0 0 623 5 0 0 25 0 1 0 215296865 20791296 4455 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 5076 4455 313 324 0 4145 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20304

[startup+12.7011 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 26647
/proc/meminfo: memFree=1824432/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=27928 CPUtime=12.68
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 6395 0 0 0 1260 8 0 0 25 0 1 0 215296865 28598272 6360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 6982 6360 313 324 0 6051 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27928

[startup+25.5013 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 26647
/proc/meminfo: memFree=1813232/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=39028 CPUtime=25.48
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 9196 0 0 0 2535 13 0 0 25 0 1 0 215296865 39964672 9125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 9757 9125 313 324 0 8826 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39028

[startup+51.1018 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 26647
/proc/meminfo: memFree=1806128/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=45868 CPUtime=51.07
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 10955 0 0 0 5089 18 0 0 25 0 1 0 215296865 46968832 10841 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 11467 10841 313 324 0 10536 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45868

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 26647
/proc/meminfo: memFree=1802800/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=49100 CPUtime=102.26
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 11830 0 0 0 10201 25 0 0 25 0 1 0 215296865 50278400 11669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 12275 11669 313 324 0 11344 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49100

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26647
/proc/meminfo: memFree=1797104/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=54884 CPUtime=162.24
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 13325 0 0 0 16189 35 0 0 25 0 1 0 215296865 56201216 13113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 13721 13113 313 324 0 12790 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 54884

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26649
/proc/meminfo: memFree=1797040/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=54880 CPUtime=222.23
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 13360 0 0 0 22179 44 0 0 25 0 1 0 215296865 56197120 13113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 13720 13113 313 324 0 12789 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 54880

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26649
/proc/meminfo: memFree=1797040/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=54876 CPUtime=282.21
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 13360 0 0 0 28171 50 0 0 25 0 1 0 215296865 56193024 13113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 13719 13113 313 324 0 12788 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 54876

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26649
/proc/meminfo: memFree=1797040/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=54876 CPUtime=342.19
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 13360 0 0 0 34163 56 0 0 25 0 1 0 215296865 56193024 13113 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 13719 13113 313 324 0 12788 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 54876

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26649
/proc/meminfo: memFree=1790896/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=60948 CPUtime=402.18
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 14915 0 0 0 40154 64 0 0 25 0 1 0 215296865 62410752 14612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 15237 14612 313 324 0 14306 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 60948

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26649
/proc/meminfo: memFree=1790960/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=60948 CPUtime=462.16
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 14971 0 0 0 46148 68 0 0 25 0 1 0 215296865 62410752 14612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 15237 14612 313 324 0 14306 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 60948

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26649
/proc/meminfo: memFree=1789744/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=62760 CPUtime=522.14
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 15416 0 0 0 52139 75 0 0 25 0 1 0 215296865 64266240 15057 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 15690 15057 313 324 0 14759 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 62760

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26649
/proc/meminfo: memFree=1786480/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=65436 CPUtime=582.12
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 16173 0 0 0 58130 82 0 0 25 0 1 0 215296865 67006464 15753 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 16359 15753 313 324 0 15428 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 65436

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 26649
/proc/meminfo: memFree=1786352/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=65384 CPUtime=642.11
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 16215 0 0 0 64121 90 0 0 25 0 1 0 215296865 66953216 15741 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 16346 15741 313 324 0 15415 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 65384


################
# More data... #
################

/proc/meminfo: memFree=1786288/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=65372 CPUtime=1061.99
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 16434 0 0 0 106068 131 0 0 25 0 1 0 215296865 66940928 15738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 16343 15738 313 324 0 15412 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 65372

[startup+1122.3 s]
/proc/loadavg: 1.06 0.99 0.99 2/65 26649
/proc/meminfo: memFree=1786032/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=65628 CPUtime=1121.98
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 16547 0 0 0 112061 137 0 0 25 0 1 0 215296865 67203072 15790 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 16407 15790 313 324 0 15476 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 65628

[startup+1182.3 s]
/proc/loadavg: 1.08 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1782384/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=69764 CPUtime=1181.96
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 17583 0 0 0 118051 145 0 0 25 0 1 0 215296865 71438336 16826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550918 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 17441 16826 313 324 0 16510 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 69764

[startup+1242.3 s]
/proc/loadavg: 1.09 1.01 1.00 2/65 26649
/proc/meminfo: memFree=1781168/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=70536 CPUtime=1241.94
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 17831 0 0 0 124044 150 0 0 25 0 1 0 215296865 72228864 17007 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 17634 17007 313 324 0 16703 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 70536

[startup+1302.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 26649
/proc/meminfo: memFree=1780656/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=71052 CPUtime=1301.94
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 18028 0 0 0 130038 156 0 0 25 0 1 0 215296865 72757248 17137 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 17763 17137 313 324 0 16832 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 71052

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1778736/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=72852 CPUtime=1361.92
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 18560 0 0 0 136029 163 0 0 25 0 1 0 215296865 74600448 17602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 18213 17602 313 324 0 17282 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 72852

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 26649
/proc/meminfo: memFree=1778800/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=72852 CPUtime=1421.9
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 18560 0 0 0 142021 169 0 0 25 0 1 0 215296865 74600448 17602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 18213 17602 313 324 0 17282 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 72852

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1773808/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=77812 CPUtime=1481.88
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 19869 0 0 0 148015 173 0 0 25 0 1 0 215296865 79679488 18837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 19453 18837 313 324 0 18522 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 77812

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1773808/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=77812 CPUtime=1541.86
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 19869 0 0 0 154008 178 0 0 25 0 1 0 215296865 79679488 18837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 19453 18837 313 324 0 18522 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 77812

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1773040/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=78968 CPUtime=1601.85
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 20159 0 0 0 160002 183 0 0 25 0 1 0 215296865 80863232 19127 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 19742 19127 313 324 0 18811 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 78968

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1771696/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=79868 CPUtime=1661.84
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 20445 0 0 0 165998 186 0 0 25 0 1 0 215296865 81784832 19339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 19967 19339 313 324 0 19036 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 79868

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1771760/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=79868 CPUtime=1721.82
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 20445 0 0 0 171991 191 0 0 25 0 1 0 215296865 81784832 19339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 19967 19339 313 324 0 19036 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 79868

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=83996 CPUtime=1781.8
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 177982 198 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 20999 20378 313 324 0 20068 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 83996

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=83996 CPUtime=1791.4
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 178941 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 20999 20378 313 324 0 20068 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 83996

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=83996 CPUtime=1794.6
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 179261 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 20999 20378 313 324 0 20068 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 83996

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=83996 CPUtime=1797.79
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 179580 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 20999 20378 313 324 0 20068 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 83996

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=83996 CPUtime=1799.39
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 179740 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10825473 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 20999 20378 313 324 0 20068 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 83996

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=83996 CPUtime=1799.79
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 179780 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 20999 20378 313 324 0 20068 0
Current children cumulated CPU time (s) 1799.79
Current children cumulated vsize (KiB) 83996

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 26649
/proc/meminfo: memFree=1767536/2055920 swapFree=4184092/4192956
[pid=26646] ppid=26644 vsize=83996 CPUtime=1799.99
/proc/26646/stat : 26646 (bsolo3.0.16) R 26644 26646 24252 0 -1 4194304 21558 0 0 0 179800 199 0 0 25 0 1 0 215296865 86011904 20378 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26646/statm: 20999 20378 313 324 0 20068 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 83996

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.02
CPU user time (s): 1798.01
CPU system time (s): 2.01369
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 84292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.01
system time used= 2.01369
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 2684

runsolver used 1.42078 second user time and 3.50247 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Tue May  1 15:28:52 UTC 2007

IDJOB= 454890
IDBENCH= 48227
IDSOLVER= 163
FILE ID= node61/454890-1178033332

PBS_JOBID= 4728386

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  26861ca996cf8fd2abe5c211e1f47a26

RANDOM SEED= 746468528

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1848672 kB
Buffers:         67612 kB
Cached:          72220 kB
SwapCached:       2628 kB
Active:         109708 kB
Inactive:        47616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848672 kB
SwapTotal:     4192956 kB
SwapFree:      4184092 kB
Dirty:            6792 kB
Writeback:           0 kB
Mapped:          22364 kB
Slab:            36064 kB
Committed_AS:  4521344 kB
PageTables:       1404 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 node61 on Tue May  1 15:58:53 UTC 2007