Trace number 1875499

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (MO) 1795.35 1795.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1800.59
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875499-1245185245.opb.
0.00/0.00	c Instance file HOME/instance-1875499-1245185245.opb
0.00/0.00	c File size is 560274 bytes.
0.02/0.07	c Highest Coefficient sum: 643
0.02/0.07	c ============================[ Problem Statistics ]=============================
0.02/0.07	c |                                                                             |
0.02/0.07	c |  Parsing time:          0.07         s                                      |
0.02/0.07	c |  Number Variables:      5499                                                |
0.02/0.07	c |  Number Clauses:        19925                                               |
0.02/0.07	c |  Number Cardinality:    1                                                   |
0.02/0.07	c |  Number PB Constraints: 6                                                   |
0.02/0.07	c core #1
0.02/0.07	c Core size: 2	Core Weight: 1	Total Weight: 1
0.02/0.07	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 1799.93 s
0.02/0.09	c core #2
0.02/0.09	c Core size: 2	Core Weight: 1	Total Weight: 2
0.02/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.09/0.10	c core #3
0.09/0.10	c Core size: 2	Core Weight: 1	Total Weight: 3
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 1799.9 s
0.09/0.12	c core #4
0.09/0.12	c Core size: 2	Core Weight: 1	Total Weight: 4
0.09/0.12	c Elapsed CPU time: 0.114982 s	Remaining CPU time: 1799.89 s
0.09/0.13	c core #5
0.09/0.13	c Core size: 2	Core Weight: 1	Total Weight: 5
0.09/0.13	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #6
0.09/0.14	c Core size: 162	Core Weight: 1	Total Weight: 6
0.09/0.14	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 1799.86 s
0.09/0.16	c core #7
0.09/0.16	c Core size: 163	Core Weight: 1	Total Weight: 7
0.09/0.16	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 1799.84 s
0.09/0.18	c core #8
0.09/0.18	c Core size: 358	Core Weight: 1	Total Weight: 8
0.09/0.18	c Elapsed CPU time: 0.175973 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #9
0.09/0.19	c Core size: 175	Core Weight: 1	Total Weight: 9
0.09/0.19	c Elapsed CPU time: 0.19397 s	Remaining CPU time: 1799.81 s
0.19/0.21	c core #10
0.19/0.21	c Core size: 83	Core Weight: 1	Total Weight: 10
0.19/0.21	c Elapsed CPU time: 0.211967 s	Remaining CPU time: 1799.79 s
0.19/0.23	c ============================[ Search Statistics ]==============================
0.19/0.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |    4213    19942    48302 |     6647        0    nan |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c core #11
0.19/0.24	c Core size: 467	Core Weight: 1	Total Weight: 11
0.19/0.24	c Elapsed CPU time: 0.238963 s	Remaining CPU time: 1799.76 s
0.19/0.26	c ============================[ Search Statistics ]==============================
0.19/0.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.26	c ===============================================================================
0.19/0.26	c |         0 |    4576    19943    48930 |     6647        0    nan |  0.000 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c core #12
0.19/0.27	c Core size: 434	Core Weight: 1	Total Weight: 12
0.19/0.27	c Elapsed CPU time: 0.266959 s	Remaining CPU time: 1799.73 s
0.19/0.29	c ============================[ Search Statistics ]==============================
0.19/0.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.29	c ===============================================================================
0.19/0.29	c |         0 |    4944    19944    49568 |     6648        0    nan |  0.000 % |
0.29/0.31	c |       101 |    4944    19944    49568 |     7312      101     81 | 18.227 % |
0.29/0.35	c |       251 |    4944    19944    49568 |     8044      251     84 | 18.227 % |
0.39/0.41	c |       476 |    4923    19944    49568 |     8848      473     81 | 18.756 % |
0.49/0.50	c |       813 |    4900    19944    49568 |     9733      796     85 | 18.971 % |
0.49/0.53	c ===============================================================================
0.49/0.54	c core #13
0.49/0.54	c Core size: 1464	Core Weight: 1	Total Weight: 13
0.49/0.54	c Elapsed CPU time: 0.526919 s	Remaining CPU time: 1799.47 s
0.49/0.56	c Learning 8 hard constraints
0.49/0.56	c ============================[ Search Statistics ]==============================
0.49/0.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.56	c ===============================================================================
0.49/0.56	c |         0 |    5063    19953    50558 |     6651        0    nan |  0.000 % |
0.49/0.57	c |       100 |    5063    19953    50558 |     7316      100     38 | 17.875 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c core #14
0.59/0.62	c Core size: 1412	Core Weight: 1	Total Weight: 14
0.59/0.62	c Elapsed CPU time: 0.604908 s	Remaining CPU time: 1799.4 s
0.59/0.64	c Learning 1 hard constraints
0.59/0.64	c ============================[ Search Statistics ]==============================
0.59/0.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.64	c ===============================================================================
0.59/0.64	c |         0 |    6107    19955    51894 |     6651        0    nan |  0.000 % |
0.59/0.66	c |       101 |    6107    19955    51894 |     7316      101     68 |  4.354 % |
0.59/0.70	c |       251 |    6107    19955    51894 |     8048      251     69 |  4.354 % |
0.69/0.73	c |       476 |    6107    19955    51894 |     8853      476     85 |  4.354 % |
0.69/0.80	c |       813 |    6104    19955    51894 |     9738      811     96 |  4.401 % |
0.89/0.97	c |      1327 |    6103    19955    51894 |    10712     1318    118 |  4.432 % |
0.99/1.05	c ===============================================================================
0.99/1.06	c core #15
0.99/1.06	c Core size: 1631	Core Weight: 1	Total Weight: 15
0.99/1.06	c Elapsed CPU time: 1.03984 s	Remaining CPU time: 1798.96 s
0.99/1.08	c Learning 13 hard constraints
0.99/1.08	c ============================[ Search Statistics ]==============================
0.99/1.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.99/1.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.99/1.08	c ===============================================================================
0.99/1.08	c |         0 |    6497    19969    52699 |     6656        0    nan |  0.000 % |
1.09/1.11	c |       101 |    6497    19969    52699 |     7321      101     33 |  1.021 % |
1.09/1.13	c |       251 |    6497    19969    52699 |     8054      251     67 |  1.021 % |
1.09/1.17	c |       478 |    6497    19969    52699 |     8859      478     87 |  1.021 % |
1.19/1.21	c |       815 |    6497    19969    52699 |     9745      815     95 |  1.021 % |
1.29/1.31	c |      1322 |    6497    19969    52699 |    10720     1322    115 |  1.021 % |
1.39/1.46	c |      2082 |    6497    19969    52699 |    11792     2082    115 |  1.021 % |
1.79/1.82	c |      3221 |    6497    19969    52699 |    12971     3221    153 |  1.021 % |
2.58/2.62	c |      4930 |    6497    19969    52699 |    14268     4930    187 |  1.021 % |
3.99/4.02	c |      7492 |    6497    19969    52699 |    15695     7492    202 |  1.021 % |
6.69/6.78	c |     11337 |    6497    19969    52699 |    17264    11337    242 |  1.021 % |
12.38/12.41	c |     17103 |    6497    19969    52699 |    18991    17103    276 |  1.021 % |
21.09/21.18	c |     25753 |    6496    19969    52699 |    20890    15959    249 |  1.036 % |
35.57/35.70	c |     38727 |    6496    19969    52699 |    22979    18122    249 |  1.036 % |
54.47/54.52	c |     58189 |    6496    19969    52699 |    25277    14150    198 |  1.036 % |
68.54/68.60	c ===============================================================================
70.15/70.26	c core #16
70.15/70.26	c Core size: 2376	Core Weight: 1	Total Weight: 16
70.15/70.26	c Elapsed CPU time: 69.7904 s	Remaining CPU time: 1730.21 s
70.25/70.37	c Learning 405 hard constraints
70.25/70.37	c ============================[ Search Statistics ]==============================
70.25/70.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
70.25/70.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
70.25/70.37	c ===============================================================================
70.25/70.37	c |         0 |    6616    20375    58373 |     6791        0    nan |  0.000 % |
70.35/70.42	c |       102 |    6616    20375    58373 |     7470      102    129 |  1.003 % |
70.35/70.44	c |       254 |    6612    20375    58373 |     8217      253    105 |  1.062 % |
70.35/70.49	c |       479 |    6612    20375    58373 |     9039      478    130 |  1.062 % |
70.54/70.61	c |       818 |    6612    20375    58373 |     9943      817    155 |  1.062 % |
70.75/70.81	c |      1327 |    6605    20375    58373 |    10938     1323    165 |  1.272 % |
70.95/71.05	c |      2088 |    6598    20375    58373 |    12031     2080    164 |  1.272 % |
71.35/71.45	c |      3231 |    6598    20375    58373 |    13235     3223    161 |  1.272 % |
72.15/72.23	c |      4940 |    6598    20375    58373 |    14558     4932    164 |  1.272 % |
73.24/73.30	c |      7503 |    6597    20375    58373 |    16014     7494    184 |  1.287 % |
75.24/75.39	c |     11351 |    6597    20375    58373 |    17615    11342    194 |  1.287 % |
80.34/80.43	c |     17117 |    6593    20375    58373 |    19377    17107    253 |  1.362 % |
88.24/88.39	c |     25767 |    6592    20375    58373 |    21315    15883    320 |  1.362 % |
101.04/101.15	c |     38741 |    6592    20375    58373 |    23446    17655    281 |  1.362 % |
120.43/120.55	c |     58203 |    6580    20375    58373 |    25791    25328    343 |  1.541 % |
149.92/150.02	c ===============================================================================
151.42/151.59	c core #17
151.42/151.59	c Core size: 8880	Core Weight: 1	Total Weight: 17
151.42/151.59	c Elapsed CPU time: 150.523 s	Remaining CPU time: 1649.48 s
151.63/151.72	c Learning 275 hard constraints
151.63/151.72	c ============================[ Search Statistics ]==============================
151.63/151.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
151.63/151.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
151.63/151.72	c ===============================================================================
151.63/151.72	c |         0 |    7180    20651    61765 |     6883        0    nan |  0.000 % |
151.63/151.77	c |       101 |    7180    20651    61765 |     7572      101    165 |  0.925 % |
151.72/151.80	c |       251 |    7175    20651    61765 |     8329      251    129 |  0.994 % |
151.72/151.88	c |       476 |    7175    20651    61765 |     9162      473    104 |  0.994 % |
151.82/151.96	c |       814 |    7175    20651    61765 |    10078      811    134 |  0.994 % |
152.02/152.18	c |      1320 |    7175    20651    61765 |    11086     1317    143 |  0.994 % |
152.22/152.34	c |      2080 |    7175    20651    61765 |    12194     2077    170 |  0.994 % |
152.92/153.07	c |      3221 |    7175    20651    61765 |    13414     3218    219 |  0.994 % |
154.12/154.28	c |      4929 |    7175    20651    61765 |    14755     4926    283 |  0.994 % |
156.22/156.33	c |      7492 |    7175    20651    61765 |    16231     7489    315 |  0.994 % |
160.22/160.34	c |     11337 |    7175    20651    61765 |    17854    11334    364 |  0.994 % |
170.71/170.85	c |     17103 |    7175    20651    61765 |    19639    17100    408 |  0.994 % |
187.91/188.07	c |     25753 |    7175    20651    61765 |    21603    15499    470 |  0.994 % |
217.60/217.78	c |     38729 |    7175    20651    61765 |    23764    17175    464 |  0.994 % |
270.28/270.43	c |     58194 |    7175    20651    61765 |    26140    24223    505 |  0.994 % |
367.26/367.47	c |     87389 |    7175    20651    61765 |    28754    25773    571 |  0.994 % |
529.99/530.21	c |    131181 |    7175    20651    61765 |    31630    24827    544 |  0.994 % |
736.42/736.78	c |    196870 |    7175    20651    61765 |    34793    21751    591 |  0.994 % |
1013.93/1014.38	c |    295396 |    7175    20651    61765 |    38272    24392    351 |  0.994 % |
1463.28/1463.82	c |    443191 |    7175    20651    61765 |    42099    27970    680 |  0.994 % |

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-1875499-1245185245/watcher-1875499-1245185245 -o /tmp/evaluation-result-1875499-1245185245/solver-1875499-1245185245 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875499-1245185245.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.92 0.98 0.99 3/64 6848
/proc/meminfo: memFree=1904488/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=3220 CPUtime=0
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 186124936 3297280 235 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 805 235 129 292 0 373 0

[startup+0.02956 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6848
/proc/meminfo: memFree=1904488/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=3884 CPUtime=0.02
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 427 0 0 0 2 0 0 0 18 0 1 0 186124936 3977216 411 1992294400 134512640 135709839 4294956240 18446744073709551615 134540467 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 971 411 174 292 0 539 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3884

[startup+0.101564 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6848
/proc/meminfo: memFree=1904488/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=5932 CPUtime=0.09
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 1205 0 0 0 9 0 0 0 18 0 1 0 186124936 6074368 986 1992294400 134512640 135709839 4294956240 18446744073709551615 134605544 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 1483 986 133 292 0 1188 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5932

[startup+0.301577 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6848
/proc/meminfo: memFree=1904488/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=6512 CPUtime=0.29
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 1448 0 0 0 29 0 0 0 19 0 1 0 186124936 6668288 1159 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 1628 1159 135 292 0 1333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6512

[startup+0.701603 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6848
/proc/meminfo: memFree=1904488/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=7212 CPUtime=0.69
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 1679 0 0 0 68 1 0 0 23 0 1 0 186124936 7385088 1316 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 1803 1316 136 292 0 1508 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7212

[startup+1.50165 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6849
/proc/meminfo: memFree=1899616/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=7580 CPUtime=1.49
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 1858 0 0 0 146 3 0 0 25 0 1 0 186124936 7761920 1419 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 1895 1419 136 292 0 1600 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7580

[startup+3.10176 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6849
/proc/meminfo: memFree=1898016/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=11024 CPUtime=3.09
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 2723 0 0 0 304 5 0 0 25 0 1 0 186124936 11288576 2284 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 2756 2284 136 292 0 2461 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11024

[startup+6.30196 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 6849
/proc/meminfo: memFree=1890592/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=18020 CPUtime=6.29
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 4462 0 0 0 622 7 0 0 25 0 1 0 186124936 18452480 4023 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 4505 4023 136 292 0 4210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18020

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 6849
/proc/meminfo: memFree=1878960/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=28532 CPUtime=12.68
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 7107 0 0 0 1259 9 0 0 25 0 1 0 186124936 29216768 6668 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 7133 6668 136 292 0 6838 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28532

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 6849
/proc/meminfo: memFree=1863920/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=43200 CPUtime=25.48
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 10737 0 0 0 2533 15 0 0 25 0 1 0 186124936 44236800 10298 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 10800 10298 136 292 0 10505 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43200

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 6849
/proc/meminfo: memFree=1826800/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=80608 CPUtime=51.08
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 20116 0 0 0 5078 30 0 0 25 0 1 0 186124936 82542592 19677 1992294400 134512640 135709839 4294956240 18446744073709551615 134573788 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 20152 19677 136 292 0 19857 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80608

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 6849
/proc/meminfo: memFree=1768112/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=138544 CPUtime=102.24
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 34596 0 0 0 10156 68 0 0 25 0 1 0 186124936 141869056 34157 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 34636 34157 136 292 0 34341 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 138544

[startup+162.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 6849
/proc/meminfo: memFree=1676528/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=229744 CPUtime=162.22
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 57377 0 0 0 16116 106 0 0 25 0 1 0 186124936 235257856 56938 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 57436 56938 136 292 0 57141 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 229744

[startup+222.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 6851
/proc/meminfo: memFree=1655664/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=250640 CPUtime=222.2
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 62610 0 0 0 22102 118 0 0 25 0 1 0 186124936 256655360 62171 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 62660 62171 136 292 0 62365 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 250640

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6851
/proc/meminfo: memFree=1602480/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=304112 CPUtime=282.17
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 75971 0 0 0 28083 134 0 0 25 0 1 0 186124936 311410688 75532 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 76028 75532 136 292 0 75733 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 304112

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6851
/proc/meminfo: memFree=1542320/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=363752 CPUtime=342.16
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 90880 0 0 0 34064 152 0 0 25 0 1 0 186124936 372482048 90441 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 90938 90441 136 292 0 90643 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 363752

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6851
/proc/meminfo: memFree=1509808/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=396976 CPUtime=402.14
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 99183 0 0 0 40052 162 0 0 25 0 1 0 186124936 406503424 98744 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 99244 98744 136 292 0 98949 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 396976

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6851
/proc/meminfo: memFree=1463600/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=442656 CPUtime=462.12
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 110596 0 0 0 46034 178 0 0 25 0 1 0 186124936 453279744 110157 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 110664 110157 136 292 0 110369 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 442656

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6851
/proc/meminfo: memFree=1409200/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=497824 CPUtime=522.09
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 124366 0 0 0 52012 197 0 0 25 0 1 0 186124936 509771776 123927 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 124456 123927 136 292 0 124161 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 497824

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6851
/proc/meminfo: memFree=1344368/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=561884 CPUtime=582.07
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 140396 0 0 0 57992 215 0 0 25 0 1 0 186124936 575369216 139957 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 140471 139957 136 292 0 140176 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 561884

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6851
/proc/meminfo: memFree=1288240/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=617492 CPUtime=642.06
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 154256 0 0 0 63975 231 0 0 25 0 1 0 186124936 632311808 153817 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 154373 153817 136 292 0 154078 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 617492

[startup+702.302 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=1047344/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=858548 CPUtime=941.95
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 214462 0 0 0 93887 308 0 0 25 0 1 0 186124936 879153152 214023 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 214637 214023 136 292 0 214342 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 858548

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=957552/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=947964 CPUtime=1001.93
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 236837 0 0 0 99852 341 0 0 25 0 1 0 186124936 970715136 236398 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 236991 236398 136 292 0 236696 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 947964

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=872624/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1033740 CPUtime=1061.91
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 258256 0 0 0 105823 368 0 0 25 0 1 0 186124936 1058549760 257817 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 258435 257817 136 292 0 258140 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 1033740

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=798128/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1107060 CPUtime=1121.9
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 276584 0 0 0 111795 395 0 0 25 0 1 0 186124936 1133629440 276145 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 276765 276145 136 292 0 276470 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1107060

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=738736/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1167040 CPUtime=1181.88
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 291603 0 0 0 117776 412 0 0 25 0 1 0 186124936 1195048960 291164 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 291760 291164 136 292 0 291465 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1167040

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=693552/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1211252 CPUtime=1241.85
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 302621 0 0 0 123761 424 0 0 25 0 1 0 186124936 1240322048 302182 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 302813 302182 136 292 0 302518 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1211252

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=641520/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1263148 CPUtime=1301.84
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 315578 0 0 0 129744 440 0 0 25 0 1 0 186124936 1293463552 315139 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 315787 315139 136 292 0 315492 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1263148

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=600944/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1304016 CPUtime=1361.82
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 325778 0 0 0 135728 454 0 0 25 0 1 0 186124936 1335312384 325339 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 326004 325339 136 292 0 325709 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1304016

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=541360/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1363460 CPUtime=1421.8
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 340643 0 0 0 141708 472 0 0 25 0 1 0 186124936 1396183040 340204 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 340865 340204 136 292 0 340570 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1363460

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=467056/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1437912 CPUtime=1481.77
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 359245 0 0 0 147686 491 0 0 25 0 1 0 186124936 1472421888 358806 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 359478 358806 136 292 0 359183 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1437912

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=402992/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1501880 CPUtime=1541.76
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 375207 0 0 0 153668 508 0 0 25 0 1 0 186124936 1537925120 374768 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 375470 374768 136 292 0 375175 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1501880

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=314992/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1590832 CPUtime=1601.74
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 397445 0 0 0 159640 534 0 0 25 0 1 0 186124936 1629011968 397006 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 397708 397006 136 292 0 397413 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1590832

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=239472/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1665156 CPUtime=1661.72
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 416013 0 0 0 165616 556 0 0 25 0 1 0 186124936 1705119744 415574 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 416289 415574 136 292 0 415994 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1665156

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=154032/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1751768 CPUtime=1721.71
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 437686 0 0 0 171589 582 0 0 25 0 1 0 186124936 1793810432 437247 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 437942 437247 136 292 0 437647 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1751768

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=79280/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1825056 CPUtime=1781.69
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 455985 0 0 0 177568 601 0 0 25 0 1 0 186124936 1868857344 455546 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 456264 455546 136 292 0 455969 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1825056



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=60464/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=1843288 CPUtime=1795.08
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4194304 460532 0 0 0 178902 606 0 0 25 0 1 0 186124936 1887526912 460093 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 460822 460093 136 292 0 460527 0
Current children cumulated CPU time (s) 1795.08
Current children cumulated vsize (KiB) 1843288

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

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

[startup+1795.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=60464/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=0 CPUtime=1795.18
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4195332 460532 0 0 0 178902 616 0 0 25 0 1 0 186124936 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 0

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6857
/proc/meminfo: memFree=60464/2055920 swapFree=4181748/4192956
[pid=6848] ppid=6846 vsize=0 CPUtime=1795.28
/proc/6848/stat : 6848 (wbo) R 6846 6848 6382 0 -1 4195332 460532 0 0 0 178902 626 0 0 25 0 1 0 186124936 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/6848/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1795.97
CPU time (s): 1795.35
CPU user time (s): 1789.02
CPU system time (s): 6.32904
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 1843288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.02
system time used= 6.32904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460532
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= 2
involuntary context switches= 6227

runsolver used 1.92771 second user time and 4.6213 second system time

The end

Launcher Data 

Begin job on node22 at 2009-06-16 22:47:25
IDJOB=1875499
IDBENCH=25021
IDSOLVER=698
FILE ID=node22/1875499-1245185245
PBS_JOBID= 9363893
Free space on /tmp= 66156 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875499-1245185245/watcher-1875499-1245185245 -o /tmp/evaluation-result-1875499-1245185245/solver-1875499-1245185245 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875499-1245185245.opb

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=286507412

node22.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1904968 kB
Buffers:         40964 kB
Cached:          61040 kB
SwapCached:       5504 kB
Active:          52524 kB
Inactive:        57360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1904968 kB
SwapTotal:     4192956 kB
SwapFree:      4181748 kB
Dirty:            2924 kB
Writeback:           0 kB
Mapped:          12960 kB
Slab:            27116 kB
Committed_AS:   161752 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875499-1245185245.opb

Free space on /tmp at the end= 66152 MiB
End job on node22 at 2009-06-16 23:17:23