Trace number 454020

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-26 1800.01 1800.64

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
MD5SUM597624b9879736416e28e0a242fe0005
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark294.838
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)1260
Sum of products size (including duplicates)2520
Number of different products630
Sum of products size1260

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/454020-1178019546/instance-454020-1178019546.opb
0.00/0.00	c File size is 15118 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: 1360 Constr: 2720 1360/100/1260 Lit: 10080 Watch. Lit: 7560
0.00/0.01	c Obj. Vars: 100 (7.35294 % of total variables)
0.00/0.02	c Pre-processing Time: 0.018 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    100      630     1890    3     1260     209      0      0 0.02
0.00/0.02	c Switching off LPR mode.
0.00/0.02	o -22	0.018
0.04/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.08	c        0    100      631     1990    3     1284     976      1      0 0.02
0.04/0.08	c      100    100      731     9442   12     1484    1074    101   4166 0.02
0.04/0.08	c      350    100      981    27979   28     1984    1182    351   8750 0.04
0.04/0.08	c      825    100     1456    63221   43     2934    1301    826  10443 0.08
0.04/0.08	o -23	0.081
4.69/4.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.73	c      829    100     1461    63620   43     2967    1009    831  10234 0.08
4.69/4.73	c      930    100     1562    71043   45     3169    1110    932  10108 0.09
4.69/4.73	c     1182    100     1814    89567   49     3673    1222   1184  10102 0.12
4.69/4.73	c     1657    100     2289   124281   54     4623    1345   1659  10356 0.16
4.69/4.73	c     2470    100     3102   183868   59     6249    1480   2472   9216 0.27
4.69/4.73	c     3791    100     2360   128745   54     4743    1629   1730   8295 0.46
4.69/4.73	c     5873    100     2294   123763   53     4611    1792   1664   7481 0.79
4.69/4.73	c     9096    100     3288   195638   59     6599    1972   2658   6162 1.48
4.69/4.73	c    14033    100     3581   216917   60     7185    2170   2951   5531 2.54
4.69/4.73	c    21539    100     3829   233590   61     7681    2388   3199   5135 4.19
4.69/4.73	o -24	4.728
156.24/156.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
156.24/156.32	c    24162    100     3938   243375   61     7923    1043   3308   5110 4.73
156.24/156.32	c    24263    100     1254    47132   37     2532    1148    624   5101 4.76
156.24/156.32	c    24514    100     1505    65259   43     3034    1263    875   5132 4.78
156.24/156.32	c    24990    100     1981    99601   50     3986    1390   1351   5183 4.82
156.24/156.32	c    25803    100     2794   158053   56     5612    1530   2164   5231 4.93
156.24/156.32	c    27123    100     2012   101048   50     4048    1684   1382   5319 5.10
156.24/156.32	c    29204    100     1934    95597   49     3892    1853   1304   5332 5.48
156.24/156.32	c    32427    100     2906   165242   56     5836    2039   2276   5344 6.07
156.24/156.32	c    37365    100     3143   181837   57     6310    2243   2513   5268 7.09
156.24/156.32	c    44871    100     3290   193025   58     6604    2468   2660   5015 8.95
156.24/156.32	c    56232    100     1865    90018   48     3754    2715   1235   4849 11.60
156.24/156.32	c    73377    100     2895   163795   56     5814    2987   2265   4525 16.21
156.24/156.32	c    99196    100     3313   194210   58     6650    3286   2683   4171 23.78
156.24/156.32	c   138030    100     3504   207691   59     7032    3615   2874   3838 35.95
156.24/156.32	c   196383    100     5414   345508   63    10852    3977   4784   3492 56.23
156.24/156.32	c   284016    100     3447   203468   59     6918    4375   2817   3199 88.77
156.24/156.32	c   415569    100     4967   313169   63     9958    4813   4337   2923 142.17
156.24/156.32	o -25	156.265
870.03/870.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
870.03/870.38	c   450475    100     6233   404095   64    12515    1076   5603   2882 156.26
870.03/870.38	c   450577    100     1271    47817   37     2567    1184    641   2881 156.39
870.03/870.38	c   450828    100     1522    65838   43     3069    1303    892   2882 156.41
870.03/870.38	c   451303    100     1997    99680   49     4019    1434   1367   2884 156.45
870.03/870.38	c   452116    100     2810   157723   56     5645    1578   2180   2887 156.56
870.03/870.38	c   453437    100     2006    99643   49     4037    1736   1376   2892 156.74
870.03/870.38	c   455518    100     1891    91196   48     3807    1910   1261   2899 157.13
870.03/870.38	c   458741    100     2824   157116   55     5673    2102   2194   2908 157.70
870.03/870.38	c   463678    100     2992   168828   56     6009    2313   2362   2921 158.73
870.03/870.38	c   471184    100     3025   170761   56     6075    2545   2395   2936 160.45
870.03/870.38	c   482545    100     3978   238581   59     7981    2800   3348   2951 163.51
870.03/870.38	c   499691    100     2031   100959   49     4087    3081   1401   2968 168.31
870.03/870.38	c   525511    100     4895   304469   62     9815    3390   4265   2999 175.18
870.03/870.38	c   564343    100     4390   267998   61     8805    3730   3760   3025 186.55
870.03/870.38	c   622695    100     5263   328020   62    10551    4104   4633   3010 206.82
870.03/870.38	c   710327    100     4985   309872   62     9995    4515   4355   2988 237.68
870.03/870.38	c   841879    100     3881   231634   59     7787    4967   3251   2911 289.11
870.03/870.38	c  1039312    100     3234   185344   57     6493    5464   2604   2778 374.10
870.03/870.38	c  1335565    100     7239   470552   65    14503    6011   6609   2575 518.64
870.03/870.38	c  1780048    100     5902   375817   63    11829    6613   5272   2363 752.99
870.03/870.38	o -26	870.116
1799.96/1800.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.96/1800.63	c  1979794    100     6389   410117   64    12829    1109   5759   2275 870.12
1799.96/1800.63	c  1979896    100     1288    47916   37     2602    1220    658   2275 870.17
1799.96/1800.63	c  1980147    100     1539    65564   42     3104    1343    909   2275 870.19
1799.96/1800.63	c  1980622    100     2014    99026   49     4054    1478   1384   2275 870.24
1799.96/1800.63	c  1981436    100     2828   156063   55     5682    1626   2198   2276 870.34
1799.96/1800.63	c  1982756    100     2003    97534   48     4032    1789   1373   2277 870.56
1799.96/1800.63	c  1984837    100     1854    87131   46     3734    1968   1224   2279 870.86
1799.96/1800.63	c  1988061    100     2773   151315   54     5572    2165   2143   2281 871.32
1799.96/1800.63	c  1992997    100     2888   158967   55     5802    2382   2258   2284 872.26
1799.96/1800.63	c  2000504    100     2843   155329   54     5712    2621   2213   2288 874.17
1799.96/1800.63	c  2011865    100     3655   213308   58     7336    2884   3025   2295 876.61
1799.96/1800.63	c  2029009    100     4169   248130   59     8364    3173   3539   2303 880.68
1799.96/1800.63	c  2054828    100     3734   217445   58     7494    3491   3104   2314 887.90
1799.96/1800.63	c  2093661    100     2607   139702   53     5240    3841   1977   2328 899.29
1799.96/1800.63	c  2152013    100     5727   357451   62    11480    4226   5097   2342 918.81
1799.96/1800.63	c  2239645    100     3951   233494   59     7928    4649   3321   2350 953.03
1799.96/1800.63	c  2371198    100     4238   252764   59     8502    5114   3608   2359 1004.94
1799.96/1800.63	c  2568631    100     3709   214996   57     7444    5626   3079   2347 1094.27
1799.96/1800.63	c  2864885    100     6209   391115   62    12444    6189   5579   2336 1226.39
1799.96/1800.63	c  3309367    100     4383   262543   59     8792    6808   3753   2243 1475.27
1799.96/1800.63	c Resources Exceeded
1799.96/1800.63	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
1799.96/1800.63	v -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55
1799.96/1800.63	v -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 x64 -x65 x66 -x67 x68 -x69 x70 -x71 x72 -x73 x74 x75 x76 -x77 x78 -x79 -x80 x81 -x82 -x83
1799.96/1800.63	v x84 -x85 -x86 x87 -x88 -x89 -x90 x91 x92 -x93 x94 x95 -x96 x97 -x98 x99 x100
1799.96/1800.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.96/1800.63	c   71  3859074 269434  4178249     5699   355152   5069   2143 1800.00
1799.96/1800.63	c Objective: -26
1799.96/1800.63	s SATISFIABLE
1799.96/1800.63	c Total time: 1800 s

Verifier Data (download as text)

OK	-26

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node62/watcher-454020-1178019546 -o ROOT/results/node62/solver-454020-1178019546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454020-1178019546/instance-454020-1178019546.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.14 1.00 0.98 3/64 17563
/proc/meminfo: memFree=1800112/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=11752 CPUtime=0
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 120530607 12034048 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2938 347 292 324 0 2003 0

[startup+0.0516721 s]
/proc/loadavg: 1.14 1.00 0.98 3/64 17563
/proc/meminfo: memFree=1800112/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=4980 CPUtime=0.04
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 659 0 0 0 4 0 0 0 18 0 1 0 120530607 5099520 624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 1245 624 313 324 0 314 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4980

[startup+0.101677 s]
/proc/loadavg: 1.14 1.00 0.98 3/64 17563
/proc/meminfo: memFree=1800112/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=5508 CPUtime=0.09
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 774 0 0 0 9 0 0 0 18 0 1 0 120530607 5640192 739 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 1377 739 313 324 0 446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5508

[startup+0.301701 s]
/proc/loadavg: 1.14 1.00 0.98 3/64 17563
/proc/meminfo: memFree=1800112/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=7076 CPUtime=0.29
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1177 0 0 0 29 0 0 0 19 0 1 0 120530607 7245824 1142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 1769 1142 313 324 0 838 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7076

[startup+0.701748 s]
/proc/loadavg: 1.14 1.00 0.98 3/64 17563
/proc/meminfo: memFree=1800112/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=7332 CPUtime=0.69
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1254 0 0 0 69 0 0 0 22 0 1 0 120530607 7507968 1219 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 1833 1219 313 324 0 902 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7332

[startup+1.50184 s]
/proc/loadavg: 1.14 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1796456/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=7588 CPUtime=1.49
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1297 0 0 0 148 1 0 0 25 0 1 0 120530607 7770112 1262 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 1897 1262 313 324 0 966 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7588

[startup+3.10103 s]
/proc/loadavg: 1.14 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1795688/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=7972 CPUtime=3.09
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1393 0 0 0 307 2 0 0 25 0 1 0 120530607 8163328 1358 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 1993 1358 313 324 0 1062 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7972

[startup+6.3014 s]
/proc/loadavg: 1.12 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1795448/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=8092 CPUtime=6.29
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1441 0 0 0 626 3 0 0 25 0 1 0 120530607 8286208 1406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2023 1406 313 324 0 1092 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8092

[startup+12.7012 s]
/proc/loadavg: 1.11 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1795416/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=8476 CPUtime=12.69
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1523 0 0 0 1263 6 0 0 25 0 1 0 120530607 8679424 1488 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2119 1488 313 324 0 1188 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8476

[startup+25.5017 s]
/proc/loadavg: 1.09 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1794648/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=8988 CPUtime=25.48
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1674 0 0 0 2539 9 0 0 25 0 1 0 120530607 9203712 1639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2247 1639 313 324 0 1316 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8988

[startup+51.1017 s]
/proc/loadavg: 1.06 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1794392/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=9348 CPUtime=51.07
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1759 0 0 0 5091 16 0 0 25 0 1 0 120530607 9572352 1724 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2337 1724 313 324 0 1406 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9348

[startup+102.306 s]
/proc/loadavg: 1.02 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1793624/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=10124 CPUtime=102.26
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 1957 0 0 0 10198 28 0 0 25 0 1 0 120530607 10366976 1922 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2531 1922 313 324 0 1600 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10124

[startup+162.302 s]
/proc/loadavg: 1.01 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1793176/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=10624 CPUtime=162.23
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2065 0 0 0 16179 44 0 0 25 0 1 0 120530607 10878976 2030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2656 2030 313 324 0 1725 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 10624

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1793176/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=10336 CPUtime=222.22
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2065 0 0 0 22162 60 0 0 25 0 1 0 120530607 10584064 1977 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2584 1977 313 324 0 1653 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 10336

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1793240/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=10260 CPUtime=282.2
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2065 0 0 0 28142 78 0 0 25 0 1 0 120530607 10506240 1958 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2565 1958 313 324 0 1634 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 10260

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1792984/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=10724 CPUtime=342.18
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2163 0 0 0 34128 90 0 0 25 0 1 0 120530607 10981376 2054 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2681 2054 313 324 0 1750 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 10724

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1792472/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=11224 CPUtime=402.17
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2290 0 0 0 40112 105 0 0 25 0 1 0 120530607 11493376 2181 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2806 2181 313 324 0 1875 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 11224

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1792408/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=11224 CPUtime=462.15
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2293 0 0 0 46096 119 0 0 25 0 1 0 120530607 11493376 2184 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2806 2184 313 324 0 1875 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 11224

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1791832/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=11732 CPUtime=522.13
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2425 0 0 0 52083 130 0 0 25 0 1 0 120530607 12013568 2316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2933 2316 313 324 0 2002 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 11732

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1791960/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=11732 CPUtime=582.11
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2427 0 0 0 58067 144 0 0 25 0 1 0 120530607 12013568 2318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2933 2318 313 324 0 2002 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 11732

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17564
/proc/meminfo: memFree=1791896/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=11732 CPUtime=642.1
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2429 0 0 0 64054 156 0 0 25 0 1 0 120530607 12013568 2320 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 2933 2320 313 324 0 2002 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 11732


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

/proc/meminfo: memFree=1791128/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12356 CPUtime=1121.96
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 111929 267 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3089 2478 313 324 0 2158 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 12356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17566
/proc/meminfo: memFree=1791128/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12356 CPUtime=1181.94
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 117914 280 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3089 2478 313 324 0 2158 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 12356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17566
/proc/meminfo: memFree=1791128/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12356 CPUtime=1241.92
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 123900 292 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3089 2478 313 324 0 2158 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 12356

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17566
/proc/meminfo: memFree=1791128/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12356 CPUtime=1301.9
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 129888 302 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3089 2478 313 324 0 2158 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 12356

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/71 17740
/proc/meminfo: memFree=1789720/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12356 CPUtime=1361.8
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 135866 314 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3089 2478 313 324 0 2158 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 12356

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790744/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12356 CPUtime=1421.78
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2587 0 0 0 141852 326 0 0 25 0 1 0 120530607 12652544 2478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3089 2478 313 324 0 2158 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 12356

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790744/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12484 CPUtime=1481.75
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2600 0 0 0 147838 337 0 0 25 0 1 0 120530607 12783616 2491 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3121 2491 313 324 0 2190 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 12484

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790936/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12484 CPUtime=1541.74
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 153824 350 0 0 25 0 1 0 120530607 12783616 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3121 2501 313 324 0 2190 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 12484

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790936/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12484 CPUtime=1601.72
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 159811 361 0 0 25 0 1 0 120530607 12783616 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3121 2501 313 324 0 2190 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 12484

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12484 CPUtime=1661.7
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 165794 376 0 0 25 0 1 0 120530607 12783616 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3121 2501 313 324 0 2190 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 12484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12484 CPUtime=1721.69
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 171781 388 0 0 25 0 1 0 120530607 12783616 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3121 2501 313 324 0 2190 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 12484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12468 CPUtime=1781.66
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 177766 400 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3117 2501 313 324 0 2186 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 12468

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

[startup+1791.9 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12468 CPUtime=1791.27
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 178724 403 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3117 2501 313 324 0 2186 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 12468

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12468 CPUtime=1794.47
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179043 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134547950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3117 2501 313 324 0 2186 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 12468

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12468 CPUtime=1797.66
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179362 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3117 2501 313 324 0 2186 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 12468

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12468 CPUtime=1799.26
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179522 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3117 2501 313 324 0 2186 0
Current children cumulated CPU time (s) 1799.26
Current children cumulated vsize (KiB) 12468

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12468 CPUtime=1799.66
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179562 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3117 2501 313 324 0 2186 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 12468

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12468 CPUtime=1799.85
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179581 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3117 2501 313 324 0 2186 0
Current children cumulated CPU time (s) 1799.85
Current children cumulated vsize (KiB) 12468

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 17764
/proc/meminfo: memFree=1790872/2055920 swapFree=4184544/4192956
[pid=17563] ppid=17561 vsize=12468 CPUtime=1799.96
/proc/17563/stat : 17563 (bsolo3.0.16) R 17561 17563 1348 0 -1 4194304 2610 0 0 0 179592 404 0 0 25 0 1 0 120530607 12767232 2501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17563/statm: 3117 2501 313 324 0 2186 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 12468

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.01
CPU user time (s): 1795.95
CPU system time (s): 4.05038
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 12484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.95
system time used= 4.05038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2611
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= 3500

runsolver used 1.46178 second user time and 3.50947 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Tue May  1 11:39:06 UTC 2007

IDJOB= 454020
IDBENCH= 48169
IDSOLVER= 163
FILE ID= node62/454020-1178019546

PBS_JOBID= 4728321

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/mis/normalized-mis_100_10_2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454020-1178019546/instance-454020-1178019546.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-454020-1178019546 -o ROOT/results/node62/solver-454020-1178019546 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454020-1178019546/instance-454020-1178019546.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  597624b9879736416e28e0a242fe0005

RANDOM SEED= 819523488

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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.216
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.216
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:       1800520 kB
Buffers:         27844 kB
Cached:         153732 kB
SwapCached:       2296 kB
Active:          79216 kB
Inactive:       113100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800520 kB
SwapTotal:     4192956 kB
SwapFree:      4184544 kB
Dirty:            6716 kB
Writeback:           0 kB
Mapped:          16932 kB
Slab:            49024 kB
Committed_AS:  1371292 kB
PageTables:       1464 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 node62 on Tue May  1 12:09:07 UTC 2007