Trace number 40775

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
bsolo 2006/05SAT1265106943 1800.04 1800.94

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
MD5SUM6eba7367ef128fb0872fe815e4ef2398
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1207959552
Best CPU time to get the best result obtained on this benchmark1800.35
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1207959552
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
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.26	c Time Limit set via PBTIMEOUT to 1800
0.28	c INFO: OSL Context initialized.
0.28	c BIG Int formula...
1.44	c Initial problem consists of 6651 variables and 721 constraints.
1.53	c No problem reductions applied in OPT. instance.
1.53	c	preprocess terminated. Elapsed time: 1.26
1.53	c After prepocess the problem consists of 6651 variables and 453 constraints.
1.53	c Initial Lower Bound: 0
1.59	c Sol. found (all assignments made)...
1.59	o 1342177279
1.59	c NEW SOLUTION FOUND: 1342177279 @ 1.323
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	o 1325400063
1.60	c NEW SOLUTION FOUND: 1325400063 @ 1.329
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.60	c Sol. found (all assignments made)...
1.61	c Sol. found (all assignments made)...
1.64	c Sol. found (all assignments made)...
1.64	o 1308622847
1.64	c NEW SOLUTION FOUND: 1308622847 @ 1.371
2.38	c Restart #1 #Var: 6651 LB: 0 @ 2.104
3.61	c Restart #2 #Var: 6651 LB: 0 @ 3.337
4.13	c Sol. found (all assignments made)...
4.13	o 1291845631
4.13	c NEW SOLUTION FOUND: 1291845631 @ 3.858
4.82	c Restart #3 #Var: 6651 LB: 0 @ 4.544
5.88	c Restart #4 #Var: 6651 LB: 0 @ 5.605
6.78	c Restart #5 #Var: 6651 LB: 0 @ 6.51
10.36	c Restart #6 #Var: 6651 LB: 0 @ 10.085
15.39	c CHANGE to MIS mode... 	UB: 1291845631	MIS: 1073741824	LPR: -2147483648 (0)	Diff: -0.5
15.39	c Restart #0 #Var: 6650 LB: 1073741824 @ 15.115
16.31	c Restart #1 #Var: 6650 LB: 1073741824 @ 16.026
17.29	c Restart #2 #Var: 6650 LB: 1073741824 @ 17.01
19.54	c Restart #3 #Var: 6650 LB: 1073741824 @ 19.26
20.06	c Sol. found (all assignments made)...
20.06	o 1275068415
20.06	c NEW SOLUTION FOUND: 1275068415 @ 19.785
20.07	c Sol. found (all assignments made)...
20.07	o 1274019839
20.07	c NEW SOLUTION FOUND: 1274019839 @ 19.793
20.08	c Sol. found (all assignments made)...
20.08	o 1266679807
20.08	c NEW SOLUTION FOUND: 1266679807 @ 19.802
20.54	c Sol. found (all assignments made)...
20.54	o 1265631231
20.54	c NEW SOLUTION FOUND: 1265631231 @ 20.258
21.79	c Sol. found (all assignments made)...
21.79	o 1265106943
21.79	c NEW SOLUTION FOUND: 1265106943 @ 21.507
29.01	c Restart #4 #Var: 6650 LB: 1073741824 @ 28.732
33.59	c Restart #5 #Var: 6650 LB: 1073741824 @ 33.307
36.04	c Restart #6 #Var: 6650 LB: 1073741824 @ 35.755
40.65	c Restart #7 #Var: 6650 LB: 1073741824 @ 40.363
46.77	c Restart #8 #Var: 6650 LB: 1073741824 @ 46.48
51.37	c Restart #9 #Var: 6648 LB: 1073741824 @ 51.081
57.48	c Restart #10 #Var: 6648 LB: 1073741824 @ 57.185
65.93	c Restart #11 #Var: 6648 LB: 1073741824 @ 65.64
80.40	c Restart #12 #Var: 6648 LB: 1073741824 @ 80.097
86.95	c Restart #13 #Var: 6648 LB: 1073741824 @ 86.645
104.73	c Restart #14 #Var: 6648 LB: 1073741824 @ 104.42
113.80	c Restart #15 #Var: 6648 LB: 1073741824 @ 113.49
135.46	c Restart #16 #Var: 6648 LB: 1073741824 @ 135.14
152.81	c Restart #17 #Var: 6648 LB: 1073741824 @ 152.49
163.40	c Restart #18 #Var: 6648 LB: 1073741824 @ 163.07
185.02	c Restart #19 #Var: 6648 LB: 1073741824 @ 184.69
200.60	c Restart #20 #Var: 6648 LB: 1073741824 @ 200.27
217.67	c Restart #21 #Var: 6648 LB: 1073741824 @ 217.32
246.14	c Restart #22 #Var: 6648 LB: 1073741824 @ 245.79
267.11	c Restart #23 #Var: 6648 LB: 1073741824 @ 266.76
284.32	c Restart #24 #Var: 6648 LB: 1073741824 @ 283.95
317.68	c Restart #25 #Var: 6648 LB: 1073741824 @ 317.31
342.06	c Restart #26 #Var: 6648 LB: 1073741824 @ 341.68
377.62	c Restart #27 #Var: 6648 LB: 1073741824 @ 377.23
401.43	c Restart #28 #Var: 6648 LB: 1073741824 @ 401.03
429.79	c Restart #29 #Var: 6648 LB: 1073741824 @ 429.38
452.39	c Restart #30 #Var: 6648 LB: 1073741824 @ 451.98
481.78	c Restart #31 #Var: 6648 LB: 1073741824 @ 481.35
499.94	c Restart #32 #Var: 6648 LB: 1073741824 @ 499.51
528.11	c Restart #33 #Var: 6648 LB: 1073741824 @ 527.67
563.80	c Restart #34 #Var: 6648 LB: 1073741824 @ 563.36
598.48	c Restart #35 #Var: 6648 LB: 1073741824 @ 598.03
631.39	c Restart #36 #Var: 6648 LB: 1073741824 @ 630.92
676.43	c Restart #37 #Var: 6648 LB: 1073741824 @ 675.94
717.63	c Restart #38 #Var: 6648 LB: 1073741824 @ 717.14
772.36	c Restart #39 #Var: 6648 LB: 1073741824 @ 771.84
810.02	c Restart #40 #Var: 6648 LB: 1073741824 @ 809.5
869.36	c Restart #41 #Var: 6648 LB: 1073741824 @ 868.82
913.75	c Restart #42 #Var: 6648 LB: 1073741824 @ 913.19
953.56	c Restart #43 #Var: 6648 LB: 1073741824 @ 952.99
1008.77	c Restart #44 #Var: 6648 LB: 1073741824 @ 1008.2
1048.89	c Restart #45 #Var: 6648 LB: 1073741824 @ 1048.2
1085.40	c Restart #46 #Var: 6648 LB: 1073741824 @ 1084.7
1128.77	c Restart #47 #Var: 6648 LB: 1073741824 @ 1128.1
1192.60	c Restart #48 #Var: 6648 LB: 1073741824 @ 1191.9
1248.01	c Restart #49 #Var: 6648 LB: 1073741824 @ 1247.3
1295.31	c Restart #50 #Var: 6648 LB: 1073741824 @ 1294.6
1354.67	c Restart #51 #Var: 6648 LB: 1073741824 @ 1353.9
1405.88	c Restart #52 #Var: 6648 LB: 1073741824 @ 1405.1
1454.13	c Restart #53 #Var: 6648 LB: 1073741824 @ 1453.3
1526.31	c Restart #54 #Var: 6648 LB: 1073741824 @ 1525.5
1577.48	c Restart #55 #Var: 6648 LB: 1073741824 @ 1576.7
1650.15	c Restart #56 #Var: 6648 LB: 1073741824 @ 1649.3
1693.83	c Restart #57 #Var: 6648 LB: 1073741824 @ 1693
1734.44	c Restart #58 #Var: 6648 LB: 1073741824 @ 1733.6
1800.90	s SATISFIABLE
1800.90	c Cost: 1265106943
1800.90	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 -x1142 -x2253
1800.90	v -x3364 -x4475 -x5586 -x6319 -x6430 -x6541 -x32 -x143 -x254 -x365 -x476 -x587 -x698 -x809 -x920 -x1031 -x1143 -x1254 -x1365
1800.90	v -x1476 -x1587 -x1698 -x1809 -x1920 -x2031 -x2142 -x2254 -x2365 -x2476 -x2587 -x2698 -x2809 -x2920 -x3031 -x3142 -x3253
1800.90	v -x3365 -x3476 -x3587 -x3698 -x3809 -x3920 -x4031 -x4142 -x4253 -x4364 -x4476 -x4587 -x4698 -x4809 -x4920 -x5031 -x5142
1800.90	v -x5253 -x5364 -x5475 -x5587 -x5698 -x5809 -x5920 -x6031 -x6142 -x6253 -x6286 x6297 -x6308 -x6320 -x6331 -x6342 -x6353
1800.90	v -x6364 -x6375 -x6386 -x6397 -x6408 -x6419 -x6431 -x6442 -x6453 -x6464 -x6475 -x6486 -x6497 x6508 -x6519 -x6530 -x6542
1800.90	v -x6553 -x6564 -x6575 -x6586 -x6597 -x6608 -x6619 -x6630 -x6641 -x33 -x44 -x55 -x66 -x77 -x88 -x99 -x110 -x121 -x132 -x144
1800.90	v -x155 -x166 -x177 -x188 -x199 -x210 -x221 -x232 -x243 -x255 -x266 x277 -x288 -x299 -x310 -x321 -x332 -x343 -x354 -x366 -x377
1800.90	v -x388 -x399 -x410 -x421 -x432 -x443 -x454 -x465 -x477 -x488 x499 -x510 -x521 -x532 -x543 -x554 -x565 -x576 -x588 -x599 -x610
1800.90	v -x621 -x632 -x643 -x654 -x665 -x676 -x687 -x699 -x710 -x721 -x732 -x743 -x754 -x765 -x776 -x787 -x798 -x810 -x821 -x832 -x843
1800.90	v -x854 -x865 -x876 -x887 -x898 -x909 -x921 -x932 x943 -x954 -x965 -x976 -x987 -x998 -x1009 -x1020 -x1032 -x1043 -x1054 -x1065
1800.90	v -x1076 -x1087 -x1098 -x1109 -x1120 -x1131 -x1144 -x1155 x1166 -x1177 -x1188 -x1199 -x1210 -x1221 -x1232 -x1243 -x1255
1800.90	v -x1266 -x1277 -x1288 -x1299 -x1310 -x1321 -x1332 -x1343 -x1354 -x1366 -x1377 -x1388 -x1399 -x1410 -x1421 -x1432 x1443
1800.90	v -x1454 -x1465 -x1477 -x1488 -x1499 -x1510 -x1521 -x1532 -x1543 -x1554 -x1565 -x1576 -x1588 -x1599 -x1610 -x1621 -x1632
1800.90	v -x1643 -x1654 -x1665 -x1676 -x1687 -x1699 -x1710 -x1721 -x1732 -x1743 -x1754 -x1765 -x1776 -x1787 -x1798 -x1810 -x1821
1800.90	v -x1832 -x1843 -x1854 -x1865 -x1876 -x1887 -x1898 -x1909 -x1921 -x1932 -x1943 -x1954 -x1965 -x1976 -x1987 -x1998 -x2009
1800.90	v -x2020 -x2032 -x2043 -x2054 -x2065 x2076 -x2087 -x2098 -x2109 -x2120 -x2131 -x2143 -x2154 -x2165 -x2176 -x2187 -x2198
1800.90	v -x2209 -x2220 -x2231 -x2242 -x2255 -x2266 -x2277 -x2288 -x2299 -x2310 -x2321 -x2332 x2343 -x2354 -x2366 -x2377 -x2388
1800.90	v -x2399 -x2410 -x2421 -x2432 -x2443 -x2454 -x2465 -x2477 -x2488 x2499 -x2510 -x2521 -x2532 -x2543 -x2554 -x2565 -x2576
1800.90	v -x2588 -x2599 -x2610 -x2621 -x2632 -x2643 -x2654 -x2665 -x2676 -x2687 -x2699 -x2710 -x2721 -x2732 -x2743 -x2754 -x2765
1800.90	v -x2776 -x2787 -x2798 -x2810 -x2821 -x2832 -x2843 -x2854 -x2865 -x2876 -x2887 -x2898 -x2909 -x2921 -x2932 -x2943 -x2954
1800.90	v -x2965 -x2976 -x2987 -x2998 -x3009 -x3020 -x3032 -x3043 -x3054 -x3065 -x3076 -x3087 -x3098 -x3109 -x3120 -x3131 -x3143
1800.90	v -x3154 -x3165 -x3176 -x3187 -x3198 -x3209 -x3220 -x3231 -x3242 -x3254 -x3265 -x3276 -x3287 -x3298 -x3309 -x3320 -x3331
1800.90	v -x3342 -x3353 -x3366 -x3377 -x3388 -x3399 -x3410 -x3421 -x3432 -x3443 -x3454 -x3465 -x3477 -x3488 -x3499 -x3510 -x3521
1800.90	v -x3532 -x3543 -x3554 -x3565 -x3576 -x3588 -x3599 -x3610 -x3621 -x3632 x3643 -x3654 -x3665 -x3676 -x3687 -x3699 -x3710
1800.90	v -x3721 -x3732 -x3743 -x3754 -x3765 -x3776 -x3787 -x3798 -x3810 -x3821 -x3832 -x3843 -x3854 -x3865 -x3876 x3887 -x3898
1800.90	v -x3909 -x3921 -x3932 -x3943 -x3954 -x3965 -x3976 -x3987 -x3998 -x4009 -x4020 -x4032 -x4043 -x4054 -x4065 -x4076 -x4087
1800.90	v -x4098 -x4109 -x4120 -x4131 -x4143 -x4154 -x4165 -x4176 -x4187 -x4198 -x4209 -x4220 -x4231 -x4242 -x4254 -x4265 x4276
1800.90	v -x4287 -x4298 -x4309 -x4320 -x4331 -x4342 -x4353 -x4365 -x4376 -x4387 -x4398 -x4409 -x4420 -x4431 -x4442 -x4453 -x4464
1800.90	v -x4477 -x4488 x4499 -x4510 -x4521 -x4532 -x4543 -x4554 -x4565 -x4576 -x4588 -x4599 -x4610 -x4621 -x4632 -x4643 -x4654
1800.90	v -x4665 -x4676 -x4687 -x4699 -x4710 x4721 -x4732 -x4743 -x4754 -x4765 -x4776 -x4787 -x4798 -x4810 -x4821 -x4832 -x4843
1800.90	v -x4854 -x4865 -x4876 -x4887 -x4898 -x4909 -x4921 -x4932 x4943 -x4954 -x4965 -x4976 -x4987 -x4998 -x5009 -x5020 -x5032
1800.90	v -x5043 -x5054 -x5065 -x5076 -x5087 -x5098 -x5109 -x5120 -x5131 -x5143 -x5154 x5165 -x5176 -x5187 -x5198 -x5209 -x5220
1800.90	v -x5231 -x5242 -x5254 -x5265 -x5276 -x5287 -x5298 -x5309 -x5320 -x5331 -x5342 -x5353 -x5365 -x5376 -x5387 -x5398 -x5409
1800.90	v -x5420 -x5431 x5442 -x5453 -x5464 -x5476 -x5487 -x5498 -x5509 -x5520 -x5531 -x5542 -x5553 -x5564 -x5575 -x5588 -x5599
1800.90	v -x5610 -x5621 -x5632 -x5643 -x5654 -x5665 -x5676 -x5687 -x5699 -x5710 -x5721 -x5732 -x5743 -x5754 -x5765 -x5776 -x5787
1800.90	v -x5798 -x5810 -x5821 -x5832 -x5843 -x5854 -x5865 -x5876 -x5887 -x5898 -x5909 -x5921 -x5932 -x5943 -x5954 -x5965 -x5976
1800.90	v -x5987 -x5998 -x6009 -x6020 -x6032 -x6043 -x6054 -x6065 -x6076 -x6087 -x6098 -x6109 -x6120 -x6131 -x6143 -x6154 x6165
1800.90	v -x6176 -x6187 -x6198 -x6209 -x6220 -x6231 -x6242 -x6254 -x6265 -x6276 -x6279 -x6280 x6281 -x6282 -x6283 -x6284 -x6285
1800.90	v -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304
1800.90	v -x6305 -x6306 -x6307 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6321 -x6322 x6323 -x6324
1800.90	v -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6343
1800.90	v -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361
1800.90	v -x6362 -x6363 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 x6373 -x6374 -x6376 -x6377 -x6378 -x6379 -x6380
1800.90	v -x6381 -x6382 -x6383 -x6384 -x6385 -x6387 -x6388 -x6389 -x6390 -x6391 x6392 -x6393 -x6394 -x6395 -x6396 -x6398 -x6399
1800.90	v -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417
1800.90	v -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437
1800.90	v -x6438 -x6439 -x6440 -x6441 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6454 -x6455 -x6456
1800.90	v -x6457 -x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474
1800.90	v -x6476 -x6477 -x6478 -x6479 -x6480 x6481 -x6482 -x6483 -x6484 -x6485 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493
1800.90	v -x6494 -x6495 -x6496 -x6498 -x6499 x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6509 -x6510 -x6511 -x6512
1800.90	v -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6531
1800.90	v -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6543 -x6544 x6545 -x6546 -x6547 -x6548 -x6549 -x6550
1800.90	v -x6551 -x6552 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6565 -x6566 -x6567 -x6568 -x6569
1800.90	v -x6570 -x6571 -x6572 -x6573 -x6574 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6587 -x6588
1800.90	v -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606
1800.90	v -x6607 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625
1800.90	v -x6626 -x6627 -x6628 -x6629 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 x6638 -x6639 -x6640 -x6642 -x6643 -x6644
1800.90	v -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x45 -x46 -x47 -x48 -x49
1800.90	v -x50 -x51 -x52 -x53 -x54 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x78
1800.90	v -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x100 -x101 -x102 -x103 -x104 x105
1800.90	v -x106 -x107 -x108 -x109 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1800.90	v -x129 x130 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152
1800.90	v x153 -x154 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175
1800.90	v -x176 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198
1800.90	v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x222
1800.90	v -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x244 -x245
1800.90	v -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x267 -x268 -x269
1800.90	v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x289 -x290 -x291 -x292
1800.90	v -x293 -x294 -x295 -x296 -x297 -x298 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x311 -x312 -x313 -x314 -x315
1800.90	v -x316 -x317 -x318 -x319 -x320 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x333 -x334 -x335 -x336 -x337 -x338
1800.90	v -x339 -x340 -x341 -x342 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x360 -x361
1800.90	v -x362 -x363 -x364 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385
1800.90	v -x386 -x387 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408
1800.90	v -x409 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431
1800.90	v -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x455
1800.90	v -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x478 -x479
1800.90	v -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x500 -x501 -x502
1800.90	v -x503 -x504 -x505 -x506 -x507 x508 -x509 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x522 -x523 -x524 -x525
1800.90	v -x526 -x527 -x528 -x529 x530 -x531 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x544 -x545 -x546 -x547 -x548
1800.90	v -x549 -x550 -x551 -x552 -x553 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x566 -x567 -x568 -x569 -x570 -x571
1800.90	v -x572 -x573 -x574 -x575 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x589 -x590 -x591 -x592 -x593 -x594 -x595
1800.90	v -x596 x597 -x598 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618
1800.90	v -x619 -x620 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641
1800.90	v -x642 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664
1800.90	v -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x688
1800.90	v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x711 -x712
1800.90	v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x733 -x734 -x735
1800.90	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x758
1800.90	v -x759 -x760 -x761 -x762 -x763 -x764 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x777 -x778 -x779 -x780 -x781
1800.90	v -x782 -x783 -x784 -x785 -x786 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x799 -x800 -x801 -x802 -x803 -x804
1800.90	v -x805 -x806 -x807 -x808 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x822 -x823 -x824 -x825 -x826 -x827 -x828
1800.90	v -x829 -x830 -x831 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851
1800.90	v -x852 -x853 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874
1800.90	v -x875 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
1800.90	v -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x922
1800.90	v -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x944 -x945
1800.90	v -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x966 -x967 -x968
1800.90	v -x969 -x970 x971 -x972 -x973 -x974 -x975 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x988 -x989 -x990 -x991
1800.90	v x992 -x993 -x994 -x995 -x996 -x997 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1010 -x1011 -x1012
1800.90	v -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
1800.90	v -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
1800.90	v -x1051 -x1052 -x1053 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1066 -x1067 -x1068 -x1069
1800.90	v -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1088
1800.90	v -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106
1800.90	v -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1121 -x1122 -x1123 x1124 -x1125
1800.90	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1145 -x1146
1800.90	v -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.90	v -x1165 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
1800.90	v -x1184 -x1185 -x1186 -x1187 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 -x1202
1800.90	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220
1800.90	v -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239
1800.90	v x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1256 -x1257 -x1258 -x1259
1800.90	v -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1278
1800.90	v -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1800.90	v -x1297 -x1298 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1311 -x1312 -x1313 -x1314 -x1315
1800.90	v -x1316 -x1317 -x1318 -x1319 -x1320 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1333 -x1334
1800.90	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x1350 -x1351 -x1352
1800.90	v -x1353 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372
1800.90	v -x1373 -x1374 -x1375 -x1376 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1389 -x1390 -x1391
1800.90	v -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409
1800.90	v -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428
1800.90	v -x1429 -x1430 -x1431 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1444 -x1445 -x1446 -x1447
1800.90	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1466
1800.90	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485
1800.90	v -x1486 -x1487 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1500 -x1501 -x1502 -x1503 -x1504
1800.90	v -x1505 -x1506 -x1507 -x1508 -x1509 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1522 -x1523
1800.90	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541
1800.90	v -x1542 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
1800.90	v -x1561 -x1562 -x1563 -x1564 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1577 -x1578 -x1579
1800.90	v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598
1800.90	v -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.90	v -x1618 -x1619 -x1620 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1633 -x1634 -x1635 -x1636
1800.90	v x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1655
1800.90	v -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
1800.90	v -x1674 -x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 -x1689 -x1690 -x1691 -x1692
1800.90	v -x1693 -x1694 -x1695 -x1696 -x1697 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1711 -x1712
1800.90	v -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
1800.90	v -x1731 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749
1800.90	v -x1750 -x1751 -x1752 -x1753 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1766 -x1767 -x1768
1800.90	v -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786
1800.90	v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805
1800.90	v -x1806 -x1807 -x1808 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1822 -x1823 -x1824 -x1825
1800.90	v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1844
1800.90	v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862
1800.90	v -x1863 -x1864 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1877 -x1878 -x1879 -x1880 -x1881
1800.90	v -x1882 -x1883 -x1884 x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1899 -x1900
1800.90	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918
1800.90	v -x1919 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938
1800.90	v -x1939 -x1940 -x1941 -x1942 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1955 -x1956 -x1957
1800.90	v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
1800.90	v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
1800.90	v -x1995 -x1996 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2010 -x2011 -x2012 -x2013
1800.90	v -x2014 x2015 -x2016 -x2017 -x2018 -x2019 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2033
1800.90	v -x2034 -x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051
1800.90	v -x2052 -x2053 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2066 -x2067 -x2068 -x2069 -x2070
1800.90	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2089
1800.90	v -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107
1800.90	v -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126
1800.90	v -x2127 x2128 -x2129 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2144 -x2145 -x2146
1800.90	v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164
1800.90	v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1800.90	v -x2184 -x2185 -x2186 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2199 -x2200 -x2201 -x2202
1800.90	v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2221
1800.90	v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239
1800.90	v -x2240 -x2241 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2256 -x2257 -x2258 -x2259 -x2260
1800.90	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2278 -x2279
1800.90	v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297
1800.90	v -x2298 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
1800.90	v -x2317 -x2318 -x2319 -x2320 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2333 -x2334 -x2335
1800.90	v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353
1800.90	v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373
1800.90	v -x2374 -x2375 -x2376 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2389 -x2390 -x2391 -x2392
1800.90	v x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2411
1800.90	v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429
1800.90	v -x2430 -x2431 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2444 -x2445 -x2446 -x2447 -x2448
1800.90	v -x2449 -x2450 -x2451 -x2452 -x2453 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2466 -x2467
1800.90	v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486
1800.90	v -x2487 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505
1800.90	v -x2506 -x2507 -x2508 -x2509 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2522 -x2523 -x2524
1800.90	v -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542
1800.90	v -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561
1800.90	v -x2562 -x2563 -x2564 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2577 -x2578 -x2579 -x2580
1800.90	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2600
1800.90	v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618
1800.90	v -x2619 -x2620 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2633 -x2634 -x2635 -x2636 -x2637
1800.90	v x2638 -x2639 -x2640 -x2641 -x2642 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2655 -x2656
1800.90	v -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674
1800.90	v -x2675 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693
1800.90	v -x2694 -x2695 -x2696 -x2697 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2711 -x2712 -x2713
1800.90	v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731
1800.90	v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750
1800.90	v -x2751 -x2752 -x2753 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2766 -x2767 -x2768 -x2769
1800.90	v -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2788
1800.90	v -x2789 -x2790 x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806
1800.90	v -x2807 -x2808 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2822 -x2823 -x2824 -x2825 -x2826
1800.90	v -x2827 -x2828 -x2829 -x2830 -x2831 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845
1800.90	v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863
1800.90	v -x2864 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882
1800.90	v -x2883 -x2884 -x2885 -x2886 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901
1800.90	v -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919
1800.90	v -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939
1800.90	v -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2955 -x2956 -x2957 -x2958
1800.90	v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2977
1800.90	v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995
1800.90	v x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3010 -x3011 -x3012 -x3013 -x3014
1800.90	v -x3015 -x3016 -x3017 -x3018 -x3019 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3033 -x3034
1800.90	v x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052
1800.90	v -x3053 -x3055 -x3056 x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071
1800.90	v -x3072 -x3073 -x3074 -x3075 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3088 -x3089 -x3090
1800.90	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108
1800.90	v -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127
1800.90	v -x3128 -x3129 -x3130 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3144 -x3145 x3146 -x3147
1800.90	v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3166
1800.90	v -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184
1800.90	v -x3185 -x3186 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3199 -x3200 -x3201 -x3202 -x3203
1800.90	v -x3204 -x3205 -x3206 -x3207 -x3208 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3221 -x3222
1800.90	v -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 x3240
1800.90	v -x3241 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260
1800.90	v -x3261 -x3262 -x3263 -x3264 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3277 -x3278 x3279
1800.90	v -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297
1800.90	v -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316
1800.90	v -x3317 -x3318 -x3319 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3332 -x3333 -x3334 -x3335
1800.90	v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3354
1800.90	v -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374
1800.90	v -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3389 -x3390 -x3391 -x3392 -x3393
1800.90	v -x3394 -x3395 -x3396 -x3397 -x3398 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3411 -x3412
1800.90	v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
1800.90	v -x3431 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449
1800.90	v -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3466 -x3467 -x3468
1800.90	v -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3478 -x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487
1800.90	v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506
1800.90	v -x3507 x3508 -x3509 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3522 -x3523 -x3524 -x3525
1800.90	v -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3544
1800.90	v -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562
1800.90	v -x3563 -x3564 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3577 -x3578 -x3579 -x3580 -x3581
1800.90	v -x3582 -x3583 -x3584 -x3585 -x3586 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3600 -x3601
1800.90	v -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3611 -x3612 x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619
1800.90	v -x3620 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3633 -x3634 x3635 -x3636 -x3637 -x3638
1800.90	v -x3639 -x3640 -x3641 -x3642 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3655 -x3656 x3657
1800.90	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675
1800.90	v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694
1800.90	v -x3695 -x3696 -x3697 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 x3708 -x3709 -x3711 -x3712 -x3713 -x3714
1800.90	v -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3733
1800.90	v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751
1800.90	v -x3752 -x3753 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3766 -x3767 -x3768 -x3769 -x3770
1800.90	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3788 -x3789
1800.90	v -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807
1800.90	v -x3808 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827
1800.90	v -x3828 -x3829 -x3830 -x3831 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3844 -x3845 -x3846
1800.90	v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864
1800.90	v -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 x3879 -x3880 -x3881 -x3882 -x3883
1800.90	v -x3884 -x3885 -x3886 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3899 -x3900 -x3901 -x3902
1800.90	v -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3922
1800.90	v -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
1800.90	v -x3941 -x3942 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3955 -x3956 -x3957 -x3958 -x3959
1800.90	v -x3960 -x3961 -x3962 -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3977 -x3978
1800.90	v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996
1800.90	v -x3997 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015
1800.90	v -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4033 -x4034 -x4035
1800.90	v -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053
1800.90	v -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072
1800.90	v -x4073 -x4074 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 x4082 -x4083 -x4084 -x4085 -x4086 -x4088 -x4089 -x4090 -x4091
1800.90	v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4110
1800.90	v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128
1800.90	v x4129 -x4130 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4144 -x4145 -x4146 -x4147 -x4148
1800.90	v -x4149 -x4150 -x4151 x4152 -x4153 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4166 -x4167
1800.90	v -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185
1800.90	v -x4186 -x4188 -x4189 -x4190 -x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204
1800.90	v -x4205 -x4206 -x4207 -x4208 -x4210 -x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4221 -x4222 -x4223
1800.90	v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4232 -x4233 -x4234 -x4235 -x4236 x4237 -x4238 -x4239 -x4240 -x4241
1800.90	v -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4255 -x4256 -x4257 -x4258 -x4259 x4260 -x4261
1800.90	v -x4262 -x4263 -x4264 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4277 -x4278 -x4279 -x4280
1800.90	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4288 -x4289 x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4299
1800.90	v -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317
1800.90	v -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4332 -x4333 -x4334 -x4335 -x4336
1800.90	v -x4337 -x4338 -x4339 -x4340 -x4341 -x4343 -x4344 -x4345 -x4346 -x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355
1800.90	v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374
1800.90	v -x4375 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393
1800.90	v -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4410 -x4411 -x4412
1800.90	v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430
1800.90	v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449
1800.90	v -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4465 -x4466 -x4467 -x4468
1800.90	v -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4489
1800.90	v -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507
1800.90	v -x4508 -x4509 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4522 -x4523 x4524 -x4525 -x4526
1800.90	v -x4527 -x4528 -x4529 -x4530 -x4531 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545
1800.90	v -x4546 -x4547 -x4548 x4549 -x4550 -x4551 -x4552 -x4553 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563
1800.90	v -x4564 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582
1800.90	v -x4583 -x4584 -x4585 -x4586 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4600 -x4601 -x4602
1800.90	v -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620
1800.90	v -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639
1800.90	v -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4655 -x4656 -x4657 -x4658
1800.90	v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4677
1800.90	v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695
1800.90	v -x4696 -x4697 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 -x4715
1800.90	v -x4716 -x4717 -x4718 -x4719 -x4720 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4729 -x4730 -x4731 -x4733 -x4734
1800.90	v -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 -x4752
1800.90	v -x4753 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4766 -x4767 -x4768 x4769 -x4770 -x4771
1800.90	v -x4772 -x4773 -x4774 -x4775 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4788 -x4789 x4790
1800.90	v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808
1800.90	v -x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828
1800.90	v -x4829 -x4830 -x4831 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4844 -x4845 -x4846 -x4847
1800.90	v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4866
1800.90	v -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884
1800.90	v -x4885 -x4886 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4899 -x4900 -x4901 -x4902 -x4903
1800.90	v -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4922 -x4923
1800.90	v -x4924 -x4925 x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941
1800.90	v -x4942 -x4944 -x4945 x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960
1800.90	v -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4977 -x4978 -x4979
1800.90	v -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997
1800.90	v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016
1800.90	v -x5017 -x5018 -x5019 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5033 -x5034 -x5035 -x5036
1800.90	v -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5055
1800.90	v -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073
1800.90	v -x5074 -x5075 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5088 -x5089 -x5090 -x5091 -x5092
1800.90	v -x5093 -x5094 -x5095 -x5096 -x5097 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5111
1800.90	v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129
1800.90	v -x5130 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149
1800.90	v -x5150 -x5151 -x5152 -x5153 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5166 -x5167 -x5168
1800.90	v -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186
1800.90	v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205
1800.90	v -x5206 -x5207 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 x5215 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224
1800.90	v -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5243
1800.90	v -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262
1800.90	v -x5263 -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5277 -x5278 -x5279 -x5280 x5281
1800.90	v -x5282 -x5283 -x5284 -x5285 -x5286 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5299 -x5300
1800.90	v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318
1800.90	v -x5319 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337
1800.90	v -x5338 -x5339 -x5340 -x5341 -x5343 -x5344 x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5354 -x5355 -x5356
1800.90	v -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5366 -x5367 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375
1800.90	v -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 -x5394
1800.90	v -x5395 -x5396 -x5397 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5410 -x5411 x5412 -x5413
1800.90	v -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5432
1800.90	v -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450
1800.90	v -x5451 -x5452 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5465 -x5466 -x5467 -x5468 -x5469
1800.90	v -x5470 -x5471 -x5472 -x5473 -x5474 -x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5488 -x5489
1800.90	v -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5499 -x5500 x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507
1800.90	v -x5508 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526
1800.90	v -x5527 -x5528 -x5529 -x5530 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5543 -x5544 -x5545
1800.90	v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563
1800.90	v -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582
1800.90	v -x5583 -x5584 -x5585 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5600 -x5601 -x5602 -x5603
1800.90	v -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5622
1800.90	v -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 -x5640
1800.90	v -x5641 -x5642 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5655 -x5656 -x5657 -x5658 -x5659
1800.90	v -x5660 -x5661 -x5662 -x5663 -x5664 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678
1800.90	v -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696
1800.90	v -x5697 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716
1800.90	v -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5733 -x5734 -x5735
1800.90	v -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753
1800.90	v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772
1800.90	v -x5773 -x5774 -x5775 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5788 -x5789 x5790 -x5791
1800.90	v -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5811
1800.90	v -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829
1800.90	v -x5830 -x5831 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5844 -x5845 -x5846 -x5847 -x5848
1800.90	v -x5849 -x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5866 -x5867
1800.90	v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885
1800.90	v -x5886 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904
1800.90	v -x5905 -x5906 -x5907 -x5908 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5922 -x5923 -x5924
1800.90	v -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942
1800.90	v -x5944 -x5945 x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961
1800.90	v -x5962 -x5963 -x5964 -x5966 -x5967 x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5977 -x5978 -x5979 -x5980
1800.90	v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5999
1800.90	v -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017
1800.90	v -x6018 -x6019 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6033 -x6034 -x6035 -x6036 -x6037
1800.90	v -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6055 -x6056
1800.90	v -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074
1800.90	v -x6075 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093
1800.90	v -x6094 -x6095 -x6096 -x6097 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6110 -x6111 -x6112
1800.90	v -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130
1800.90	v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150
1800.90	v -x6151 -x6152 -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6166 -x6167 -x6168 -x6169
1800.90	v -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6188
1800.90	v -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206
1800.90	v -x6207 -x6208 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6221 -x6222 -x6223 -x6224 -x6225
1800.90	v -x6226 -x6227 -x6228 -x6229 -x6230 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6243 -x6244
1800.90	v -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6255 -x6256 -x6257 -x6258 -x6259 x6260 -x6261 -x6262 -x6263
1800.90	v -x6264 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6277 -x6278
1800.91	c Exit Code: 10
1800.91	c Total time: 1800 s

Verifier Data (download as text)

OK	1265106943

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/node13/watcher-40775-1149317049 -o ROOT/results/node13/solver-40775-1149317049 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40775-1149317049/instance-40775-1149317049.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1873888/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=18540 CPUtime=0
/proc/24749/stat : 24749 (runsolver) D 24747 24749 24703 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 197367533 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 269757246759 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/24749/statm: 4635 279 243 16 0 2626 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1849320/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=28964 CPUtime=9.72
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 6558 0 2 0 965 7 0 0 25 0 1 0 197367533 29659136 6389 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537571 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 7241 6389 296 55 0 6133 0
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (Kb) 28964

[startup+20.0086 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1847536/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=30836 CPUtime=19.72
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7243 0 2 0 1963 9 0 0 25 0 1 0 197367533 31576064 6830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 7709 6830 297 55 0 6601 0
Current children cumulated CPU time (s) 19.72
Current children cumulated vsize (Kb) 30836

[startup+30.0149 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1845488/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=32820 CPUtime=29.73
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7795 0 2 0 2963 10 0 0 25 0 1 0 197367533 33607680 7352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 8205 7352 297 55 0 7097 0
Current children cumulated CPU time (s) 29.73
Current children cumulated vsize (Kb) 32820

[startup+40.0213 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1845488/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=32820 CPUtime=39.73
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7795 0 2 0 3962 11 0 0 25 0 1 0 197367533 33607680 7352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 8205 7352 297 55 0 7097 0
Current children cumulated CPU time (s) 39.73
Current children cumulated vsize (Kb) 32820

[startup+50.0276 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1845104/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=33184 CPUtime=49.73
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7895 0 2 0 4961 12 0 0 25 0 1 0 197367533 33980416 7446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696494 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 8296 7446 297 55 0 7188 0
Current children cumulated CPU time (s) 49.73
Current children cumulated vsize (Kb) 33184

[startup+60.034 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1845104/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=33184 CPUtime=59.73
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7895 0 2 0 5960 13 0 0 25 0 1 0 197367533 33980416 7446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 8296 7446 297 55 0 7188 0
Current children cumulated CPU time (s) 59.73
Current children cumulated vsize (Kb) 33184

[startup+70.0403 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1845168/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=33184 CPUtime=69.74
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 7895 0 2 0 6960 14 0 0 25 0 1 0 197367533 33980416 7446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 8296 7446 297 55 0 7188 0
Current children cumulated CPU time (s) 69.74
Current children cumulated vsize (Kb) 33184

[startup+80.0466 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1843568/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=34892 CPUtime=79.74
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 8297 0 2 0 7960 14 0 0 25 0 1 0 197367533 35729408 7848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 8723 7848 297 55 0 7615 0
Current children cumulated CPU time (s) 79.74
Current children cumulated vsize (Kb) 34892

[startup+90.053 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1842928/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=35488 CPUtime=89.74
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 8516 0 2 0 8960 14 0 0 25 0 1 0 197367533 36339712 8010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 8872 8010 297 55 0 7764 0
Current children cumulated CPU time (s) 89.74
Current children cumulated vsize (Kb) 35488

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1840496/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=37968 CPUtime=99.74
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9123 0 2 0 9960 14 0 0 25 0 1 0 197367533 38879232 8617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 9492 8617 297 55 0 8384 0
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (Kb) 37968

[startup+110.066 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1840496/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=37968 CPUtime=109.75
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9123 0 2 0 10960 15 0 0 25 0 1 0 197367533 38879232 8617 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 9492 8617 297 55 0 8384 0
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 37968

[startup+120.072 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1838576/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=39816 CPUtime=119.75
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9596 0 2 0 11960 15 0 0 25 0 1 0 197367533 40771584 9090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 9954 9090 297 55 0 8846 0
Current children cumulated CPU time (s) 119.75
Current children cumulated vsize (Kb) 39816

[startup+130.078 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1837872/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=40596 CPUtime=129.76
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9779 0 2 0 12960 16 0 0 25 0 1 0 197367533 41570304 9273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 10149 9273 297 55 0 9041 0
Current children cumulated CPU time (s) 129.76
Current children cumulated vsize (Kb) 40596

[startup+140.085 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1837872/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=40596 CPUtime=139.76
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9779 0 2 0 13960 16 0 0 25 0 1 0 197367533 41570304 9273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 10149 9273 297 55 0 9041 0
Current children cumulated CPU time (s) 139.76
Current children cumulated vsize (Kb) 40596

[startup+150.091 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1837616/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=40860 CPUtime=149.76
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9850 0 2 0 14960 16 0 0 25 0 1 0 197367533 41840640 9344 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 10215 9344 297 55 0 9107 0
Current children cumulated CPU time (s) 149.76
Current children cumulated vsize (Kb) 40860

[startup+160.097 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1837424/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=40992 CPUtime=159.76
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 9890 0 2 0 15960 16 0 0 25 0 1 0 197367533 41975808 9384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 10248 9384 297 55 0 9140 0
Current children cumulated CPU time (s) 159.76
Current children cumulated vsize (Kb) 40992

[startup+170.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1836784/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=41624 CPUtime=169.77
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 10047 0 2 0 16960 17 0 0 25 0 1 0 197367533 42622976 9541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 10406 9541 297 55 0 9298 0
Current children cumulated CPU time (s) 169.77
Current children cumulated vsize (Kb) 41624

[startup+180.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1835568/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=42868 CPUtime=179.77
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 10354 0 2 0 17959 18 0 0 25 0 1 0 197367533 43896832 9848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 10717 9848 297 55 0 9609 0
Current children cumulated CPU time (s) 179.77
Current children cumulated vsize (Kb) 42868

[startup+190.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1834864/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=43576 CPUtime=189.78
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 10642 0 2 0 18959 19 0 0 25 0 1 0 197367533 44621824 10027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134554127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 10894 10027 297 55 0 9786 0
Current children cumulated CPU time (s) 189.78
Current children cumulated vsize (Kb) 43576

[startup+200.123 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1833392/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=45012 CPUtime=199.78
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 10998 0 2 0 19959 19 0 0 25 0 1 0 197367533 46092288 10383 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604191 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 11253 10383 297 55 0 10145 0
Current children cumulated CPU time (s) 199.78
Current children cumulated vsize (Kb) 45012

[startup+210.129 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24749
/proc/meminfo: memFree=1831856/2055920 swapFree=4181416/4192956

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

/proc/24749/statm: 39431 38564 297 55 0 38323 0
Current children cumulated CPU time (s) 1760.21
Current children cumulated vsize (Kb) 157724

[startup+1771.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1719664/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=157724 CPUtime=1770.21
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40069 0 2 0 176926 95 0 0 25 0 1 0 197367533 161509376 38564 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533966 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39431 38564 297 55 0 38323 0
Current children cumulated CPU time (s) 1770.21
Current children cumulated vsize (Kb) 157724

[startup+1781.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718896/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158424 CPUtime=1780.22
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40262 0 2 0 177927 95 0 0 25 0 1 0 197367533 162226176 38754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39606 38754 297 55 0 38498 0
Current children cumulated CPU time (s) 1780.22
Current children cumulated vsize (Kb) 158424

[startup+1782.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718896/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158424 CPUtime=1781.22
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40262 0 2 0 178027 95 0 0 25 0 1 0 197367533 162226176 38754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39606 38754 297 55 0 38498 0
Current children cumulated CPU time (s) 1781.22
Current children cumulated vsize (Kb) 158424

[startup+1783.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718896/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158424 CPUtime=1782.23
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40262 0 2 0 178128 95 0 0 25 0 1 0 197367533 162226176 38754 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39606 38754 297 55 0 38498 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (Kb) 158424

[startup+1784.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718768/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158688 CPUtime=1783.23
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40297 0 2 0 178228 95 0 0 25 0 1 0 197367533 162496512 38789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39672 38789 297 55 0 38564 0
Current children cumulated CPU time (s) 1783.23
Current children cumulated vsize (Kb) 158688

[startup+1785.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158688 CPUtime=1784.24
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178329 95 0 0 25 0 1 0 197367533 162496512 38797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39672 38797 297 55 0 38564 0
Current children cumulated CPU time (s) 1784.24
Current children cumulated vsize (Kb) 158688

[startup+1786.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158688 CPUtime=1785.24
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178429 95 0 0 25 0 1 0 197367533 162496512 38797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39672 38797 297 55 0 38564 0
Current children cumulated CPU time (s) 1785.24
Current children cumulated vsize (Kb) 158688

[startup+1787.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158688 CPUtime=1786.24
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178529 95 0 0 25 0 1 0 197367533 162496512 38797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39672 38797 297 55 0 38564 0
Current children cumulated CPU time (s) 1786.24
Current children cumulated vsize (Kb) 158688

[startup+1788.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158688 CPUtime=1787.25
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178630 95 0 0 25 0 1 0 197367533 162496512 38797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39672 38797 297 55 0 38564 0
Current children cumulated CPU time (s) 1787.25
Current children cumulated vsize (Kb) 158688

[startup+1789.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158492 CPUtime=1788.25
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178730 95 0 0 25 0 1 0 197367533 162295808 38771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39623 38771 297 55 0 38515 0
Current children cumulated CPU time (s) 1788.25
Current children cumulated vsize (Kb) 158492

[startup+1790.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158492 CPUtime=1789.26
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178831 95 0 0 25 0 1 0 197367533 162295808 38771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39623 38771 297 55 0 38515 0
Current children cumulated CPU time (s) 1789.26
Current children cumulated vsize (Kb) 158492

[startup+1791.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158492 CPUtime=1790.26
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40305 0 2 0 178931 95 0 0 25 0 1 0 197367533 162295808 38771 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39623 38771 297 55 0 38515 0
Current children cumulated CPU time (s) 1790.26
Current children cumulated vsize (Kb) 158492

[startup+1792.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158624 CPUtime=1791.26
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40327 0 2 0 179031 95 0 0 25 0 1 0 197367533 162430976 38793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603851 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39656 38793 297 55 0 38548 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (Kb) 158624

[startup+1793.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718704/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158624 CPUtime=1792.27
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40335 0 2 0 179132 95 0 0 25 0 1 0 197367533 162430976 38801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39656 38801 297 55 0 38548 0
Current children cumulated CPU time (s) 1792.27
Current children cumulated vsize (Kb) 158624

[startup+1794.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158888 CPUtime=1793.27
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179232 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39722 38849 297 55 0 38614 0
Current children cumulated CPU time (s) 1793.27
Current children cumulated vsize (Kb) 158888

[startup+1795.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158888 CPUtime=1794.28
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179333 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39722 38849 297 55 0 38614 0
Current children cumulated CPU time (s) 1794.28
Current children cumulated vsize (Kb) 158888

[startup+1796.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158888 CPUtime=1795.28
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179433 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39722 38849 297 55 0 38614 0
Current children cumulated CPU time (s) 1795.28
Current children cumulated vsize (Kb) 158888

[startup+1797.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158888 CPUtime=1796.29
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179534 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541471 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39722 38849 297 55 0 38614 0
Current children cumulated CPU time (s) 1796.29
Current children cumulated vsize (Kb) 158888

[startup+1798.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158888 CPUtime=1797.29
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179634 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39722 38849 297 55 0 38614 0
Current children cumulated CPU time (s) 1797.29
Current children cumulated vsize (Kb) 158888

[startup+1799.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158888 CPUtime=1798.3
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179735 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39722 38849 297 55 0 38614 0
Current children cumulated CPU time (s) 1798.3
Current children cumulated vsize (Kb) 158888

[startup+1800.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 24944
/proc/meminfo: memFree=1718512/2055920 swapFree=4181416/4192956
[pid=24749] ppid=24747 vsize=158888 CPUtime=1799.3
/proc/24749/stat : 24749 (bsolo) R 24747 24749 24703 0 -1 0 40383 0 2 0 179835 95 0 0 25 0 1 0 197367533 162701312 38849 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24749/statm: 39722 38849 297 55 0 38614 0
Current children cumulated CPU time (s) 1799.3
Current children cumulated vsize (Kb) 158888

Child status: 10
Real time (s): 1800.94
CPU time (s): 1800.04
CPU user time (s): 1799.05
CPU system time (s): 0.98385
CPU usage (%): 99.9498
Max. virtual memory (cumulated for all children) (Kb): 158888

Launcher Data (download as text)

Begin job on node13 on Sat Jun  3 06:44:09 UTC 2006


FILE ID= 40775-1149317049

PBS_JOBID= 308413

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40775-1149317049/instance-40775-1149317049.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-40775-1149317049 -o ROOT/results/node13/solver-40775-1149317049 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node13/40775-1149317049/instance-40775-1149317049.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  6eba7367ef128fb0872fe815e4ef2398

RANDOM SEED= 100649825


/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.234
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.234
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:       1874288 kB
Buffers:           876 kB
Cached:         115748 kB
SwapCached:       3056 kB
Active:          30088 kB
Inactive:        95120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1874288 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14664 kB
Slab:            42404 kB
Committed_AS:   328724 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node13 on Sat Jun  3 07:14:10 UTC 2006