Trace number 2680570

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
wbo 1.4b (fixed)? (TO) 1800.2 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
MD5SUM1ef5c8e94b66b7ed63dffc6923ecd901
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3
Best CPU time to get the best result obtained on this benchmark1798.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -3
Optimality of the best value was proved NO
Number of variables1041679
Total number of constraints127860
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints127780
Minimum length of a constraint2
Maximum length of a constraint275
Number of terms in the objective function 1611
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 1611
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24576
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 98256
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c wbo 1.4 beta - 20100610
0.00/0.01	c Parsing opb file format. File HOME/instance-2680570-1277451705.opb.
0.00/0.01	c Instance file HOME/instance-2680570-1277451705.opb
0.00/0.01	c File size is 36556625 bytes.
8.48/8.51	c Highest Coefficient sum: 98256
8.48/8.52	c ============================[ Problem Statistics ]=============================
8.48/8.52	c |                                                                             |
8.48/8.52	c |  Parsing time:          8.20         s                                      |
8.48/8.52	c |  Number Variables:      1041679                                             |
8.48/8.52	c |  Number Clauses:        2941                                                |
8.48/8.52	c |  Number Cardinality:    1643                                                |
8.48/8.52	c |  Number PB Constraints: 155612                                              |
27.08/27.10	c ============================[ Search Statistics ]==============================
27.08/27.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.08/27.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
27.08/27.11	c ===============================================================================
27.08/27.14	c |         0 | 1022511   161159  4810452 |    53398        0    nan |  0.000 % |
29.98/30.06	c ===============================================================================
29.98/30.06	c New solution: 0
29.98/30.06	o 0
29.98/30.06	c Elapsed CPU time: 29.5825 s	Remaining CPU time: 150.417 s
29.98/30.06	c ===============================================================================
29.98/30.06	c |         0 | 1022511   161160  4812063 |    53720        0    nan |  0.000 % |
32.77/32.82	c ===============================================================================
32.77/32.82	c New solution: -1
32.77/32.82	o -1
32.77/32.82	c Elapsed CPU time: 32.3301 s	Remaining CPU time: 147.67 s
32.77/32.82	c ===============================================================================
32.77/32.82	c |        20 | 1022511   161161  4813674 |    53720       20      6 |  0.000 % |
35.48/35.59	c ===============================================================================
35.48/35.59	c New solution: -2
35.48/35.59	o -2
35.48/35.59	c Elapsed CPU time: 35.0947 s	Remaining CPU time: 144.905 s
35.48/35.59	c ===============================================================================
35.48/35.59	c |        44 | 1022511   161162  4815285 |    53720       44     14 |  0.000 % |
38.27/38.39	c ===============================================================================
38.27/38.39	c New solution: -3
38.27/38.39	o -3
38.27/38.39	c Elapsed CPU time: 37.8812 s	Remaining CPU time: 142.119 s
38.27/38.39	c ===============================================================================
38.27/38.39	c |       114 | 1022511   161163  4816896 |    53721      114     13 |  0.000 % |
41.08/41.15	c |       214 | 1022511   161163  4816896 |    59093      214     18 |  1.840 % |
43.78/43.88	c |       364 | 1022511   161163  4816896 |    65002      364     54 |  1.840 % |
46.48/46.57	c |       589 | 1022511   161163  4816896 |    71502      589     68 |  1.840 % |
49.27/49.33	c |       927 | 1022511   161163  4816896 |    78652      927     82 |  1.840 % |
51.98/52.05	c |      1434 | 1022511   161163  4816896 |    86518     1434     91 |  1.840 % |
54.77/54.85	c |      2193 | 1022511   161163  4816896 |    95170     2193    102 |  1.840 % |
57.67/57.77	c |      3332 | 1022511   161163  4816896 |   104687     3332     81 |  1.840 % |
61.77/61.87	c |      5041 | 1022511   161163  4816896 |   115155     5041     67 |  1.840 % |
64.67/64.75	c |      7604 | 1022511   161163  4816896 |   126671     7604     55 |  1.840 % |
67.97/68.08	c |     11449 | 1022511   161163  4816896 |   139338    11449     70 |  1.840 % |
70.96/71.10	c ===============================================================================
70.96/71.10	c New solution: -4
70.96/71.10	o -4
70.96/71.10	c Elapsed CPU time: 70.4073 s	Remaining CPU time: 109.593 s
70.96/71.10	c ===============================================================================
70.96/71.10	c |     13182 | 1022511   161164  4818507 |    53721    13182     63 |  1.840 % |
73.67/73.73	c |     13283 | 1022511   161164  4818507 |    59093    13283     63 |  1.840 % |
76.36/76.41	c |     13433 | 1022511   161164  4818507 |    65002    13433     63 |  1.840 % |
79.07/79.11	c |     13658 | 1022511   161164  4818507 |    71503    13658     62 |  1.840 % |
84.46/84.53	c |     13996 | 1022511   161164  4818507 |    78653    13996     61 |  1.840 % |
87.16/87.21	c |     14503 | 1022511   161164  4818507 |    86518    14503     59 |  1.840 % |
90.07/90.14	c ===============================================================================
90.07/90.14	c New solution: -5
90.07/90.14	o -5
90.07/90.14	c Elapsed CPU time: 89.4254 s	Remaining CPU time: 90.5746 s
90.07/90.14	c ===============================================================================
90.07/90.14	c |     14768 | 1022511   161165  4820118 |    53721    14768     59 |  1.840 % |
92.76/92.88	c |     14869 | 1022511   161165  4820118 |    59093    14869     59 |  1.840 % |
95.57/95.61	c |     15019 | 1022511   161165  4820118 |    65003    15019     59 |  1.840 % |
98.26/98.39	c |     15244 | 1022511   161165  4820118 |    71503    15244     58 |  1.840 % |
101.06/101.12	c |     15582 | 1022511   161165  4820118 |    78653    15582     57 |  1.840 % |
103.86/103.93	c |     16089 | 1022511   161165  4820118 |    86519    16089     59 |  1.840 % |
106.57/106.70	c |     16848 | 1022511   161165  4820118 |    95171    16848     57 |  1.840 % |
109.56/109.63	c |     17988 | 1022511   161165  4820118 |   104688    17988     60 |  1.840 % |
112.45/112.55	c |     19696 | 1022511   161165  4820118 |   115157    19696     58 |  1.840 % |
115.65/115.74	c |     22258 | 1022511   161165  4820118 |   126672    22258     56 |  1.840 % |
118.66/118.78	c |     26110 | 1022511   161165  4820118 |   139340    26110     49 |  1.840 % |
122.95/123.02	c |     31877 | 1022511   161165  4820118 |   153274    31877     43 |  1.840 % |
129.15/129.24	c |     40527 | 1022511   161165  4820118 |   168601    40527     53 |  1.840 % |
136.85/136.99	c |     53501 | 1022511   161165  4820118 |   185461    53501     83 |  1.840 % |
144.25/144.31	c ===============================================================================
144.25/144.31	c New solution: -6
144.25/144.31	o -6
144.25/144.31	c Elapsed CPU time: 143.407 s	Remaining CPU time: 36.5928 s
144.25/144.31	c ===============================================================================
144.25/144.31	c |     59513 | 1022511   161166  4821729 |    53722    59513     76 |  1.840 % |
147.05/147.13	c |     59614 | 1022511   161166  4821729 |    59094    59614     76 |  1.840 % |
149.84/149.93	c |     59765 | 1022511   161166  4821729 |    65003    59765     76 |  1.840 % |
152.65/152.70	c |     59990 | 1022511   161166  4821729 |    71503    59990     76 |  1.840 % |
156.45/156.51	c |     60328 | 1022511   161166  4821729 |    78654    60328     76 |  1.840 % |
159.24/159.32	c |     60834 | 1022511   161166  4821729 |    86519    60834     75 |  1.840 % |
162.04/162.19	c |     61593 | 1022511   161166  4821729 |    95171    61593     76 |  1.840 % |
165.04/165.13	c |     62732 | 1022511   161166  4821729 |   104688    62732     76 |  1.840 % |
168.04/168.12	c |     64440 | 1022511   161166  4821729 |   115157    64440     75 |  1.840 % |
171.14/171.28	c |     67002 | 1022511   161166  4821729 |   126673    67002     73 |  1.840 % |
174.64/174.75	c |     70847 | 1022511   161166  4821729 |   139341    70847     75 |  1.840 % |
178.04/178.14	c |     76614 | 1022511   161166  4821729 |   153275    76614     72 |  1.840 % |
181.23/181.34	c There are 19168 assigned variables. 0 in cost function.
184.34/184.47	c ============================[ Search Statistics ]==============================
184.34/184.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.34/184.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.34/184.47	c ===============================================================================
184.34/184.47	c |         0 | 1020143   176601  4773717 |    58867        0    nan |  0.000 % |
188.33/188.41	c |       100 | 1020143   176601  4773717 |    64753      100     27 |  2.067 % |
190.24/190.35	c |       250 | 1020143   176601  4773717 |    71229      250     28 |  2.067 % |
192.94/193.06	c |       476 | 1020143   176601  4773717 |    78351      476     24 |  2.067 % |
193.04/193.11	c |       814 | 1020143   176601  4773717 |    86187      814     54 |  2.067 % |
193.04/193.18	c |      1321 | 1020143   176601  4773717 |    94805     1321     69 |  2.067 % |
193.13/193.29	c |      2080 | 1020143   176601  4773717 |   104286     2080     78 |  2.067 % |
193.33/193.47	c |      3220 | 1020143   176601  4773717 |   114715     3220     85 |  2.067 % |
193.64/193.72	c |      4929 | 1020143   176601  4773717 |   126186     4929     91 |  2.067 % |
194.03/194.16	c |      7491 | 1020143   176601  4773717 |   138805     7491     97 |  2.067 % |
194.74/194.80	c |     11335 | 1020143   176601  4773717 |   152685    11335    101 |  2.067 % |
195.74/195.85	c |     17102 | 1020143   176601  4773717 |   167954    17102    104 |  2.067 % |
197.33/197.44	c |     25751 | 1020143   176601  4773717 |   184749    25751    108 |  2.067 % |
200.74/200.83	c |     38725 | 1020143   176601  4773717 |   203224    38725    112 |  2.067 % |
205.63/205.75	c |     58187 | 1020143   176601  4773717 |   223547    58187    113 |  2.067 % |
212.83/212.97	c |     87380 | 1020143   176601  4773717 |   245902    87380    111 |  2.067 % |
224.23/224.36	c |    131170 | 1020143   176601  4773717 |   270492   131170    110 |  2.067 % |
243.12/243.20	c |    196855 | 1020143   176601  4773717 |   297541   196855    109 |  2.067 % |
298.50/298.61	c |    295381 | 1020143   176601  4773717 |   327295   295381    106 |  2.067 % |
398.97/399.14	c |    443170 | 1020143   176601  4773717 |   360025   107672     97 |  2.067 % |
462.25/462.47	c |    664854 | 1020143   176601  4773717 |   396027   329356     96 |  2.067 % |
692.29/692.55	c |    997379 | 1020077   176601  4773717 |   435630   257746    101 |  2.074 % |
1458.36/1458.88	c |   1496169 | 1020077   176601  4773717 |   479193   312879     89 |  2.074 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680570-1277451705/watcher-2680570-1277451705 -o /tmp/evaluation-result-2680570-1277451705/solver-2680570-1277451705 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680570-1277451705.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 3/105 27365
/proc/meminfo: memFree=1141328/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=39192 CPUtime=0
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 521 0 0 0 0 0 0 0 20 0 1 0 86464305 40132608 440 1992294400 134512640 135752675 4287310464 18446744073709551615 134609916 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 9798 440 144 303 0 568 0

[startup+0.0618331 s]
/proc/loadavg: 0.08 0.02 0.01 3/105 27365
/proc/meminfo: memFree=1141328/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=43088 CPUtime=0.05
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 1454 0 0 0 5 0 0 0 20 0 1 0 86464305 44122112 1373 1992294400 134512640 135752675 4287310464 18446744073709551615 135204596 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 10772 1373 202 303 0 1542 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 43088

[startup+0.100837 s]
/proc/loadavg: 0.08 0.02 0.01 3/105 27365
/proc/meminfo: memFree=1141328/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=46868 CPUtime=0.09
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 2370 0 0 0 9 0 0 0 20 0 1 0 86464305 47992832 2216 1992294400 134512640 135752675 4287310464 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 11717 2216 253 303 0 2487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46868

[startup+0.300857 s]
/proc/loadavg: 0.08 0.02 0.01 3/105 27365
/proc/meminfo: memFree=1141328/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=62824 CPUtime=0.29
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 6623 0 0 0 27 2 0 0 21 0 1 0 86464305 64331776 6179 1992294400 134512640 135752675 4287310464 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 15706 6181 509 303 0 6476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62824

[startup+0.700896 s]
/proc/loadavg: 0.08 0.02 0.01 3/105 27365
/proc/meminfo: memFree=1141328/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=94148 CPUtime=0.68
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 14765 0 0 0 63 5 0 0 22 0 1 0 86464305 96407552 13585 1992294400 134512640 135752675 4287310464 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 23537 13585 1006 303 0 14307 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 94148

[startup+1.50097 s]
/proc/loadavg: 0.08 0.02 0.01 2/106 27366
/proc/meminfo: memFree=1068284/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=158648 CPUtime=1.48
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 30030 0 0 0 137 11 0 0 25 0 1 0 86464305 162455552 27639 1992294400 134512640 135752675 4287310464 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 39662 27639 1950 303 0 30432 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 158648

[startup+3.10113 s]
/proc/loadavg: 0.08 0.02 0.01 2/106 27366
/proc/meminfo: memFree=995496/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=243540 CPUtime=3.08
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 56841 0 0 0 286 22 0 0 25 0 1 0 86464305 249384960 53055 1992294400 134512640 135752675 4287310464 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 60885 53056 3895 303 0 51655 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 243540

[startup+6.30144 s]
/proc/loadavg: 0.23 0.05 0.02 2/106 27366
/proc/meminfo: memFree=891708/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=307180 CPUtime=6.28
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 75948 0 0 0 601 27 0 0 25 0 1 0 86464305 314552320 72162 1992294400 134512640 135752675 4287310464 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 76795 72163 7093 303 0 67565 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 307180

[startup+12.7011 s]
/proc/loadavg: 0.37 0.08 0.03 2/106 27366
/proc/meminfo: memFree=685372/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=473352 CPUtime=12.68
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 126342 0 0 0 1224 44 0 0 25 0 1 0 86464305 484712448 113502 1992294400 134512640 135752675 4287310464 18446744073709551615 134580184 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 118338 113502 142 303 0 118033 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 473352

[startup+25.5003 s]
/proc/loadavg: 0.80 0.19 0.06 2/106 27366
/proc/meminfo: memFree=683760/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=476124 CPUtime=25.48
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 127050 0 0 0 2503 45 0 0 25 0 1 0 86464305 487550976 114210 1992294400 134512640 135752675 4287310464 18446744073709551615 134580062 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 119031 114210 142 303 0 118726 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 476124

[startup+51.1008 s]
/proc/loadavg: 0.86 0.25 0.09 2/106 27368
/proc/meminfo: memFree=758780/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=392820 CPUtime=51.07
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 127096 0 0 0 5050 57 0 0 25 0 1 0 86464305 402247680 95430 1992294400 134512640 135752675 4287310464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 98205 95430 145 303 0 97900 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 392820

[startup+102.308 s]
/proc/loadavg: 0.94 0.37 0.13 2/106 27368
/proc/meminfo: memFree=758780/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=392820 CPUtime=102.26
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 127098 0 0 0 10156 70 0 0 25 0 1 0 86464305 402247680 95432 1992294400 134512640 135752675 4287310464 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 98205 95432 145 303 0 97900 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 392820

[startup+162.301 s]
/proc/loadavg: 0.98 0.48 0.18 2/106 27370
/proc/meminfo: memFree=758780/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=392820 CPUtime=162.25
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 127098 0 0 0 16133 92 0 0 25 0 1 0 86464305 402247680 95432 1992294400 134512640 135752675 4287310464 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 98205 95432 145 303 0 97900 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 392820

[startup+222.3 s]
/proc/loadavg: 0.99 0.57 0.23 2/106 27372
/proc/meminfo: memFree=636888/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=514832 CPUtime=222.23
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 183230 0 0 0 22064 159 0 0 25 0 1 0 86464305 527187968 125965 1992294400 134512640 135752675 4287310464 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 128708 125965 146 303 0 128403 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 514832

[startup+282.301 s]
/proc/loadavg: 0.99 0.65 0.28 2/106 27374
/proc/meminfo: memFree=616304/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=536044 CPUtime=282.21
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 188513 0 0 0 28018 203 0 0 25 0 1 0 86464305 548909056 131248 1992294400 134512640 135752675 4287310464 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 134011 131248 146 303 0 133706 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 536044

[startup+342.301 s]
/proc/loadavg: 0.99 0.71 0.32 2/106 27374
/proc/meminfo: memFree=591628/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=561200 CPUtime=342.18
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 194619 0 0 0 33992 226 0 0 25 0 1 0 86464305 574668800 137354 1992294400 134512640 135752675 4287310464 18446744073709551615 134612135 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 140300 137354 146 303 0 139995 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 561200

[startup+402.301 s]
/proc/loadavg: 0.99 0.76 0.36 2/106 27376
/proc/meminfo: memFree=545376/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=608976 CPUtime=402.17
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 206483 0 0 0 39956 261 0 0 25 0 1 0 86464305 623591424 149218 1992294400 134512640 135752675 4287310464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 152244 149218 146 303 0 151939 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 608976

[startup+462.301 s]
/proc/loadavg: 0.99 0.80 0.39 2/106 27378
/proc/meminfo: memFree=459444/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=694232 CPUtime=462.15
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 227701 0 0 0 45896 319 0 0 25 0 1 0 86464305 710893568 170436 1992294400 134512640 135752675 4287310464 18446744073709551615 134637949 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 173558 170436 146 303 0 173253 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 694232

[startup+522.3 s]
/proc/loadavg: 0.99 0.83 0.43 2/106 27380
/proc/meminfo: memFree=420880/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=731980 CPUtime=522.14
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 237180 0 0 0 51867 347 0 0 25 0 1 0 86464305 749547520 179915 1992294400 134512640 135752675 4287310464 18446744073709551615 134603250 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 182995 179915 146 303 0 182690 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 731980

[startup+582.301 s]
/proc/loadavg: 1.11 0.89 0.47 2/106 27382
/proc/meminfo: memFree=365576/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=787616 CPUtime=582.12
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 251056 0 0 0 57827 385 0 0 25 0 1 0 86464305 806518784 193791 1992294400 134512640 135752675 4287310464 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 196904 193791 146 303 0 196599 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 787616

[startup+642.301 s]
/proc/loadavg: 1.11 0.92 0.51 2/106 27382
/proc/meminfo: memFree=343876/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=809000 CPUtime=642.11
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 256367 0 0 0 63805 406 0 0 25 0 1 0 86464305 828416000 199102 1992294400 134512640 135752675 4287310464 18446744073709551615 134612133 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 202250 199102 146 303 0 201945 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 809000

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.06 1.00 0.63 2/106 27390
/proc/meminfo: memFree=254844/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=898452 CPUtime=882.04
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 278568 0 0 0 87725 479 0 0 25 0 1 0 86464305 920014848 221303 1992294400 134512640 135752675 4287310464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 224613 221303 146 303 0 224308 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 898452

[startup+942.301 s]
/proc/loadavg: 1.02 1.00 0.65 2/106 27390
/proc/meminfo: memFree=247280/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=906020 CPUtime=942.02
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 280469 0 0 0 93710 492 0 0 25 0 1 0 86464305 927764480 223204 1992294400 134512640 135752675 4287310464 18446744073709551615 134637939 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 226505 223204 146 303 0 226200 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 906020

[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 0.67 2/106 27392
/proc/meminfo: memFree=241452/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=911688 CPUtime=1002.01
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 281898 0 0 0 99701 500 0 0 25 0 1 0 86464305 933568512 224633 1992294400 134512640 135752675 4287310464 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 227922 224633 146 303 0 227617 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 911688

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.68 2/106 27394
/proc/meminfo: memFree=235624/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=917572 CPUtime=1061.99
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 283360 0 0 0 105690 509 0 0 25 0 1 0 86464305 939593728 226095 1992294400 134512640 135752675 4287310464 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 229393 226095 146 303 0 229088 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 917572

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.70 2/106 27396
/proc/meminfo: memFree=198052/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=955948 CPUtime=1121.98
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 292927 0 0 0 111665 533 0 0 25 0 1 0 86464305 978890752 235662 1992294400 134512640 135752675 4287310464 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 238987 235662 146 303 0 238682 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 955948

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.72 2/106 27407
/proc/meminfo: memFree=163828/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=989336 CPUtime=1181.94
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 301261 0 0 0 117634 560 0 0 25 0 1 0 86464305 1013080064 243996 1992294400 134512640 135752675 4287310464 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 247334 243996 146 303 0 247029 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 989336

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.73 2/106 27407
/proc/meminfo: memFree=152792/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1000528 CPUtime=1241.92
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 304007 0 0 0 123619 573 0 0 25 0 1 0 86464305 1024540672 246742 1992294400 134512640 135752675 4287310464 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 250132 246742 146 303 0 249827 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1000528

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.75 2/106 27409
/proc/meminfo: memFree=140020/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1013340 CPUtime=1301.91
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 307190 0 0 0 129605 586 0 0 25 0 1 0 86464305 1037660160 249925 1992294400 134512640 135752675 4287310464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 253335 249925 146 303 0 253030 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1013340

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.76 2/106 27411
/proc/meminfo: memFree=129108/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1024324 CPUtime=1361.89
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 309930 0 0 0 135592 597 0 0 25 0 1 0 86464305 1048907776 252665 1992294400 134512640 135752675 4287310464 18446744073709551615 134611782 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 256081 252665 146 303 0 255776 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1024324

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.77 2/106 27413
/proc/meminfo: memFree=114228/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1039012 CPUtime=1421.88
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 313613 0 0 0 141575 613 0 0 25 0 1 0 86464305 1063948288 256348 1992294400 134512640 135752675 4287310464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 259753 256348 146 303 0 259448 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1039012

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.78 2/106 27415
/proc/meminfo: memFree=96992/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1056584 CPUtime=1481.86
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 317957 0 0 0 147557 629 0 0 25 0 1 0 86464305 1081942016 260692 1992294400 134512640 135752675 4287310464 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 264146 260692 146 303 0 263841 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1056584

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.79 2/106 27415
/proc/meminfo: memFree=53096/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1100304 CPUtime=1541.84
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 328873 0 0 0 153524 660 0 0 25 0 1 0 86464305 1126711296 271608 1992294400 134512640 135752675 4287310464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 275076 271608 146 303 0 274771 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1100304

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.80 2/106 27417
/proc/meminfo: memFree=38464/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1115264 CPUtime=1601.82
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 332557 0 0 0 159506 676 0 0 25 0 1 0 86464305 1142030336 275292 1992294400 134512640 135752675 4287310464 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 278816 275292 146 303 0 278511 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1115264

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/106 27419
/proc/meminfo: memFree=24452/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1129928 CPUtime=1661.81
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 336000 0 0 0 165491 690 0 0 25 0 1 0 86464305 1157046272 278735 1992294400 134512640 135752675 4287310464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 282482 278735 146 303 0 282177 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1129928

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.82 2/106 27421
/proc/meminfo: memFree=14284/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1139828 CPUtime=1721.79
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 338501 0 0 0 171479 700 0 0 25 0 1 0 86464305 1167183872 281236 1992294400 134512640 135752675 4287310464 18446744073709551615 134604131 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 284957 281236 146 303 0 284652 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1139828

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.83 2/106 27423
/proc/meminfo: memFree=10524/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1160536 CPUtime=1781.77
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 343671 0 0 0 177466 711 0 0 25 0 1 0 86464305 1188388864 286406 1992294400 134512640 135752675 4287310464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 290134 286406 146 303 0 289829 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1160536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.83 2/106 27423
/proc/meminfo: memFree=10356/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=1191056 CPUtime=1800.08
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4202496 351265 0 0 0 179282 726 0 0 25 0 1 0 86464305 1219641344 294000 1992294400 134512640 135752675 4287310464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27365/statm: 297764 294000 146 303 0 297459 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1191056

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 0.83 2/106 27423
/proc/meminfo: memFree=10356/2059040 swapFree=4140364/4192956
[pid=27365] ppid=27363 vsize=0 CPUtime=1800.18
/proc/27365/stat : 27365 (wbo1.4b) R 27363 27365 27340 0 -1 4203524 351265 0 0 0 179282 736 0 0 25 0 1 0 86464305 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27365/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.2
CPU user time (s): 1792.82
CPU system time (s): 7.37688
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1191056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.82
system time used= 7.37688
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351265
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= 5
involuntary context switches= 2129

runsolver used 3.11852 second user time and 8.37673 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-25 09:41:48
IDJOB=2680570
IDBENCH=1845
IDSOLVER=1190
FILE ID=node089/2680570-1277451705
PBS_JOBID= 11188101
Free space on /tmp= 62520 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680570-1277451705/watcher-2680570-1277451705 -o /tmp/evaluation-result-2680570-1277451705/solver-2680570-1277451705 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680570-1277451705.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1ef5c8e94b66b7ed63dffc6923ecd901
RANDOM SEED=1143222047

node089.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1141856 kB
Buffers:        222592 kB
Cached:         584568 kB
SwapCached:       5488 kB
Active:         408904 kB
Inactive:       410520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1141856 kB
SwapTotal:     4192956 kB
SwapFree:      4140364 kB
Dirty:           38540 kB
Writeback:           0 kB
AnonPages:       10932 kB
Mapped:          11824 kB
Slab:            76116 kB
PageTables:       4120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62516 MiB
End job on node089 at 2010-06-25 10:11:51