Trace number 454130

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
oree 0.1.2 alphaSAT (TO)-85 1800.27 1800.89

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_1.opb
MD5SUM6a7c5d2366cf8704587c2ca2c97e69d0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-111
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -111
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6318
Sum of products size (including duplicates)12636
Number of different products3159
Sum of products size6318

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/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.06	c ...done
0.00/0.06	c #vars=3659 #constraints=7319 hasObjective=yes
0.19/0.28	c res. mode=mod
0.19/0.28	c VSIDS like heuristics
0.19/0.28	c complete search running
0.19/0.29	c nbDecision=82 #constraints=7319
0.19/0.29	c linear search for optimum
0.19/0.29	o -82
0.49/0.55	c restart after 401 decisions
0.59/0.61	c nbDecision=500 #constraints=7421
0.79/0.85	c restart after 801 decisions
1.00/1.02	c nbDecision=1000 #constraints=7532
1.39/1.48	c nbDecision=1500 #constraints=7654
1.49/1.50	c nbDecision=1530 #constraints=7656
1.49/1.50	o -83
1.49/1.59	c restart after 1601 decisions
1.99/2.08	c nbDecision=2000 #constraints=7772
2.79/2.85	c nbDecision=2500 #constraints=7931
3.69/3.73	c nbDecision=3000 #constraints=8096
3.99/4.02	c restart after 3201 decisions
4.49/4.58	c nbDecision=3500 #constraints=8201
5.29/5.33	c nbDecision=4000 #constraints=8321
6.09/6.15	c nbDecision=4500 #constraints=8444
7.09/7.13	c nbDecision=5000 #constraints=8569
8.09/8.13	c nbDecision=5500 #constraints=8691
9.39/9.42	c nbDecision=6000 #constraints=8839
10.39/10.48	c restart after 6401 decisions
11.09/11.18	c nbDecision=6500 #constraints=8970
12.79/12.88	c nbDecision=7000 #constraints=9154
15.09/15.12	c nbDecision=7500 #constraints=9356
17.18/17.28	c nbDecision=8000 #constraints=9538
19.19/19.21	c nbDecision=8500 #constraints=9698
20.89/20.98	c nbDecision=9000 #constraints=9848
23.09/23.11	c nbDecision=9500 #constraints=10012
25.79/25.86	c nbDecision=10000 #constraints=10199
28.59/28.60	c nbDecision=10500 #constraints=10373
30.78/30.86	c nbDecision=11000 #constraints=10518
33.18/33.20	c nbDecision=11500 #constraints=10660
35.08/35.15	c nbDecision=12000 #constraints=10785
37.08/37.11	c nbDecision=12500 #constraints=10906
38.08/38.15	c restart after 12801 decisions
40.27/40.30	c nbDecision=12982 #constraints=10989
40.27/40.30	o -84
40.37/40.42	c nbDecision=13000 #constraints=10998
42.38/42.42	c nbDecision=13500 #constraints=11116
45.08/45.16	c nbDecision=14000 #constraints=11255
48.07/48.11	c nbDecision=14500 #constraints=11402
50.28/50.38	c nbDecision=15000 #constraints=11517
52.57/52.69	c nbDecision=15500 #constraints=11631
54.77/54.80	c nbDecision=16000 #constraints=11732
57.17/57.26	c nbDecision=16500 #constraints=11848
59.87/59.90	c nbDecision=17000 #constraints=11958
62.47/62.58	c nbDecision=17500 #constraints=12067
65.57/65.63	c nbDecision=18000 #constraints=12202
68.47/68.57	c nbDecision=18500 #constraints=12320
72.47/72.56	c nbDecision=19000 #constraints=12494
76.47/76.57	c nbDecision=19500 #constraints=12655
81.27/81.33	c nbDecision=20000 #constraints=12831
85.26/85.31	c nbDecision=20500 #constraints=12968
88.66/88.79	c nbDecision=21000 #constraints=13108
92.16/92.27	c nbDecision=21500 #constraints=13240
96.46/96.55	c nbDecision=22000 #constraints=13395
101.06/101.13	c nbDecision=22500 #constraints=13546
105.56/105.67	c nbDecision=23000 #constraints=13694
109.65/109.73	c nbDecision=23500 #constraints=13832
113.55/113.65	c nbDecision=24000 #constraints=13962
118.55/118.68	c nbDecision=24500 #constraints=14102
124.45/124.54	c nbDecision=25000 #constraints=14247
131.95/132.08	c nbDecision=25500 #constraints=14437
132.95/133.08	c restart after 25601 decisions
139.35/139.46	c nbDecision=26000 #constraints=14545
144.04/144.11	c nbDecision=26500 #constraints=14665
150.04/150.13	c nbDecision=27000 #constraints=14804
155.94/156.01	c nbDecision=27500 #constraints=14933
162.13/162.24	c nbDecision=28000 #constraints=15088
169.14/169.25	c nbDecision=28500 #constraints=15266
178.53/178.67	c nbDecision=29000 #constraints=15484
185.53/185.62	c nbDecision=29500 #constraints=15652
192.33/192.48	c nbDecision=30000 #constraints=15824
200.23/200.34	c nbDecision=30500 #constraints=16004
208.02/208.15	c nbDecision=31000 #constraints=16177
214.62/214.77	c nbDecision=31500 #constraints=16331
220.32/220.40	c nbDecision=32000 #constraints=16461
225.12/225.27	c nbDecision=32500 #constraints=16578
230.31/230.42	c nbDecision=33000 #constraints=16689
235.91/236.09	c nbDecision=33500 #constraints=16809
242.91/243.06	c nbDecision=34000 #constraints=16941
249.91/250.08	c nbDecision=34500 #constraints=17098
255.20/255.36	c nbDecision=35000 #constraints=17211
260.01/260.18	c nbDecision=35500 #constraints=17327
264.60/264.73	c nbDecision=36000 #constraints=17434
270.10/270.29	c nbDecision=36500 #constraints=17543
276.29/276.40	c nbDecision=37000 #constraints=17662
282.00/282.19	c nbDecision=37500 #constraints=17775
288.39/288.55	c nbDecision=38000 #constraints=17894
294.29/294.43	c nbDecision=38500 #constraints=18006
300.59/300.75	c nbDecision=39000 #constraints=18136
306.69/306.81	c nbDecision=39500 #constraints=18262
314.08/314.22	c nbDecision=40000 #constraints=18413
321.98/322.18	c nbDecision=40500 #constraints=18573
330.38/330.53	c nbDecision=41000 #constraints=18729
339.78/339.92	c nbDecision=41500 #constraints=18898
347.57/347.70	c nbDecision=42000 #constraints=19040
354.37/354.54	c nbDecision=42500 #constraints=19176
360.77/360.97	c nbDecision=43000 #constraints=19305
368.46/368.64	c nbDecision=43500 #constraints=19452
376.96/377.16	c nbDecision=44000 #constraints=19604
385.26/385.41	c nbDecision=44500 #constraints=19752
393.46/393.61	c nbDecision=45000 #constraints=19903
401.75/401.96	c nbDecision=45500 #constraints=20047
408.96/409.11	c nbDecision=46000 #constraints=20179
416.14/416.39	c nbDecision=46500 #constraints=20312
423.25/423.46	c nbDecision=47000 #constraints=20423
429.75/429.99	c nbDecision=47500 #constraints=20527
437.04/437.23	c nbDecision=48000 #constraints=20631
444.24/444.49	c nbDecision=48500 #constraints=20737
452.13/452.39	c nbDecision=49000 #constraints=20846
461.43/461.64	c nbDecision=49500 #constraints=20972
470.13/470.36	c nbDecision=50000 #constraints=21110
479.23/479.46	c nbDecision=50500 #constraints=21246
487.32/487.58	c nbDecision=51000 #constraints=21356
490.62/490.80	c restart after 51201 decisions
500.52/500.75	c nbDecision=51500 #constraints=21448
508.62/508.85	c nbDecision=52000 #constraints=21567
516.61/516.88	c nbDecision=52500 #constraints=21671
523.71/523.93	c nbDecision=53000 #constraints=21774
531.41/531.69	c nbDecision=53500 #constraints=21876
540.00/540.25	c nbDecision=54000 #constraints=21986
549.81/550.09	c nbDecision=54500 #constraints=22104
561.09/561.32	c nbDecision=55000 #constraints=22233
570.39/570.65	c nbDecision=55500 #constraints=22354
580.60/580.87	c nbDecision=56000 #constraints=22496
591.29/591.53	c nbDecision=56500 #constraints=22644
601.39/601.62	c nbDecision=57000 #constraints=22781
611.38/611.62	c nbDecision=57500 #constraints=22927
621.18/621.43	c nbDecision=58000 #constraints=23066
631.57/631.86	c nbDecision=58500 #constraints=23220
645.17/645.42	c nbDecision=59000 #constraints=23391
654.97/655.28	c nbDecision=59500 #constraints=23529
665.66/665.91	c nbDecision=60000 #constraints=23670
677.86/678.15	c nbDecision=60500 #constraints=23821
688.66/688.94	c nbDecision=61000 #constraints=23955
700.55/700.82	c nbDecision=61500 #constraints=24100
710.45/710.70	c nbDecision=62000 #constraints=24227
721.04/721.39	c nbDecision=62500 #constraints=24367
732.54/732.81	c nbDecision=63000 #constraints=24517
749.23/749.51	c nbDecision=63500 #constraints=24709
762.13/762.43	c nbDecision=64000 #constraints=24867
772.73/773.05	c nbDecision=64500 #constraints=24999
785.13/785.47	c nbDecision=65000 #constraints=25145
797.31/797.67	c nbDecision=65500 #constraints=25284
808.22/808.53	c nbDecision=66000 #constraints=25414
816.21/816.55	c nbDecision=66500 #constraints=25517
824.81/825.19	c nbDecision=67000 #constraints=25616
832.91/833.24	c nbDecision=67500 #constraints=25718
841.80/842.17	c nbDecision=68000 #constraints=25817
847.10/847.44	c nbDecision=68357 #constraints=25876
847.10/847.44	o -85
849.59/849.97	c nbDecision=68500 #constraints=25906
858.70/859.02	c nbDecision=69000 #constraints=26003
868.29/868.65	c nbDecision=69500 #constraints=26102
879.70/880.02	c nbDecision=70000 #constraints=26211
889.78/890.11	c nbDecision=70500 #constraints=26325
901.29/901.63	c nbDecision=71000 #constraints=26456
911.78/912.12	c nbDecision=71500 #constraints=26565
920.87/921.29	c nbDecision=72000 #constraints=26664
929.38/929.78	c nbDecision=72500 #constraints=26759
939.37/939.75	c nbDecision=73000 #constraints=26867
948.77/949.18	c nbDecision=73500 #constraints=26964
956.96/957.39	c nbDecision=74000 #constraints=27055
966.36/966.72	c nbDecision=74500 #constraints=27150
976.65/977.06	c nbDecision=75000 #constraints=27250
987.96/988.39	c nbDecision=75500 #constraints=27356
999.85/1000.27	c nbDecision=76000 #constraints=27464
1011.44/1011.80	c nbDecision=76500 #constraints=27572
1022.84/1023.28	c nbDecision=77000 #constraints=27694
1034.43/1034.82	c nbDecision=77500 #constraints=27817
1046.24/1046.62	c nbDecision=78000 #constraints=27946
1058.33/1058.77	c nbDecision=78500 #constraints=28068
1069.83/1070.30	c nbDecision=79000 #constraints=28194
1081.42/1081.86	c nbDecision=79500 #constraints=28320
1093.42/1093.86	c nbDecision=80000 #constraints=28453
1108.31/1108.80	c nbDecision=80500 #constraints=28603
1121.30/1121.74	c nbDecision=81000 #constraints=28735
1132.90/1133.38	c nbDecision=81500 #constraints=28856
1145.40/1145.87	c nbDecision=82000 #constraints=28978
1159.49/1159.99	c nbDecision=82500 #constraints=29114
1170.89/1171.35	c nbDecision=83000 #constraints=29227
1184.18/1184.67	c nbDecision=83500 #constraints=29358
1195.88/1196.37	c nbDecision=84000 #constraints=29471
1207.38/1207.88	c nbDecision=84500 #constraints=29590
1220.07/1220.51	c nbDecision=85000 #constraints=29726
1235.27/1235.76	c nbDecision=85500 #constraints=29872
1251.86/1252.35	c nbDecision=86000 #constraints=30026
1264.66/1265.11	c nbDecision=86500 #constraints=30153
1277.46/1277.97	c nbDecision=87000 #constraints=30281
1290.45/1290.94	c nbDecision=87500 #constraints=30403
1303.75/1304.27	c nbDecision=88000 #constraints=30528
1316.44/1316.91	c nbDecision=88500 #constraints=30645
1333.74/1334.20	c nbDecision=89000 #constraints=30787
1356.33/1356.81	c nbDecision=89500 #constraints=30965
1377.72/1378.25	c nbDecision=90000 #constraints=31142
1395.51/1396.09	c nbDecision=90500 #constraints=31293
1416.70/1417.29	c nbDecision=91000 #constraints=31462
1439.60/1440.18	c nbDecision=91500 #constraints=31642
1462.79/1463.36	c nbDecision=92000 #constraints=31836
1486.88/1487.49	c nbDecision=92500 #constraints=32052
1514.67/1515.21	c nbDecision=93000 #constraints=32271
1538.46/1539.09	c nbDecision=93500 #constraints=32482
1564.45/1565.10	c nbDecision=94000 #constraints=32700
1593.65/1594.27	c nbDecision=94500 #constraints=32928
1614.24/1614.87	c nbDecision=95000 #constraints=33101
1627.34/1627.91	c nbDecision=95500 #constraints=33212
1642.23/1642.80	c nbDecision=96000 #constraints=33330
1657.92/1658.57	c nbDecision=96500 #constraints=33456
1677.41/1678.09	c nbDecision=97000 #constraints=33607
1695.01/1695.70	c nbDecision=97500 #constraints=33739
1711.41/1712.03	c nbDecision=98000 #constraints=33870
1724.50/1725.11	c nbDecision=98500 #constraints=33983
1736.90/1737.55	c nbDecision=99000 #constraints=34090
1753.99/1754.63	c nbDecision=99500 #constraints=34224
1771.49/1772.18	c nbDecision=100000 #constraints=34359
1789.58/1790.20	c nbDecision=100500 #constraints=34503
1800.08/1800.71	Received signal 15
1800.08/1800.78	
1800.08/1800.78	s SATISFIABLE
1800.08/1800.78	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 -x29 -x30 -x31 -x32 x33
1800.08/1800.78	v x34 x35 x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 x46 x47 -x48 -x49 x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61
1800.08/1800.78	v -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 x83 -x84 -x85 x86 -x87 -x88
1800.08/1800.78	v -x89 -x90 x91 -x92 x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 x108 -x109 x110 -x111 -x112
1800.08/1800.78	v -x113 -x114 x115 x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 -x133 x134
1800.08/1800.78	v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155
1800.08/1800.78	v -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176
1800.08/1800.78	v -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197
1800.08/1800.78	v -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218
1800.08/1800.78	v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239
1800.08/1800.78	v -x240 x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
1800.08/1800.78	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281
1800.08/1800.78	v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302
1800.08/1800.78	v -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323
1800.08/1800.78	v -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344
1800.08/1800.78	v -x345 -x346 -x347 x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365
1800.08/1800.78	v -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386
1800.08/1800.78	v -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 x407
1800.08/1800.78	v -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428
1800.08/1800.78	v -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 x447 -x448 -x449
1800.08/1800.78	v -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
1800.08/1800.78	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491
1800.08/1800.78	v -x492 -x493 x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512
1800.08/1800.78	v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533
1800.08/1800.78	v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554
1800.08/1800.78	v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575
1800.08/1800.78	v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596
1800.08/1800.78	v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617
1800.08/1800.78	v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638
1800.08/1800.78	v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659
1800.08/1800.78	v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
1800.08/1800.78	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701
1800.08/1800.78	v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722
1800.08/1800.78	v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743
1800.08/1800.78	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764
1800.08/1800.78	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
1800.08/1800.78	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1800.08/1800.78	v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827
1800.08/1800.78	v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848
1800.08/1800.78	v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869
1800.08/1800.78	v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
1800.08/1800.78	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911
1800.08/1800.78	v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932
1800.08/1800.78	v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953
1800.08/1800.78	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974
1800.08/1800.78	v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
1800.08/1800.78	v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013
1800.08/1800.78	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
1800.08/1800.78	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.08/1800.78	v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
1800.08/1800.78	v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1800.08/1800.78	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1800.08/1800.78	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1800.08/1800.78	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1800.08/1800.78	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149
1800.08/1800.78	v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166
1800.08/1800.78	v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
1800.08/1800.78	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1800.08/1800.78	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1800.08/1800.78	v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234
1800.08/1800.78	v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251
1800.08/1800.78	v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.08/1800.78	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285
1800.08/1800.78	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1800.08/1800.78	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1800.08/1800.78	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336
1800.08/1800.78	v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353
1800.08/1800.78	v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
1800.08/1800.78	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387
1800.08/1800.78	v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404
1800.08/1800.78	v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421
1800.08/1800.78	v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438
1800.08/1800.78	v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1800.08/1800.78	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472
1800.08/1800.78	v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489
1800.08/1800.78	v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1800.08/1800.78	v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
1800.08/1800.78	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
1800.08/1800.78	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557
1800.08/1800.78	v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574
1800.08/1800.78	v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591
1800.08/1800.78	v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
1800.08/1800.78	v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625
1800.08/1800.78	v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642
1800.08/1800.78	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659
1800.08/1800.78	v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676
1800.08/1800.78	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693
1800.08/1800.78	v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
1800.08/1800.78	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727
1800.08/1800.78	v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744
1800.08/1800.78	v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761
1800.08/1800.78	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
1800.08/1800.78	v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795
1800.08/1800.78	v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812
1800.08/1800.78	v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829
1800.08/1800.78	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846
1800.08/1800.78	v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863
1800.08/1800.78	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1800.08/1800.78	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
1800.08/1800.78	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914
1800.08/1800.78	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931
1800.08/1800.78	v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948
1800.08/1800.78	v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965
1800.08/1800.78	v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982
1800.08/1800.78	v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
1800.08/1800.78	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016
1800.08/1800.78	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033
1800.08/1800.78	v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
1800.08/1800.78	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067
1800.08/1800.78	v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084
1800.08/1800.78	v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101
1800.08/1800.78	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118
1800.08/1800.78	v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135
1800.08/1800.78	v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152
1800.08/1800.78	v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169
1800.08/1800.78	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186
1800.08/1800.78	v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203
1800.08/1800.78	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1800.08/1800.78	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237
1800.08/1800.78	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254
1800.08/1800.78	v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271
1800.08/1800.78	v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288
1800.08/1800.78	v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1800.08/1800.78	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322
1800.08/1800.78	v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339
1800.08/1800.78	v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356
1800.08/1800.78	v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373
1800.08/1800.78	v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
1800.08/1800.78	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407
1800.08/1800.78	v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424
1800.08/1800.78	v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441
1800.08/1800.78	v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458
1800.08/1800.78	v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475
1800.08/1800.78	v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492
1800.08/1800.78	v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509
1800.08/1800.78	v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526
1800.08/1800.78	v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543
1800.08/1800.78	v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
1800.08/1800.78	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577
1800.08/1800.78	v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594
1800.08/1800.78	v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611
1800.08/1800.78	v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628
1800.08/1800.78	v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645
1800.08/1800.78	v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662
1800.08/1800.78	v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679
1800.08/1800.78	v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696
1800.08/1800.78	v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713
1800.08/1800.78	v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
1800.08/1800.78	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747
1800.08/1800.78	v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764
1800.08/1800.78	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781
1800.08/1800.78	v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798
1800.08/1800.78	v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815
1800.08/1800.78	v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832
1800.08/1800.78	v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849
1800.08/1800.78	v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866
1800.08/1800.78	v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883
1800.08/1800.78	v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
1800.08/1800.78	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917
1800.08/1800.78	v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934
1800.08/1800.78	v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951
1800.08/1800.78	v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968
1800.08/1800.78	v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985
1800.08/1800.78	v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002
1800.08/1800.78	v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019
1800.08/1800.78	v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036
1800.08/1800.78	v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053
1800.08/1800.78	v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
1800.08/1800.78	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087
1800.08/1800.78	v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104
1800.08/1800.78	v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121
1800.08/1800.78	v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138
1800.08/1800.78	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155
1800.08/1800.78	v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172
1800.08/1800.78	v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189
1800.08/1800.78	v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206
1800.08/1800.78	v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223
1800.08/1800.78	v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
1800.08/1800.78	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257
1800.08/1800.78	v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274
1800.08/1800.78	v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291
1800.08/1800.78	v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308
1800.08/1800.78	v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325
1800.08/1800.78	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342
1800.08/1800.78	v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359
1800.08/1800.78	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376
1800.08/1800.78	v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393
1800.08/1800.78	v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
1800.08/1800.78	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427
1800.08/1800.78	v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444
1800.08/1800.78	v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461
1800.08/1800.78	v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478
1800.08/1800.78	v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495
1800.08/1800.78	v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512
1800.08/1800.78	v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529
1800.08/1800.78	v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546
1800.08/1800.78	v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563
1800.08/1800.78	v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
1800.08/1800.78	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597
1800.08/1800.78	v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614
1800.08/1800.78	v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631
1800.08/1800.78	v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648
1800.08/1800.78	v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659
1800.08/1800.78	
1800.08/1800.78	c user time= 1799.29 s
1800.08/1800.78	c system time= 0.879866 s
1800.08/1800.78	c wall clock time=1800.79

Verifier Data (download as text)

OK	-85

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb
mv /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb.tmp /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node38/watcher-454130-1178021715 -o ROOT/results/node38/solver-454130-1178021715 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb mod 

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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.23 1.16 1.10 3/77 17132
/proc/meminfo: memFree=1796704/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=1468 CPUtime=0
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 234338184 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 367 168 131 317 0 46 0

[startup+0.00835308 s]
/proc/loadavg: 1.23 1.16 1.10 3/77 17132
/proc/meminfo: memFree=1796704/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=1600 CPUtime=0
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 234338184 1638400 188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 400 189 131 317 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1600

[startup+0.10137 s]
/proc/loadavg: 1.23 1.16 1.10 3/77 17132
/proc/meminfo: memFree=1796704/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=4224 CPUtime=0.09
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 872 0 0 0 9 0 0 0 18 0 1 0 234338184 4325376 855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 1056 855 137 317 0 735 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4224

[startup+0.301408 s]
/proc/loadavg: 1.23 1.16 1.10 3/77 17132
/proc/meminfo: memFree=1796704/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=4952 CPUtime=0.29
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 1081 0 0 0 29 0 0 0 20 0 1 0 234338184 5070848 1013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 1238 1013 170 317 0 917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4952

[startup+0.701485 s]
/proc/loadavg: 1.23 1.16 1.10 3/77 17132
/proc/meminfo: memFree=1796704/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=7548 CPUtime=0.69
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 1747 0 0 0 69 0 0 0 24 0 1 0 234338184 7729152 1679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 1887 1679 170 317 0 1566 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7548

[startup+1.50164 s]
/proc/loadavg: 1.23 1.16 1.10 2/78 17133
/proc/meminfo: memFree=1789272/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=11864 CPUtime=1.49
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 2816 0 0 0 149 0 0 0 25 0 1 0 234338184 12148736 2748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 2966 2748 170 317 0 2645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11864

[startup+3.10194 s]
/proc/loadavg: 1.22 1.15 1.10 2/78 17133
/proc/meminfo: memFree=1784216/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=18896 CPUtime=3.09
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 4566 0 0 0 308 1 0 0 25 0 1 0 234338184 19349504 4498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 4724 4499 170 317 0 4403 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18896

[startup+6.30156 s]
/proc/loadavg: 1.22 1.15 1.10 2/78 17133
/proc/meminfo: memFree=1771352/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=30084 CPUtime=6.29
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 7278 0 0 0 626 3 0 0 25 0 1 0 234338184 30806016 7210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 7521 7210 170 317 0 7200 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30084

[startup+12.7018 s]
/proc/loadavg: 1.18 1.15 1.10 2/78 17133
/proc/meminfo: memFree=1757992/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=41136 CPUtime=12.69
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 10155 0 0 0 1264 5 0 0 25 0 1 0 234338184 42123264 10087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 10284 10087 170 317 0 9963 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41136

[startup+25.5012 s]
/proc/loadavg: 1.15 1.14 1.10 2/78 17133
/proc/meminfo: memFree=1734888/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=64824 CPUtime=25.48
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 15730 0 0 0 2541 7 0 0 25 0 1 0 234338184 66379776 15662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 16206 15662 170 317 0 15885 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64824

[startup+51.1012 s]
/proc/loadavg: 1.10 1.13 1.09 2/78 17133
/proc/meminfo: memFree=1703848/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=100408 CPUtime=51.07
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 23532 0 0 0 5095 12 0 0 25 0 1 0 234338184 102817792 23464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 25102 23464 170 317 0 24781 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 100408

[startup+102.306 s]
/proc/loadavg: 1.04 1.11 1.09 2/78 17133
/proc/meminfo: memFree=1666344/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=134120 CPUtime=102.26
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 32764 0 0 0 10207 19 0 0 25 0 1 0 234338184 137338880 32696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 33530 32696 170 317 0 33209 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 134120

[startup+162.301 s]
/proc/loadavg: 1.01 1.08 1.08 2/78 17133
/proc/meminfo: memFree=1639208/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=159536 CPUtime=162.23
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 39681 0 0 0 16200 23 0 0 25 0 1 0 234338184 163364864 39513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533521 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 39884 39513 170 317 0 39563 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 159536

[startup+222.302 s]
/proc/loadavg: 1.00 1.07 1.07 2/78 17133
/proc/meminfo: memFree=1601768/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=209196 CPUtime=222.22
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 48958 0 0 0 22194 28 0 0 25 0 1 0 234338184 214216704 48790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 52299 48790 170 317 0 51978 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 209196

[startup+282.302 s]
/proc/loadavg: 1.00 1.05 1.07 2/78 17133
/proc/meminfo: memFree=1578280/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=230324 CPUtime=282.2
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 54847 0 0 0 28189 31 0 0 25 0 1 0 234338184 235851776 54679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 57581 54679 170 317 0 57260 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 230324

[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.06 2/78 17133
/proc/meminfo: memFree=1557160/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=249708 CPUtime=342.18
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 60089 0 0 0 34184 34 0 0 25 0 1 0 234338184 255700992 59921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 62427 59921 170 317 0 62106 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 249708

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.06 2/78 17133
/proc/meminfo: memFree=1537256/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=267956 CPUtime=402.15
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 65069 0 0 0 40178 37 0 0 25 0 1 0 234338184 274386944 64901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 66989 64901 170 317 0 66668 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 267956

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/78 17133
/proc/meminfo: memFree=1520104/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=283492 CPUtime=462.13
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 69355 0 0 0 46174 39 0 0 25 0 1 0 234338184 290295808 69187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 70873 69187 170 317 0 70552 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 283492

[startup+522.303 s]
/proc/loadavg: 1.00 1.02 1.05 2/78 17133
/proc/meminfo: memFree=1505896/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=296408 CPUtime=522.12
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 72946 0 0 0 52170 42 0 0 25 0 1 0 234338184 303521792 72778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 74102 72778 170 317 0 73781 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 296408

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.04 2/78 17133
/proc/meminfo: memFree=1492200/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=309180 CPUtime=582.1
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 76325 0 0 0 58166 44 0 0 25 0 1 0 234338184 316600320 76157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 77295 76157 170 317 0 76974 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 309180

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.03 2/78 17135
/proc/meminfo: memFree=1476520/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=323056 CPUtime=642.07
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 80201 0 0 0 64162 45 0 0 25 0 1 0 234338184 330809344 80033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 80764 80033 170 317 0 80443 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 323056


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 17135
/proc/meminfo: memFree=1411624/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=421732 CPUtime=881.99
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 103241 0 0 0 88141 58 0 0 25 0 1 0 234338184 431853568 96209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 105433 96209 170 317 0 105112 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 421732

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1398440/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=432532 CPUtime=941.96
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 106551 0 0 0 94136 60 0 0 25 0 1 0 234338184 442912768 99519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 108133 99519 170 317 0 107812 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 432532

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1387304/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=442184 CPUtime=1001.95
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 109303 0 0 0 100133 62 0 0 25 0 1 0 234338184 452796416 102271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 110546 102271 170 317 0 110225 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 442184

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1375848/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=452472 CPUtime=1061.92
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 112200 0 0 0 106128 64 0 0 25 0 1 0 234338184 463331328 105168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 113118 105168 170 317 0 112797 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 452472

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1364072/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=463000 CPUtime=1121.9
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 115123 0 0 0 112124 66 0 0 25 0 1 0 234338184 474112000 108091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 115750 108091 170 317 0 115429 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 463000

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1351784/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=473512 CPUtime=1181.88
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 118394 0 0 0 118120 68 0 0 25 0 1 0 234338184 484876288 111164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 118378 111164 170 317 0 118057 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 473512

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1340584/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=483504 CPUtime=1241.87
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 121172 0 0 0 124116 71 0 0 25 0 1 0 234338184 495108096 113942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 120876 113942 170 317 0 120555 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 483504

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1329704/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=493100 CPUtime=1301.84
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 123894 0 0 0 130112 72 0 0 25 0 1 0 234338184 504934400 116631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 123275 116631 170 317 0 122954 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 493100

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1320232/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=501628 CPUtime=1361.82
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 126378 0 0 0 136108 74 0 0 25 0 1 0 234338184 513667072 119016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 125407 119016 170 317 0 125086 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 501628

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1310760/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=510136 CPUtime=1421.8
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 128812 0 0 0 142105 75 0 0 25 0 1 0 234338184 522379264 121384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 127534 121384 170 317 0 127213 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 510136

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1301160/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=518524 CPUtime=1481.78
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 131179 0 0 0 148101 77 0 0 25 0 1 0 234338184 530968576 123751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 129631 123751 170 317 0 129310 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 518524

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1291688/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=526792 CPUtime=1541.76
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 133562 0 0 0 154098 78 0 0 25 0 1 0 234338184 539435008 126134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 131698 126134 170 317 0 131377 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 526792

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1282280/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=534984 CPUtime=1601.74
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 135968 0 0 0 160094 80 0 0 25 0 1 0 234338184 547823616 128507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 133746 128507 170 317 0 133425 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 534984

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1273000/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=542932 CPUtime=1661.72
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 138257 0 0 0 166090 82 0 0 25 0 1 0 234338184 555962368 130796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 135733 130796 170 317 0 135412 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 542932

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1263848/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=551056 CPUtime=1721.7
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 140618 0 0 0 172086 84 0 0 25 0 1 0 234338184 564281344 133091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 137764 133091 170 317 0 137443 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 551056

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1255272/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=559180 CPUtime=1781.67
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 142965 0 0 0 178081 86 0 0 25 0 1 0 234338184 572600320 135405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 139795 135405 170 317 0 139474 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 559180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1252200/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=561400 CPUtime=1800.08
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 143552 0 0 0 179921 87 0 0 25 0 1 0 234338184 574873600 135959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 140350 135959 170 317 0 140029 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 561400

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17135
/proc/meminfo: memFree=1252200/2055920 swapFree=4154564/4192956
[pid=17132] ppid=17130 vsize=489456 CPUtime=1800.17
/proc/17132/stat : 17132 (oree) R 17130 17132 26515 0 -1 4194304 143572 0 0 0 179929 88 0 0 25 0 1 0 234338184 501202944 121253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17132/statm: 122299 121199 186 317 0 121978 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 489456

Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.27
CPU user time (s): 1799.3
CPU system time (s): 0.966853
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 561400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.966853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143572
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= 8
involuntary context switches= 38170

runsolver used 1.49477 second user time and 4.17836 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Tue May  1 12:15:15 UTC 2007

IDJOB= 454130
IDBENCH= 48176
IDSOLVER= 172
FILE ID= node38/454130-1178021715

PBS_JOBID= 4728327

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_1.opb
COMMAND LINE= oree /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-454130-1178021715 -o ROOT/results/node38/conversion-454130-1178021715 -C 600 -M 1800 /tmp/evaluation/454130-1178021715/substituteSizeProductKeyword /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-454130-1178021715 -o ROOT/results/node38/solver-454130-1178021715 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/454130-1178021715/instance-454130-1178021715.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  6a7c5d2366cf8704587c2ca2c97e69d0

RANDOM SEED= 623298674

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.263
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.263
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:       1797112 kB
Buffers:         50344 kB
Cached:         122456 kB
SwapCached:       6788 kB
Active:          93180 kB
Inactive:       106152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797112 kB
SwapTotal:     4192956 kB
SwapFree:      4154564 kB
Dirty:            1564 kB
Writeback:           0 kB
Mapped:          33144 kB
Slab:            44692 kB
Committed_AS:  3825348 kB
PageTables:       2072 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB

End job on node38 on Tue May  1 12:45:18 UTC 2007