Trace number 2702354

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.12 1800.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_1.opb
MD5SUM93a95f0846e71f0984a2317cf811edef
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1800.55
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint26
Maximum length of a constraint49
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15716
Sum of products size (including duplicates)31432
Number of different products15716
Sum of products size31432

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-2702354-1278564586.opb.
0.00/0.00	c Instance file HOME/instance-2702354-1278564586.opb
0.00/0.00	c File size is 1206965 bytes.
0.09/0.19	c Highest Coefficient sum: 50
0.09/0.19	c ============================[ Problem Statistics ]=============================
0.09/0.19	c |                                                                             |
0.09/0.19	c |  Parsing time:          0.19         s                                      |
0.09/0.19	c |  Number Variables:      16216                                               |
0.09/0.19	c |  Number Clauses:        16216                                               |
0.09/0.19	c |  Number Cardinality:    0                                                   |
0.09/0.19	c |  Number PB Constraints: 15716                                               |
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |   16216    31932   110512 |    10644        0    nan |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 308
0.19/0.24	o 308
0.19/0.24	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 179.767 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |         0 |   16216    31933   111012 |    10644        0    nan |  0.000 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c New solution: 307
0.19/0.26	o 307
0.19/0.26	c Elapsed CPU time: 0.250961 s	Remaining CPU time: 179.749 s
0.19/0.26	c ===============================================================================
0.19/0.26	c |         0 |   16216    31934   111512 |    10644        0    nan |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c New solution: 306
0.19/0.27	o 306
0.19/0.27	c Elapsed CPU time: 0.266959 s	Remaining CPU time: 179.733 s
0.19/0.27	c ===============================================================================
0.19/0.27	c |         0 |   16216    31935   112012 |    10645        0    nan |  0.000 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c New solution: 305
0.19/0.29	o 305
0.19/0.29	c Elapsed CPU time: 0.282956 s	Remaining CPU time: 179.717 s
0.19/0.29	c ===============================================================================
0.19/0.29	c |         0 |   16216    31936   112512 |    10645        0    nan |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 304
0.29/0.31	o 304
0.29/0.31	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 179.7 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |         0 |   16216    31937   113012 |    10645        0    nan |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: 113
0.29/0.33	o 113
0.29/0.33	c Elapsed CPU time: 0.321951 s	Remaining CPU time: 179.678 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |         0 |   16216    31938   113512 |    10646        0    nan |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: 112
0.29/0.35	o 112
0.29/0.35	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 179.657 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |   16216    31939   114012 |    10646        0    nan |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: 111
0.29/0.37	o 111
0.29/0.37	c Elapsed CPU time: 0.363944 s	Remaining CPU time: 179.636 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |         1 |   16216    31940   114512 |    10646        1    129 |  0.000 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: 50
0.39/0.40	o 50
0.39/0.40	c Elapsed CPU time: 0.386941 s	Remaining CPU time: 179.613 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |         1 |   16216    31941   115012 |    10647        1    129 |  0.000 % |
0.59/0.64	c |       101 |   16216    31941   115012 |    11711      101     80 |  0.000 % |
0.69/0.73	c |       252 |   16216    31941   115012 |    12882      252    109 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: 49
0.69/0.78	o 49
0.69/0.78	c Elapsed CPU time: 0.767883 s	Remaining CPU time: 179.232 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |       370 |   16216    31942   115512 |    10647      370    130 |  0.000 % |
0.79/0.80	c ===============================================================================
0.79/0.80	c New solution: 45
0.79/0.80	o 45
0.79/0.80	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 179.209 s
0.79/0.80	c ===============================================================================
0.79/0.80	c |       370 |   16216    31943   116012 |    10647      370    130 |  0.000 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: 44
0.79/0.84	o 44
0.79/0.84	c Elapsed CPU time: 0.820875 s	Remaining CPU time: 179.179 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |       394 |   16216    31944   116512 |    10648      394    131 |  0.000 % |
0.79/0.88	c |       495 |   16216    31944   116512 |    11712      495    142 |  0.000 % |
0.89/0.91	c ===============================================================================
0.89/0.91	c New solution: 43
0.89/0.91	o 43
0.89/0.91	c Elapsed CPU time: 0.894863 s	Remaining CPU time: 179.105 s
0.89/0.91	c ===============================================================================
0.89/0.91	c |       507 |   16216    31945   117012 |    10648      507    142 |  0.000 % |
0.89/0.96	c |       607 |   16216    31945   117012 |    11713      607    146 |  0.000 % |
0.99/1.03	c |       757 |   16216    31945   117012 |    12884      757    156 |  0.000 % |
1.09/1.12	c |       982 |   16216    31945   117012 |    14172      982    172 |  0.000 % |
1.19/1.27	c |      1320 |   16216    31945   117012 |    15590     1320    173 |  0.000 % |
1.39/1.49	c |      1826 |   16216    31945   117012 |    17149     1826    167 |  0.000 % |
1.79/1.81	c |      2586 |   16216    31945   117012 |    18864     2586    158 |  0.000 % |
2.20/2.24	c |      3725 |   16216    31945   117012 |    20750     3725    176 |  0.000 % |
2.79/2.88	c |      5433 |   16216    31945   117012 |    22825     5433    179 |  0.000 % |
3.69/3.78	c |      7997 |   16216    31945   117012 |    25108     7997    183 |  0.000 % |
5.40/5.45	c |     11841 |   16216    31945   117012 |    27619    11841    195 |  0.000 % |
8.08/8.13	c |     17607 |   16216    31945   117012 |    30380    17607    194 |  0.000 % |
12.98/13.07	c |     26256 |   16216    31945   117012 |    33419    26256    198 |  0.000 % |
21.79/21.88	c |     39232 |   16216    31945   117012 |    36760    39232    220 |  0.000 % |
33.09/33.15	c |     58695 |   16216    31945   117012 |    40437    31276    223 |  0.000 % |
54.37/54.41	c |     87887 |   16216    31945   117012 |    44480    17331    216 |  0.000 % |
91.87/91.95	c |    131677 |   16216    31945   117012 |    48928    16201    288 |  0.000 % |
164.05/164.13	c |    197361 |   16216    31945   117012 |    53821    32619    257 |  0.000 % |
181.25/181.36	c There are 0 assigned variables. 0 in cost function.
182.05/182.13	c core #1
182.05/182.13	c core #2
182.05/182.13	c core #3
182.05/182.13	c core #4
182.05/182.13	c core #5
182.05/182.13	c ============================[ Search Statistics ]==============================
182.05/182.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.05/182.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.05/182.13	c ===============================================================================
182.05/182.13	c |         0 |    7847    32451    90711 |    10817        0    nan |  0.000 % |
182.15/182.27	c |       109 |    7847    32451    90711 |    11898      109    222 | 52.309 % |
182.45/182.59	c |       263 |    7847    32451    90711 |    13088      263    207 | 52.486 % |
182.55/182.62	c ===============================================================================
182.64/182.75	c core #6
182.64/182.75	c ============================[ Search Statistics ]==============================
182.64/182.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.75	c ===============================================================================
182.64/182.75	c |         0 |   12220    32452   105788 |    10817        0    nan |  0.000 % |
182.84/182.94	c |       106 |   12220    32452   105788 |    11899      106    192 | 27.019 % |
183.34/183.40	c |       257 |   12220    32452   105788 |    13088      257    202 | 27.019 % |
184.05/184.13	c |       482 |   12220    32452   105788 |    14397      482    203 | 27.019 % |
185.25/185.38	c |       819 |   12220    32452   105788 |    15837      819    206 | 27.019 % |
186.85/186.99	c |      1325 |   12220    32452   105788 |    17421     1325    217 | 27.019 % |
189.94/190.06	c |      2087 |   12220    32452   105788 |    19163     2087    189 | 27.019 % |
195.34/195.48	c |      3229 |   12220    32452   105788 |    21079     3229    188 | 27.019 % |
201.64/201.78	c |      4937 |   12220    32452   105788 |    23187     4937    178 | 27.019 % |
211.84/211.94	c |      7499 |   12220    32452   105788 |    25506     7499    208 | 27.019 % |
228.44/228.57	c |     11343 |   12220    32452   105788 |    28057    11343    263 | 27.019 % |
247.34/247.47	c ===============================================================================
247.73/247.85	c core #7
247.73/247.85	c ============================[ Search Statistics ]==============================
247.73/247.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
247.73/247.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
247.73/247.85	c ===============================================================================
247.73/247.85	c |         0 |   17155    32453   119816 |    10817        0    nan |  0.000 % |
247.93/248.01	c |       102 |   17155    32453   119816 |    11899      102    270 |  0.464 % |
248.44/248.55	c |       255 |   17155    32453   119816 |    13089      255    193 |  0.464 % |
249.23/249.37	c |       480 |   17155    32453   119816 |    14398      480    175 |  0.464 % |
250.03/250.16	c |       820 |   17155    32453   119816 |    15838      820    185 |  0.464 % |
252.13/252.22	c |      1327 |   17155    32453   119816 |    17421     1327    178 |  0.464 % |
254.53/254.63	c |      2086 |   17155    32453   119816 |    19164     2086    181 |  0.464 % |
257.93/258.07	c |      3230 |   17155    32453   119816 |    21080     3230    183 |  0.464 % |
263.83/263.95	c |      4939 |   17155    32453   119816 |    23188     4939    168 |  0.464 % |
276.42/276.59	c |      7503 |   17155    32453   119816 |    25507     7503    171 |  0.464 % |
295.83/295.97	c |     11347 |   17155    32453   119816 |    28058    11347    198 |  0.464 % |
325.91/326.03	c |     17117 |   17155    32453   119816 |    30864    17117    246 |  0.464 % |
369.70/369.82	c |     25766 |   17155    32453   119816 |    33950    25766    295 |  0.464 % |
447.78/447.98	c |     38741 |   17155    32453   119816 |    37345    15623    369 |  0.464 % |
565.55/565.70	c |     58212 |   17155    32453   119816 |    41080    35094    377 |  0.464 % |
704.91/705.17	c |     87408 |   17155    32453   119816 |    45188    32424    397 |  0.464 % |
958.95/959.25	c |    131198 |   17155    32453   119816 |    49706    42671    431 |  0.464 % |
1356.65/1357.08	c |    196883 |   17155    32453   119816 |    54677    33272    399 |  0.464 % |

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-2702354-1278564586/watcher-2702354-1278564586 -o /tmp/evaluation-result-2702354-1278564586/solver-2702354-1278564586 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702354-1278564586.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.00 1.00 3/106 30489
/proc/meminfo: memFree=1651292/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=4300 CPUtime=0
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 416 0 0 0 0 0 0 0 20 0 1 0 24671662 4403200 334 1992294400 134512640 135751879 4291083680 18446744073709551615 134613677 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 1075 335 142 303 0 475 0

[startup+0.01509 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30489
/proc/meminfo: memFree=1651292/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=4868 CPUtime=0.01
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 546 0 0 0 1 0 0 0 20 0 1 0 24671662 4984832 464 1992294400 134512640 135751879 4291083680 18446744073709551615 135378113 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 1217 464 150 303 0 617 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4868

[startup+0.101098 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30489
/proc/meminfo: memFree=1651292/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=7548 CPUtime=0.09
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 1302 0 0 0 9 0 0 0 20 0 1 0 24671662 7729152 1220 1992294400 134512640 135751879 4291083680 18446744073709551615 134557458 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 1887 1220 283 303 0 1287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7548

[startup+0.301117 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30489
/proc/meminfo: memFree=1651292/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=8836 CPUtime=0.29
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 2597 0 0 0 28 1 0 0 20 0 1 0 24671662 9048064 1713 1992294400 134512640 135751879 4291083680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 2209 1713 146 303 0 1904 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8836

[startup+0.701153 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30489
/proc/meminfo: memFree=1651292/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=9232 CPUtime=0.69
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 2670 0 0 0 68 1 0 0 21 0 1 0 24671662 9453568 1786 1992294400 134512640 135751879 4291083680 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 2308 1786 147 303 0 2003 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9232

[startup+1.50123 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30490
/proc/meminfo: memFree=1644588/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=10540 CPUtime=1.49
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 3014 0 0 0 147 2 0 0 23 0 1 0 24671662 10792960 2130 1992294400 134512640 135751879 4291083680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 2635 2130 147 303 0 2330 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10540

[startup+3.10037 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30490
/proc/meminfo: memFree=1641984/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=14224 CPUtime=3.09
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 3927 0 0 0 305 4 0 0 25 0 1 0 24671662 14565376 3043 1992294400 134512640 135751879 4291083680 18446744073709551615 134611218 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 3556 3043 147 303 0 3251 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14224

[startup+6.30067 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30490
/proc/meminfo: memFree=1634296/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=21564 CPUtime=6.29
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 5756 0 0 0 623 6 0 0 25 0 1 0 24671662 22081536 4872 1992294400 134512640 135751879 4291083680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 5391 4872 147 303 0 5086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21564

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30490
/proc/meminfo: memFree=1622392/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=32388 CPUtime=12.69
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 8475 0 0 0 1257 12 0 0 25 0 1 0 24671662 33165312 7591 1992294400 134512640 135751879 4291083680 18446744073709551615 134519014 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 8097 7591 147 303 0 7792 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32388

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30490
/proc/meminfo: memFree=1599948/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=54240 CPUtime=25.49
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 13938 0 0 0 2525 24 0 0 25 0 1 0 24671662 55541760 13054 1992294400 134512640 135751879 4291083680 18446744073709551615 134605954 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 13560 13054 148 303 0 13255 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54240

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30491
/proc/meminfo: memFree=1566964/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=87244 CPUtime=51.07
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 22160 0 0 0 5066 41 0 0 25 0 1 0 24671662 89337856 21276 1992294400 134512640 135751879 4291083680 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 21811 21276 148 303 0 21506 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 87244

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30492
/proc/meminfo: memFree=1500128/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=153592 CPUtime=102.28
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 38748 0 0 0 10146 82 0 0 25 0 1 0 24671662 157278208 37864 1992294400 134512640 135751879 4291083680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 38398 37864 148 303 0 38093 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 153592

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30494
/proc/meminfo: memFree=1441352/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=212788 CPUtime=162.25
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 53480 0 0 0 16108 117 0 0 25 0 1 0 24671662 217894912 52596 1992294400 134512640 135751879 4291083680 18446744073709551615 134605954 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 53197 52596 148 303 0 52892 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 212788

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30495
/proc/meminfo: memFree=1420892/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=231636 CPUtime=222.23
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 58917 0 0 0 22083 140 0 0 25 0 1 0 24671662 237195264 57426 1992294400 134512640 135751879 4291083680 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 57909 57426 151 303 0 57604 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 231636

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30497
/proc/meminfo: memFree=1420892/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=231636 CPUtime=282.22
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 58928 0 0 0 28069 153 0 0 25 0 1 0 24671662 237195264 57437 1992294400 134512640 135751879 4291083680 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 57909 57437 151 303 0 57604 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 231636

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30499
/proc/meminfo: memFree=1420768/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=231636 CPUtime=342.21
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 58943 0 0 0 34057 164 0 0 25 0 1 0 24671662 237195264 57452 1992294400 134512640 135751879 4291083680 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 57909 57452 151 303 0 57604 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 231636

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30500
/proc/meminfo: memFree=1420644/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=231636 CPUtime=402.2
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 58957 0 0 0 40048 172 0 0 25 0 1 0 24671662 237195264 57466 1992294400 134512640 135751879 4291083680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 57909 57466 151 303 0 57604 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 231636

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30502
/proc/meminfo: memFree=1406384/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=246380 CPUtime=462.18
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 62662 0 0 0 46035 183 0 0 25 0 1 0 24671662 252293120 61171 1992294400 134512640 135751879 4291083680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 61595 61171 151 303 0 61290 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 246380

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30503
/proc/meminfo: memFree=1392372/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=260464 CPUtime=522.16
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 66171 0 0 0 52022 194 0 0 25 0 1 0 24671662 266715136 64680 1992294400 134512640 135751879 4291083680 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 65116 64680 151 303 0 64811 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 260464

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30505
/proc/meminfo: memFree=1374392/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=278644 CPUtime=582.14
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 70691 0 0 0 58006 208 0 0 25 0 1 0 24671662 285331456 69200 1992294400 134512640 135751879 4291083680 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 69661 69200 151 303 0 69356 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 278644

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30507
/proc/meminfo: memFree=1349964/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=302768 CPUtime=642.14
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 76684 0 0 0 63988 226 0 0 25 0 1 0 24671662 310034432 75193 1992294400 134512640 135751879 4291083680 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 75692 75193 151 303 0 75387 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 302768

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30522
/proc/meminfo: memFree=1266264/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=386000 CPUtime=882.06
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 97469 0 0 0 87925 281 0 0 25 0 1 0 24671662 395264000 95978 1992294400 134512640 135751879 4291083680 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 96500 95978 151 303 0 96195 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 386000

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30524
/proc/meminfo: memFree=1247416/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=404932 CPUtime=942.04
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 102194 0 0 0 93911 293 0 0 25 0 1 0 24671662 414650368 100703 1992294400 134512640 135751879 4291083680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 101233 100703 151 303 0 100928 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 404932

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1219144/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=433096 CPUtime=1002.03
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 109245 0 0 0 99894 309 0 0 25 0 1 0 24671662 443490304 107754 1992294400 134512640 135751879 4291083680 18446744073709551615 134607819 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 108274 107754 151 303 0 107969 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 433096

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30527
/proc/meminfo: memFree=1195336/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=457440 CPUtime=1062.02
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 115290 0 0 0 105878 324 0 0 25 0 1 0 24671662 468418560 113799 1992294400 134512640 135751879 4291083680 18446744073709551615 134611026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 114360 113799 151 303 0 114055 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 457440

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30528
/proc/meminfo: memFree=1175000/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=477392 CPUtime=1122
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 120288 0 0 0 111864 336 0 0 25 0 1 0 24671662 488849408 118797 1992294400 134512640 135751879 4291083680 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 119348 118797 151 303 0 119043 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 477392

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30530
/proc/meminfo: memFree=1159004/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=493452 CPUtime=1181.99
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 124290 0 0 0 117851 348 0 0 25 0 1 0 24671662 505294848 122799 1992294400 134512640 135751879 4291083680 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 123363 122799 151 303 0 123058 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 493452

[startup+1242.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 30532
/proc/meminfo: memFree=1136932/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=515496 CPUtime=1241.97
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 129765 0 0 0 123835 362 0 0 25 0 1 0 24671662 527867904 128274 1992294400 134512640 135751879 4291083680 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 128874 128274 151 303 0 128569 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 515496

[startup+1302.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 30533
/proc/meminfo: memFree=1118580/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=533720 CPUtime=1301.97
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 134320 0 0 0 129823 374 0 0 25 0 1 0 24671662 546529280 132829 1992294400 134512640 135751879 4291083680 18446744073709551615 134611048 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 133430 132829 151 303 0 133125 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 533720

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30535
/proc/meminfo: memFree=1100848/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=551616 CPUtime=1361.94
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 138783 0 0 0 135806 388 0 0 25 0 1 0 24671662 564854784 137292 1992294400 134512640 135751879 4291083680 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 137904 137292 151 303 0 137599 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 551616

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30536
/proc/meminfo: memFree=1082372/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=569968 CPUtime=1421.93
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 143360 0 0 0 141794 399 0 0 25 0 1 0 24671662 583647232 141869 1992294400 134512640 135751879 4291083680 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 142492 141869 151 303 0 142187 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 569968

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30538
/proc/meminfo: memFree=1066252/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=586248 CPUtime=1481.92
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 147427 0 0 0 147781 411 0 0 25 0 1 0 24671662 600317952 145936 1992294400 134512640 135751879 4291083680 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 146562 145936 151 303 0 146257 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 586248

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30540
/proc/meminfo: memFree=1052240/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=600124 CPUtime=1541.9
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 150882 0 0 0 153767 423 0 0 25 0 1 0 24671662 614526976 149391 1992294400 134512640 135751879 4291083680 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 150031 149391 151 303 0 149726 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 600124

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30541
/proc/meminfo: memFree=1034508/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=617972 CPUtime=1601.89
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 155348 0 0 0 159752 437 0 0 25 0 1 0 24671662 632803328 153857 1992294400 134512640 135751879 4291083680 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 154493 153857 151 303 0 154188 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 617972

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30543
/proc/meminfo: memFree=1016900/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=635488 CPUtime=1661.87
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 159719 0 0 0 165736 451 0 0 25 0 1 0 24671662 650739712 158228 1992294400 134512640 135751879 4291083680 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 158872 158228 151 303 0 158567 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 635488

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30544
/proc/meminfo: memFree=1003260/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=649260 CPUtime=1721.85
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 163139 0 0 0 171720 465 0 0 25 0 1 0 24671662 664842240 161648 1992294400 134512640 135751879 4291083680 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 162315 161648 151 303 0 162010 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 649260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30549
/proc/meminfo: memFree=984040/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=668020 CPUtime=1781.83
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 167831 0 0 0 177703 480 0 0 25 0 1 0 24671662 684052480 166340 1992294400 134512640 135751879 4291083680 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 167005 166340 151 303 0 166700 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 668020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30550
/proc/meminfo: memFree=978212/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=673696 CPUtime=1800.04
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 169232 0 0 0 179521 483 0 0 25 0 1 0 24671662 689864704 167741 1992294400 134512640 135751879 4291083680 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 168424 167741 151 303 0 168119 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 673696

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30550
/proc/meminfo: memFree=978212/2059040 swapFree=4155928/4192956
[pid=30489] ppid=30487 vsize=673696 CPUtime=1800.04
/proc/30489/stat : 30489 (wbo1.4b) R 30487 30489 29686 0 -1 4202496 169232 0 0 0 179521 483 0 0 25 0 1 0 24671662 689864704 167741 1992294400 134512640 135751879 4291083680 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30489/statm: 168424 167741 151 303 0 168119 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 673696

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.57
CPU time (s): 1800.12
CPU user time (s): 1795.21
CPU system time (s): 4.90325
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 673696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.21
system time used= 4.90325
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169232
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= 13
involuntary context switches= 5360

runsolver used 3.07453 second user time and 8.41072 second system time

The end

Launcher Data 

Begin job on node014 at 2010-07-08 06:49:46
IDJOB=2702354
IDBENCH=48112
IDSOLVER=1161
FILE ID=node014/2702354-1278564586
PBS_JOBID= 11239569
Free space on /tmp= 62572 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702354-1278564586/watcher-2702354-1278564586 -o /tmp/evaluation-result-2702354-1278564586/solver-2702354-1278564586 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702354-1278564586.opb

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

MD5SUM BENCH= 93a95f0846e71f0984a2317cf811edef
RANDOM SEED=645298987

node014.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.246
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.49
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.246
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:       1653184 kB
Buffers:         75888 kB
Cached:         227244 kB
SwapCached:       2392 kB
Active:         159196 kB
Inactive:       171212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1653184 kB
SwapTotal:     4192956 kB
SwapFree:      4155928 kB
Dirty:            2860 kB
Writeback:           0 kB
AnonPages:       25024 kB
Mapped:          13052 kB
Slab:            53516 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181412 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702354-1278564586.opb

Free space on /tmp at the end= 62572 MiB
End job on node014 at 2010-07-08 07:19:50