Trace number 35051

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14? (TO) 1800.77 1801.23

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
MD5SUMafb312a519ee7dfceb0c5aec9cb860b5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-82060
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -118677
Optimality of the best value was proved NO
Number of variables3671
Total number of constraints159
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 constraints159
Minimum length of a constraint10
Maximum length of a constraint420
Number of terms in the objective function 1055
Biggest coefficient in the objective function 58802
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524960
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262113
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524960
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
0.29	c Converting 201 PB-constraints to clauses...
0.29	c   -- Unit propagations: ppppppppppppppppppp
0.38	c   -- Detecting intervals from adjacent constraints: ###################################################
0.39	c   -- Clauses(.)/Splits(s): sssssssss
0.39	c ---[ 209]---> BDD-cost:   16
0.39	c ---[ 208]---> BDD-cost:   15
0.39	c ---[ 207]---> BDD-cost:   16
0.39	c ---[ 205]---> BDD-cost:   14
0.39	c ---[ 202]---> BDD-cost:   16
0.39	c ---[ 200]---> BDD-cost:   15
0.39	c ---[ 199]---> BDD-cost:   15
0.39	c ---[ 191]---> BDD-cost:   15
0.39	c ---[ 190]---> BDD-cost:   14
0.39	c ---[ 189]---> BDD-cost:   16
0.39	c ---[ 187]---> BDD-cost:   13
0.39	c ---[ 186]---> BDD-cost:   11
0.39	c ---[ 182]---> BDD-cost:   15
0.39	c ---[ 173]---> BDD-cost:   15
0.39	c ---[ 171]---> BDD-cost:   14
0.39	c ---[ 170]---> BDD-cost:   13
0.39	c ---[ 169]---> BDD-cost:   12
0.39	c ---[ 168]---> BDD-cost:   11
0.39	c ---[ 153]---> BDD-cost:   14
0.39	c ---[ 152]---> BDD-cost:   13
0.39	c ---[ 150]---> BDD-cost:   11
0.39	c ---[ 147]---> BDD-cost:   14
0.39	c ---[ 146]---> BDD-cost:   14
0.39	c ---[ 145]---> BDD-cost:   14
0.39	c ---[ 144]---> BDD-cost:   14
0.39	c ---[ 143]---> BDD-cost:   14
0.39	c ---[ 142]---> BDD-cost:   14
0.39	c ---[ 141]---> BDD-cost:   14
0.39	c ---[ 139]---> Adder-cost: 591   maxlim: 25692   bits: 16/15
0.51	c ---[ 137]---> Adder-cost: 1226   maxlim: 23620   bits: 16/15
0.67	c ---[ 135]---> Adder-cost: 746   maxlim: 24432   bits: 16/15
0.97	c ---[ 133]---> Adder-cost: 1226   maxlim: 23620   bits: 16/15
1.12	c ---[ 131]---> Adder-cost: 674   maxlim: 23904   bits: 16/15
1.31	c ---[ 129]---> Adder-cost: 1228   maxlim: 23620   bits: 16/15
1.46	c ---[ 127]---> Adder-cost: 170   maxlim: 262173   bits: 20/19
1.47	c ---[ 125]---> Adder-cost: 282   maxlim: 32795   bits: 16/16
1.50	c ---[ 123]---> Sorter-cost:  385     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.50	c ---[ 121]---> Adder-cost: 530   maxlim: 157302   bits: 19/18
1.67	c ---[ 119]---> Sorter-cost: 4754     Base: 2 2 3 2 2 17 2 2 2 2
1.81	c ---[ 117]---> BDD-cost:  128
1.81	c ---[ 115]---> Adder-cost: 278   maxlim: 32795   bits: 16/16
1.84	c ---[ 113]---> Sorter-cost:  362     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.84	c ---[ 111]---> Sorter-cost:  592     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.85	c ---[ 109]---> Sorter-cost:  530     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.86	c ---[ 107]---> BDD-cost:  131
1.86	c ---[ 105]---> Adder-cost: 282   maxlim: 32795   bits: 16/16
1.89	c ---[ 103]---> Sorter-cost:  385     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.90	c ---[ 101]---> Sorter-cost:  606     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.91	c ---[  99]---> Sorter-cost:  552     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.92	c ---[  97]---> BDD-cost:  128
1.92	c ---[  95]---> Adder-cost: 282   maxlim: 32795   bits: 16/16
1.94	c ---[  93]---> BDD-cost:  133
1.94	c ---[  91]---> Sorter-cost:  558     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.95	c ---[  89]---> Sorter-cost:  530     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1.96	c ---[  87]---> BDD-cost:  131
1.96	c ---[  85]---> Adder-cost: 278   maxlim: 32795   bits: 16/16
1.99	c ---[  83]---> Adder-cost: 282   maxlim: 32795   bits: 16/16
2.01	c ---[  81]---> BDD-cost:  128
2.01	c ---[  79]---> Sorter-cost:  549     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.02	c ---[  77]---> Sorter-cost:  523     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.03	c ---[  75]---> BDD-cost:  126
2.03	c ---[  73]---> Adder-cost: 282   maxlim: 32795   bits: 16/16
2.06	c ---[  71]---> Adder-cost: 278   maxlim: 32795   bits: 16/16
2.08	c ---[  69]---> BDD-cost:  119
2.08	c ---[  67]---> Sorter-cost:  509     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.09	c ---[  65]---> Sorter-cost:  485     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.10	c ---[  63]---> BDD-cost:  122
2.10	c ---[  61]---> Adder-cost: 282   maxlim: 32795   bits: 16/16
2.12	c ---[  53]---> Adder-cost: 282   maxlim: 32795   bits: 16/16
2.15	c ---[  51]---> Sorter-cost:  385     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
2.15	c ---[  49]---> Adder-cost: 530   maxlim: 157302   bits: 19/18
2.33	c ---[  47]---> Sorter-cost: 4754     Base: 2 2 3 2 2 17 2 2 2 2
2.46	c ---[  45]---> BDD-cost:  128
2.47	c ---[  44]---> Adder-cost: 1156   maxlim: 6970   bits: 14/13
2.71	c ---[  43]---> Adder-cost: 1138   maxlim: 6970   bits: 14/13
2.95	c ---[  42]---> Adder-cost: 1144   maxlim: 6970   bits: 14/13
3.18	c ---[  41]---> Adder-cost: 1115   maxlim: 6037   bits: 14/13
3.42	c ---[  40]---> Adder-cost: 1109   maxlim: 6037   bits: 14/13
3.66	c ---[  39]---> Adder-cost: 1075   maxlim: 6037   bits: 14/13
3.90	c ---[  38]---> Adder-cost: 1163   maxlim: 8187   bits: 14/13
4.07	c ---[  37]---> Adder-cost: 1143   maxlim: 8187   bits: 14/13
4.25	c ---[  36]---> Adder-cost: 1147   maxlim: 8187   bits: 14/13
4.42	c ---[  35]---> Adder-cost: 1000   maxlim: 8891   bits: 15/14
4.62	c ---[  34]---> Adder-cost: 1014   maxlim: 8891   bits: 15/14
4.81	c ---[  33]---> Adder-cost: 1014   maxlim: 8891   bits: 15/14
5.01	c ---[  32]---> Adder-cost: 1144   maxlim: 32471   bits: 16/15
5.28	c ---[  31]---> Adder-cost: 1070   maxlim: 32459   bits: 16/15
5.51	c ---[  30]---> Adder-cost: 1116   maxlim: 32463   bits: 16/15
5.77	c ---[  29]---> Adder-cost: 750   maxlim: 32487   bits: 16/15
5.92	c ---[  28]---> Adder-cost: 748   maxlim: 32471   bits: 16/15
6.15	c ---[  27]---> Adder-cost: 736   maxlim: 32475   bits: 16/15
6.34	c ---[  25]---> Adder-cost: 1234   maxlim: 32801   bits: 16/16
6.66	c ---[  23]---> Adder-cost: 1238   maxlim: 32801   bits: 16/16
6.98	c ---[  21]---> Adder-cost: 1238   maxlim: 32801   bits: 16/16
7.30	c ---[  19]---> Adder-cost: 1098   maxlim: 32818   bits: 16/16
7.62	c ---[  17]---> Adder-cost: 1094   maxlim: 32818   bits: 16/16
7.95	c ---[  15]---> Adder-cost: 1090   maxlim: 32818   bits: 16/16
8.27	c ---[  14]---> Adder-cost: 1073   maxlim: 21862   bits: 16/15
8.53	c ---[  13]---> Adder-cost: 1073   maxlim: 21862   bits: 16/15
8.79	c ---[  12]---> Adder-cost: 1063   maxlim: 21862   bits: 16/15
9.05	c ---[  11]---> Adder-cost: 1087   maxlim: 26181   bits: 16/15
9.34	c ---[  10]---> Adder-cost: 1083   maxlim: 26181   bits: 16/15
9.63	c ---[   9]---> Adder-cost: 1085   maxlim: 26181   bits: 16/15
9.92	c ---[   8]---> BDD-cost:   12
9.92	c ---[   7]---> BDD-cost:   12
9.92	c ---[   6]---> BDD-cost:   10
9.92	c ---[   5]---> BDD-cost:   12
9.92	c ---[   4]---> BDD-cost:   12
9.92	c ---[   3]---> BDD-cost:   10
9.92	c ---[   2]---> BDD-cost:   12
9.92	c ---[   1]---> BDD-cost:   10
9.92	c ---[   0]---> BDD-cost:   10
10.19	c ==================================[MINISAT+]==================================
10.19	c | Conflicts | Original         | Learnt                           | Progress |
10.19	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.19	c ==============================================================================
10.19	c |         0 |  333154  1135077 |  111051       0        0     nan |  0.000 % |
10.19	c |       100 |  333154  1135077 |  122156     100      323     3.2 |  3.823 % |
10.20	c |       250 |  333154  1135077 |  134371     250      808     3.2 |  3.823 % |
10.23	c |       475 |  333154  1135077 |  147808     475     2719     5.7 |  3.823 % |
10.27	c |       812 |  333154  1135077 |  162589     812     5126     6.3 |  3.823 % |
10.33	c |      1319 |  333154  1135077 |  178848    1319    13359    10.1 |  3.823 % |
10.45	c |      2078 |  333148  1135060 |  196733    2077    18684     9.0 |  3.825 % |
10.62	c |      3219 |  333148  1135060 |  216406    3218    36518    11.3 |  3.825 % |
10.89	c |      4927 |  333136  1135026 |  238047    4924    68025    13.8 |  3.828 % |
11.31	c |      7489 |  333136  1135026 |  261852    7486   131841    17.6 |  3.828 % |
12.21	c |     11333 |  333021  1134732 |  288037   11309   211175    18.7 |  3.869 % |
13.21	c |     17099 |  332926  1134517 |  316841   17074   346176    20.3 |  3.908 % |
15.56	c |     25748 |  331656  1131394 |  348525   25714   593505    23.1 |  4.411 % |
19.56	c |     38722 |  329413  1125866 |  383378   38658   983476    25.4 |  5.351 % |
24.99	c |     58185 |  329295  1125479 |  421715   58104  1492376    25.7 |  5.387 % |
34.69	c |     87378 |  329202  1125254 |  463887   87264  2386433    27.3 |  5.429 % |
52.27	c |    131167 |  328732  1123985 |  510276  131012  3843646    29.3 |  5.615 % |
96.73	c |    196852 |  328621  1123721 |  561303  196691  6799512    34.6 |  5.672 % |
168.13	c |    295379 |  328516  1123466 |  617434  295204 10819580    36.7 |  5.721 % |
325.93	c |    443170 |  327981  1121750 |  679177  442164 18693066    42.3 |  5.836 % |
713.31	c |    664854 |  327719  1121127 |  747095  663788 31807636    47.9 |  5.964 % |
1142.46	c |    997380 |  327489  1120519 |  821805  258991 21841692    84.3 |  6.054 % |
1801.18	c 
1801.18	c *** TERMINATED ***
1801.18	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node61/watcher-35051-1149334252 -o ROOT/results/node61/solver-35051-1149334252 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node61/35051-1149334252/instance-35051-1149334252.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 6531
/proc/meminfo: memFree=1596792/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=1048 CPUtime=0
/proc/6531/stat : 6531 (minisat+) D 6529 6531 6485 0 -1 4194304 85 0 0 0 0 0 0 0 19 0 1 0 199093084 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 2147483391 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 262 78 65 215 0 44 0

[startup+10.0019 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1586968/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=11612 CPUtime=9.99
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 2810 0 0 0 998 1 0 0 25 0 1 0 199093084 11890688 2618 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582488 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 2903 2619 112 215 0 2685 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 11612

[startup+20.0078 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1568744/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=31168 CPUtime=19.98
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 7324 0 0 0 1995 3 0 0 25 0 1 0 199093084 31916032 7124 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 7792 7124 124 215 0 7574 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 31168

[startup+30.0148 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1563368/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=36640 CPUtime=29.99
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 8691 0 0 0 2994 5 0 0 25 0 1 0 199093084 37519360 8491 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 9160 8491 124 215 0 8942 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 36640

[startup+40.0208 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1559528/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=40508 CPUtime=39.99
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 9641 0 0 0 3993 6 0 0 25 0 1 0 199093084 41480192 9441 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 10127 9441 124 215 0 9909 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 40508

[startup+50.0267 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1555176/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=44872 CPUtime=50
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 10740 0 0 0 4993 7 0 0 25 0 1 0 199093084 45948928 10540 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 11218 10540 124 215 0 11000 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 44872

[startup+60.0327 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1550568/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=49616 CPUtime=60
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 11893 0 0 0 5992 8 0 0 25 0 1 0 199093084 50806784 11693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 12404 11693 124 215 0 12186 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 49616

[startup+70.0387 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1547304/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=52776 CPUtime=70.01
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 12698 0 0 0 6992 9 0 0 25 0 1 0 199093084 54042624 12498 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 13194 12498 124 215 0 12976 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 52776

[startup+80.0447 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1544360/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=55668 CPUtime=80.01
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 13441 0 0 0 7992 9 0 0 25 0 1 0 199093084 57004032 13241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 13917 13241 124 215 0 13699 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 55668

[startup+90.0506 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1541544/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=58548 CPUtime=90.01
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 14146 0 0 0 8991 10 0 0 25 0 1 0 199093084 59953152 13946 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 14637 13946 124 215 0 14419 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 58548

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1537832/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=62124 CPUtime=100.01
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 15062 0 0 0 9990 11 0 0 25 0 1 0 199093084 63614976 14862 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580214 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 15531 14862 124 215 0 15313 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 62124

[startup+110.063 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1534888/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=65452 CPUtime=110.02
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 15797 0 0 0 10990 12 0 0 25 0 1 0 199093084 67022848 15597 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 16363 15597 124 215 0 16145 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 65452

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1532840/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=67444 CPUtime=120.02
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 16309 0 0 0 11990 12 0 0 25 0 1 0 199093084 69062656 16109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 16861 16109 124 215 0 16643 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 67444

[startup+130.075 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1530216/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=69972 CPUtime=130.03
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 16959 0 0 0 12990 13 0 0 25 0 1 0 199093084 71651328 16759 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 17493 16759 124 215 0 17275 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 69972

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1527272/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=72884 CPUtime=140.03
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 17685 0 0 0 13989 14 0 0 25 0 1 0 199093084 74633216 17485 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 18221 17485 124 215 0 18003 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 72884

[startup+150.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1523880/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=76176 CPUtime=150.03
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 18540 0 0 0 14989 14 0 0 25 0 1 0 199093084 78004224 18340 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 19044 18340 124 215 0 18826 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 76176

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1521128/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=78816 CPUtime=160.04
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 19224 0 0 0 15989 15 0 0 25 0 1 0 199093084 80707584 19024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 19704 19024 124 215 0 19486 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 78816

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1519272/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=80696 CPUtime=170.04
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 19688 0 0 0 16989 15 0 0 25 0 1 0 199093084 82632704 19488 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 20174 19488 124 215 0 19956 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 80696

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6531
/proc/meminfo: memFree=1517672/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=82280 CPUtime=180.05
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 20078 0 0 0 17989 16 0 0 25 0 1 0 199093084 84254720 19878 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 20570 19878 124 215 0 20352 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 82280

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1515560/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=84880 CPUtime=190.05
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 20616 0 0 0 18989 16 0 0 25 0 1 0 199093084 86917120 20416 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 21220 20416 124 215 0 21002 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 84880

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1513064/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=87384 CPUtime=200.05
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 21231 0 0 0 19988 17 0 0 25 0 1 0 199093084 89481216 21031 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 21846 21031 124 215 0 21628 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 87384

[startup+210.123 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1509544/2055920 swapFree=4180908/4192956

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

[pid=6531] ppid=6529 vsize=241520 CPUtime=1781.62
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59524 0 0 0 178101 61 0 0 25 0 1 0 199093084 247316480 59324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60380 59324 124 215 0 60162 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (Kb) 241520

[startup+1783.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1358952/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=241652 CPUtime=1782.62
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59562 0 0 0 178201 61 0 0 25 0 1 0 199093084 247451648 59362 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60413 59362 124 215 0 60195 0
Current children cumulated CPU time (s) 1782.62
Current children cumulated vsize (Kb) 241652

[startup+1784.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1358696/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=241912 CPUtime=1783.64
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59620 0 0 0 178302 62 0 0 25 0 1 0 199093084 247717888 59420 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60478 59420 124 215 0 60260 0
Current children cumulated CPU time (s) 1783.64
Current children cumulated vsize (Kb) 241912

[startup+1785.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1358504/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=242176 CPUtime=1784.64
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59669 0 0 0 178402 62 0 0 25 0 1 0 199093084 247988224 59469 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60544 59469 124 215 0 60326 0
Current children cumulated CPU time (s) 1784.64
Current children cumulated vsize (Kb) 242176

[startup+1786.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1358312/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=242308 CPUtime=1785.65
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59720 0 0 0 178503 62 0 0 25 0 1 0 199093084 248123392 59520 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581439 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60577 59520 124 215 0 60359 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (Kb) 242308

[startup+1787.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1358056/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=242572 CPUtime=1786.65
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59781 0 0 0 178603 62 0 0 25 0 1 0 199093084 248393728 59581 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60643 59581 124 215 0 60425 0
Current children cumulated CPU time (s) 1786.65
Current children cumulated vsize (Kb) 242572

[startup+1788.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1357864/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=242836 CPUtime=1787.65
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59831 0 0 0 178703 62 0 0 25 0 1 0 199093084 248664064 59631 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60709 59631 124 215 0 60491 0
Current children cumulated CPU time (s) 1787.65
Current children cumulated vsize (Kb) 242836

[startup+1789.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1357672/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=242964 CPUtime=1788.66
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59881 0 0 0 178804 62 0 0 25 0 1 0 199093084 248795136 59681 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60741 59681 124 215 0 60523 0
Current children cumulated CPU time (s) 1788.66
Current children cumulated vsize (Kb) 242964

[startup+1790.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1357544/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=243096 CPUtime=1789.66
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59903 0 0 0 178904 62 0 0 25 0 1 0 199093084 248930304 59703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579548 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60774 59703 124 215 0 60556 0
Current children cumulated CPU time (s) 1789.66
Current children cumulated vsize (Kb) 243096

[startup+1791.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1357480/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=243096 CPUtime=1790.66
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59924 0 0 0 179004 62 0 0 25 0 1 0 199093084 248930304 59724 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60774 59724 124 215 0 60556 0
Current children cumulated CPU time (s) 1790.66
Current children cumulated vsize (Kb) 243096

[startup+1792.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1357352/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=243228 CPUtime=1791.67
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59955 0 0 0 179105 62 0 0 25 0 1 0 199093084 249065472 59755 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60807 59755 124 215 0 60589 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (Kb) 243228

[startup+1793.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1357224/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=243356 CPUtime=1792.67
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 59988 0 0 0 179205 62 0 0 25 0 1 0 199093084 249196544 59788 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60839 59788 124 215 0 60621 0
Current children cumulated CPU time (s) 1792.67
Current children cumulated vsize (Kb) 243356

[startup+1794.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1357096/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=243488 CPUtime=1793.68
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60015 0 0 0 179306 62 0 0 25 0 1 0 199093084 249331712 59815 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60872 59815 124 215 0 60654 0
Current children cumulated CPU time (s) 1793.68
Current children cumulated vsize (Kb) 243488

[startup+1795.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1357032/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=243620 CPUtime=1794.68
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60038 0 0 0 179406 62 0 0 25 0 1 0 199093084 249466880 59838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60905 59838 124 215 0 60687 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (Kb) 243620

[startup+1796.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1356904/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=243752 CPUtime=1795.69
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60065 0 0 0 179507 62 0 0 25 0 1 0 199093084 249602048 59865 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60938 59865 124 215 0 60720 0
Current children cumulated CPU time (s) 1795.69
Current children cumulated vsize (Kb) 243752

[startup+1797.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1356776/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=243884 CPUtime=1796.69
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60101 0 0 0 179607 62 0 0 25 0 1 0 199093084 249737216 59901 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 60971 59901 124 215 0 60753 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (Kb) 243884

[startup+1798.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1356648/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=244016 CPUtime=1797.69
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60132 0 0 0 179707 62 0 0 25 0 1 0 199093084 249872384 59932 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 61004 59932 124 215 0 60786 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (Kb) 244016

[startup+1799.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1356520/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=244144 CPUtime=1798.7
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60163 0 0 0 179808 62 0 0 25 0 1 0 199093084 250003456 59963 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 61036 59963 124 215 0 60818 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (Kb) 244144

[startup+1800.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1356392/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=244276 CPUtime=1799.7
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60195 0 0 0 179908 62 0 0 25 0 1 0 199093084 250138624 59995 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581014 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 61069 59995 124 215 0 60851 0
Current children cumulated CPU time (s) 1799.7
Current children cumulated vsize (Kb) 244276

[startup+1801.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1356264/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=244428 CPUtime=1800.71
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60222 0 0 0 180009 62 0 0 25 0 1 0 199093084 250294272 60022 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 61107 60022 124 215 0 60889 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 244428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6533
/proc/meminfo: memFree=1356264/2055920 swapFree=4180908/4192956
[pid=6531] ppid=6529 vsize=244428 CPUtime=1800.71
/proc/6531/stat : 6531 (minisat+) R 6529 6531 6485 0 -1 4194304 60222 0 0 0 180009 62 0 0 25 0 1 0 199093084 250294272 60022 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6531/statm: 61107 60022 124 215 0 60889 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 244428

Sending SIGTERM to -6531
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.23
CPU time (s): 1800.77
CPU user time (s): 1800.1
CPU system time (s): 0.670898
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (Kb): 244428

Launcher Data (download as text)

Begin job on node61 on Sat Jun  3 11:30:52 UTC 2006


FILE ID= 35051-1149334252

PBS_JOBID= 310048

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node61/35051-1149334252/instance-35051-1149334252.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-35051-1149334252 -o ROOT/results/node61/solver-35051-1149334252 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node61/35051-1149334252/instance-35051-1149334252.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  afb312a519ee7dfceb0c5aec9cb860b5

RANDOM SEED= 267255439


/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.232
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.232
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:       1597000 kB
Buffers:         12216 kB
Cached:         379684 kB
SwapCached:       3724 kB
Active:          38340 kB
Inactive:       362280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1597000 kB
SwapTotal:     4192956 kB
SwapFree:      4180908 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            44512 kB
Committed_AS:   350420 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node61 on Sat Jun  3 12:00:53 UTC 2006