Trace number 36534

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
Pueblo 1.4SAT113007 1782.73 1783.36

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb
MD5SUMd35dbcd7bf8957c732cac3ff25f67cb4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark104028
Best CPU time to get the best result obtained on this benchmark1.20482
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104028
Optimality of the best value was proved YES
Number of variables282
Total number of constraints221
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints44
Minimum length of a constraint2
Maximum length of a constraint57
Number of terms in the objective function 282
Biggest coefficient in the objective function 64659
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524436
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 64659
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 524436
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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.01	c starting to Solve
0.01	c #variables read: 282 - #constraints read: 222
0.01	o 184000
0.01	o 182735
0.01	o 181881
0.01	o 181531
0.01	o 180724
0.01	o 170096
0.01	o 169911
0.01	o 169100
0.01	o 168831
0.01	o 168353
0.01	o 167443
0.01	o 166632
0.02	o 166069
0.02	o 165962
0.02	o 165356
0.02	o 165108
0.02	o 164648
0.02	o 135981
0.02	o 135651
0.02	o 131106
0.02	o 130196
0.02	o 129385
0.03	o 128208
0.03	o 127354
10.82	o 127017
10.82	o 126710
10.82	o 126617
10.82	o 123949
10.82	o 123856
10.82	o 123713
10.82	o 123620
10.83	o 122771
10.83	o 122564
10.83	o 122473
10.83	o 122471
10.83	o 122408
10.83	o 122265
10.83	o 122237
10.83	o 122235
10.83	o 122172
10.83	o 121789
10.83	o 121696
10.83	o 121166
10.83	o 121073
18.88	o 120835
18.88	o 120789
18.88	o 120759
18.89	o 120602
18.89	o 120594
18.90	o 120572
18.90	o 120568
18.90	o 120536
18.90	o 120528
18.90	o 120489
18.90	o 120457
18.90	o 120449
18.90	o 120417
18.90	o 120385
18.90	o 120381
18.90	o 120373
18.91	o 120356
18.91	o 120341
18.91	o 120309
18.91	o 120304
18.91	o 120272
18.91	o 120257
18.92	o 120225
18.92	o 119975
18.92	o 119899
18.92	o 119885
18.93	o 119853
18.93	o 119774
18.93	o 119766
18.93	o 119702
18.94	o 119694
18.95	o 119662
18.95	o 119614
18.95	o 119606
18.96	o 119495
18.96	o 119463
18.96	o 119391
18.96	o 119334
18.96	o 119326
18.96	o 119277
18.96	o 119269
18.97	o 119241
18.97	o 119233
18.97	o 119169
18.97	o 119161
18.98	o 119154
18.98	o 119093
18.98	o 119085
18.98	o 118974
18.99	o 118967
18.99	o 118856
19.00	o 118807
19.01	o 118792
19.01	o 118720
19.02	o 118670
19.02	o 118652
19.02	o 118585
19.03	o 118575
19.03	o 118503
19.04	o 118480
19.09	o 118469
19.09	o 118461
19.12	o 118458
19.12	o 118452
19.13	o 118393
19.13	o 118385
19.13	o 118358
19.13	o 118307
19.13	o 118286
19.14	o 118000
19.14	o 117671
19.14	o 117663
19.14	o 117655
19.14	o 117599
19.15	o 117559
19.15	o 117518
19.15	o 117510
19.15	o 117502
19.15	o 117478
19.16	o 117438
19.16	o 117386
19.16	o 117286
19.21	o 117245
19.22	o 117205
19.23	o 117197
19.23	o 117189
19.24	o 117137
19.24	o 117097
19.25	o 117089
19.25	o 117033
19.26	o 116997
19.26	o 116923
19.27	o 116914
19.30	o 116912
19.30	o 116904
19.31	o 116845
19.31	o 116837
19.31	o 116781
19.31	o 116623
19.41	o 116584
19.43	o 116566
19.43	o 116562
19.43	o 116558
19.44	o 116554
19.45	o 116536
19.45	o 116532
19.46	o 116477
19.46	o 116473
19.46	o 116469
19.47	o 116465
19.48	o 116464
19.48	o 116462
19.49	o 116459
19.49	o 116455
19.49	o 116427
19.50	o 116426
19.50	o 116422
19.50	o 116418
19.50	o 116414
19.51	o 116391
19.51	o 116389
19.52	o 116387
19.52	o 116383
19.53	o 116351
19.53	o 116347
19.72	o 116346
19.72	o 116336
19.72	o 116306
19.76	o 116277
19.76	o 116275
19.77	o 116273
19.82	o 116264
19.82	o 116218
19.85	o 116216
19.85	o 116214
19.85	o 116210
19.88	o 116199
19.95	o 116195
19.95	o 116191
19.96	o 116188
19.97	o 116174
19.97	o 116170
19.97	o 116160
19.97	o 116152
19.97	o 116148
19.97	o 116138
19.97	o 116130
19.98	o 116126
19.98	o 116116
19.98	o 116112
19.98	o 116098
19.99	o 116093
20.01	o 116085
20.01	o 116081
20.01	o 116071
20.01	o 116063
20.01	o 116059
20.03	o 116055
20.03	o 116018
20.04	o 116015
20.05	o 116010
20.05	o 115978
20.06	o 115951
20.06	o 115943
20.06	o 115911
20.07	o 115907
20.07	o 115879
20.07	o 115875
20.07	o 115871
20.07	o 115867
20.08	o 115803
20.08	o 115755
20.09	o 115751
20.09	o 115747
20.09	o 115743
20.10	o 115740
20.10	o 115739
20.10	o 115735
20.10	o 115731
20.11	o 115712
20.11	o 115708
20.11	o 115704
20.12	o 115700
20.12	o 115696
20.12	o 115672
20.29	o 115618
20.30	o 115615
20.30	o 115559
20.30	o 115551
20.33	o 115538
20.33	o 115510
20.36	o 115472
20.37	o 115470
20.37	o 115462
20.37	o 115406
20.37	o 115400
20.38	o 115379
20.38	o 115371
20.38	o 115315
20.40	o 115307
20.40	o 115277
20.40	o 115269
20.41	o 115248
20.43	o 115242
20.43	o 115234
20.44	o 115231
20.44	o 115223
20.45	o 115195
20.45	o 115174
20.46	o 115169
20.46	o 115167
20.46	o 115125
20.46	o 115117
20.46	o 115111
20.46	o 115103
20.59	o 115101
20.59	o 115100
20.59	o 115092
20.59	o 115087
20.59	o 115085
20.60	o 115043
20.61	o 115035
20.63	o 115031
20.63	o 115029
20.65	o 114973
20.65	o 114944
20.65	o 114937
20.67	o 114919
20.67	o 114911
20.67	o 114881
20.67	o 114852
20.67	o 114844
20.67	o 114820
20.68	o 114780
20.78	o 114718
20.80	o 114645
20.80	o 114637
20.81	o 114618
20.81	o 114592
20.81	o 114552
20.82	o 114546
20.82	o 114538
20.82	o 114531
20.82	o 114523
20.82	o 114499
20.83	o 114497
20.83	o 114489
20.83	o 114488
20.84	o 114485
20.85	o 114478
20.85	o 114461
20.85	o 114421
20.87	o 114413
20.87	o 114395
20.87	o 114387
20.88	o 114357
20.88	o 114336
20.89	o 114328
20.89	o 114320
20.89	o 114296
20.89	o 114256
21.68	o 114224
21.69	o 114119
21.69	o 113962
21.70	o 113831
21.83	o 113819
21.84	o 113817
21.84	o 113809
21.85	o 113802
21.85	o 113801
21.86	o 113789
21.86	o 113784
21.86	o 113782
21.86	o 113774
21.86	o 113764
21.86	o 113752
21.86	o 113744
21.87	o 113736
21.87	o 113724
21.87	o 113716
21.87	o 113712
21.88	o 113706
21.88	o 113698
21.88	o 113690
21.88	o 113678
21.88	o 113666
21.89	o 113646
21.89	o 113634
21.89	o 113626
21.89	o 113613
21.92	o 113591
21.92	o 113571
21.92	o 113557
21.94	o 113531
21.97	o 113529
21.97	o 113521
21.98	o 113497
21.99	o 113489
21.99	o 113481
22.00	o 113437
22.00	o 113436
22.00	o 113428
22.01	o 113427
22.02	o 113426
22.02	o 113418
22.02	o 113410
22.03	o 113366
22.03	o 113346
22.03	o 113334
22.04	o 113326
22.05	o 113308
22.05	o 113296
22.10	o 113288
22.11	o 113287
22.11	o 113275
22.11	o 113267
22.11	o 113259
22.11	o 113215
22.12	o 113203
22.12	o 113195
22.20	o 113158
22.21	o 113119
22.21	o 113091
22.22	o 113089
22.22	o 113077
22.22	o 113069
22.22	o 113027
22.22	o 113015
22.23	o 113007
1783.35	c total time              : 1783 s
1783.35	s SATISFIABLE
1783.35	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1783.35	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1783.35	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1783.35	v -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 x102 x103 x104 -x105 -x106
1783.35	v -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1783.35	v -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1783.35	v -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169
1783.35	v -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1783.35	v -x191 x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 x207 x208 -x209 -x210 -x211 -x212
1783.35	v x213 -x214 x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1783.35	v -x235 -x236 -x237 -x238 -x239 x240 -x241 x242 x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 x253 -x254 x255 -x256 x257
1783.35	v x258 -x259 -x260 x261 -x262 x263 x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 x273 x274 -x275 -x276 x277 -x278 -x279
1783.35	v -x280 -x281 x282

Verifier Data (download as text)

OK	113007

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/node74/watcher-36534-1149346912 -o ROOT/results/node74/solver-36534-1149346912 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node74/36534-1149346912/instance-36534-1149346912.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/64 10624
/proc/meminfo: memFree=1567208/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=2328 CPUtime=0
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 200355536 2383872 128 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7363448 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 582 128 109 16 0 11 0

[startup+10.0017 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 10624
/proc/meminfo: memFree=1566392/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=3220 CPUtime=9.99
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 447 0 0 0 970 29 0 0 25 0 1 0 200355536 3297280 418 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 805 418 205 16 0 246 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 3220

[startup+20.0077 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 10624
/proc/meminfo: memFree=1566008/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=3604 CPUtime=19.99
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 544 0 0 0 1931 68 0 0 25 0 1 0 200355536 3690496 515 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 901 515 205 16 0 342 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 3604

[startup+30.0136 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 10624
/proc/meminfo: memFree=1565624/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4000 CPUtime=29.99
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 652 0 0 0 2901 98 0 0 25 0 1 0 200355536 4096000 623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1000 623 205 16 0 441 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 4000

[startup+40.0196 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 10624
/proc/meminfo: memFree=1565624/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4000 CPUtime=39.99
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 652 0 0 0 3883 116 0 0 25 0 1 0 200355536 4096000 623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1000 623 205 16 0 441 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 4000

[startup+50.0255 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 10624
/proc/meminfo: memFree=1565688/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4000 CPUtime=49.99
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 652 0 0 0 4870 129 0 0 25 0 1 0 200355536 4096000 623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1000 623 205 16 0 441 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 4000

[startup+60.0315 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 10624
/proc/meminfo: memFree=1565496/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4260 CPUtime=60
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 5857 143 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1065 666 205 16 0 506 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 4260

[startup+70.0375 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 10624
/proc/meminfo: memFree=1565496/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4260 CPUtime=70
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 6839 161 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1065 666 205 16 0 506 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 4260

[startup+80.0444 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 10624
/proc/meminfo: memFree=1565496/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4260 CPUtime=80.01
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 7830 171 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1065 666 205 16 0 506 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 4260

[startup+90.0504 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 10624
/proc/meminfo: memFree=1565496/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4260 CPUtime=90.01
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 8821 180 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1065 666 205 16 0 506 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 4260

[startup+100.056 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 10624
/proc/meminfo: memFree=1565432/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4260 CPUtime=100.01
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 9811 190 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1065 666 205 16 0 506 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 4260

[startup+110.063 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 10624
/proc/meminfo: memFree=1565432/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4260 CPUtime=110.01
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 695 0 0 0 10800 201 0 0 25 0 1 0 200355536 4362240 666 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1065 666 205 16 0 506 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 4260

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1565368/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4388 CPUtime=120.01
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 724 0 0 0 11784 217 0 0 25 0 1 0 200355536 4493312 695 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1097 695 205 16 0 538 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 4388

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1565176/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4516 CPUtime=130.02
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 755 0 0 0 12770 232 0 0 25 0 1 0 200355536 4624384 726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1129 726 205 16 0 570 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 4516

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1565176/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4500 CPUtime=140.02
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 755 0 0 0 13756 246 0 0 25 0 1 0 200355536 4608000 726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1125 726 205 16 0 566 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 4500

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1565240/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4500 CPUtime=150.03
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 755 0 0 0 14741 262 0 0 25 0 1 0 200355536 4608000 726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1125 726 205 16 0 566 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 4500

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1565240/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4500 CPUtime=160.03
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 755 0 0 0 15731 272 0 0 25 0 1 0 200355536 4608000 726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1125 726 205 16 0 566 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 4500

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1565240/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4500 CPUtime=170.03
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 755 0 0 0 16720 283 0 0 25 0 1 0 200355536 4608000 726 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1125 726 205 16 0 566 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 4500

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1565240/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4500 CPUtime=180.03
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 763 0 0 0 17692 311 0 0 25 0 1 0 200355536 4608000 734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1125 734 205 16 0 566 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 4500

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1565176/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4500 CPUtime=190.04
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 763 0 0 0 18668 336 0 0 25 0 1 0 200355536 4608000 734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1125 734 205 16 0 566 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 4500

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1565176/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=4500 CPUtime=200.04
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 763 0 0 0 19644 360 0 0 25 0 1 0 200355536 4608000 734 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1125 734 205 16 0 566 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 4500

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1565176/2055920 swapFree=4182292/4192956

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

/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1590.4
Current children cumulated vsize (Kb) 5948

[startup+1600.97 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1600.41
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 156435 3606 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1600.41
Current children cumulated vsize (Kb) 5948

[startup+1610.98 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1610.4
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 157413 3627 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1610.4
Current children cumulated vsize (Kb) 5948

[startup+1620.98 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1620.41
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 158402 3639 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134516722 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1620.41
Current children cumulated vsize (Kb) 5948

[startup+1630.99 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1630.41
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 159388 3653 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1630.41
Current children cumulated vsize (Kb) 5948

[startup+1640.99 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563576/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1640.41
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 160374 3667 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1640.41
Current children cumulated vsize (Kb) 5948

[startup+1651 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563576/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1650.41
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 161364 3677 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1650.41
Current children cumulated vsize (Kb) 5948

[startup+1661.01 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563576/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1660.41
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 162358 3683 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1660.41
Current children cumulated vsize (Kb) 5948

[startup+1671.01 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563576/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1670.41
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 163349 3692 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1670.41
Current children cumulated vsize (Kb) 5948

[startup+1681.02 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563576/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1680.42
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 164340 3702 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1680.42
Current children cumulated vsize (Kb) 5948

[startup+1691.02 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1690.42
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 165326 3716 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1690.42
Current children cumulated vsize (Kb) 5948

[startup+1701.03 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1700.42
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 166310 3732 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1700.42
Current children cumulated vsize (Kb) 5948

[startup+1711.04 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1710.43
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 167300 3743 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1710.43
Current children cumulated vsize (Kb) 5948

[startup+1721.04 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1720.44
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 168287 3757 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1720.44
Current children cumulated vsize (Kb) 5948

[startup+1731.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1730.43
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 169274 3769 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1730.43
Current children cumulated vsize (Kb) 5948

[startup+1741.05 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1740.44
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 170268 3776 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1740.44
Current children cumulated vsize (Kb) 5948

[startup+1751.06 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1750.44
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 171258 3786 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1750.44
Current children cumulated vsize (Kb) 5948

[startup+1761.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563512/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1760.44
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1114 0 0 0 172238 3806 0 0 25 0 1 0 200355536 6090752 1085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1085 205 16 0 928 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 5948

[startup+1771.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563448/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=5948 CPUtime=1770.44
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1135 0 0 0 173211 3833 0 0 25 0 1 0 200355536 6090752 1106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1487 1106 205 16 0 928 0
Current children cumulated CPU time (s) 1770.44
Current children cumulated vsize (Kb) 5948

[startup+1781.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563320/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=6152 CPUtime=1780.45
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1169 0 0 0 174191 3854 0 0 25 0 1 0 200355536 6299648 1140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1538 1140 205 16 0 979 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 6152

[startup+1782.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563320/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=6152 CPUtime=1781.45
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1169 0 0 0 174289 3856 0 0 25 0 1 0 200355536 6299648 1140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1538 1140 205 16 0 979 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 6152

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10624
/proc/meminfo: memFree=1563320/2055920 swapFree=4182292/4192956
[pid=10624] ppid=10622 vsize=6152 CPUtime=1782.46
/proc/10624/stat : 10624 (Pueblo) R 10622 10624 10578 0 -1 4194304 1169 0 0 0 174389 3857 0 0 25 0 1 0 200355536 6299648 1140 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10624/statm: 1538 1140 205 16 0 979 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 6152

Child status: 10
Real time (s): 1783.36
CPU time (s): 1782.73
CPU user time (s): 1744.15
CPU system time (s): 38.5771
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (Kb): 6152

Launcher Data (download as text)

Begin job on node74 on Sat Jun  3 15:01:52 UTC 2006


FILE ID= 36534-1149346912

PBS_JOBID= 310746

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node74/36534-1149346912/instance-36534-1149346912.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-36534-1149346912 -o ROOT/results/node74/solver-36534-1149346912 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node74/36534-1149346912/instance-36534-1149346912.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  d35dbcd7bf8957c732cac3ff25f67cb4

RANDOM SEED= 787186765


/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.274
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.274
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:       1567416 kB
Buffers:         15544 kB
Cached:         410124 kB
SwapCached:       2324 kB
Active:         185916 kB
Inactive:       248360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1567416 kB
SwapTotal:     4192956 kB
SwapFree:      4182292 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:          15880 kB
Slab:            40312 kB
Committed_AS:   310592 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node74 on Sat Jun  3 15:31:35 UTC 2006