Trace number 39890

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/05SAT58 1800.28 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
MD5SUM6a8d837851671f69c34bdd14861bc7ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.94
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables2910
Total number of constraints56
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 constraints56
Minimum length of a constraint30
Maximum length of a constraint810
Number of terms in the objective function 2460
Biggest coefficient in the objective function 12627
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 526152
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526152
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.08	c Initial problem consists of 2910 variables and 70 constraints.
0.09	c	preprocess terminated. Elapsed time: 0.078
0.09	c After prepocess the problem consists of 1411 variables and 66 constraints.
0.09	c Initial Lower Bound: -248
0.24	c Restart #1 #Var: 1411 LB: -248 @ 0.224
0.44	c Restart #2 #Var: 1411 LB: -248 @ 0.431
0.74	c Restart #3 #Var: 1411 LB: -248 @ 0.727
1.11	c Restart #4 #Var: 1411 LB: -248 @ 1.097
1.55	c Restart #5 #Var: 1411 LB: -248 @ 1.536
2.06	c Restart #6 #Var: 1411 LB: -248 @ 2.05
3.10	c Restart #7 #Var: 1411 LB: -248 @ 3.083
5.64	c Restart #8 #Var: 1411 LB: -248 @ 5.621
6.90	c Restart #9 #Var: 1411 LB: -248 @ 6.881
8.90	c Restart #10 #Var: 1411 LB: -248 @ 8.884
10.47	c Restart #11 #Var: 1411 LB: -248 @ 10.449
12.06	c Restart #12 #Var: 1411 LB: -248 @ 12.046
14.32	c Restart #13 #Var: 1411 LB: -248 @ 14.302
15.91	c Restart #14 #Var: 1411 LB: -248 @ 15.89
17.07	c Restart #15 #Var: 1411 LB: -248 @ 17.048
19.43	c Restart #16 #Var: 1411 LB: -248 @ 19.414
21.38	c Restart #17 #Var: 1411 LB: -248 @ 21.359
23.36	c Restart #18 #Var: 1411 LB: -248 @ 23.343
33.37	c Restart #19 #Var: 1411 LB: -248 @ 33.346
35.28	c Restart #20 #Var: 1411 LB: -248 @ 35.258
37.44	c Restart #21 #Var: 1411 LB: -248 @ 37.414
40.20	c Restart #22 #Var: 1411 LB: -248 @ 40.175
43.22	c Restart #23 #Var: 1411 LB: -248 @ 43.189
56.55	c Restart #24 #Var: 1411 LB: -248 @ 56.522
57.98	c Restart #25 #Var: 1411 LB: -248 @ 57.945
60.95	c Restart #26 #Var: 1411 LB: -248 @ 60.919
65.29	c Restart #27 #Var: 1411 LB: -248 @ 65.259
71.37	c Restart #28 #Var: 1411 LB: -248 @ 71.34
94.20	c Restart #29 #Var: 1411 LB: -248 @ 94.156
99.70	c Restart #30 #Var: 1411 LB: -248 @ 99.655
105.01	c Restart #31 #Var: 1411 LB: -248 @ 104.97
108.13	c Restart #32 #Var: 1411 LB: -248 @ 108.09
112.27	c Restart #33 #Var: 1411 LB: -248 @ 112.22
115.31	c Restart #34 #Var: 1411 LB: -248 @ 115.27
120.28	c Restart #35 #Var: 1411 LB: -248 @ 120.23
122.72	c Restart #36 #Var: 1411 LB: -248 @ 122.68
126.83	c Restart #37 #Var: 1411 LB: -248 @ 126.78
129.70	c Restart #38 #Var: 1411 LB: -248 @ 129.65
136.28	c Restart #39 #Var: 1411 LB: -248 @ 136.22
142.39	c Restart #40 #Var: 1411 LB: -248 @ 142.33
147.32	c Restart #41 #Var: 1411 LB: -248 @ 147.27
153.72	c Restart #42 #Var: 1411 LB: -248 @ 153.66
159.52	c Restart #43 #Var: 1411 LB: -248 @ 159.47
162.38	c Restart #44 #Var: 1411 LB: -248 @ 162.33
167.89	c Restart #45 #Var: 1411 LB: -248 @ 167.83
175.47	c Restart #46 #Var: 1411 LB: -248 @ 175.4
182.30	c Restart #47 #Var: 1411 LB: -248 @ 182.23
214.01	c Restart #48 #Var: 1411 LB: -248 @ 213.94
221.14	c Restart #49 #Var: 1411 LB: -248 @ 221.07
228.86	c Restart #50 #Var: 1411 LB: -248 @ 228.79
235.86	c Restart #51 #Var: 1411 LB: -248 @ 235.78
251.47	c Restart #52 #Var: 1411 LB: -248 @ 251.39
261.31	c Restart #53 #Var: 1411 LB: -248 @ 261.22
266.91	c Restart #54 #Var: 1411 LB: -248 @ 266.82
272.98	c Restart #55 #Var: 1411 LB: -248 @ 272.9
283.10	c Restart #56 #Var: 1411 LB: -248 @ 283.01
316.38	c Restart #57 #Var: 1411 LB: -248 @ 316.28
326.34	c Restart #58 #Var: 1411 LB: -248 @ 326.24
337.00	c Restart #59 #Var: 1411 LB: -248 @ 336.9
343.65	c Restart #60 #Var: 1411 LB: -248 @ 343.55
358.30	c Restart #61 #Var: 1410 LB: -247 @ 358.19
435.22	c Restart #62 #Var: 1410 LB: -247 @ 435.08
444.44	c Restart #63 #Var: 1410 LB: -247 @ 444.31
453.93	c Restart #64 #Var: 1410 LB: -247 @ 453.8
463.32	c Restart #65 #Var: 1410 LB: -247 @ 463.18
472.17	c Restart #66 #Var: 1410 LB: -247 @ 472.03
484.31	c Restart #67 #Var: 1410 LB: -247 @ 484.17
492.11	c Restart #68 #Var: 1410 LB: -247 @ 491.97
504.53	c Restart #69 #Var: 1410 LB: -247 @ 504.38
513.25	c Restart #70 #Var: 1410 LB: -247 @ 513.1
525.10	c Restart #71 #Var: 1407 LB: -244 @ 524.94
534.23	c Restart #72 #Var: 1407 LB: -244 @ 534.07
544.72	c Restart #73 #Var: 1407 LB: -244 @ 544.56
570.51	c Restart #74 #Var: 1387 LB: -225 @ 570.34
581.56	c Restart #75 #Var: 1387 LB: -225 @ 581.39
594.44	c Restart #76 #Var: 1387 LB: -225 @ 594.27
604.60	c Restart #77 #Var: 1387 LB: -225 @ 604.42
614.49	c Restart #78 #Var: 1387 LB: -225 @ 614.31
624.58	c Restart #79 #Var: 1387 LB: -225 @ 624.4
642.56	c Restart #80 #Var: 1387 LB: -225 @ 642.37
721.37	c Restart #81 #Var: 1387 LB: -225 @ 721.16
735.25	c Restart #82 #Var: 1387 LB: -225 @ 735.04
775.77	c Restart #83 #Var: 1387 LB: -225 @ 775.55
792.30	c Restart #84 #Var: 1387 LB: -225 @ 792.07
800.50	c Restart #85 #Var: 1387 LB: -225 @ 800.27
816.59	c Restart #86 #Var: 1387 LB: -225 @ 816.36
830.30	c Restart #87 #Var: 1387 LB: -225 @ 830.06
843.38	c Restart #88 #Var: 1387 LB: -225 @ 843.14
849.13	c Restart #89 #Var: 1387 LB: -225 @ 848.89
861.02	c Restart #90 #Var: 1386 LB: -224 @ 860.77
869.24	c Restart #91 #Var: 1386 LB: -224 @ 868.99
883.64	c Restart #92 #Var: 1385 LB: -223 @ 883.39
900.48	c CHANGE Heuristic... 
900.48	c Restart #0 #Var: 1385 LB: -223 @ 900.23
907.00	c Restart #1 #Var: 1385 LB: -223 @ 906.75
908.13	c Restart #2 #Var: 1385 LB: -223 @ 907.87
910.41	c Restart #3 #Var: 1385 LB: -223 @ 910.15
912.38	c Restart #4 #Var: 1385 LB: -223 @ 912.12
913.55	c Restart #5 #Var: 1385 LB: -223 @ 913.3
914.96	c Restart #6 #Var: 1385 LB: -223 @ 914.7
917.08	c Restart #7 #Var: 1385 LB: -223 @ 916.82
919.44	c Restart #8 #Var: 1385 LB: -223 @ 919.18
922.51	c Restart #9 #Var: 1385 LB: -223 @ 922.25
924.19	c Restart #10 #Var: 1385 LB: -223 @ 923.93
926.49	c Restart #11 #Var: 1385 LB: -223 @ 926.23
932.20	c Restart #12 #Var: 1385 LB: -223 @ 931.94
934.33	c Restart #13 #Var: 1385 LB: -223 @ 934.07
936.74	c Restart #14 #Var: 1385 LB: -223 @ 936.47
940.41	c Restart #15 #Var: 1385 LB: -223 @ 940.14
944.15	c Restart #16 #Var: 1385 LB: -223 @ 943.89
946.31	c Restart #17 #Var: 1385 LB: -223 @ 946.04
950.70	c Restart #18 #Var: 1385 LB: -223 @ 950.43
953.36	c Restart #19 #Var: 1385 LB: -223 @ 953.09
956.80	c Restart #20 #Var: 1385 LB: -223 @ 956.53
959.30	c Restart #21 #Var: 1385 LB: -223 @ 959.03
967.99	c Restart #22 #Var: 1385 LB: -223 @ 967.71
971.50	c Restart #23 #Var: 1385 LB: -223 @ 971.22
971.97	c Sol. found (all assignments made)...
971.97	o 60
971.97	c NEW SOLUTION FOUND: 60 @ 971.7
971.97	c Sol. found (all assignments made)...
971.97	c Sol. found (all assignments made)...
971.97	c Sol. found (all assignments made)...
971.97	c Sol. found (all assignments made)...
971.97	c Sol. found (all assignments made)...
971.98	c Sol. found (all assignments made)...
971.98	c Sol. found (all assignments made)...
971.98	c Sol. found (all assignments made)...
971.98	o 59
971.98	c NEW SOLUTION FOUND: 59 @ 971.7
971.99	c Sol. found (all assignments made)...
972.07	c Sol. found (all assignments made)...
972.15	c Sol. found (all assignments made)...
972.15	c Sol. found (all assignments made)...
972.15	o 58
972.15	c NEW SOLUTION FOUND: 58 @ 971.88
972.16	c Sol. found (all assignments made)...
972.16	c Sol. found (all assignments made)...
972.17	c Sol. found (all assignments made)...
972.18	c Sol. found (all assignments made)...
972.19	c Sol. found (all assignments made)...
972.19	c Sol. found (all assignments made)...
972.19	c Sol. found (all assignments made)...
972.20	c Sol. found (all assignments made)...
972.20	c Sol. found (all assignments made)...
972.20	c Sol. found (all assignments made)...
972.20	c Sol. found (all assignments made)...
972.21	c Sol. found (all assignments made)...
975.01	c Restart #24 #Var: 1385 LB: -223 @ 974.74
984.32	c Restart #25 #Var: 1384 LB: -222 @ 984.04
996.52	c Restart #26 #Var: 1376 LB: -215 @ 996.24
1000.83	c Restart #27 #Var: 1376 LB: -215 @ 1000.5
1017.19	c CHANGE to MIS mode... 	UB: 58	MIS: -28	LPR: -40 (0.024667)	Diff: 0.7
1017.19	c Restart #0 #Var: 1376 LB: -215 @ 1016.9
1018.41	c Restart #1 #Var: 1361 LB: -33 @ 1018.1
1019.65	c Restart #2 #Var: 1361 LB: -33 @ 1019.4
1020.90	c Restart #3 #Var: 1361 LB: -33 @ 1020.6
1022.84	c Restart #4 #Var: 1361 LB: -33 @ 1022.6
1024.28	c Restart #5 #Var: 1361 LB: -33 @ 1024
1026.57	c Restart #6 #Var: 1361 LB: -33 @ 1026.3
1029.33	c Restart #7 #Var: 1361 LB: -33 @ 1029
1030.88	c Restart #8 #Var: 1361 LB: -33 @ 1030.6
1035.12	c Restart #9 #Var: 1361 LB: -33 @ 1034.8
1039.54	c Restart #10 #Var: 1361 LB: -33 @ 1039.2
1041.68	c Restart #11 #Var: 1361 LB: -33 @ 1041.4
1043.38	c Restart #12 #Var: 1361 LB: -33 @ 1043.1
1047.95	c Restart #13 #Var: 1361 LB: -33 @ 1047.7
1050.51	c Restart #14 #Var: 1361 LB: -33 @ 1050.2
1055.62	c Restart #15 #Var: 1361 LB: -33 @ 1055.3
1058.72	c Restart #16 #Var: 1361 LB: -33 @ 1058.4
1063.87	c Restart #17 #Var: 1361 LB: -33 @ 1063.6
1069.65	c Restart #18 #Var: 1361 LB: -33 @ 1069.3
1074.38	c Restart #19 #Var: 1361 LB: -33 @ 1074.1
1079.53	c Restart #20 #Var: 1361 LB: -33 @ 1079.2
1083.65	c Restart #21 #Var: 1361 LB: -33 @ 1083.3
1101.45	c Restart #22 #Var: 1361 LB: -33 @ 1101.1
1106.94	c Restart #23 #Var: 1361 LB: -33 @ 1106.6
1111.33	c Restart #24 #Var: 1361 LB: -33 @ 1111
1118.72	c Restart #25 #Var: 1361 LB: -33 @ 1118.4
1125.15	c Restart #26 #Var: 1361 LB: -33 @ 1124.8
1133.66	c Restart #27 #Var: 1361 LB: -33 @ 1133.3
1144.66	c Restart #28 #Var: 1361 LB: -33 @ 1144.3
1163.06	c Restart #29 #Var: 1361 LB: -33 @ 1162.7
1172.32	c Restart #30 #Var: 1361 LB: -33 @ 1172
1178.68	c Restart #31 #Var: 1361 LB: -33 @ 1178.3
1190.73	c Restart #32 #Var: 1361 LB: -33 @ 1190.4
1196.96	c Restart #33 #Var: 1361 LB: -33 @ 1196.6
1210.48	c Restart #34 #Var: 1361 LB: -33 @ 1210.1
1216.62	c Restart #35 #Var: 1361 LB: -33 @ 1216.2
1224.23	c Restart #36 #Var: 1361 LB: -33 @ 1223.9
1231.98	c Restart #37 #Var: 1361 LB: -33 @ 1231.6
1239.70	c Restart #38 #Var: 1361 LB: -33 @ 1239.3
1246.45	c Restart #39 #Var: 1361 LB: -33 @ 1246.1
1281.73	c Restart #40 #Var: 1361 LB: -33 @ 1281.3
1288.66	c Restart #41 #Var: 1361 LB: -33 @ 1288.3
1297.27	c Restart #42 #Var: 1361 LB: -33 @ 1296.9
1305.00	c Restart #43 #Var: 1361 LB: -33 @ 1304.6
1345.27	c Restart #44 #Var: 1361 LB: -33 @ 1344.9
1389.22	c Restart #45 #Var: 1361 LB: -33 @ 1388.8
1401.11	c Restart #46 #Var: 1361 LB: -33 @ 1400.7
1418.75	c Restart #47 #Var: 1361 LB: -33 @ 1418.3
1431.45	c Restart #48 #Var: 1361 LB: -98 @ 1431
1800.75	s SATISFIABLE
1800.75	c Cost: 58
1800.75	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
1800.75	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.75	v -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.75	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.75	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x181 -x182 -x183 -x184 -x185
1800.75	v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206
1800.75	v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227
1800.75	v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278
1800.75	v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299
1800.75	v -x300 x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 x309 x310 -x311 x312 x313 x314 -x315 -x316 x317 -x318 -x319 -x320 -x321
1800.75	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 x341 -x342
1800.75	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363
1800.75	v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384
1800.75	v -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 x393 x394 -x395 x396 x397 x398 x399 -x400 x401 x402 -x403 -x404 -x405 x406 -x407
1800.75	v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428
1800.75	v -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449
1800.75	v -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
1800.75	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491
1800.75	v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512
1800.75	v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533
1800.75	v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554
1800.75	v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575
1800.75	v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596
1800.75	v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617
1800.75	v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638
1800.75	v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659
1800.75	v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
1800.75	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701
1800.75	v -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722
1800.75	v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743
1800.75	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764
1800.75	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
1800.75	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1800.75	v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827
1800.75	v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848
1800.75	v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869
1800.75	v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
1800.75	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911
1800.75	v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932
1800.75	v -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953
1800.75	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974
1800.75	v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1021 -x1022 -x1023 -x1024
1800.75	v -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042
1800.75	v -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
1800.75	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
1800.75	v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
1800.75	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.75	v x1111 x1112 x1113 x1114 x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1800.75	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145
1800.75	v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162
1800.75	v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179
1800.75	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196
1800.75	v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1800.75	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
1800.75	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1800.75	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1351 -x1352 -x1353 -x1354
1800.75	v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371
1800.75	v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 x1382 x1383 -x1384 x1385 x1386 x1387 -x1388 -x1389
1800.75	v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406
1800.75	v -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423
1800.75	v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
1800.75	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457
1800.75	v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474
1800.75	v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491
1800.75	v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508
1800.75	v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525
1800.75	v -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542
1800.75	v -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559
1800.75	v -x1560 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 -x1600 -x1601 x1602 x1603 -x1604 -x1605 -x1606 -x1607
1800.75	v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624
1800.75	v -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641
1800.75	v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658
1800.75	v -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675
1800.75	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692
1800.75	v -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709
1800.75	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726
1800.75	v -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743
1800.75	v -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
1800.75	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
1800.75	v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794
1800.75	v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811
1800.75	v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828
1800.75	v -x1829 -x1830 -x1831 x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846
1800.75	v x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1921 -x1922 -x1923
1800.75	v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
1800.75	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1800.75	v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064
1800.75	v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081
1800.75	v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098
1800.75	v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1800.75	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132
1800.75	v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149
1800.75	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166
1800.75	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1800.75	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
1800.75	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1800.75	v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234
1800.75	v x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251
1800.75	v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268
1800.75	v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285
1800.75	v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302
1800.75	v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 -x2316 -x2317 x2318 -x2319 -x2320
1800.75	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337
1800.75	v -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354
1800.75	v -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371
1800.75	v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388
1800.75	v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405
1800.75	v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422
1800.75	v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469
1800.75	v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486
1800.75	v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503
1800.75	v -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
1800.75	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1800.75	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554
1800.75	v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571
1800.75	v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588
1800.75	v -x2589 x2590 -x2591 x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606
1800.75	v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623
1800.75	v x2624 x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641
1800.75	v -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658
1800.75	v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675
1800.75	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692
1800.75	v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709
1800.75	v -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726
1800.75	v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743
1800.75	v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
1800.75	v x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778
1800.75	v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795
1800.75	v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812
1800.75	v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829
1800.75	v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846
1800.75	v -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863
1800.75	v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
1800.75	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307
1800.75	v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324
1800.75	v -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341
1800.75	v -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1800.75	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x1261
1800.75	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278
1800.75	v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x991 -x992 -x993 -x994 -x995 -x996
1800.75	v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014
1800.75	v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 x1567 -x1568 -x1569 x1570 -x1571 -x1572
1800.75	v -x1573 -x1574 x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589
1800.75	v -x1590 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876
1800.75	v -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893
1800.75	v -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
1800.75	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987
1800.75	v -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004
1800.75	v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021
1800.75	v -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038
1800.75	v -x2039 -x2040 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445
1800.75	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x121 -x122 -x123
1800.75	v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.75	v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.75	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x1951 -x1952 -x1953 -x1954 -x1955
1800.75	v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972
1800.75	v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889
1800.75	v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906
1800.75	v -x2907 -x2908 -x2909 -x2910
1800.75	c Exit Code: 10
1800.75	c Total time: 1800.2 s

Verifier Data (download as text)

OK	58

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 19273
/proc/meminfo: memFree=1663192/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=4748 CPUtime=0
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 247 0 0 0 0 0 0 0 18 0 1 0 198076697 4861952 217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134559205 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 1231 225 153 55 0 123 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 19273
/proc/meminfo: memFree=1657576/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=10244 CPUtime=9.98
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 1791 0 0 0 996 2 0 0 25 0 1 0 198076697 10489856 1706 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555792 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 2561 1706 296 55 0 1453 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 10244

[startup+20.0099 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 19273
/proc/meminfo: memFree=1641776/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=26124 CPUtime=19.98
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 5739 0 0 0 1994 4 0 0 25 0 1 0 198076697 26750976 5651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 6531 5651 296 55 0 5423 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 26124

[startup+30.016 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 19273
/proc/meminfo: memFree=1637680/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=30436 CPUtime=29.99
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 6783 0 0 0 2993 6 0 0 25 0 1 0 198076697 31166464 6687 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 7609 6687 296 55 0 6501 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 30436

[startup+40.0222 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 19273
/proc/meminfo: memFree=1634480/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=33540 CPUtime=39.99
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 7579 0 0 0 3991 8 0 0 25 0 1 0 198076697 34344960 7482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 8385 7482 296 55 0 7277 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 33540

[startup+50.0283 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 19273
/proc/meminfo: memFree=1633584/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=34464 CPUtime=49.99
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 7797 0 0 0 4991 8 0 0 25 0 1 0 198076697 35291136 7700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 8616 7700 296 55 0 7508 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 34464

[startup+60.0345 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 19273
/proc/meminfo: memFree=1628336/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=39860 CPUtime=59.99
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 9123 0 0 0 5989 10 0 0 25 0 1 0 198076697 40816640 9012 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 9965 9012 296 55 0 8857 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 39860

[startup+70.0406 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 19273
/proc/meminfo: memFree=1624176/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=43952 CPUtime=70
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 10159 0 0 0 6988 12 0 0 25 0 1 0 198076697 45006848 10046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 10988 10046 296 55 0 9880 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 43952

[startup+80.0468 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 19273
/proc/meminfo: memFree=1624176/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=43952 CPUtime=80
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 10159 0 0 0 7988 12 0 0 25 0 1 0 198076697 45006848 10046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 10988 10046 296 55 0 9880 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 43952

[startup+90.0519 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 19273
/proc/meminfo: memFree=1624176/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=43952 CPUtime=90
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 10159 0 0 0 8988 12 0 0 25 0 1 0 198076697 45006848 10046 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 10988 10046 296 55 0 9880 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 43952

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 19273
/proc/meminfo: memFree=1604400/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=65000 CPUtime=100.01
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15166 0 0 0 9985 16 0 0 25 0 1 0 198076697 66560000 14981 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16250 14981 296 55 0 15142 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 65000

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 19273
/proc/meminfo: memFree=1603248/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=66056 CPUtime=110.01
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15441 0 0 0 10984 17 0 0 25 0 1 0 198076697 67641344 15256 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16514 15256 296 55 0 15406 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 66056

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19273
/proc/meminfo: memFree=1603312/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=65972 CPUtime=120.02
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15442 0 0 0 11983 19 0 0 25 0 1 0 198076697 67555328 15247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16493 15247 296 55 0 15385 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 65972

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19273
/proc/meminfo: memFree=1603376/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=65756 CPUtime=130.02
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15443 0 0 0 12982 20 0 0 25 0 1 0 198076697 67334144 15194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696641 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16439 15194 296 55 0 15331 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 65756

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19273
/proc/meminfo: memFree=1603376/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=65756 CPUtime=140.03
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15443 0 0 0 13981 22 0 0 25 0 1 0 198076697 67334144 15194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9096883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16439 15194 296 55 0 15331 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 65756

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19273
/proc/meminfo: memFree=1603376/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=65756 CPUtime=150.03
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15443 0 0 0 14980 23 0 0 25 0 1 0 198076697 67334144 15194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16439 15194 296 55 0 15331 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 65756

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19273
/proc/meminfo: memFree=1603376/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=65756 CPUtime=160.03
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15444 0 0 0 15979 24 0 0 25 0 1 0 198076697 67334144 15195 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16439 15195 296 55 0 15331 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 65756

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19273
/proc/meminfo: memFree=1602544/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=66792 CPUtime=170.03
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15698 0 0 0 16978 25 0 0 25 0 1 0 198076697 68395008 15447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603627 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16698 15447 296 55 0 15590 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 66792

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19273
/proc/meminfo: memFree=1602480/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=66924 CPUtime=180.03
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15713 0 0 0 17978 25 0 0 25 0 1 0 198076697 68530176 15462 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541173 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16731 15462 296 55 0 15623 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 66924

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19273
/proc/meminfo: memFree=1602480/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=66924 CPUtime=190.04
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15714 0 0 0 18978 26 0 0 25 0 1 0 198076697 68530176 15463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16731 15463 296 55 0 15623 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 66924

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19273
/proc/meminfo: memFree=1602480/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=66924 CPUtime=200.05
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 15714 0 0 0 19978 27 0 0 25 0 1 0 198076697 68530176 15463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 16731 15463 296 55 0 15623 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 66924

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19273
/proc/meminfo: memFree=1602416/2055920 swapFree=4180864/4192956

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

/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1760.54
Current children cumulated vsize (Kb) 373504

[startup+1771.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1770.54
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 176878 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1770.54
Current children cumulated vsize (Kb) 373504

[startup+1781.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1780.55
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 177879 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1780.55
Current children cumulated vsize (Kb) 373504

[startup+1782.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1781.55
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 177979 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 373504

[startup+1783.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1782.56
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178080 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 373504

[startup+1784.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1783.56
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178180 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 373504

[startup+1785.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1784.56
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178280 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 373504

[startup+1786.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1785.57
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178381 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 373504

[startup+1787.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1786.57
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178481 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 373504

[startup+1788.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1787.58
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178582 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 373504

[startup+1789.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1788.58
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178682 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 373504

[startup+1790.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1789.59
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178783 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 373504

[startup+1791.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1790.59
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178883 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 373504

[startup+1792.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1791.6
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 178984 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534045 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 373504

[startup+1793.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1792.6
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179084 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 373504

[startup+1794.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1793.61
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179185 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542318 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 373504

[startup+1795.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1794.61
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179285 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534124 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 373504

[startup+1796.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1795.62
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179386 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1795.62
Current children cumulated vsize (Kb) 373504

[startup+1797.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1796.62
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179486 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 373504

[startup+1798.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1797.62
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179586 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534994 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 373504

[startup+1799.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1798.63
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179687 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541526 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 373504

[startup+1800.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 19467
/proc/meminfo: memFree=1304624/2055920 swapFree=4180864/4192956
[pid=19273] ppid=19271 vsize=373504 CPUtime=1799.63
/proc/19273/stat : 19273 (bsolo) R 19271 19273 19227 0 -1 0 91953 0 0 0 179787 176 0 0 25 0 1 0 198076697 382468096 89751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19273/statm: 93376 89751 426 55 0 92268 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 373504

Child status: 10
Real time (s): 1800.82
CPU time (s): 1800.28
CPU user time (s): 1798.45
CPU system time (s): 1.82772
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (Kb): 373504

Launcher Data (download as text)

Begin job on node9 on Sat Jun  3 08:42:24 UTC 2006


FILE ID= 39890-1149324144

PBS_JOBID= 309524

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-adlittle.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39890-1149324144/instance-39890-1149324144.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-39890-1149324144 -o ROOT/results/node9/solver-39890-1149324144 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node9/39890-1149324144/instance-39890-1149324144.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  6a8d837851671f69c34bdd14861bc7ba

RANDOM SEED= 851233127


/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:       1663400 kB
Buffers:          6648 kB
Cached:         330380 kB
SwapCached:       3652 kB
Active:          27140 kB
Inactive:       318464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1663400 kB
SwapTotal:     4192956 kB
SwapFree:      4180864 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            32964 kB
Committed_AS:   335432 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node9 on Sat Jun  3 09:12:25 UTC 2006