Trace number 2655927

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? (TO) 1800.22 1800.94

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.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655927-1276349750.opb.
0.00/0.00	c Instance file HOME/instance-2655927-1276349750.opb
0.00/0.00	c File size is 36556625 bytes.
8.88/8.95	c Highest Coefficient sum: 98256
8.88/8.96	c ============================[ Problem Statistics ]=============================
8.88/8.96	c |                                                                             |
8.88/8.96	c |  Parsing time:          8.60         s                                      |
8.88/8.96	c |  Number Variables:      1041679                                             |
8.88/8.96	c |  Number Clauses:        2941                                                |
8.88/8.96	c |  Number Cardinality:    1643                                                |
8.88/8.96	c |  Number PB Constraints: 155612                                              |
28.48/28.54	c ============================[ Search Statistics ]==============================
28.48/28.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.48/28.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
28.48/28.54	c ===============================================================================
28.48/28.57	c |         0 | 1022511   161159  4810452 |    53398        0    nan |  0.000 % |
31.58/31.66	c ===============================================================================
31.58/31.66	c New solution: 1611
31.58/31.66	o 1611
31.58/31.66	c Elapsed CPU time: 31.1283 s	Remaining CPU time: 148.872 s
31.58/31.66	c ===============================================================================
31.58/31.66	c |         0 | 1022511   161160  4812063 |    53720        0    nan |  0.000 % |
34.58/34.63	c ===============================================================================
34.58/34.63	c New solution: 1610
34.58/34.63	o 1610
34.58/34.63	c Elapsed CPU time: 34.0848 s	Remaining CPU time: 145.915 s
34.58/34.63	c ===============================================================================
34.58/34.63	c |        20 | 1022511   161161  4813674 |    53720       20      6 |  0.000 % |
37.48/37.59	c ===============================================================================
37.48/37.59	c New solution: 1609
37.48/37.59	o 1609
37.48/37.59	c Elapsed CPU time: 37.0314 s	Remaining CPU time: 142.969 s
37.48/37.59	c ===============================================================================
37.48/37.59	c |        44 | 1022511   161162  4815285 |    53720       44     14 |  0.000 % |
40.48/40.56	c ===============================================================================
40.48/40.56	c New solution: 1608
40.48/40.56	o 1608
40.48/40.56	c Elapsed CPU time: 39.9919 s	Remaining CPU time: 140.008 s
40.48/40.56	c ===============================================================================
40.48/40.56	c |       114 | 1022511   161163  4816896 |    53721      114     13 |  0.000 % |
43.37/43.46	c |       214 | 1022511   161163  4816896 |    59093      214     18 |  1.840 % |
46.27/46.34	c |       364 | 1022511   161163  4816896 |    65002      364     54 |  1.840 % |
49.07/49.18	c |       589 | 1022511   161163  4816896 |    71502      589     68 |  1.840 % |
52.07/52.10	c |       927 | 1022511   161163  4816896 |    78652      927     82 |  1.840 % |
54.97/55.01	c |      1434 | 1022511   161163  4816896 |    86518     1434     91 |  1.840 % |
57.87/57.96	c |      2193 | 1022511   161163  4816896 |    95170     2193    102 |  1.840 % |
60.97/61.04	c |      3332 | 1022511   161163  4816896 |   104687     3332     81 |  1.840 % |
65.37/65.40	c |      5041 | 1022511   161163  4816896 |   115155     5041     67 |  1.840 % |
68.36/68.48	c |      7604 | 1022511   161163  4816896 |   126671     7604     55 |  1.840 % |
71.97/72.03	c |     11449 | 1022511   161163  4816896 |   139338    11449     70 |  1.840 % |
75.16/75.22	c ===============================================================================
75.16/75.22	c New solution: 1607
75.16/75.22	o 1607
75.16/75.22	c Elapsed CPU time: 74.4757 s	Remaining CPU time: 105.524 s
75.16/75.22	c ===============================================================================
75.16/75.22	c |     13182 | 1022511   161164  4818507 |    53721    13182     63 |  1.840 % |
77.97/78.03	c |     13283 | 1022511   161164  4818507 |    59093    13283     63 |  1.840 % |
80.76/80.87	c |     13433 | 1022511   161164  4818507 |    65002    13433     63 |  1.840 % |
83.65/83.74	c |     13658 | 1022511   161164  4818507 |    71503    13658     62 |  1.840 % |
89.36/89.43	c |     13996 | 1022511   161164  4818507 |    78653    13996     61 |  1.840 % |
92.15/92.28	c |     14503 | 1022511   161164  4818507 |    86518    14503     59 |  1.840 % |
95.26/95.38	c ===============================================================================
95.26/95.38	c New solution: 1606
95.26/95.38	o 1606
95.26/95.38	c Elapsed CPU time: 94.6086 s	Remaining CPU time: 85.3914 s
95.26/95.38	c ===============================================================================
95.26/95.38	c |     14768 | 1022511   161165  4820118 |    53721    14768     59 |  1.840 % |
98.15/98.27	c |     14869 | 1022511   161165  4820118 |    59093    14869     59 |  1.840 % |
101.06/101.17	c |     15019 | 1022511   161165  4820118 |    65003    15019     59 |  1.840 % |
104.05/104.11	c |     15244 | 1022511   161165  4820118 |    71503    15244     58 |  1.840 % |
106.94/107.01	c |     15582 | 1022511   161165  4820118 |    78653    15582     57 |  1.840 % |
109.85/109.99	c |     16089 | 1022511   161165  4820118 |    86519    16089     59 |  1.840 % |
112.85/112.93	c |     16848 | 1022511   161165  4820118 |    95171    16848     57 |  1.840 % |
115.95/116.06	c |     17988 | 1022511   161165  4820118 |   104688    17988     60 |  1.840 % |
119.05/119.15	c |     19696 | 1022511   161165  4820118 |   115157    19696     58 |  1.840 % |
122.24/122.40	c |     22258 | 1022511   161165  4820118 |   126672    22258     56 |  1.840 % |
125.55/125.62	c |     26110 | 1022511   161165  4820118 |   139340    26110     49 |  1.840 % |
129.85/129.93	c |     31877 | 1022511   161165  4820118 |   153274    31877     43 |  1.840 % |
136.43/136.52	c |     40527 | 1022511   161165  4820118 |   168601    40527     53 |  1.840 % |
144.64/144.80	c |     53501 | 1022511   161165  4820118 |   185461    53501     83 |  1.840 % |
152.53/152.62	c ===============================================================================
152.53/152.62	c New solution: 1605
152.53/152.62	o 1605
152.53/152.62	c Elapsed CPU time: 151.636 s	Remaining CPU time: 28.3641 s
152.53/152.62	c ===============================================================================
152.53/152.62	c |     59513 | 1022511   161166  4821729 |    53722    59513     76 |  1.840 % |
155.43/155.56	c |     59614 | 1022511   161166  4821729 |    59094    59614     76 |  1.840 % |
158.43/158.54	c |     59765 | 1022511   161166  4821729 |    65003    59765     76 |  1.840 % |
161.43/161.50	c |     59990 | 1022511   161166  4821729 |    71503    59990     76 |  1.840 % |
165.32/165.47	c |     60328 | 1022511   161166  4821729 |    78654    60328     76 |  1.840 % |
168.33/168.47	c |     60834 | 1022511   161166  4821729 |    86519    60834     75 |  1.840 % |
171.43/171.54	c |     61593 | 1022511   161166  4821729 |    95171    61593     76 |  1.840 % |
174.53/174.64	c |     62732 | 1022511   161166  4821729 |   104688    62732     76 |  1.840 % |
177.72/177.80	c |     64440 | 1022511   161166  4821729 |   115157    64440     75 |  1.840 % |
180.92/181.03	c |     67002 | 1022511   161166  4821729 |   126673    67002     73 |  1.840 % |
181.02/181.12	c There are 19168 assigned variables. 0 in cost function.
184.22/184.38	c ============================[ Search Statistics ]==============================
184.22/184.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.22/184.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.22/184.38	c ===============================================================================
184.22/184.38	c |         0 | 1020143   176585  4773671 |    58861        0    nan |  0.000 % |
188.42/188.56	c |       100 | 1020143   176585  4773671 |    64747      100     27 |  2.067 % |
190.51/190.62	c |       250 | 1020143   176585  4773671 |    71222      250     28 |  2.067 % |
193.32/193.48	c |       476 | 1020143   176585  4773671 |    78344      476     24 |  2.067 % |
193.42/193.53	c |       814 | 1020143   176585  4773671 |    86179      814     54 |  2.067 % |
193.42/193.60	c |      1321 | 1020143   176585  4773671 |    94797     1321     69 |  2.067 % |
193.61/193.73	c |      2080 | 1020143   176585  4773671 |   104277     2080     78 |  2.067 % |
193.82/193.92	c |      3220 | 1020143   176585  4773671 |   114704     3220     85 |  2.067 % |
194.02/194.19	c |      4929 | 1020143   176585  4773671 |   126175     4929     91 |  2.067 % |
194.52/194.66	c |      7491 | 1020143   176585  4773671 |   138792     7491     97 |  2.067 % |
195.21/195.35	c |     11335 | 1020143   176585  4773671 |   152672    11335    101 |  2.067 % |
196.32/196.48	c |     17102 | 1020143   176585  4773671 |   167939    17102    104 |  2.067 % |
198.02/198.17	c |     25751 | 1020143   176585  4773671 |   184733    25751    108 |  2.067 % |
201.61/201.79	c |     38725 | 1020143   176585  4773671 |   203206    38725    112 |  2.067 % |
206.91/207.01	c |     58187 | 1020143   176585  4773671 |   223527    58187    113 |  2.067 % |
214.51/214.69	c |     87380 | 1020143   176585  4773671 |   245879    87380    111 |  2.067 % |
226.61/226.79	c |    131170 | 1020143   176585  4773671 |   270467   131170    110 |  2.067 % |
246.60/246.79	c |    196855 | 1020143   176585  4773671 |   297514   196855    109 |  2.067 % |
304.77/304.94	c |    295381 | 1020143   176585  4773671 |   327265   295381    106 |  2.067 % |
423.42/423.66	c |    443170 | 1020143   176585  4773671 |   359992   107692     97 |  2.067 % |
490.70/490.93	c |    664854 | 1020143   176585  4773671 |   395991   329376     96 |  2.067 % |
761.30/761.69	c |    997379 | 1020077   176585  4773671 |   435591   257795     98 |  2.074 % |
1227.21/1227.74	c |   1496167 | 1020077   176585  4773671 |   479150   312908     83 |  2.074 % |
1791.08/1791.87	c |   2244349 | 1019899   176585  4773671 |   527065    86806     89 |  2.091 % |

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-2655927-1276349750/watcher-2655927-1276349750 -o /tmp/evaluation-result-2655927-1276349750/solver-2655927-1276349750 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655927-1276349750.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: 1.00 1.01 1.00 3/106 11071
/proc/meminfo: memFree=1702744/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=38768 CPUtime=0
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 397 0 0 0 0 0 0 0 19 0 1 0 8631595 39698432 317 1992294400 134512640 135751879 4293860576 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 9692 322 141 303 0 462 0

[startup+0.0866171 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 11071
/proc/meminfo: memFree=1702744/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=45216 CPUtime=0.07
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 1916 0 0 0 7 0 0 0 19 0 1 0 8631595 46301184 1802 1992294400 134512640 135751879 4293860576 18446744073709551615 135118744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 11304 1802 234 303 0 2074 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 45216

[startup+0.100618 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 11071
/proc/meminfo: memFree=1702744/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=45900 CPUtime=0.09
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 2218 0 0 0 9 0 0 0 19 0 1 0 8631595 47001600 2064 1992294400 134512640 135751879 4293860576 18446744073709551615 135206572 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 11475 2064 252 303 0 2245 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45900

[startup+0.300657 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 11071
/proc/meminfo: memFree=1702744/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=62428 CPUtime=0.29
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 6343 0 0 0 27 2 0 0 20 0 1 0 8631595 63926272 5900 1992294400 134512640 135751879 4293860576 18446744073709551615 134573104 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 15607 5906 494 303 0 6377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62428

[startup+0.70073 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 11071
/proc/meminfo: memFree=1702744/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=92960 CPUtime=0.69
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 14079 0 0 0 63 6 0 0 21 0 1 0 8631595 95191040 12899 1992294400 134512640 135751879 4293860576 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 23240 12900 964 303 0 14010 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92960

[startup+1.50088 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11072
/proc/meminfo: memFree=1636768/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=156404 CPUtime=1.49
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 28642 0 0 0 136 13 0 0 23 0 1 0 8631595 160157696 26251 1992294400 134512640 135751879 4293860576 18446744073709551615 135390376 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 39101 26252 1859 303 0 29871 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156404

[startup+3.10118 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11072
/proc/meminfo: memFree=1567080/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=239448 CPUtime=3.09
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 55631 0 0 0 285 24 0 0 25 0 1 0 8631595 245194752 51845 1992294400 134512640 135751879 4293860576 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 59862 51845 3709 303 0 50632 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 239448

[startup+6.30078 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11072
/proc/meminfo: memFree=1461308/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=302428 CPUtime=6.29
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 74513 0 0 0 599 30 0 0 25 0 1 0 8631595 309686272 70727 1992294400 134512640 135751879 4293860576 18446744073709551615 134559730 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 75607 70727 6826 303 0 66377 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 302428

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11072
/proc/meminfo: memFree=1250012/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=473220 CPUtime=12.68
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 126312 0 0 0 1219 49 0 0 25 0 1 0 8631595 484577280 113472 1992294400 134512640 135751879 4293860576 18446744073709551615 134580021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 118305 113472 146 303 0 118000 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 473220

[startup+25.5014 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 11072
/proc/meminfo: memFree=1246788/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=476124 CPUtime=25.48
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 127045 0 0 0 2498 50 0 0 25 0 1 0 8631595 487550976 114205 1992294400 134512640 135751879 4293860576 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 119031 114205 146 303 0 118726 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 476124

[startup+51.1011 s]
/proc/loadavg: 1.04 1.02 1.00 2/107 11074
/proc/meminfo: memFree=1321436/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=392820 CPUtime=51.07
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 127098 0 0 0 5048 59 0 0 25 0 1 0 8631595 402247680 95432 1992294400 134512640 135751879 4293860576 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 98205 95432 147 303 0 97900 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 392820

[startup+102.309 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 11074
/proc/meminfo: memFree=1321436/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=392820 CPUtime=102.26
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 127100 0 0 0 10151 75 0 0 25 0 1 0 8631595 402247680 95434 1992294400 134512640 135751879 4293860576 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 98205 95434 147 303 0 97900 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 392820

[startup+162.301 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 11079
/proc/meminfo: memFree=1321064/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=392820 CPUtime=162.23
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 127100 0 0 0 16128 95 0 0 25 0 1 0 8631595 402247680 95434 1992294400 134512640 135751879 4293860576 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 98205 95434 147 303 0 97900 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 392820

[startup+222.301 s]
/proc/loadavg: 1.08 1.05 1.01 2/107 11081
/proc/meminfo: memFree=1203636/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=510368 CPUtime=222.21
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 182126 0 0 0 22062 159 0 0 25 0 1 0 8631595 522616832 124861 1992294400 134512640 135751879 4293860576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 127592 124861 150 303 0 127287 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 510368

[startup+282.301 s]
/proc/loadavg: 1.03 1.04 1.00 3/107 11083
/proc/meminfo: memFree=1179828/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=534240 CPUtime=282.18
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 188084 0 0 0 28017 201 0 0 25 0 1 0 8631595 547061760 130819 1992294400 134512640 135751879 4293860576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 133560 130819 150 303 0 133255 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 534240

[startup+342.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 11085
/proc/meminfo: memFree=1155772/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=559060 CPUtime=342.16
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 194061 0 0 0 33990 226 0 0 25 0 1 0 8631595 572477440 136796 1992294400 134512640 135751879 4293860576 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 139765 136796 150 303 0 139460 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 559060

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11085
/proc/meminfo: memFree=1142752/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=573720 CPUtime=402.14
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 197745 0 0 0 39974 240 0 0 25 0 1 0 8631595 587489280 140480 1992294400 134512640 135751879 4293860576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 143430 140480 150 303 0 143125 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 573720

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11087
/proc/meminfo: memFree=1056200/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=659272 CPUtime=462.11
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 219013 0 0 0 45908 303 0 0 25 0 1 0 8631595 675094528 161748 1992294400 134512640 135751879 4293860576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 164818 161748 150 303 0 164513 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 659272

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11089
/proc/meminfo: memFree=983164/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=731576 CPUtime=522.09
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 237089 0 0 0 51849 360 0 0 25 0 1 0 8631595 749133824 179824 1992294400 134512640 135751879 4293860576 18446744073709551615 134603081 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 182894 179824 150 303 0 182589 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 731576

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11091
/proc/meminfo: memFree=983164/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=731576 CPUtime=582.06
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 237089 0 0 0 57846 360 0 0 25 0 1 0 8631595 749133824 179824 1992294400 134512640 135751879 4293860576 18446744073709551615 134603009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 182894 179824 150 303 0 182589 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 731576

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11093
/proc/meminfo: memFree=960100/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=754644 CPUtime=642.05
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 242838 0 0 0 63829 376 0 0 25 0 1 0 8631595 772755456 185573 1992294400 134512640 135751879 4293860576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 188661 185573 150 303 0 188356 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 754644

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11099
/proc/meminfo: memFree=817996/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=898288 CPUtime=881.94
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 278410 0 0 0 87697 497 0 0 25 0 1 0 8631595 919846912 221145 1992294400 134512640 135751879 4293860576 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 224572 221145 150 303 0 224267 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 898288

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11101
/proc/meminfo: memFree=802000/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=913896 CPUtime=941.92
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 282359 0 0 0 93677 515 0 0 25 0 1 0 8631595 935829504 225094 1992294400 134512640 135751879 4293860576 18446744073709551615 134602933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 228474 225094 150 303 0 228169 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 913896

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11101
/proc/meminfo: memFree=802000/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=913896 CPUtime=1001.9
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 282359 0 0 0 99675 515 0 0 25 0 1 0 8631595 935829504 225094 1992294400 134512640 135751879 4293860576 18446744073709551615 134602700 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 228474 225094 150 303 0 228169 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 913896

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11103
/proc/meminfo: memFree=755500/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=960636 CPUtime=1061.87
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 294025 0 0 0 105636 551 0 0 25 0 1 0 8631595 983691264 236760 1992294400 134512640 135751879 4293860576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 240159 236760 150 303 0 239854 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 960636

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11105
/proc/meminfo: memFree=732064/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=983988 CPUtime=1121.85
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 299856 0 0 0 111612 573 0 0 25 0 1 0 8631595 1007603712 242591 1992294400 134512640 135751879 4293860576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 245997 242591 150 303 0 245692 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 983988

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11107
/proc/meminfo: memFree=704784/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1011204 CPUtime=1181.83
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 306661 0 0 0 117585 598 0 0 25 0 1 0 8631595 1035472896 249396 1992294400 134512640 135751879 4293860576 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 252801 249396 150 303 0 252496 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1011204

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11109
/proc/meminfo: memFree=671180/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1044904 CPUtime=1241.8
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 315015 0 0 0 123553 627 0 0 25 0 1 0 8631595 1069981696 257750 1992294400 134512640 135751879 4293860576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 261226 257750 150 303 0 260921 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1044904

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11109
/proc/meminfo: memFree=630632/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1085080 CPUtime=1301.79
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 325023 0 0 0 129514 665 0 0 25 0 1 0 8631595 1111121920 267758 1992294400 134512640 135751879 4293860576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 271270 267758 150 303 0 270965 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1085080

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11111
/proc/meminfo: memFree=609180/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1107304 CPUtime=1361.75
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 330381 0 0 0 135491 684 0 0 25 0 1 0 8631595 1133879296 273116 1992294400 134512640 135751879 4293860576 18446744073709551615 134602965 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 276826 273116 150 303 0 276521 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1107304

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11113
/proc/meminfo: memFree=605336/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1111264 CPUtime=1421.74
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 331370 0 0 0 141487 687 0 0 25 0 1 0 8631595 1137934336 274105 1992294400 134512640 135751879 4293860576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 277816 274105 150 303 0 277511 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1111264

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11115
/proc/meminfo: memFree=527960/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1189292 CPUtime=1481.71
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 350848 0 0 0 147422 749 0 0 25 0 1 0 8631595 1217835008 293583 1992294400 134512640 135751879 4293860576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 297323 293583 150 303 0 297018 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 1189292

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11126
/proc/meminfo: memFree=467944/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1249328 CPUtime=1541.67
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 365714 0 0 0 153370 797 0 0 25 0 1 0 8631595 1279311872 308449 1992294400 134512640 135751879 4293860576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 312332 308449 150 303 0 312027 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1249328

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11126
/proc/meminfo: memFree=441160/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1275880 CPUtime=1601.65
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 372310 0 0 0 159345 820 0 0 25 0 1 0 8631595 1306501120 315045 1992294400 134512640 135751879 4293860576 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 318970 315045 150 303 0 318665 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1275880

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11128
/proc/meminfo: memFree=423056/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1294480 CPUtime=1661.63
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 376903 0 0 0 165327 836 0 0 25 0 1 0 8631595 1325547520 319638 1992294400 134512640 135751879 4293860576 18446744073709551615 134606404 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 323620 319638 150 303 0 323315 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1294480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11130
/proc/meminfo: memFree=420204/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1296740 CPUtime=1721.61
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 377502 0 0 0 171323 838 0 0 25 0 1 0 8631595 1327861760 320237 1992294400 134512640 135751879 4293860576 18446744073709551615 134602457 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 324185 320237 150 303 0 323880 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1296740

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11132
/proc/meminfo: memFree=404456/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1312844 CPUtime=1781.58
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 381540 0 0 0 177308 850 0 0 25 0 1 0 8631595 1344352256 324275 1992294400 134512640 135751879 4293860576 18446744073709551615 134606411 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 328211 324275 150 303 0 327906 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 1312844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11132
/proc/meminfo: memFree=376432/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=1340260 CPUtime=1800.08
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4202496 388369 0 0 0 179140 868 0 0 25 0 1 0 8631595 1372426240 331104 1992294400 134512640 135751879 4293860576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11071/statm: 335065 331104 150 303 0 334760 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1340260

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11132
/proc/meminfo: memFree=376432/2059040 swapFree=4165036/4192956
[pid=11071] ppid=11069 vsize=0 CPUtime=1800.18
/proc/11071/stat : 11071 (wbo1.4b) R 11069 11071 10400 0 -1 4203524 388369 0 0 0 179140 878 0 0 25 0 1 0 8631595 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/11071/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.94
CPU time (s): 1800.22
CPU user time (s): 1791.4
CPU system time (s): 8.81566
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 1340260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.4
system time used= 8.81566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388369
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= 6
involuntary context switches= 21405

runsolver used 3.11852 second user time and 8.36873 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-12 15:35:53
IDJOB=2655927
IDBENCH=1845
IDSOLVER=1161
FILE ID=node019/2655927-1276349750
PBS_JOBID= 11173190
Free space on /tmp= 62320 MiB

SOLVER NAME= wbo 1.4b
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-2655927-1276349750/watcher-2655927-1276349750 -o /tmp/evaluation-result-2655927-1276349750/solver-2655927-1276349750 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655927-1276349750.opb

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

MD5SUM BENCH= 1ef5c8e94b66b7ed63dffc6923ecd901
RANDOM SEED=541630531

node019.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.264
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.52
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.264
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	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1703148 kB
Buffers:         84388 kB
Cached:         168356 kB
SwapCached:       1408 kB
Active:         134024 kB
Inactive:       151356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1703148 kB
SwapTotal:     4192956 kB
SwapFree:      4165036 kB
Dirty:           38380 kB
Writeback:           0 kB
AnonPages:       31328 kB
Mapped:          15444 kB
Slab:            48804 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182192 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= 62320 MiB
End job on node019 at 2010-06-12 16:05:56