Trace number 40543

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/05SAT7265285 1800.02 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
MD5SUM9d08937c2a2ec73e4fca19adadace920
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3449843
Best CPU time to get the best result obtained on this benchmark1800.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3208192
Optimality of the best value was proved NO
Number of variables3720
Total number of constraints142
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 constraints142
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 3720
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 679702048135
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 679702048135
Number of bits of the biggest sum of numbers40
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.01	c BIG Int formula...
0.10	c Initial problem consists of 3720 variables and 164 constraints.
0.10	c No problem reductions applied in OPT. instance.
0.10	c	preprocess terminated. Elapsed time: 0.094
0.10	c After prepocess the problem consists of 1686 variables and 164 constraints.
0.10	c Initial Lower Bound: 0
0.15	c Restart #1 #Var: 1686 LB: 0 @ 0.143
0.24	c Restart #2 #Var: 1686 LB: 0 @ 0.236
0.38	c Restart #3 #Var: 1686 LB: 0 @ 0.367
0.55	c Restart #4 #Var: 1686 LB: 0 @ 0.545
0.78	c Restart #5 #Var: 1686 LB: 0 @ 0.769
1.04	c Restart #6 #Var: 1686 LB: 0 @ 1.032
1.35	c Restart #7 #Var: 1686 LB: 0 @ 1.34
1.71	c Restart #8 #Var: 1686 LB: 0 @ 1.693
2.13	c Restart #9 #Var: 1686 LB: 0 @ 2.117
2.56	c Restart #10 #Var: 1686 LB: 0 @ 2.55
3.13	c Restart #11 #Var: 1686 LB: 0 @ 3.116
3.59	c Restart #12 #Var: 1686 LB: 0 @ 3.58
4.07	c Restart #13 #Var: 1686 LB: 0 @ 4.056
4.74	c Restart #14 #Var: 1686 LB: 0 @ 4.722
5.47	c Restart #15 #Var: 1686 LB: 0 @ 5.458
6.49	c Restart #16 #Var: 1686 LB: 0 @ 6.475
7.34	c Restart #17 #Var: 1686 LB: 0 @ 7.325
8.08	c Restart #18 #Var: 1686 LB: 0 @ 8.061
8.91	c Restart #19 #Var: 1686 LB: 0 @ 8.896
9.03	c Sol. found (all assignments made)...
9.03	o 16271816
9.03	c NEW SOLUTION FOUND: 16271816 @ 9.018
9.04	c Sol. found (all assignments made)...
9.09	c Sol. found (all assignments made)...
9.09	c Sol. found (all assignments made)...
9.10	c Sol. found (all assignments made)...
9.10	c Sol. found (all assignments made)...
9.13	c Sol. found (all assignments made)...
9.13	c Sol. found (all assignments made)...
9.24	c Sol. found (all assignments made)...
9.24	c Sol. found (all assignments made)...
9.25	c Sol. found (all assignments made)...
9.25	c Sol. found (all assignments made)...
9.28	c Sol. found (all assignments made)...
9.28	o 16271813
9.28	c NEW SOLUTION FOUND: 16271813 @ 9.264
9.28	c Sol. found (all assignments made)...
9.29	c Sol. found (all assignments made)...
9.30	c Sol. found (all assignments made)...
9.30	c Sol. found (all assignments made)...
9.31	c Sol. found (all assignments made)...
9.43	c Sol. found (all assignments made)...
9.43	c Sol. found (all assignments made)...
9.45	c Sol. found (all assignments made)...
9.45	c Sol. found (all assignments made)...
9.54	c Sol. found (all assignments made)...
9.54	c Sol. found (all assignments made)...
9.55	c Sol. found (all assignments made)...
9.55	c Sol. found (all assignments made)...
9.59	c Sol. found (all assignments made)...
9.59	o 16271810
9.59	c NEW SOLUTION FOUND: 16271810 @ 9.57
9.59	c Sol. found (all assignments made)...
9.60	c Sol. found (all assignments made)...
9.60	o 16271804
9.60	c NEW SOLUTION FOUND: 16271804 @ 9.58
9.60	c Sol. found (all assignments made)...
9.61	c Sol. found (all assignments made)...
9.62	c Sol. found (all assignments made)...
9.63	c Sol. found (all assignments made)...
9.73	c Sol. found (all assignments made)...
9.73	c Sol. found (all assignments made)...
9.78	c Sol. found (all assignments made)...
9.79	c Sol. found (all assignments made)...
9.80	c Sol. found (all assignments made)...
9.81	c Sol. found (all assignments made)...
9.84	c Sol. found (all assignments made)...
9.85	c Sol. found (all assignments made)...
9.89	c Sol. found (all assignments made)...
9.89	c Sol. found (all assignments made)...
10.00	c Sol. found (all assignments made)...
10.01	c Sol. found (all assignments made)...
10.11	c Sol. found (all assignments made)...
10.12	c Sol. found (all assignments made)...
10.15	c Sol. found (all assignments made)...
10.15	o 16271150
10.15	c NEW SOLUTION FOUND: 16271150 @ 10.133
10.15	c Sol. found (all assignments made)...
10.16	c Sol. found (all assignments made)...
10.16	c Sol. found (all assignments made)...
10.19	c Sol. found (all assignments made)...
10.19	o 16271144
10.19	c NEW SOLUTION FOUND: 16271144 @ 10.174
10.20	c Sol. found (all assignments made)...
10.20	c Sol. found (all assignments made)...
10.20	c Sol. found (all assignments made)...
10.25	c Sol. found (all assignments made)...
10.25	o 16271141
10.25	c NEW SOLUTION FOUND: 16271141 @ 10.239
10.26	c Sol. found (all assignments made)...
10.27	c Sol. found (all assignments made)...
10.27	c Sol. found (all assignments made)...
10.29	c Sol. found (all assignments made)...
10.29	c Sol. found (all assignments made)...
10.30	c Sol. found (all assignments made)...
10.30	c Sol. found (all assignments made)...
10.35	c Sol. found (all assignments made)...
10.35	o 16271138
10.35	c NEW SOLUTION FOUND: 16271138 @ 10.333
10.35	c Sol. found (all assignments made)...
10.36	c Sol. found (all assignments made)...
10.36	c Sol. found (all assignments made)...
10.38	c Sol. found (all assignments made)...
10.38	o 16271132
10.38	c NEW SOLUTION FOUND: 16271132 @ 10.359
10.38	c Sol. found (all assignments made)...
10.39	c Sol. found (all assignments made)...
10.39	c Sol. found (all assignments made)...
10.42	c Sol. found (all assignments made)...
10.42	c Sol. found (all assignments made)...
10.43	c Sol. found (all assignments made)...
10.43	c Sol. found (all assignments made)...
10.56	c Sol. found (all assignments made)...
10.57	c Sol. found (all assignments made)...
10.57	c Sol. found (all assignments made)...
10.58	c Sol. found (all assignments made)...
10.71	c Sol. found (all assignments made)...
10.71	c Sol. found (all assignments made)...
10.72	c Sol. found (all assignments made)...
10.72	c Sol. found (all assignments made)...
10.74	c Sol. found (all assignments made)...
10.75	c Sol. found (all assignments made)...
10.75	c Sol. found (all assignments made)...
10.76	c Sol. found (all assignments made)...
10.82	c Sol. found (all assignments made)...
10.83	c Sol. found (all assignments made)...
10.83	c Sol. found (all assignments made)...
10.84	c Sol. found (all assignments made)...
10.92	c Sol. found (all assignments made)...
10.92	c Sol. found (all assignments made)...
10.92	c Sol. found (all assignments made)...
10.93	c Sol. found (all assignments made)...
11.01	c Sol. found (all assignments made)...
11.01	c Sol. found (all assignments made)...
11.02	c Sol. found (all assignments made)...
11.02	c Sol. found (all assignments made)...
11.12	c Sol. found (all assignments made)...
11.13	c Sol. found (all assignments made)...
11.14	c Sol. found (all assignments made)...
11.14	c Sol. found (all assignments made)...
11.33	c Sol. found (all assignments made)...
11.34	c Sol. found (all assignments made)...
11.34	c Sol. found (all assignments made)...
11.34	c Sol. found (all assignments made)...
11.57	c Sol. found (all assignments made)...
11.58	c Sol. found (all assignments made)...
11.58	c Sol. found (all assignments made)...
11.59	c Sol. found (all assignments made)...
11.62	c Sol. found (all assignments made)...
11.63	c Sol. found (all assignments made)...
11.63	c Sol. found (all assignments made)...
11.64	c Sol. found (all assignments made)...
11.69	c Sol. found (all assignments made)...
11.70	c Sol. found (all assignments made)...
11.70	c Sol. found (all assignments made)...
11.71	c Sol. found (all assignments made)...
11.76	c Sol. found (all assignments made)...
11.76	c Sol. found (all assignments made)...
11.77	c Sol. found (all assignments made)...
11.77	c Sol. found (all assignments made)...
11.85	c Sol. found (all assignments made)...
11.85	c Sol. found (all assignments made)...
11.86	c Sol. found (all assignments made)...
11.86	c Sol. found (all assignments made)...
11.88	c Sol. found (all assignments made)...
11.89	c Sol. found (all assignments made)...
11.89	c Sol. found (all assignments made)...
11.90	c Sol. found (all assignments made)...
11.98	c Sol. found (all assignments made)...
11.99	c Sol. found (all assignments made)...
11.99	c Sol. found (all assignments made)...
12.00	c Sol. found (all assignments made)...
12.37	c Sol. found (all assignments made)...
12.38	c Sol. found (all assignments made)...
12.39	c Sol. found (all assignments made)...
12.39	c Sol. found (all assignments made)...
12.51	c Sol. found (all assignments made)...
12.52	c Sol. found (all assignments made)...
12.52	c Sol. found (all assignments made)...
12.53	c Sol. found (all assignments made)...
12.62	c Sol. found (all assignments made)...
12.63	c Sol. found (all assignments made)...
12.63	c Sol. found (all assignments made)...
12.63	c Sol. found (all assignments made)...
12.70	c Sol. found (all assignments made)...
12.71	c Sol. found (all assignments made)...
12.71	c Sol. found (all assignments made)...
12.72	c Sol. found (all assignments made)...
12.75	c Sol. found (all assignments made)...
12.76	c Sol. found (all assignments made)...
12.76	c Sol. found (all assignments made)...
12.77	c Sol. found (all assignments made)...
12.81	c Sol. found (all assignments made)...
12.82	c Sol. found (all assignments made)...
12.82	c Sol. found (all assignments made)...
12.82	c Sol. found (all assignments made)...
13.08	c Sol. found (all assignments made)...
13.09	c Sol. found (all assignments made)...
13.09	c Sol. found (all assignments made)...
13.09	c Sol. found (all assignments made)...
13.15	c Sol. found (all assignments made)...
13.16	c Sol. found (all assignments made)...
13.16	c Sol. found (all assignments made)...
13.17	c Sol. found (all assignments made)...
13.48	c Sol. found (all assignments made)...
13.49	c Sol. found (all assignments made)...
13.49	c Sol. found (all assignments made)...
13.49	c Sol. found (all assignments made)...
13.90	c Restart #20 #Var: 1686 LB: 0 @ 13.88
15.44	c Sol. found (all assignments made)...
15.44	o 10529231
15.44	c NEW SOLUTION FOUND: 10529231 @ 15.426
15.44	c Sol. found (all assignments made)...
15.44	o 10529217
15.44	c NEW SOLUTION FOUND: 10529217 @ 15.427
15.45	c Sol. found (all assignments made)...
15.45	c Sol. found (all assignments made)...
15.45	o 10529210
15.45	c NEW SOLUTION FOUND: 10529210 @ 15.432
15.48	c Sol. found (all assignments made)...
15.48	o 10529119
15.48	c NEW SOLUTION FOUND: 10529119 @ 15.459
15.48	c Sol. found (all assignments made)...
15.48	o 10529098
15.48	c NEW SOLUTION FOUND: 10529098 @ 15.46
15.48	c Sol. found (all assignments made)...
15.48	c Sol. found (all assignments made)...
15.50	c Sol. found (all assignments made)...
15.50	o 10529063
15.50	c NEW SOLUTION FOUND: 10529063 @ 15.481
15.50	c Sol. found (all assignments made)...
15.50	o 10529049
15.50	c NEW SOLUTION FOUND: 10529049 @ 15.482
15.50	c Sol. found (all assignments made)...
15.50	o 10529042
15.50	c NEW SOLUTION FOUND: 10529042 @ 15.484
15.50	c Sol. found (all assignments made)...
15.53	c Sol. found (all assignments made)...
15.53	o 10529035
15.53	c NEW SOLUTION FOUND: 10529035 @ 15.517
15.54	c Sol. found (all assignments made)...
15.54	o 10529021
15.54	c NEW SOLUTION FOUND: 10529021 @ 15.522
15.54	c Sol. found (all assignments made)...
15.55	c Sol. found (all assignments made)...
15.55	o 10529014
15.55	c NEW SOLUTION FOUND: 10529014 @ 15.528
15.56	c Sol. found (all assignments made)...
15.57	c Sol. found (all assignments made)...
15.58	c Sol. found (all assignments made)...
15.59	c Sol. found (all assignments made)...
15.62	c Sol. found (all assignments made)...
15.62	o 10398959
15.62	c NEW SOLUTION FOUND: 10398959 @ 15.606
15.66	c Sol. found (all assignments made)...
15.66	o 10273602
15.66	c NEW SOLUTION FOUND: 10273602 @ 15.645
15.72	c Sol. found (all assignments made)...
15.72	o 10273593
15.72	c NEW SOLUTION FOUND: 10273593 @ 15.703
15.94	c Sol. found (all assignments made)...
15.94	o 10273305
15.94	c NEW SOLUTION FOUND: 10273305 @ 15.922
15.94	c Sol. found (all assignments made)...
15.97	c Sol. found (all assignments made)...
15.97	c Sol. found (all assignments made)...
15.99	c Sol. found (all assignments made)...
15.99	c Sol. found (all assignments made)...
16.60	c Sol. found (all assignments made)...
16.60	o 10273233
16.60	c NEW SOLUTION FOUND: 10273233 @ 16.58
16.60	c Sol. found (all assignments made)...
16.62	c Sol. found (all assignments made)...
17.40	c Sol. found (all assignments made)...
17.40	o 10273197
17.40	c NEW SOLUTION FOUND: 10273197 @ 17.383
17.40	c Sol. found (all assignments made)...
17.43	c Sol. found (all assignments made)...
18.10	c Sol. found (all assignments made)...
18.27	c Sol. found (all assignments made)...
18.27	c Sol. found (all assignments made)...
18.35	c Sol. found (all assignments made)...
18.35	c Sol. found (all assignments made)...
18.76	c Sol. found (all assignments made)...
18.92	c Sol. found (all assignments made)...
18.92	o 10273179
18.92	c NEW SOLUTION FOUND: 10273179 @ 18.898
18.92	c Sol. found (all assignments made)...
18.92	c Sol. found (all assignments made)...
18.92	c Sol. found (all assignments made)...
18.99	c Sol. found (all assignments made)...
19.01	c Sol. found (all assignments made)...
19.19	c Sol. found (all assignments made)...
19.41	c Sol. found (all assignments made)...
19.41	o 10019486
19.41	c NEW SOLUTION FOUND: 10019486 @ 19.395
19.44	c Sol. found (all assignments made)...
19.46	c Sol. found (all assignments made)...
19.46	o 9893688
19.46	c NEW SOLUTION FOUND: 9893688 @ 19.441
19.46	c Sol. found (all assignments made)...
19.49	c Sol. found (all assignments made)...
19.51	c Sol. found (all assignments made)...
19.52	c Sol. found (all assignments made)...
20.02	c Sol. found (all assignments made)...
20.03	c Sol. found (all assignments made)...
20.04	c Sol. found (all assignments made)...
20.04	c Sol. found (all assignments made)...
20.05	c Sol. found (all assignments made)...
20.06	c Sol. found (all assignments made)...
20.07	c Sol. found (all assignments made)...
20.07	c Sol. found (all assignments made)...
20.12	c Sol. found (all assignments made)...
20.13	c Sol. found (all assignments made)...
20.13	c Sol. found (all assignments made)...
20.14	c Sol. found (all assignments made)...
20.14	c Sol. found (all assignments made)...
20.14	c Sol. found (all assignments made)...
20.14	c Sol. found (all assignments made)...
20.36	c Sol. found (all assignments made)...
20.37	c Sol. found (all assignments made)...
20.37	c Sol. found (all assignments made)...
20.40	c Sol. found (all assignments made)...
22.05	c Sol. found (all assignments made)...
22.08	c Sol. found (all assignments made)...
22.08	c Sol. found (all assignments made)...
22.08	c Sol. found (all assignments made)...
22.08	c Sol. found (all assignments made)...
22.08	c Sol. found (all assignments made)...
22.09	c Sol. found (all assignments made)...
22.15	c Sol. found (all assignments made)...
22.16	c Sol. found (all assignments made)...
22.17	c Sol. found (all assignments made)...
22.17	c Sol. found (all assignments made)...
22.17	c Sol. found (all assignments made)...
23.57	c Restart #21 #Var: 1686 LB: 0 @ 23.548
25.44	c Restart #22 #Var: 1686 LB: 0 @ 25.422
25.50	c Sol. found (all assignments made)...
25.50	o 7860730
25.50	c NEW SOLUTION FOUND: 7860730 @ 25.476
25.50	c Sol. found (all assignments made)...
25.50	c Sol. found (all assignments made)...
25.51	c Sol. found (all assignments made)...
25.51	c Sol. found (all assignments made)...
25.52	c Sol. found (all assignments made)...
25.53	c Sol. found (all assignments made)...
25.66	c Sol. found (all assignments made)...
25.67	c Sol. found (all assignments made)...
25.67	o 7771250
25.67	c NEW SOLUTION FOUND: 7771250 @ 25.648
25.73	c Sol. found (all assignments made)...
25.74	c Sol. found (all assignments made)...
25.75	c Sol. found (all assignments made)...
25.77	c Sol. found (all assignments made)...
25.87	c Sol. found (all assignments made)...
25.87	o 7709711
25.87	c NEW SOLUTION FOUND: 7709711 @ 25.85
25.87	c Sol. found (all assignments made)...
25.90	c Sol. found (all assignments made)...
25.90	c Sol. found (all assignments made)...
25.93	c Sol. found (all assignments made)...
25.94	c Sol. found (all assignments made)...
25.97	c Sol. found (all assignments made)...
25.97	c Sol. found (all assignments made)...
25.99	c Sol. found (all assignments made)...
25.99	o 7700495
25.99	c NEW SOLUTION FOUND: 7700495 @ 25.97
25.99	c Sol. found (all assignments made)...
26.03	c Sol. found (all assignments made)...
26.03	c Sol. found (all assignments made)...
26.06	c Sol. found (all assignments made)...
26.07	c Sol. found (all assignments made)...
26.10	c Sol. found (all assignments made)...
26.11	c Sol. found (all assignments made)...
26.52	c Sol. found (all assignments made)...
26.55	c Sol. found (all assignments made)...
26.57	c Sol. found (all assignments made)...
26.59	c Sol. found (all assignments made)...
26.64	c Sol. found (all assignments made)...
26.65	c Sol. found (all assignments made)...
26.68	c Sol. found (all assignments made)...
26.68	c Sol. found (all assignments made)...
26.71	c Sol. found (all assignments made)...
26.71	c Sol. found (all assignments made)...
26.73	c Sol. found (all assignments made)...
26.73	c Sol. found (all assignments made)...
26.77	c Sol. found (all assignments made)...
26.77	c Sol. found (all assignments made)...
26.80	c Sol. found (all assignments made)...
26.80	c Sol. found (all assignments made)...
26.84	c Sol. found (all assignments made)...
26.84	c Sol. found (all assignments made)...
26.86	c Sol. found (all assignments made)...
26.86	c Sol. found (all assignments made)...
26.88	c Sol. found (all assignments made)...
26.89	c Sol. found (all assignments made)...
26.90	c Sol. found (all assignments made)...
26.90	c Sol. found (all assignments made)...
26.94	c Sol. found (all assignments made)...
26.95	c Sol. found (all assignments made)...
26.97	c Sol. found (all assignments made)...
26.97	c Sol. found (all assignments made)...
26.99	c Sol. found (all assignments made)...
26.99	c Sol. found (all assignments made)...
27.00	c Sol. found (all assignments made)...
27.01	c Sol. found (all assignments made)...
27.04	c Sol. found (all assignments made)...
27.04	c Sol. found (all assignments made)...
27.05	c Sol. found (all assignments made)...
27.05	c Sol. found (all assignments made)...
27.10	c Sol. found (all assignments made)...
27.10	c Sol. found (all assignments made)...
27.11	c Sol. found (all assignments made)...
27.11	c Sol. found (all assignments made)...
27.15	c Sol. found (all assignments made)...
27.15	c Sol. found (all assignments made)...
27.16	c Sol. found (all assignments made)...
27.17	c Sol. found (all assignments made)...
27.18	c Sol. found (all assignments made)...
27.19	c Sol. found (all assignments made)...
27.21	c Sol. found (all assignments made)...
27.22	c Sol. found (all assignments made)...
27.24	c Sol. found (all assignments made)...
27.24	c Sol. found (all assignments made)...
27.26	c Sol. found (all assignments made)...
27.26	c Sol. found (all assignments made)...
27.28	c Sol. found (all assignments made)...
27.28	c Sol. found (all assignments made)...
27.32	c Sol. found (all assignments made)...
27.32	c Sol. found (all assignments made)...
27.33	c Sol. found (all assignments made)...
27.33	c Sol. found (all assignments made)...
27.36	c Sol. found (all assignments made)...
27.36	c Sol. found (all assignments made)...
27.39	c Sol. found (all assignments made)...
27.39	c Sol. found (all assignments made)...
27.40	c Sol. found (all assignments made)...
27.40	c Sol. found (all assignments made)...
27.43	c Sol. found (all assignments made)...
27.43	c Sol. found (all assignments made)...
27.44	c Sol. found (all assignments made)...
27.44	c Sol. found (all assignments made)...
27.48	c Sol. found (all assignments made)...
27.48	c Sol. found (all assignments made)...
27.49	c Sol. found (all assignments made)...
27.49	c Sol. found (all assignments made)...
27.52	c Sol. found (all assignments made)...
27.52	c Sol. found (all assignments made)...
27.53	c Sol. found (all assignments made)...
27.54	c Sol. found (all assignments made)...
27.56	c Sol. found (all assignments made)...
27.56	c Sol. found (all assignments made)...
27.57	c Sol. found (all assignments made)...
27.57	c Sol. found (all assignments made)...
27.60	c Sol. found (all assignments made)...
27.61	c Sol. found (all assignments made)...
27.62	c Sol. found (all assignments made)...
27.62	c Sol. found (all assignments made)...
27.65	c Sol. found (all assignments made)...
27.66	c Sol. found (all assignments made)...
27.68	c Sol. found (all assignments made)...
27.68	c Sol. found (all assignments made)...
27.71	c Sol. found (all assignments made)...
27.72	c Sol. found (all assignments made)...
27.73	c Sol. found (all assignments made)...
27.73	c Sol. found (all assignments made)...
27.76	c Sol. found (all assignments made)...
27.76	c Sol. found (all assignments made)...
27.78	c Sol. found (all assignments made)...
27.78	c Sol. found (all assignments made)...
27.82	c Sol. found (all assignments made)...
27.83	c Sol. found (all assignments made)...
27.83	c Sol. found (all assignments made)...
27.84	c Sol. found (all assignments made)...
27.86	c Sol. found (all assignments made)...
27.86	c Sol. found (all assignments made)...
27.87	c Sol. found (all assignments made)...
27.87	c Sol. found (all assignments made)...
27.89	c Sol. found (all assignments made)...
27.90	c Sol. found (all assignments made)...
27.90	c Sol. found (all assignments made)...
27.91	c Sol. found (all assignments made)...
27.95	c Sol. found (all assignments made)...
27.95	c Sol. found (all assignments made)...
27.97	c Sol. found (all assignments made)...
27.97	c Sol. found (all assignments made)...
28.00	c Sol. found (all assignments made)...
28.00	c Sol. found (all assignments made)...
28.03	c Sol. found (all assignments made)...
28.03	c Sol. found (all assignments made)...
28.05	c Sol. found (all assignments made)...
28.06	c Sol. found (all assignments made)...
28.07	c Sol. found (all assignments made)...
28.07	c Sol. found (all assignments made)...
28.08	c Sol. found (all assignments made)...
28.08	c Sol. found (all assignments made)...
28.10	c Sol. found (all assignments made)...
28.11	c Sol. found (all assignments made)...
28.14	c Sol. found (all assignments made)...
28.14	c Sol. found (all assignments made)...
28.18	c Sol. found (all assignments made)...
28.18	c Sol. found (all assignments made)...
28.19	c Sol. found (all assignments made)...
28.19	c Sol. found (all assignments made)...
28.23	c Sol. found (all assignments made)...
28.23	c Sol. found (all assignments made)...
28.25	c Sol. found (all assignments made)...
28.25	c Sol. found (all assignments made)...
28.28	c Sol. found (all assignments made)...
28.29	c Sol. found (all assignments made)...
28.31	c Sol. found (all assignments made)...
28.31	c Sol. found (all assignments made)...
28.33	c Sol. found (all assignments made)...
28.33	c Sol. found (all assignments made)...
28.34	c Sol. found (all assignments made)...
28.34	c Sol. found (all assignments made)...
28.36	c Sol. found (all assignments made)...
28.37	c Sol. found (all assignments made)...
28.38	c Sol. found (all assignments made)...
28.38	c Sol. found (all assignments made)...
28.39	c Sol. found (all assignments made)...
28.40	c Sol. found (all assignments made)...
28.41	c Sol. found (all assignments made)...
28.42	c Sol. found (all assignments made)...
28.43	c Sol. found (all assignments made)...
28.43	c Sol. found (all assignments made)...
28.49	c Sol. found (all assignments made)...
28.49	c Sol. found (all assignments made)...
28.51	c Sol. found (all assignments made)...
28.51	c Sol. found (all assignments made)...
28.55	c Sol. found (all assignments made)...
28.55	c Sol. found (all assignments made)...
28.57	c Sol. found (all assignments made)...
28.57	c Sol. found (all assignments made)...
28.61	c Sol. found (all assignments made)...
28.61	c Sol. found (all assignments made)...
28.62	c Sol. found (all assignments made)...
28.62	c Sol. found (all assignments made)...
28.65	c Sol. found (all assignments made)...
28.65	c Sol. found (all assignments made)...
28.66	c Sol. found (all assignments made)...
28.66	c Sol. found (all assignments made)...
28.69	c Sol. found (all assignments made)...
28.69	c Sol. found (all assignments made)...
28.71	c Sol. found (all assignments made)...
28.71	c Sol. found (all assignments made)...
28.73	c Sol. found (all assignments made)...
28.74	c Sol. found (all assignments made)...
28.78	c Sol. found (all assignments made)...
28.78	c Sol. found (all assignments made)...
28.80	c Sol. found (all assignments made)...
28.80	c Sol. found (all assignments made)...
28.81	c Sol. found (all assignments made)...
28.81	c Sol. found (all assignments made)...
28.84	c Sol. found (all assignments made)...
28.84	c Sol. found (all assignments made)...
28.85	c Sol. found (all assignments made)...
28.85	c Sol. found (all assignments made)...
28.88	c Sol. found (all assignments made)...
28.89	c Sol. found (all assignments made)...
28.90	c Sol. found (all assignments made)...
28.91	c Sol. found (all assignments made)...
28.94	c Sol. found (all assignments made)...
28.95	c Sol. found (all assignments made)...
28.97	c Sol. found (all assignments made)...
28.97	c Sol. found (all assignments made)...
28.98	c Sol. found (all assignments made)...
28.99	c Sol. found (all assignments made)...
29.01	c Sol. found (all assignments made)...
29.01	c Sol. found (all assignments made)...
29.02	c Sol. found (all assignments made)...
29.03	c Sol. found (all assignments made)...
29.06	c Sol. found (all assignments made)...
29.06	c Sol. found (all assignments made)...
29.08	c Sol. found (all assignments made)...
29.09	c Sol. found (all assignments made)...
29.11	c Sol. found (all assignments made)...
29.11	c Sol. found (all assignments made)...
29.12	c Sol. found (all assignments made)...
29.12	c Sol. found (all assignments made)...
29.15	c Sol. found (all assignments made)...
29.15	c Sol. found (all assignments made)...
29.17	c Sol. found (all assignments made)...
29.17	c Sol. found (all assignments made)...
29.18	c Sol. found (all assignments made)...
29.18	c Sol. found (all assignments made)...
29.22	c Sol. found (all assignments made)...
29.22	c Sol. found (all assignments made)...
29.23	c Sol. found (all assignments made)...
29.23	c Sol. found (all assignments made)...
29.27	c Sol. found (all assignments made)...
29.27	c Sol. found (all assignments made)...
29.28	c Sol. found (all assignments made)...
29.28	c Sol. found (all assignments made)...
29.33	c Sol. found (all assignments made)...
29.33	c Sol. found (all assignments made)...
29.34	c Sol. found (all assignments made)...
29.35	c Sol. found (all assignments made)...
29.35	c Sol. found (all assignments made)...
29.36	c Sol. found (all assignments made)...
29.39	c Sol. found (all assignments made)...
29.39	c Sol. found (all assignments made)...
29.42	c Sol. found (all assignments made)...
29.42	c Sol. found (all assignments made)...
29.45	c Sol. found (all assignments made)...
29.45	c Sol. found (all assignments made)...
29.48	c Sol. found (all assignments made)...
29.49	c Sol. found (all assignments made)...
29.51	c Sol. found (all assignments made)...
29.51	c Sol. found (all assignments made)...
29.53	c Sol. found (all assignments made)...
29.53	c Sol. found (all assignments made)...
29.57	c Sol. found (all assignments made)...
29.58	c Sol. found (all assignments made)...
29.61	c Sol. found (all assignments made)...
29.62	c Sol. found (all assignments made)...
29.63	c Sol. found (all assignments made)...
29.63	c Sol. found (all assignments made)...
29.66	c Sol. found (all assignments made)...
29.66	c Sol. found (all assignments made)...
29.68	c Sol. found (all assignments made)...
29.68	c Sol. found (all assignments made)...
29.71	c Sol. found (all assignments made)...
29.71	c Sol. found (all assignments made)...
29.76	c Sol. found (all assignments made)...
29.76	c Sol. found (all assignments made)...
29.79	c Sol. found (all assignments made)...
29.80	c Sol. found (all assignments made)...
29.82	c Sol. found (all assignments made)...
29.82	c Sol. found (all assignments made)...
29.87	c Sol. found (all assignments made)...
29.87	c Sol. found (all assignments made)...
31.16	c Sol. found (all assignments made)...
31.16	c Sol. found (all assignments made)...
31.22	c Sol. found (all assignments made)...
31.22	c Sol. found (all assignments made)...
31.24	c Sol. found (all assignments made)...
31.24	c Sol. found (all assignments made)...
31.27	c Sol. found (all assignments made)...
31.27	c Sol. found (all assignments made)...
31.29	c Sol. found (all assignments made)...
31.29	c Sol. found (all assignments made)...
31.30	c Sol. found (all assignments made)...
31.31	c Sol. found (all assignments made)...
31.33	c Sol. found (all assignments made)...
31.33	c Sol. found (all assignments made)...
31.35	c Sol. found (all assignments made)...
31.35	c Sol. found (all assignments made)...
31.38	c Sol. found (all assignments made)...
31.38	c Sol. found (all assignments made)...
31.39	c Sol. found (all assignments made)...
31.40	c Sol. found (all assignments made)...
31.49	c Sol. found (all assignments made)...
31.49	c Sol. found (all assignments made)...
31.50	c Sol. found (all assignments made)...
31.51	c Sol. found (all assignments made)...
31.52	c Sol. found (all assignments made)...
31.53	c Sol. found (all assignments made)...
31.53	c Sol. found (all assignments made)...
31.54	c Sol. found (all assignments made)...
31.59	c Sol. found (all assignments made)...
31.60	c Sol. found (all assignments made)...
31.63	c Sol. found (all assignments made)...
31.63	c Sol. found (all assignments made)...
31.66	c Sol. found (all assignments made)...
31.67	c Sol. found (all assignments made)...
31.68	c Sol. found (all assignments made)...
31.68	c Sol. found (all assignments made)...
31.70	c Sol. found (all assignments made)...
31.70	c Sol. found (all assignments made)...
31.73	c Sol. found (all assignments made)...
31.73	c Sol. found (all assignments made)...
31.74	c Restart #23 #Var: 1686 LB: 0 @ 31.713
33.16	c Restart #24 #Var: 1686 LB: 0 @ 33.139
36.27	c Restart #25 #Var: 1686 LB: 0 @ 36.242
36.31	c Sol. found (all assignments made)...
36.31	o 7383045
36.31	c NEW SOLUTION FOUND: 7383045 @ 36.286
36.31	c Sol. found (all assignments made)...
36.31	o 7265285
36.31	c NEW SOLUTION FOUND: 7265285 @ 36.288
36.33	c Sol. found (all assignments made)...
36.33	c Sol. found (all assignments made)...
36.34	c Sol. found (all assignments made)...
36.35	c Sol. found (all assignments made)...
36.36	c Sol. found (all assignments made)...
36.37	c Sol. found (all assignments made)...
36.38	c Sol. found (all assignments made)...
36.38	c Sol. found (all assignments made)...
36.39	c Sol. found (all assignments made)...
36.39	c Sol. found (all assignments made)...
36.43	c Sol. found (all assignments made)...
36.46	c Sol. found (all assignments made)...
36.50	c Sol. found (all assignments made)...
36.52	c Sol. found (all assignments made)...
36.57	c Sol. found (all assignments made)...
36.58	c Sol. found (all assignments made)...
36.64	c Sol. found (all assignments made)...
36.65	c Sol. found (all assignments made)...
36.68	c Sol. found (all assignments made)...
36.80	c Sol. found (all assignments made)...
36.80	c Sol. found (all assignments made)...
36.81	c Sol. found (all assignments made)...
36.83	c Sol. found (all assignments made)...
36.83	c Sol. found (all assignments made)...
36.83	c Sol. found (all assignments made)...
36.84	c Sol. found (all assignments made)...
36.84	c Sol. found (all assignments made)...
36.84	c Sol. found (all assignments made)...
37.44	c Sol. found (all assignments made)...
38.48	c Sol. found (all assignments made)...
38.85	c Sol. found (all assignments made)...
38.97	c Sol. found (all assignments made)...
39.35	c Sol. found (all assignments made)...
39.36	c Sol. found (all assignments made)...
39.43	c Sol. found (all assignments made)...
39.44	c Sol. found (all assignments made)...
39.75	c Sol. found (all assignments made)...
39.81	c Sol. found (all assignments made)...
39.85	c Sol. found (all assignments made)...
39.98	c Sol. found (all assignments made)...
40.01	c Sol. found (all assignments made)...
40.05	c Sol. found (all assignments made)...
40.35	c Sol. found (all assignments made)...
40.38	c Sol. found (all assignments made)...
40.41	c Sol. found (all assignments made)...
40.65	c Sol. found (all assignments made)...
40.66	c Sol. found (all assignments made)...
40.70	c Sol. found (all assignments made)...
40.78	c Sol. found (all assignments made)...
41.02	c Sol. found (all assignments made)...
41.09	c Sol. found (all assignments made)...
41.32	c Sol. found (all assignments made)...
41.39	c Sol. found (all assignments made)...
41.52	c Sol. found (all assignments made)...
41.70	c Sol. found (all assignments made)...
41.73	c Sol. found (all assignments made)...
41.80	c Sol. found (all assignments made)...
41.91	c Sol. found (all assignments made)...
42.01	c Sol. found (all assignments made)...
42.16	c Sol. found (all assignments made)...
42.65	c Sol. found (all assignments made)...
42.76	c Sol. found (all assignments made)...
42.88	c Sol. found (all assignments made)...
42.97	c Sol. found (all assignments made)...
43.15	c Restart #26 #Var: 1686 LB: 0 @ 43.128
45.73	c Restart #27 #Var: 1686 LB: 0 @ 45.706
48.04	c Sol. found (all assignments made)...
48.08	c Sol. found (all assignments made)...
48.13	c Sol. found (all assignments made)...
48.17	c Restart #28 #Var: 1686 LB: 0 @ 48.138
49.63	c Restart #29 #Var: 1686 LB: 0 @ 49.602
51.38	c CHANGE to MIS mode... 	UB: 7265285	MIS: 42	LPR: -2147483648 (0)	Diff: -1.9558e-08
51.38	c Restart #0 #Var: 1686 LB: 0 @ 51.349
51.52	c Restart #1 #Var: 1686 LB: 42 @ 51.491
52.03	c Restart #2 #Var: 1686 LB: 42 @ 52.004
52.80	c Restart #3 #Var: 1686 LB: 42 @ 52.776
54.77	c Restart #4 #Var: 1686 LB: 42 @ 54.744
57.20	c Restart #5 #Var: 1686 LB: 42 @ 57.171
59.64	c Restart #6 #Var: 1686 LB: 42 @ 59.606
62.95	c Restart #7 #Var: 1686 LB: 42 @ 62.924
66.37	c Restart #8 #Var: 1686 LB: 42 @ 66.336
70.31	c Restart #9 #Var: 1686 LB: 42 @ 70.278
74.20	c Restart #10 #Var: 1686 LB: 42 @ 74.169
79.42	c Restart #11 #Var: 1686 LB: 42 @ 79.381
85.66	c Restart #12 #Var: 1686 LB: 42 @ 85.619
92.48	c Restart #13 #Var: 1686 LB: 42 @ 92.436
98.81	c Restart #14 #Var: 1686 LB: 42 @ 98.766
101.75	c Restart #15 #Var: 1686 LB: 42 @ 101.71
105.25	c Restart #16 #Var: 1686 LB: 42 @ 105.21
110.36	c Restart #17 #Var: 1686 LB: 42 @ 110.32
117.37	c Restart #18 #Var: 1686 LB: 42 @ 117.32
121.55	c Restart #19 #Var: 1686 LB: 42 @ 121.5
131.03	c Restart #20 #Var: 1686 LB: 42 @ 130.96
140.24	c Restart #21 #Var: 1686 LB: 42 @ 140.13
146.92	c Restart #22 #Var: 1686 LB: 42 @ 146.78
153.94	c Restart #23 #Var: 1686 LB: 42 @ 153.79
165.25	c Restart #24 #Var: 1686 LB: 42 @ 165.1
167.20	c Restart #25 #Var: 1686 LB: 42 @ 167.05
180.60	c Restart #26 #Var: 1686 LB: 42 @ 180.45
193.06	c Restart #27 #Var: 1686 LB: 42 @ 192.9
199.65	c Restart #28 #Var: 1686 LB: 42 @ 199.48
210.95	c Restart #29 #Var: 1686 LB: 42 @ 210.78
227.82	c Restart #30 #Var: 1686 LB: 42 @ 227.65
242.55	c Restart #31 #Var: 1686 LB: 0 @ 242.37
258.06	c Restart #32 #Var: 1686 LB: 42 @ 257.88
259.82	c Restart #33 #Var: 1686 LB: 0 @ 259.64
282.12	c Restart #34 #Var: 1686 LB: 42 @ 281.94
300.59	c Restart #35 #Var: 1686 LB: 42 @ 300.4
320.39	c Restart #36 #Var: 1686 LB: 42 @ 320.2
343.41	c Restart #37 #Var: 1686 LB: 42 @ 343.2
366.40	c Restart #38 #Var: 1686 LB: 42 @ 366.19
371.84	c Restart #39 #Var: 1686 LB: 42 @ 371.63
405.20	c Restart #40 #Var: 1686 LB: 42 @ 404.98
432.07	c Restart #41 #Var: 1686 LB: 42 @ 431.85
455.13	c Restart #42 #Var: 1686 LB: 42 @ 454.89
472.22	c Restart #43 #Var: 1686 LB: 42 @ 471.98
515.73	c Restart #44 #Var: 1686 LB: 42 @ 515.48
534.77	c Restart #45 #Var: 1686 LB: 42 @ 534.51
540.10	c Restart #46 #Var: 1686 LB: 42 @ 539.84
548.45	c Restart #47 #Var: 1686 LB: 42 @ 548.19
565.05	c Restart #48 #Var: 1686 LB: 42 @ 564.79
570.24	c Restart #49 #Var: 1686 LB: 42 @ 569.98
573.83	c Restart #50 #Var: 1686 LB: 42 @ 573.56
587.32	c Restart #51 #Var: 1686 LB: 0 @ 587.05
617.46	c Restart #52 #Var: 1686 LB: 42 @ 617.18
620.46	c Restart #53 #Var: 1686 LB: 42 @ 620.18
646.50	c Restart #54 #Var: 1686 LB: 42 @ 646.21
667.51	c Restart #55 #Var: 1686 LB: 42 @ 667.22
683.60	c Restart #56 #Var: 1686 LB: 42 @ 683.3
687.41	c Restart #57 #Var: 1686 LB: 42 @ 687.11
714.03	c Restart #58 #Var: 1686 LB: 42 @ 713.72
746.62	c Restart #59 #Var: 1686 LB: 42 @ 746.3
796.29	c Restart #60 #Var: 1686 LB: 42 @ 795.96
816.37	c Restart #61 #Var: 1686 LB: 42 @ 816.03
824.08	c Restart #62 #Var: 1686 LB: 42 @ 823.74
842.47	c Restart #63 #Var: 1686 LB: 42 @ 842.12
882.37	c Restart #64 #Var: 1686 LB: 42 @ 882.01
911.93	c Restart #65 #Var: 1686 LB: 42 @ 911.57
962.76	c Restart #66 #Var: 1686 LB: 42 @ 962.39
1000.36	c Restart #67 #Var: 1686 LB: 42 @ 999.97
1032.82	c Restart #68 #Var: 1686 LB: 42 @ 1032.4
1038.47	c Restart #69 #Var: 1686 LB: 0 @ 1038.1
1050.45	c Restart #70 #Var: 1686 LB: 0 @ 1050
1056.39	c Restart #71 #Var: 1686 LB: 0 @ 1056
1075.67	c Restart #72 #Var: 1686 LB: 0 @ 1075.3
1109.90	c Restart #73 #Var: 1686 LB: 0 @ 1109.5
1132.97	c Restart #74 #Var: 1686 LB: 0 @ 1132.5
1138.14	c Restart #75 #Var: 1686 LB: 0 @ 1137.7
1188.87	c Restart #76 #Var: 1686 LB: 0 @ 1188.4
1226.32	c Restart #77 #Var: 1686 LB: 42 @ 1225.9
1260.14	c Restart #78 #Var: 1686 LB: 0 @ 1259.7
1299.50	c Restart #79 #Var: 1686 LB: 0 @ 1299
1339.96	c Restart #80 #Var: 1686 LB: 0 @ 1339.5
1348.16	c Restart #81 #Var: 1686 LB: 42 @ 1347.7
1381.57	c Restart #82 #Var: 1686 LB: 0 @ 1381.1
1405.63	c Restart #83 #Var: 1686 LB: 42 @ 1405.1
1440.83	c Restart #84 #Var: 1686 LB: 42 @ 1440.3
1467.92	c Restart #85 #Var: 1686 LB: 0 @ 1467.4
1511.63	c Restart #86 #Var: 1686 LB: 42 @ 1511.1
1543.17	c Restart #87 #Var: 1686 LB: 0 @ 1542.6
1580.06	c Restart #88 #Var: 1686 LB: 42 @ 1579.5
1624.51	c Restart #89 #Var: 1686 LB: 42 @ 1623.9
1685.60	c Restart #90 #Var: 1686 LB: 0 @ 1685
1733.06	c Restart #91 #Var: 1686 LB: 0 @ 1732.5
1793.33	c Restart #92 #Var: 1686 LB: 0 @ 1792.7
1800.62	s SATISFIABLE
1800.62	c Cost: 7265285
1800.62	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.62	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.62	v -x55 -x56 -x57 -x58 -x59 -x60 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976
1800.62	v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1800.62	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1800.62	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
1800.62	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647
1800.62	v -x1648 -x1649 -x1650 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964
1800.62	v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x2281
1800.62	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298
1800.62	v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2611 -x2612 -x2613 -x2614 -x2615
1800.62	v -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632
1800.62	v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2941 x2942 x2943 x2944 x2945 x2946 x2947 x2948 x2949 x2950 x2951
1800.62	v -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968
1800.62	v -x2969 -x2970 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285
1800.62	v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x61 -x62 -x63
1800.62	v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89
1800.62	v -x90 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
1800.62	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.62	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.62	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
1800.62	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794
1800.62	v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.62	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.62	v -x837 -x838 -x839 -x840 x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 x853 -x854 -x855 -x856 -x857
1800.62	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 x874 x875 x876 x877 x878 x879
1800.62	v x880 x881 -x882 x883 x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1800.62	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1800.62	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
1800.62	v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x991 -x992 -x993
1800.62	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011
1800.62	v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028
1800.62	v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1800.62	v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062
1800.62	v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079
1800.62	v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096
1800.62	v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
1800.62	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
1800.62	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1800.62	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1800.62	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1800.62	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1800.62	v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 x1212 -x1213 -x1214 -x1215 -x1216
1800.62	v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 x1234
1800.62	v x1235 x1236 x1237 x1238 x1239 x1240 -x1241 -x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253
1800.62	v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
1800.62	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287
1800.62	v -x1288 -x1289 -x1290 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
1800.62	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351
1800.62	v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368
1800.62	v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385
1800.62	v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403
1800.62	v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
1800.62	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437
1800.62	v -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454
1800.62	v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471
1800.62	v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488
1800.62	v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505
1800.62	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522
1800.62	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539
1800.62	v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556
1800.62	v -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573
1800.62	v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
1800.62	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607
1800.62	v -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1651 -x1652 -x1653 -x1654
1800.62	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1800.62	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1800.62	v -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705
1800.62	v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722
1800.62	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739
1800.62	v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756
1800.62	v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 x1773 x1774
1800.62	v x1775 x1776 x1777 x1778 x1779 x1780 -x1781 x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793
1800.62	v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 -x1812
1800.62	v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829
1800.62	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846
1800.62	v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863
1800.62	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1800.62	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
1800.62	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914
1800.62	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 -x1931 x1932 x1933
1800.62	v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
1800.62	v x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997
1800.62	v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014
1800.62	v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031
1800.62	v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048
1800.62	v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065
1800.62	v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082
1800.62	v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099
1800.62	v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116
1800.62	v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133
1800.62	v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
1800.62	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167
1800.62	v -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184
1800.62	v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201
1800.62	v -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218
1800.62	v -x2219 -x2220 x2221 x2222 x2223 x2224 x2225 x2226 x2227 x2228 x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237
1800.62	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254
1800.62	v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271
1800.62	v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318
1800.62	v -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335
1800.62	v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352
1800.62	v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369
1800.62	v -x2370 x2371 x2372 x2373 x2374 x2375 x2376 x2377 x2378 x2379 x2380 x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388
1800.62	v -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405
1800.62	v -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422
1800.62	v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439
1800.62	v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456
1800.62	v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473
1800.62	v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
1800.62	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507
1800.62	v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524
1800.62	v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541
1800.62	v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558
1800.62	v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575
1800.62	v -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592
1800.62	v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609
1800.62	v -x2610 x2641 x2642 x2643 x2644 x2645 x2646 x2647 x2648 x2649 x2650 x2651 x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658
1800.62	v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675
1800.62	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692
1800.62	v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709
1800.62	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726
1800.62	v -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743
1800.62	v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
1800.62	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777
1800.62	v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794
1800.62	v -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811
1800.62	v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828
1800.62	v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845
1800.62	v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862
1800.62	v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879
1800.62	v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896
1800.62	v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913
1800.62	v -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
1800.62	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
1800.62	v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
1800.62	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
1800.62	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028
1800.62	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045
1800.62	v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062
1800.62	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080
1800.62	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097
1800.62	v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114
1800.62	v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131
1800.62	v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148
1800.62	v -x3149 -x3150 x3151 x3152 x3153 x3154 x3155 x3156 x3157 x3158 x3159 x3160 x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167
1800.62	v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184
1800.62	v -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201
1800.62	v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218
1800.62	v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235
1800.62	v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252
1800.62	v -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269
1800.62	v -x3270 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316
1800.62	v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333
1800.62	v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
1800.62	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367
1800.62	v -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384
1800.62	v -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401
1800.62	v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418
1800.62	v -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435
1800.62	v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452
1800.62	v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469
1800.62	v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486
1800.62	v -x3487 -x3488 -x3489 -x3490 -x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503
1800.62	v -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
1800.62	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537
1800.62	v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554
1800.62	v -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571
1800.62	v -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588
1800.62	v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100
1800.62	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121
1800.62	v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142
1800.62	v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163
1800.62	v -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184
1800.62	v -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205
1800.62	v -x206 -x207 -x208 -x209 -x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.62	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.62	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.62	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.62	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.62	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.62	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.62	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.62	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x421 -x422 -x423 -x424 -x425 -x426
1800.62	v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447
1800.62	v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468
1800.62	v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489
1800.62	v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
1800.62	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531
1800.62	v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552
1800.62	v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
1800.62	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594
1800.62	v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615
1800.62	v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636
1800.62	v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657
1800.62	v -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
1800.62	v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701
1800.62	v x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x3601 -x3602
1800.62	v -x3633 -x3644 -x3655 -x3666 -x3677 -x3688 x3699 -x3710 -x3603 x3614 -x3625 -x3626 x3627 -x3628 x3629 x3630 -x3631 -x3632
1800.62	v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 x3642 -x3643 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652
1800.62	v -x3653 -x3654 -x3656 x3657 -x3658 x3659 x3660 x3661 -x3662 -x3663 -x3664 x3665 x3667 -x3668 -x3669 -x3670 -x3671 -x3672
1800.62	v x3673 -x3674 x3675 -x3676 -x3678 -x3679 x3680 -x3681 -x3682 -x3683 x3684 -x3685 x3686 x3687 x3689 -x3690 -x3691 -x3692
1800.62	v x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3711 -x3712
1800.62	v -x3713 -x3714 x3715 x3716 x3717 x3718 -x3719 -x3720 x3604 -x3605 -x3606 -x3607 x3608 x3609 -x3610 -x3611 -x3612 -x3613
1800.62	v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 x3623 x3624
1800.62	c Exit Code: 10
1800.62	c Total time: 1800 s

Verifier Data (download as text)

OK	7265285

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1569176/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=4932 CPUtime=0
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 366 0 0 0 0 0 0 0 19 0 1 0 196015613 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 1233 330 226 55 0 125 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1563672/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=10036 CPUtime=9.98
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 1760 0 0 0 992 6 0 0 25 0 1 0 196015613 10276864 1675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2509 1675 298 55 0 1401 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 10036

[startup+20.0093 s]
/proc/loadavg: 0.94 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1563416/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=10064 CPUtime=19.98
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 2220 0 0 0 1992 6 0 0 25 0 1 0 196015613 10305536 1684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2516 1684 298 55 0 1408 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10064

[startup+30.0163 s]
/proc/loadavg: 0.95 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1562840/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=10972 CPUtime=29.99
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 2817 0 0 0 2992 7 0 0 25 0 1 0 196015613 11235328 1882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2743 1882 298 55 0 1635 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 10972

[startup+40.0224 s]
/proc/loadavg: 0.95 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1562776/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=10860 CPUtime=39.99
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 2855 0 0 0 3991 8 0 0 25 0 1 0 196015613 11120640 1865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2715 1865 298 55 0 1607 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 10860

[startup+50.0284 s]
/proc/loadavg: 0.96 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1562776/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=10728 CPUtime=50
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 2855 0 0 0 4991 9 0 0 25 0 1 0 196015613 10985472 1850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2682 1850 298 55 0 1574 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 10728

[startup+60.0345 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1562520/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=11036 CPUtime=60
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 2985 0 0 0 5990 10 0 0 25 0 1 0 196015613 11300864 1927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2759 1927 298 55 0 1651 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 11036

[startup+70.0405 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1562328/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=11404 CPUtime=70
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3071 0 0 0 6990 10 0 0 25 0 1 0 196015613 11677696 2013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2851 2013 298 55 0 1743 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 11404

[startup+80.0466 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1562328/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=11404 CPUtime=80.01
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3071 0 0 0 7990 11 0 0 25 0 1 0 196015613 11677696 2013 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548225 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2851 2013 298 55 0 1743 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 11404

[startup+90.0527 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1561752/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=11940 CPUtime=90
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3309 0 0 0 8989 11 0 0 25 0 1 0 196015613 12226560 2153 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2985 2153 298 55 0 1877 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 11940

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1561752/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=11920 CPUtime=100.01
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3309 0 0 0 9989 12 0 0 25 0 1 0 196015613 12206080 2148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2980 2148 298 55 0 1872 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 11920

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1561752/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=11920 CPUtime=110.01
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3309 0 0 0 10989 12 0 0 25 0 1 0 196015613 12206080 2148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134629295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2980 2148 298 55 0 1872 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 11920

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15244
/proc/meminfo: memFree=1561752/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=11920 CPUtime=120.02
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3309 0 0 0 11989 13 0 0 25 0 1 0 196015613 12206080 2148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134630808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 2980 2148 298 55 0 1872 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 11920

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.94 2/70 15299
/proc/meminfo: memFree=1560232/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=12052 CPUtime=129.99
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3332 0 0 0 12986 13 0 0 25 0 1 0 196015613 12341248 2171 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3013 2171 298 55 0 1905 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 12052

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.94 2/70 15357
/proc/meminfo: memFree=1559720/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=12388 CPUtime=139.97
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3423 0 0 0 13984 13 0 0 25 0 1 0 196015613 12685312 2262 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3097 2262 298 55 0 1989 0
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 12388

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1559960/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=13196 CPUtime=149.93
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3701 0 0 0 14979 14 0 0 25 0 1 0 196015613 13512704 2455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 0 0 0
/proc/15244/statm: 3299 2455 298 55 0 2191 0
Current children cumulated CPU time (s) 149.93
Current children cumulated vsize (Kb) 13196

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1559960/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=13196 CPUtime=159.94
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3701 0 0 0 15980 14 0 0 25 0 1 0 196015613 13512704 2455 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134606487 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3299 2455 298 55 0 2191 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 13196

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1560216/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=13128 CPUtime=169.94
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3760 0 0 0 16979 15 0 0 25 0 1 0 196015613 13443072 2443 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3282 2443 298 55 0 2174 0
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 13128

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1559960/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=13392 CPUtime=179.94
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3820 0 0 0 17979 15 0 0 25 0 1 0 196015613 13713408 2503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3348 2503 298 55 0 2240 0
Current children cumulated CPU time (s) 179.94
Current children cumulated vsize (Kb) 13392

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1560024/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=13152 CPUtime=189.95
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3820 0 0 0 18980 15 0 0 25 0 1 0 196015613 13467648 2456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3288 2456 298 55 0 2180 0
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 13152

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1560024/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=13152 CPUtime=199.95
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 3820 0 0 0 19980 15 0 0 25 0 1 0 196015613 13467648 2456 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3288 2456 298 55 0 2180 0
Current children cumulated CPU time (s) 199.95
Current children cumulated vsize (Kb) 13152

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1560024/2055920 swapFree=4181500/4192956

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

/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 15312

[startup+1771.05 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557856/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1770.44
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 176979 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1770.44
Current children cumulated vsize (Kb) 15312

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1780.44
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 177979 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134619927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1780.44
Current children cumulated vsize (Kb) 15312

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1781.45
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178080 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 15312

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1782.45
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178180 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 15312

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1783.45
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178280 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 15312

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1784.46
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178381 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 15312

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1785.46
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178481 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 15312

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1786.47
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178582 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 15312

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1787.47
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178682 65 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (Kb) 15312

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1788.49
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178783 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 15312

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1789.49
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178883 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 15312

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1790.49
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 178983 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 15312

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1791.5
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179084 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (Kb) 15312

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1792.5
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179184 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 15312

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1793.5
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179284 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 15312

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1794.51
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179385 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 15312

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1795.51
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179485 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10850894 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 15312

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1796.52
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179586 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134620470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 15312

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1797.52
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179686 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 15312

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1798.53
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179787 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548247 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (Kb) 15312

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 15439
/proc/meminfo: memFree=1557792/2055920 swapFree=4181500/4192956
[pid=15244] ppid=15242 vsize=15312 CPUtime=1799.53
/proc/15244/stat : 15244 (bsolo) R 15242 15244 15198 0 -1 0 5051 0 0 0 179887 66 0 0 25 0 1 0 196015613 15679488 2996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15244/statm: 3828 2996 298 55 0 2720 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (Kb) 15312

Child status: 10
Real time (s): 1800.63
CPU time (s): 1800.02
CPU user time (s): 1799.35
CPU system time (s): 0.669898
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (Kb): 15496

Launcher Data (download as text)

Begin job on node7 on Sat Jun  3 02:58:54 UTC 2006


FILE ID= 40543-1149303534

PBS_JOBID= 307484

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/40543-1149303534/instance-40543-1149303534.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-40543-1149303534 -o ROOT/results/node7/solver-40543-1149303534 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node7/40543-1149303534/instance-40543-1149303534.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  9d08937c2a2ec73e4fca19adadace920

RANDOM SEED= 13568878


/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.232
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.232
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:       1569448 kB
Buffers:         26876 kB
Cached:         387552 kB
SwapCached:       3432 kB
Active:          32780 kB
Inactive:       390612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1569448 kB
SwapTotal:     4192956 kB
SwapFree:      4181500 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            49076 kB
Committed_AS:   280708 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 node7 on Sat Jun  3 03:28:55 UTC 2006