Trace number 40058

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/05SAT-3468 1800.01 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb
MD5SUM7ddc5796bc843f2bf9bc94a0b22fd8e4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-4316
Best CPU time to get the best result obtained on this benchmark1800.59
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4362
Optimality of the best value was proved NO
Number of variables5383
Total number of constraints3279
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)276
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint2
Maximum length of a constraint2952
Number of terms in the objective function 2946
Biggest coefficient in the objective function 334
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 526119
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 254588
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526119
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.15	c Initial problem consists of 5383 variables and 3281 constraints.
0.17	c No problem reductions applied in OPT. instance.
0.17	c	preprocess terminated. Elapsed time: 0.154
0.17	c After prepocess the problem consists of 5296 variables and 3214 constraints.
0.17	c Initial Lower Bound: -501707
3.92	c Restart #1 #Var: 5296 LB: -501707 @ 3.909
11.56	c Restart #2 #Var: 5296 LB: -501707 @ 11.542
21.34	c Restart #3 #Var: 5296 LB: -501707 @ 21.319
38.09	c Restart #4 #Var: 5296 LB: -501707 @ 38.057
56.45	c Restart #5 #Var: 5296 LB: -501707 @ 56.412
79.43	c Restart #6 #Var: 5296 LB: -501707 @ 79.386
106.84	c Restart #7 #Var: 5296 LB: -501707 @ 106.79
110.66	c Sol. found (all assignments made)...
110.66	o -172
110.66	c NEW SOLUTION FOUND: -172 @ 110.6
110.66	c Sol. found (all assignments made)...
110.71	c Sol. found (all assignments made)...
110.71	c Sol. found (all assignments made)...
116.56	c Sol. found (all assignments made)...
116.57	c Sol. found (all assignments made)...
116.85	c Sol. found (all assignments made)...
116.85	c Sol. found (all assignments made)...
120.82	c Sol. found (all assignments made)...
120.82	c Sol. found (all assignments made)...
122.22	c Sol. found (all assignments made)...
122.22	c Sol. found (all assignments made)...
124.98	c Sol. found (all assignments made)...
124.98	c Sol. found (all assignments made)...
126.94	c Sol. found (all assignments made)...
127.04	c Sol. found (all assignments made)...
128.03	c Sol. found (all assignments made)...
128.03	o -202
128.03	c NEW SOLUTION FOUND: -202 @ 127.97
130.35	c Sol. found (all assignments made)...
130.35	c Sol. found (all assignments made)...
132.00	c Sol. found (all assignments made)...
132.00	c Sol. found (all assignments made)...
133.20	c Sol. found (all assignments made)...
133.52	c Sol. found (all assignments made)...
134.89	c Sol. found (all assignments made)...
135.84	c Sol. found (all assignments made)...
135.90	c Sol. found (all assignments made)...
137.03	c Sol. found (all assignments made)...
138.39	c Sol. found (all assignments made)...
138.39	c Sol. found (all assignments made)...
139.57	c Sol. found (all assignments made)...
139.57	c Sol. found (all assignments made)...
139.89	c Sol. found (all assignments made)...
139.89	o -203
139.89	c NEW SOLUTION FOUND: -203 @ 139.83
142.04	c Sol. found (all assignments made)...
142.04	c Sol. found (all assignments made)...
142.32	c Sol. found (all assignments made)...
144.39	c Sol. found (all assignments made)...
145.57	c Sol. found (all assignments made)...
145.62	c Sol. found (all assignments made)...
149.18	c Sol. found (all assignments made)...
149.18	o -289
149.18	c NEW SOLUTION FOUND: -289 @ 149.12
168.17	c Sol. found (all assignments made)...
168.17	o -506
168.17	c NEW SOLUTION FOUND: -506 @ 168.1
170.85	c Sol. found (all assignments made)...
170.85	o -640
170.85	c NEW SOLUTION FOUND: -640 @ 170.78
186.62	c Restart #8 #Var: 5296 LB: -501707 @ 186.54
190.55	c Sol. found (all assignments made)...
190.55	o -670
190.55	c NEW SOLUTION FOUND: -670 @ 190.47
191.60	c Sol. found (all assignments made)...
191.60	o -722
191.60	c NEW SOLUTION FOUND: -722 @ 191.53
192.18	c Sol. found (all assignments made)...
192.18	o -747
192.18	c NEW SOLUTION FOUND: -747 @ 192.1
194.45	c Restart #9 #Var: 5296 LB: -501707 @ 194.37
194.53	c Sol. found (all assignments made)...
194.53	o -950
194.53	c NEW SOLUTION FOUND: -950 @ 194.45
194.57	c Sol. found (all assignments made)...
194.57	o -1035
194.57	c NEW SOLUTION FOUND: -1035 @ 194.49
194.66	c Sol. found (all assignments made)...
194.66	o -1120
194.66	c NEW SOLUTION FOUND: -1120 @ 194.58
194.99	c Sol. found (all assignments made)...
194.99	o -1204
194.99	c NEW SOLUTION FOUND: -1204 @ 194.91
195.91	c Sol. found (all assignments made)...
195.91	o -1287
195.91	c NEW SOLUTION FOUND: -1287 @ 195.83
198.44	c Restart #10 #Var: 5296 LB: -501707 @ 198.36
198.45	c Sol. found (all assignments made)...
198.45	o -1858
198.45	c NEW SOLUTION FOUND: -1858 @ 198.37
198.46	c Sol. found (all assignments made)...
198.46	o -1910
198.46	c NEW SOLUTION FOUND: -1910 @ 198.38
198.47	c Sol. found (all assignments made)...
198.47	o -1943
198.47	c NEW SOLUTION FOUND: -1943 @ 198.39
198.49	c Sol. found (all assignments made)...
198.49	o -2026
198.49	c NEW SOLUTION FOUND: -2026 @ 198.41
198.56	c Sol. found (all assignments made)...
198.56	o -2078
198.56	c NEW SOLUTION FOUND: -2078 @ 198.48
198.62	c Sol. found (all assignments made)...
198.62	o -2122
198.62	c NEW SOLUTION FOUND: -2122 @ 198.54
199.08	c Sol. found (all assignments made)...
199.08	o -2139
199.08	c NEW SOLUTION FOUND: -2139 @ 199
201.71	c Sol. found (all assignments made)...
201.71	o -2148
201.71	c NEW SOLUTION FOUND: -2148 @ 201.63
201.72	c Sol. found (all assignments made)...
201.72	o -2165
201.72	c NEW SOLUTION FOUND: -2165 @ 201.64
202.23	c Sol. found (all assignments made)...
202.23	o -2187
202.23	c NEW SOLUTION FOUND: -2187 @ 202.15
202.23	c Sol. found (all assignments made)...
202.23	o -2231
202.23	c NEW SOLUTION FOUND: -2231 @ 202.15
202.24	c Sol. found (all assignments made)...
202.24	o -2248
202.24	c NEW SOLUTION FOUND: -2248 @ 202.16
204.99	c Restart #11 #Var: 5296 LB: -501707 @ 204.91
205.27	c Sol. found (all assignments made)...
205.27	o -2282
205.27	c NEW SOLUTION FOUND: -2282 @ 205.18
208.28	c Restart #12 #Var: 5296 LB: -501707 @ 208.2
211.51	c Restart #13 #Var: 5296 LB: -501707 @ 211.43
211.53	c Sol. found (all assignments made)...
211.53	o -2427
211.53	c NEW SOLUTION FOUND: -2427 @ 211.44
211.54	c Sol. found (all assignments made)...
211.54	o -2538
211.54	c NEW SOLUTION FOUND: -2538 @ 211.46
215.02	c Restart #14 #Var: 5296 LB: -501707 @ 214.94
215.89	c Sol. found (all assignments made)...
215.89	o -2583
215.89	c NEW SOLUTION FOUND: -2583 @ 215.8
216.00	c Sol. found (all assignments made)...
216.00	o -2600
216.00	c NEW SOLUTION FOUND: -2600 @ 215.92
217.41	c Sol. found (all assignments made)...
217.41	o -2602
217.41	c NEW SOLUTION FOUND: -2602 @ 217.33
218.00	c Sol. found (all assignments made)...
218.00	o -2668
218.00	c NEW SOLUTION FOUND: -2668 @ 217.91
218.04	c Sol. found (all assignments made)...
218.04	o -2685
218.04	c NEW SOLUTION FOUND: -2685 @ 217.96
219.70	c Sol. found (all assignments made)...
219.70	o -2729
219.70	c NEW SOLUTION FOUND: -2729 @ 219.62
219.72	c Sol. found (all assignments made)...
219.72	o -2746
219.72	c NEW SOLUTION FOUND: -2746 @ 219.63
219.89	c Sol. found (all assignments made)...
219.89	o -2801
219.89	c NEW SOLUTION FOUND: -2801 @ 219.8
219.91	c Sol. found (all assignments made)...
219.91	o -2818
219.91	c NEW SOLUTION FOUND: -2818 @ 219.82
220.09	c Sol. found (all assignments made)...
220.09	o -2819
220.09	c NEW SOLUTION FOUND: -2819 @ 220.01
220.17	c Sol. found (all assignments made)...
220.17	o -2886
220.17	c NEW SOLUTION FOUND: -2886 @ 220.09
220.19	c Sol. found (all assignments made)...
220.19	o -2903
220.19	c NEW SOLUTION FOUND: -2903 @ 220.1
220.65	c Sol. found (all assignments made)...
220.65	o -2969
220.65	c NEW SOLUTION FOUND: -2969 @ 220.56
220.67	c Sol. found (all assignments made)...
220.67	o -2986
220.67	c NEW SOLUTION FOUND: -2986 @ 220.59
224.53	c Restart #15 #Var: 5296 LB: -501707 @ 224.44
228.60	c Restart #16 #Var: 5296 LB: -501707 @ 228.51
232.80	c Restart #17 #Var: 5296 LB: -501707 @ 232.71
237.37	c Restart #18 #Var: 5296 LB: -501707 @ 237.27
243.07	c CHANGE to MIS mode... 	UB: -2986	MIS: -95509	LPR: -11134 (0.929)	Diff: 8.5781
243.07	c Restart #0 #Var: 5296 LB: -501707 @ 242.98
243.37	c Restart #1 #Var: 5296 LB: -95509 @ 243.27
243.88	c Restart #2 #Var: 5296 LB: -95509 @ 243.78
244.63	c Restart #3 #Var: 5296 LB: -95509 @ 244.53
245.61	c Restart #4 #Var: 5296 LB: -95509 @ 245.51
246.84	c Restart #5 #Var: 5296 LB: -95509 @ 246.74
248.30	c Restart #6 #Var: 5296 LB: -95509 @ 248.2
249.99	c Restart #7 #Var: 5296 LB: -95509 @ 249.89
252.03	c Restart #8 #Var: 5296 LB: -95509 @ 251.92
254.38	c Restart #9 #Var: 5296 LB: -95509 @ 254.27
256.91	c Restart #10 #Var: 5296 LB: -95509 @ 256.81
259.73	c Restart #11 #Var: 5296 LB: -95509 @ 259.62
262.85	c Restart #12 #Var: 5296 LB: -95509 @ 262.75
266.25	c Restart #13 #Var: 5296 LB: -95509 @ 266.14
269.81	c Restart #14 #Var: 5296 LB: -95509 @ 269.7
273.74	c Restart #15 #Var: 5296 LB: -95509 @ 273.63
277.89	c Restart #16 #Var: 5296 LB: -95509 @ 277.78
282.31	c Restart #17 #Var: 5296 LB: -95509 @ 282.2
286.99	c Restart #18 #Var: 5296 LB: -95509 @ 286.87
291.77	c Restart #19 #Var: 5296 LB: -95509 @ 291.66
296.89	c Restart #20 #Var: 5296 LB: -95509 @ 296.77
302.25	c Restart #21 #Var: 5296 LB: -95509 @ 302.13
307.82	c Restart #22 #Var: 5296 LB: -95509 @ 307.7
313.55	c Restart #23 #Var: 5296 LB: -95509 @ 313.43
313.70	c Sol. found (all assignments made)...
313.70	o -3000
313.70	c NEW SOLUTION FOUND: -3000 @ 313.58
316.62	c Sol. found (all assignments made)...
316.62	o -3017
316.62	c NEW SOLUTION FOUND: -3017 @ 316.49
324.87	c Restart #24 #Var: 5296 LB: -95509 @ 324.74
331.10	c Restart #25 #Var: 5296 LB: -95509 @ 330.97
337.67	c Restart #26 #Var: 5296 LB: -95509 @ 337.53
344.48	c Restart #27 #Var: 5296 LB: -95509 @ 344.34
351.49	c Restart #28 #Var: 5296 LB: -95509 @ 351.36
355.60	c Sol. found (all assignments made)...
355.60	o -3027
355.60	c NEW SOLUTION FOUND: -3027 @ 355.46
356.16	c Sol. found (all assignments made)...
356.16	o -3052
356.16	c NEW SOLUTION FOUND: -3052 @ 356.02
357.82	c Sol. found (all assignments made)...
357.82	o -3055
357.82	c NEW SOLUTION FOUND: -3055 @ 357.69
358.53	c Sol. found (all assignments made)...
358.53	o -3063
358.53	c NEW SOLUTION FOUND: -3063 @ 358.39
358.78	c Sol. found (all assignments made)...
358.78	o -3080
358.78	c NEW SOLUTION FOUND: -3080 @ 358.64
366.06	c Restart #29 #Var: 5296 LB: -95509 @ 365.92
373.60	c Restart #30 #Var: 5296 LB: -95509 @ 373.45
381.38	c Restart #31 #Var: 5296 LB: -95509 @ 381.24
389.45	c Restart #32 #Var: 5296 LB: -95509 @ 389.3
397.73	c Restart #33 #Var: 5296 LB: -95509 @ 397.58
406.34	c Restart #34 #Var: 5296 LB: -95509 @ 406.19
415.17	c Restart #35 #Var: 5296 LB: -95509 @ 415.02
424.32	c Restart #36 #Var: 5296 LB: -95509 @ 424.17
433.56	c Restart #37 #Var: 5296 LB: -95509 @ 433.4
443.33	c Restart #38 #Var: 5296 LB: -95509 @ 443.16
453.11	c Restart #39 #Var: 5296 LB: -95509 @ 452.94
463.16	c Restart #40 #Var: 5296 LB: -95509 @ 462.99
473.50	c Restart #41 #Var: 5296 LB: -95509 @ 473.32
484.03	c Restart #42 #Var: 5296 LB: -95509 @ 483.85
495.11	c Restart #43 #Var: 5296 LB: -95509 @ 494.93
506.39	c Restart #44 #Var: 5296 LB: -95509 @ 506.21
517.91	c Restart #45 #Var: 5296 LB: -95509 @ 517.72
529.62	c Restart #46 #Var: 5296 LB: -95509 @ 529.43
541.34	c Restart #47 #Var: 5296 LB: -95509 @ 541.14
553.58	c Restart #48 #Var: 5296 LB: -95509 @ 553.38
565.91	c Restart #49 #Var: 5296 LB: -95509 @ 565.7
578.50	c Restart #50 #Var: 5296 LB: -95509 @ 578.29
591.30	c Restart #51 #Var: 5296 LB: -95509 @ 591.09
604.42	c Restart #52 #Var: 5296 LB: -95509 @ 604.21
617.67	c Restart #53 #Var: 5296 LB: -95509 @ 617.45
631.49	c Restart #54 #Var: 5296 LB: -95509 @ 631.26
645.58	c Restart #55 #Var: 5296 LB: -95509 @ 645.35
659.98	c Restart #56 #Var: 5296 LB: -95509 @ 659.74
674.17	c Restart #57 #Var: 5296 LB: -95509 @ 673.93
689.00	c Restart #58 #Var: 5296 LB: -95509 @ 688.75
703.81	c Restart #59 #Var: 5296 LB: -95509 @ 703.56
719.19	c Restart #60 #Var: 5296 LB: -95509 @ 718.93
734.82	c Restart #61 #Var: 5296 LB: -95509 @ 734.56
750.29	c Restart #62 #Var: 5296 LB: -95509 @ 750.03
766.02	c Restart #63 #Var: 5296 LB: -95509 @ 765.75
782.06	c Restart #64 #Var: 5296 LB: -95509 @ 781.78
798.54	c Restart #65 #Var: 5296 LB: -95509 @ 798.26
815.20	c Restart #66 #Var: 5296 LB: -95509 @ 814.91
832.10	c Restart #67 #Var: 5296 LB: -95509 @ 831.81
849.46	c Restart #68 #Var: 5296 LB: -95509 @ 849.17
867.00	c Restart #69 #Var: 5296 LB: -95509 @ 866.7
867.68	c Sol. found (all assignments made)...
867.68	o -3107
867.68	c NEW SOLUTION FOUND: -3107 @ 867.38
869.25	c Sol. found (all assignments made)...
869.25	o -3128
869.25	c NEW SOLUTION FOUND: -3128 @ 868.95
871.20	c Sol. found (all assignments made)...
871.20	o -3135
871.20	c NEW SOLUTION FOUND: -3135 @ 870.9
871.28	c Sol. found (all assignments made)...
871.28	o -3188
871.28	c NEW SOLUTION FOUND: -3188 @ 870.98
871.55	c Sol. found (all assignments made)...
871.55	o -3208
871.55	c NEW SOLUTION FOUND: -3208 @ 871.25
871.61	c Sol. found (all assignments made)...
871.61	o -3241
871.61	c NEW SOLUTION FOUND: -3241 @ 871.31
871.88	c Sol. found (all assignments made)...
871.88	o -3248
871.88	c NEW SOLUTION FOUND: -3248 @ 871.58
871.94	c Sol. found (all assignments made)...
871.94	o -3301
871.94	c NEW SOLUTION FOUND: -3301 @ 871.64
875.15	c Sol. found (all assignments made)...
875.15	o -3306
875.15	c NEW SOLUTION FOUND: -3306 @ 874.85
875.37	c Sol. found (all assignments made)...
875.37	o -3366
875.37	c NEW SOLUTION FOUND: -3366 @ 875.07
877.67	c Sol. found (all assignments made)...
877.67	o -3383
877.67	c NEW SOLUTION FOUND: -3383 @ 877.37
879.61	c Sol. found (all assignments made)...
879.61	o -3384
879.61	c NEW SOLUTION FOUND: -3384 @ 879.31
885.78	c Sol. found (all assignments made)...
885.78	o -3408
885.78	c NEW SOLUTION FOUND: -3408 @ 885.47
885.99	c Sol. found (all assignments made)...
885.99	o -3468
885.99	c NEW SOLUTION FOUND: -3468 @ 885.69
903.49	c Restart #70 #Var: 5296 LB: -95509 @ 903.17
921.36	c Restart #71 #Var: 5296 LB: -95509 @ 921.04
939.60	c Restart #72 #Var: 5296 LB: -95509 @ 939.28
958.25	c Restart #73 #Var: 5296 LB: -95509 @ 957.92
976.84	c Restart #74 #Var: 5296 LB: -95509 @ 976.51
995.83	c Restart #75 #Var: 5296 LB: -95509 @ 995.49
1015.04	c Restart #76 #Var: 5296 LB: -95509 @ 1014.7
1034.49	c Restart #77 #Var: 5296 LB: -95509 @ 1034.1
1054.71	c Restart #78 #Var: 5296 LB: -95509 @ 1054.4
1075.72	c Restart #79 #Var: 5296 LB: -95509 @ 1075.4
1096.79	c Restart #80 #Var: 5296 LB: -95509 @ 1096.4
1117.59	c Restart #81 #Var: 5296 LB: -95509 @ 1117.2
1141.91	c Restart #82 #Var: 5296 LB: -95509 @ 1141.5
1163.22	c Restart #83 #Var: 5296 LB: -95509 @ 1162.8
1184.84	c Restart #84 #Var: 5296 LB: -95509 @ 1184.4
1206.71	c Restart #85 #Var: 5296 LB: -95509 @ 1206.3
1228.14	c Restart #86 #Var: 5296 LB: -95509 @ 1227.7
1251.01	c Restart #87 #Var: 5296 LB: -95509 @ 1250.6
1273.16	c Restart #88 #Var: 5296 LB: -95509 @ 1272.7
1295.90	c Restart #89 #Var: 5296 LB: -95509 @ 1295.4
1318.49	c Restart #90 #Var: 5296 LB: -95509 @ 1318
1341.78	c Restart #91 #Var: 5296 LB: -95509 @ 1341.3
1364.84	c Restart #92 #Var: 5296 LB: -95509 @ 1364.4
1389.01	c Restart #93 #Var: 5296 LB: -95509 @ 1388.5
1412.88	c Restart #94 #Var: 5296 LB: -95509 @ 1412.4
1436.83	c Restart #95 #Var: 5296 LB: -95509 @ 1436.3
1460.97	c Restart #96 #Var: 5296 LB: -95509 @ 1460.5
1485.95	c Restart #97 #Var: 5296 LB: -95509 @ 1485.4
1512.89	c Restart #98 #Var: 5296 LB: -95509 @ 1512.4
1538.17	c Restart #99 #Var: 5296 LB: -95509 @ 1537.6
1564.75	c Restart #100 #Var: 5296 LB: -95509 @ 1564.2
1590.43	c Restart #101 #Var: 5296 LB: -95509 @ 1589.9
1616.29	c Restart #102 #Var: 5296 LB: -95509 @ 1615.7
1642.02	c Restart #103 #Var: 5296 LB: -95509 @ 1641.5
1668.86	c Restart #104 #Var: 5296 LB: -95509 @ 1668.3
1695.70	c Restart #105 #Var: 5296 LB: -95509 @ 1695.1
1723.09	c Restart #106 #Var: 5296 LB: -95509 @ 1722.5
1752.10	c Restart #107 #Var: 5296 LB: -95509 @ 1751.5
1781.60	c Restart #108 #Var: 5296 LB: -95509 @ 1781
1800.62	s SATISFIABLE
1800.62	c Cost: -3468
1800.62	v -x1 -x1112 -x2281 -x3392 -x4503 -x4940 -x5051 -x5162 -x5273 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 -x1001 -x1113
1800.62	v -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 -x2282 -x2393 -x2504 -x2615 -x2726 -x2837 -x2948 -x3059
1800.62	v -x3170 -x3281 -x3393 x3504 -x3615 -x3726 -x3837 -x3948 -x4059 -x4170 -x4281 -x4392 -x4504 -x4615 -x4726 -x4837 -x4874
1800.62	v -x4885 -x4896 -x4907 -x4918 -x4929 -x4941 -x4952 -x4963 -x4974 -x4985 -x4996 -x5007 -x5018 -x5029 -x5040 -x5052 -x5063
1800.62	v -x5074 -x5085 -x5096 -x5107 -x5118 -x5129 -x5140 -x5151 -x5163 -x5174 -x5185 -x5196 -x5207 -x5218 -x5229 -x5240 -x5251
1800.62	v -x5262 -x5274 -x5285 -x5296 -x5307 -x5318 -x5329 -x5340 -x5351 -x5362 -x5373 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91
1800.62	v -x102 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 -x258 -x269 -x280 -x291 -x302 -x313 -x324
1800.62	v -x336 x347 -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558
1800.62	v -x569 -x580 -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791
1800.62	v -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013
1800.62	v -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202
1800.62	v -x1213 -x1225 -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391
1800.62	v -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580
1800.62	v -x1591 -x1602 -x1613 -x1624 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768
1800.62	v -x1780 -x1791 -x1802 -x1813 -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957
1800.62	v -x1968 -x1979 -x1990 -x2002 -x2013 -x2024 -x2035 -x2046 -x2057 -x2068 -x2079 -x2090 -x2101 -x2113 -x2124 -x2135 -x2146
1800.62	v -x2157 -x2226 -x2237 -x2248 -x2259 -x2270 -x2283 -x2294 -x2305 -x2316 -x2327 -x2338 -x2349 -x2360 -x2371 -x2382 -x2394
1800.62	v -x2405 -x2416 -x2427 -x2438 -x2449 -x2460 x2471 -x2482 -x2493 -x2505 -x2516 -x2527 -x2538 -x2549 -x2560 -x2571 -x2582
1800.62	v -x2593 -x2604 -x2616 -x2627 -x2638 -x2649 -x2660 -x2671 -x2682 -x2693 -x2704 -x2715 -x2727 -x2738 -x2749 -x2760 -x2771
1800.62	v -x2782 -x2793 -x2804 -x2815 -x2826 -x2838 -x2849 -x2860 -x2871 -x2882 -x2893 -x2904 -x2915 -x2926 -x2937 -x2949 -x2960
1800.62	v -x2971 -x2982 -x2993 -x3004 -x3015 -x3026 -x3037 -x3048 -x3060 -x3071 -x3082 -x3093 -x3104 -x3115 -x3126 -x3137 -x3148
1800.62	v -x3159 -x3171 -x3182 -x3193 -x3204 -x3215 -x3226 -x3237 -x3248 -x3259 -x3270 -x3282 -x3293 -x3304 -x3315 -x3326 -x3337
1800.62	v -x3348 -x3359 -x3370 -x3381 -x3394 -x3405 -x3416 -x3427 -x3438 -x3449 -x3460 x3471 -x3482 -x3493 -x3505 -x3516 -x3527
1800.62	v -x3538 -x3549 -x3560 -x3571 -x3582 -x3593 -x3604 -x3616 -x3627 -x3638 -x3649 -x3660 -x3671 -x3682 x3693 -x3704 -x3715
1800.62	v -x3727 -x3738 -x3749 -x3760 -x3771 -x3782 -x3793 -x3804 -x3815 -x3826 -x3838 -x3849 -x3860 -x3871 -x3882 -x3893 -x3904
1800.62	v -x3915 -x3926 -x3937 -x3949 -x3960 -x3971 -x3982 -x3993 -x4004 -x4015 -x4026 -x4037 -x4048 -x4060 -x4071 -x4082 -x4093
1800.62	v -x4104 -x4115 -x4126 -x4137 -x4148 -x4159 -x4171 -x4182 -x4193 -x4204 -x4215 -x4226 -x4237 -x4248 -x4259 -x4270 -x4282
1800.62	v -x4293 -x4304 -x4315 -x4326 -x4337 -x4348 -x4359 -x4370 -x4381 -x4393 -x4404 -x4415 -x4426 -x4437 -x4448 -x4459 -x4470
1800.62	v -x4481 -x4492 -x4505 -x4516 -x4527 -x4538 -x4549 -x4560 -x4571 -x4582 -x4593 -x4604 -x4616 -x4627 -x4638 -x4649 -x4660
1800.62	v -x4671 -x4682 -x4693 -x4704 -x4715 -x4727 -x4738 -x4749 -x4760 -x4771 -x4782 -x4793 -x4804 -x4815 -x4826 -x4838 -x4849
1800.62	v -x4860 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883
1800.62	v -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4897 x4898 -x4899 -x4900 -x4901 -x4902
1800.62	v -x4903 -x4904 -x4905 -x4906 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4919 -x4920 -x4921
1800.62	v -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939
1800.62	v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4953 x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960
1800.62	v -x4961 -x4962 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4975 -x4976 -x4977 -x4978 -x4979
1800.62	v -x4980 -x4981 -x4982 -x4983 -x4984 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4997 -x4998
1800.62	v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016
1800.62	v -x5017 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035
1800.62	v -x5036 -x5037 -x5038 -x5039 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5053 -x5054 -x5055
1800.62	v -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073
1800.62	v -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092
1800.62	v -x5093 -x5094 -x5095 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5108 -x5109 -x5110 -x5111
1800.62	v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5130
1800.62	v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148
1800.62	v -x5149 -x5150 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5164 -x5165 -x5166 x5167 -x5168
1800.62	v -x5169 -x5170 -x5171 -x5172 -x5173 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5186 -x5187
1800.62	v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205
1800.62	v -x5206 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224
1800.62	v -x5225 -x5226 -x5227 -x5228 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5241 -x5242 -x5243
1800.62	v -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261
1800.62	v -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281
1800.62	v -x5282 -x5283 -x5284 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5297 -x5298 -x5299 -x5300
1800.62	v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5319
1800.62	v -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337
1800.62	v -x5338 -x5339 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5352 -x5353 -x5354 -x5355 -x5356
1800.62	v -x5357 -x5358 -x5359 -x5360 -x5361 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5374 -x5375
1800.62	v -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19
1800.62	v -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48
1800.62	v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76
1800.62	v -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104
1800.62	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x126 -x127 -x128
1800.62	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151
1800.62	v -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x170 -x171 -x172 -x173 -x174
1800.62	v -x175 x176 -x177 -x178 -x179 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197
1800.62	v -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 x220
1800.62	v -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244
1800.62	v -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267
1800.62	v -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
1800.62	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314
1800.62	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338
1800.62	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361
1800.62	v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384
1800.62	v -x385 -x386 -x387 -x388 -x389 -x390 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407
1800.62	v -x408 -x409 -x410 -x411 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430
1800.62	v -x431 -x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454
1800.62	v -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477
1800.62	v -x478 -x479 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.62	v -x501 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523
1800.62	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547
1800.62	v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571
1800.62	v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594
1800.62	v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x614 -x615 -x616 x617
1800.62	v -x618 -x619 -x620 -x621 -x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640
1800.62	v -x641 -x642 -x643 -x644 -x645 -x647 x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663
1800.62	v -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687
1800.62	v -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.62	v -x711 -x712 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
1800.62	v -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.62	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781
1800.62	v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804
1800.62	v -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827
1800.62	v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 -x849 -x850
1800.62	v -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873
1800.62	v -x874 -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 -x896 -x897
1800.62	v -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.62	v -x921 -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943
1800.62	v -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.62	v -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989
1800.62	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011
1800.62	v -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
1800.62	v -x1031 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049
1800.62	v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067
1800.62	v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1080 x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087
1800.62	v -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 -x1106
1800.62	v -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1126 -x1127
1800.62	v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145
1800.62	v -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.62	v -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183
1800.62	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
1800.62	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
1800.62	v -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240
1800.62	v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259
1800.62	v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.62	v -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296
1800.62	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 x1312 -x1314 -x1315 -x1316
1800.62	v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
1800.62	v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354
1800.62	v -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 -x1373
1800.62	v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1392
1800.62	v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
1800.62	v -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 -x1429
1800.62	v -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 x1449
1800.62	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467
1800.62	v -x1468 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486
1800.62	v -x1487 -x1488 -x1489 -x1490 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505
1800.62	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
1800.62	v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542
1800.62	v -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 -x1562
1800.62	v -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581
1800.62	v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599
1800.62	v -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618
1800.62	v -x1619 -x1620 -x1621 -x1622 -x1623 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 -x1637
1800.62	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655
1800.62	v -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675
1800.62	v -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694
1800.62	v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712
1800.62	v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731
1800.62	v -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 -x1750
1800.62	v -x1751 -x1752 x1753 -x1754 -x1755 -x1756 x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1769 -x1770
1800.62	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789
1800.62	v -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808
1800.62	v -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x1826 -x1827
1800.62	v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845
1800.62	v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 -x1864 -x1865
1800.62	v -x1866 -x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 -x1882 -x1883 -x1884
1800.62	v -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1903 -x1904
1800.62	v -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922
1800.62	v -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 x1938 -x1939 -x1940 -x1941
1800.62	v -x1942 -x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960
1800.62	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978
1800.62	v -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997
1800.62	v -x1998 -x1999 -x2000 x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018
1800.62	v -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2036 -x2037
1800.62	v -x2038 -x2039 -x2040 x2041 -x2042 -x2043 x2044 -x2045 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056
1800.62	v -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075
1800.62	v -x2076 -x2077 -x2078 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2091 -x2092 -x2093 -x2094
1800.62	v x2095 -x2096 x2097 x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2114 x2115
1800.62	v x2116 x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 x2134
1800.62	v -x2136 x2137 -x2138 x2139 x2140 x2141 x2142 x2143 x2144 x2145 x2147 x2148 x2149 x2150 x2151 x2152 x2153 x2154 x2155 x2156
1800.62	v x2158 x2159 -x2160 x2161 x2162 x2163 x2164 x2165 x2166 x2167 x2168 x2169 -x2170 x2171 -x2172 -x2173 x2174 -x2175 x2176 x2177
1800.62	v x2178 x2179 -x2180 -x2181 -x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2641
1800.62	v -x2643 -x2644 -x2645 -x2640 -x2646 -x2647 -x2648 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2739 -x2657 -x2658
1800.62	v -x2659 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2592 -x2670 -x2672 -x2673 -x2740 -x2741 -x2742
1800.62	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2674 -x2675 -x2676 -x2677 -x2678 -x2748 -x2750 -x2679 -x2680 -x2751 -x2752 -x2753
1800.62	v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2681 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2761
1800.62	v -x2692 -x2694 -x2695 -x2696 -x2762 -x2763 x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2772 -x2773 -x2774 -x2775 -x2776
1800.62	v -x2777 -x2778 -x2779 -x2780 -x2781 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2794 -x2795
1800.62	v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813
1800.62	v -x2814 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832
1800.62	v -x2833 -x2834 -x2835 -x2836 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2850 -x2851 -x2852
1800.62	v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
1800.62	v -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889
1800.62	v -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2905 -x2906 -x2907 -x2908
1800.62	v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2927
1800.62	v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2938 -x2939 x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946
1800.62	v -x2947 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966
1800.62	v -x2967 -x2968 -x2969 -x2970 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2983 -x2984 -x2985
1800.62	v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003
1800.62	v -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022
1800.62	v -x3023 -x3024 -x3025 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3038 -x3039 -x3040 -x3041
1800.62	v -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3061
1800.62	v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079
1800.62	v -x3080 -x3081 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3094 -x3095 -x3096 -x3097 -x3098
1800.62	v -x3099 -x3100 -x3101 -x3102 -x3103 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3116 -x3117
1800.62	v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135
1800.62	v -x3136 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154
1800.62	v -x3155 -x3156 -x3157 -x3158 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3172 -x3173 -x3174
1800.62	v -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192
1800.62	v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211
1800.62	v -x3212 -x3213 -x3214 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3227 -x3228 -x3229 -x3230
1800.62	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249
1800.62	v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267
1800.62	v -x3268 -x3269 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 x3279 -x3280 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288
1800.62	v -x3289 -x3290 -x3291 -x3292 -x3294 -x3295 -x3296 -x3297 x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307
1800.62	v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325
1800.62	v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344
1800.62	v -x3345 -x3346 -x3347 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3360 -x3361 -x3362 -x3363
1800.62	v -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3382
1800.62	v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402
1800.62	v -x3403 -x3404 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3417 -x3418 -x3419 -x3420 -x3421
1800.62	v -x3422 -x3423 -x3424 -x3425 -x3426 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3439 -x3440
1800.62	v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458
1800.62	v -x3459 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477
1800.62	v -x3478 -x3479 -x3480 -x3481 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3494 -x3495 -x3496
1800.62	v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515
1800.62	v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534
1800.62	v -x3535 -x3536 -x3537 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3550 -x3551 -x3552 -x3553
1800.62	v -x3554 -x3555 -x3556 -x3557 x3558 -x3559 -x3561 x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3572 -x3573
1800.62	v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591
1800.62	v -x3592 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
1800.62	v -x3611 -x3612 -x3613 -x3614 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3628 -x3629 -x3630
1800.62	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x2195 -x2196 -x2197 x2198 x2199 -x2200 x2201 x2202 x2203 x2204 x2205 x2206 x2207
1800.62	v x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x3637
1800.62	v -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656
1800.62	v -x3657 -x3658 -x3659 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3672 -x3673 -x3674 -x3675
1800.62	v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3694
1800.62	v -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712
1800.62	v -x3713 -x3714 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3728 x3729 -x3730 -x3731 -x3732
1800.62	v -x3733 -x3734 -x3735 -x3736 -x3737 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3750 -x3751
1800.62	v -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769
1800.62	v -x3770 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788
1800.62	v -x3789 -x3790 -x3791 -x3792 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3805 -x3806 -x3807
1800.62	v -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825
1800.62	v -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845
1800.62	v -x3846 -x3847 -x3848 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3861 -x3862 -x3863 -x3864
1800.62	v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3883
1800.62	v -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901
1800.62	v -x3902 -x3903 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3916 -x3917 -x3918 -x3919 -x3920
1800.62	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3938 -x3939
1800.62	v -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3950 x3951 x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959
1800.62	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978
1800.62	v -x3979 -x3980 -x3981 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3994 -x3995 -x3996 -x3997
1800.62	v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4016
1800.62	v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034
1800.62	v -x4035 -x4036 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4049 -x4050 -x4051 -x4052 -x4053
1800.62	v -x4054 -x4055 -x4056 -x4057 -x4058 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4072 -x4073
1800.62	v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091
1800.62	v -x4092 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110
1800.62	v -x4111 -x4112 -x4113 -x4114 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4127 -x4128 -x4129
1800.62	v -x4130 -x4131 x4132 -x4133 -x4134 -x4135 -x4136 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147
1800.62	v -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166
1800.62	v -x4167 -x4168 -x4169 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4183 -x4184 -x4185 -x4186
1800.62	v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4205
1800.62	v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4216 -x4217 -x4218 x4219 -x4220 -x4221 -x4222 -x4223
1800.62	v -x4224 -x4225 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4238 -x4239 -x4240 -x4241 -x4242
1800.62	v -x4243 -x4244 -x4245 -x4246 -x4247 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4260 -x4261
1800.62	v -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 -x4278 -x4279
1800.62	v -x4280 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299
1800.62	v -x4300 -x4301 -x4302 -x4303 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4316 -x4317 -x4318
1800.62	v -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336
1800.62	v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355
1800.62	v -x4356 -x4357 -x4358 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4371 -x4372 -x4373 -x4374
1800.62	v -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4394
1800.62	v -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412
1800.62	v -x4413 -x4414 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 -x4424 -x4425 -x4427 -x4428 -x4429 -x4430 -x4431
1800.62	v -x4432 -x4433 -x4434 -x4435 x4436 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450
1800.62	v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468
1800.62	v -x4469 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487
1800.62	v -x4488 -x4489 -x4490 -x4491 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4506 -x4507 -x4508
1800.62	v -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526
1800.62	v -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545
1800.62	v -x4546 -x4547 -x4548 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4561 -x4562 -x4563 -x4564
1800.62	v -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4583
1800.62	v -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4598 x4599 -x4600 -x4601
1800.62	v -x4602 -x4603 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4617 -x4618 -x4619 -x4620 -x4621
1800.62	v -x4622 x4623 -x4624 -x4625 -x4626 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640
1800.62	v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658
1800.62	v -x4659 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4672 -x4673 -x4674 x4675 -x4676 -x4677
1800.62	v -x4678 -x4679 -x4680 -x4681 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4694 -x4695 -x4696
1800.62	v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 x4703 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714
1800.62	v -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734
1800.62	v -x4735 -x4736 x4737 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4750 -x4751 x4752 x4753 -x4754
1800.62	v -x4755 -x4756 -x4757 -x4758 -x4759 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4772 -x4773
1800.62	v -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4783 x4784 x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 x4792
1800.62	v -x4794 -x4795 -x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811
1800.62	v -x4812 -x4813 -x4814 -x4816 -x4817 x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4827 -x4828 -x4829 x4830 -x4831
1800.62	v -x4832 -x4833 -x4834 x4835 -x4836 -x4839 -x4840 -x4841 -x4842 x4843 x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852
1800.62	v -x4853 -x4854 -x4855 x4856 -x4857 x4858 -x4859 -x4861 x4862 -x4863 x4864 -x4865 -x4866 -x2225 -x2227 x2228 -x2229 -x2230
1800.62	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2249
1800.62	v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267
1800.62	v -x2268 -x2269 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2284 -x2285 -x2286 -x2287 -x2288
1800.62	v -x2289 -x2290 -x2291 -x2292 -x2293 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2306 -x2307
1800.62	v -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325
1800.62	v -x2326 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344
1800.62	v -x2345 -x2346 -x2347 -x2348 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2361 -x2362 -x2363
1800.62	v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381
1800.62	v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401
1800.62	v -x2402 -x2403 -x2404 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2417 -x2418 -x2419 -x2420
1800.62	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2439
1800.62	v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1800.62	v -x2458 -x2459 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2472 -x2473 -x2474 -x2475 -x2476
1800.62	v -x2477 -x2478 -x2479 -x2480 -x2481 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2494 -x2495
1800.62	v -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514
1800.62	v -x2515 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533
1800.62	v -x2534 -x2535 -x2536 -x2537 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2550 -x2551 -x2552
1800.62	v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
1800.62	v -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589
1800.62	v -x2590 x2591 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2605 -x2606 -x2607 -x2608 -x2609
1800.62	v -x2610 -x2611 -x2612 -x2613 -x2614 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2628 -x2629
1800.62	v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2639 -x2642 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703
1800.62	v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722
1800.62	v -x2723 -x2724 -x2725 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737
1800.62	c Exit Code: 10
1800.62	c Total time: 1800 s

Verifier Data (download as text)

OK	-3468

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.91 3/64 28105
/proc/meminfo: memFree=1767048/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=3436 CPUtime=0
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 64 0 0 0 0 0 0 0 18 0 1 0 193043883 3518464 47 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5650159 0 0 4096 0 0 0 0 17 1 0 0
/proc/28105/statm: 859 47 34 55 0 42 0

[startup+10.0018 s]
/proc/loadavg: 0.93 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1758240/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13532 CPUtime=9.97
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 2629 0 0 0 997 0 0 0 25 0 1 0 193043883 13856768 2518 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3383 2518 297 55 0 2275 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 13532

[startup+20.0084 s]
/proc/loadavg: 0.94 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1758240/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13408 CPUtime=19.97
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 2661 0 0 0 1997 0 0 0 25 0 1 0 193043883 13729792 2495 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3352 2495 297 55 0 2244 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 13408

[startup+30.0141 s]
/proc/loadavg: 0.95 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1758240/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13540 CPUtime=29.98
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 2739 0 0 0 2997 1 0 0 25 0 1 0 193043883 13864960 2520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3385 2520 297 55 0 2277 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 13540

[startup+40.0197 s]
/proc/loadavg: 0.96 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757920/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13620 CPUtime=39.98
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 2929 0 0 0 3997 1 0 0 25 0 1 0 193043883 13946880 2551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3405 2551 297 55 0 2297 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 13620

[startup+50.0254 s]
/proc/loadavg: 0.96 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757664/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13956 CPUtime=49.99
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3090 0 0 0 4998 1 0 0 25 0 1 0 193043883 14290944 2636 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3489 2636 297 55 0 2381 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 13956

[startup+60.031 s]
/proc/loadavg: 0.97 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757984/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13620 CPUtime=59.99
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3141 0 0 0 5998 1 0 0 25 0 1 0 193043883 13946880 2554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3405 2554 297 55 0 2297 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 13620

[startup+70.0367 s]
/proc/loadavg: 0.97 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757984/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13744 CPUtime=69.99
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3168 0 0 0 6998 1 0 0 25 0 1 0 193043883 14073856 2581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3436 2581 297 55 0 2328 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 13744

[startup+80.0423 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757792/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13968 CPUtime=79.99
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3225 0 0 0 7998 1 0 0 25 0 1 0 193043883 14303232 2638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3492 2638 297 55 0 2384 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 13968

[startup+90.048 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757792/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13968 CPUtime=90
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3225 0 0 0 8999 1 0 0 25 0 1 0 193043883 14303232 2638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3492 2638 297 55 0 2384 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 13968

[startup+100.054 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757792/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13968 CPUtime=100
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3225 0 0 0 9999 1 0 0 25 0 1 0 193043883 14303232 2638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3492 2638 297 55 0 2384 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 13968

[startup+110.059 s]
/proc/loadavg: 0.98 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757600/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13968 CPUtime=110
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3265 0 0 0 10999 1 0 0 25 0 1 0 193043883 14303232 2641 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3492 2641 297 55 0 2384 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 13968

[startup+120.065 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757664/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13968 CPUtime=120
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3266 0 0 0 11999 1 0 0 25 0 1 0 193043883 14303232 2642 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3492 2642 298 55 0 2384 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 13968

[startup+130.071 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757664/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13968 CPUtime=130
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3266 0 0 0 12999 1 0 0 25 0 1 0 193043883 14303232 2642 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3492 2642 298 55 0 2384 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 13968

[startup+140.076 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757664/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=14156 CPUtime=140
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3311 0 0 0 13999 1 0 0 25 0 1 0 193043883 14495744 2686 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3539 2686 298 55 0 2431 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 14156

[startup+150.082 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757536/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=14284 CPUtime=150.01
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3340 0 0 0 15000 1 0 0 25 0 1 0 193043883 14626816 2715 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3571 2715 298 55 0 2463 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 14284

[startup+160.088 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757408/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=14416 CPUtime=160.01
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3364 0 0 0 16000 1 0 0 25 0 1 0 193043883 14761984 2739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3604 2739 298 55 0 2496 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 14416

[startup+170.093 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757216/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=14640 CPUtime=170.01
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3416 0 0 0 17000 1 0 0 25 0 1 0 193043883 14991360 2791 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3660 2791 298 55 0 2552 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 14640

[startup+180.099 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1756960/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=14772 CPUtime=180.01
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3490 0 0 0 18000 1 0 0 25 0 1 0 193043883 15126528 2821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3693 2821 298 55 0 2585 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 14772

[startup+190.104 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757664/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=13968 CPUtime=190.02
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 3491 0 0 0 19000 2 0 0 25 0 1 0 193043883 14303232 2642 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6118978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3492 2642 298 55 0 2384 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 13968

[startup+200.111 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757344/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=14456 CPUtime=200.03
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 4747 0 0 0 20000 3 0 0 25 0 1 0 193043883 14802944 2758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 3614 2758 298 55 0 2506 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 14456

[startup+210.118 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28105
/proc/meminfo: memFree=1757216/2055920 swapFree=4181844/4192956

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

/proc/28105/statm: 6938 6207 435 55 0 5830 0
Current children cumulated CPU time (s) 1760.51
Current children cumulated vsize (Kb) 27752

[startup+1771.12 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742752/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28516 CPUtime=1770.5
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30086 0 1 0 176936 114 0 0 25 0 1 0 193043883 29200384 6388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7129 6388 435 55 0 6021 0
Current children cumulated CPU time (s) 1770.5
Current children cumulated vsize (Kb) 28516

[startup+1781.13 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1741152/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=30032 CPUtime=1780.51
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30478 0 1 0 177936 115 0 0 25 0 1 0 193043883 30752768 6780 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7508 6780 435 55 0 6400 0
Current children cumulated CPU time (s) 1780.51
Current children cumulated vsize (Kb) 30032

[startup+1782.13 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1781.52
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 178037 115 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 28116

[startup+1783.14 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1782.52
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 178137 115 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1782.52
Current children cumulated vsize (Kb) 28116

[startup+1784.14 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1783.52
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 178237 115 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 28116

[startup+1785.15 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1784.53
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 178338 115 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1784.53
Current children cumulated vsize (Kb) 28116

[startup+1786.15 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1785.53
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 178438 115 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (Kb) 28116

[startup+1787.16 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1786.54
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 178539 115 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1786.54
Current children cumulated vsize (Kb) 28116

[startup+1788.16 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1787.54
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 178639 115 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1787.54
Current children cumulated vsize (Kb) 28116

[startup+1789.17 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1788.55
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 178740 115 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550998 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (Kb) 28116

[startup+1790.17 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1789.55
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 178840 115 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (Kb) 28116

[startup+1791.18 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1790.56
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 178940 116 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524069 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 28116

[startup+1792.18 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1791.56
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 179040 116 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 28116

[startup+1793.19 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1792.57
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 179141 116 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 28116

[startup+1794.19 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1793.57
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 179241 116 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6119060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1793.57
Current children cumulated vsize (Kb) 28116

[startup+1795.2 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1794.58
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 179342 116 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 28116

[startup+1796.2 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1795.58
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 179442 116 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134618181 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (Kb) 28116

[startup+1797.21 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1796.59
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 179543 116 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 28116

[startup+1798.21 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1797.59
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 179643 116 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533631 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (Kb) 28116

[startup+1799.22 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1798.59
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 179743 116 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (Kb) 28116

[startup+1800.22 s]
/proc/loadavg: 0.99 0.98 0.91 2/64 28300
/proc/meminfo: memFree=1742816/2055920 swapFree=4181844/4192956
[pid=28105] ppid=28103 vsize=28116 CPUtime=1799.6
/proc/28105/stat : 28105 (bsolo) R 28103 28105 28059 0 -1 0 30505 0 1 0 179844 116 0 0 25 0 1 0 193043883 28790784 6314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6127333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28105/statm: 7029 6314 435 55 0 5921 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (Kb) 28116

Child status: 10
Real time (s): 1800.63
CPU time (s): 1800.01
CPU user time (s): 1798.84
CPU system time (s): 1.16882
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (Kb): 33920

Launcher Data (download as text)

Begin job on node65 on Fri Jun  2 18:42:26 UTC 2006


FILE ID= 40058-1149273746

PBS_JOBID= 301366

BENCH NAME= ROOT/tmp/node65/40058-1149273746/instance-40058-1149273746.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/40058-1149273746/instance-40058-1149273746.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-40058-1149273746 -o ROOT/results/node65/solver-40058-1149273746 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/40058-1149273746/instance-40058-1149273746.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  7ddc5796bc843f2bf9bc94a0b22fd8e4

RANDOM SEED= 260521961


/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.283
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.283
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:       1767320 kB
Buffers:         21984 kB
Cached:         199140 kB
SwapCached:       2800 kB
Active:          59316 kB
Inactive:       170472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767320 kB
SwapTotal:     4192956 kB
SwapFree:      4181844 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14748 kB
Slab:            44844 kB
Committed_AS:   248040 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node65 on Fri Jun  2 19:12:26 UTC 2006