Trace number 2694321

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
SAT4J PB RES // CP 2.2.0 2010-05-31OPTIMUM 1107.69 693.678

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo
MD5SUMe08e31eb3b4e7c09e6499c484fbac4c3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.19767
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4622
Total number of constraints12569
Number of soft constraints4285
Number of constraints which are clauses11753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints816
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 220151
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 220150
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 130
Number of bits of the biggest sum of numbers8
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 

0.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.07	c version 2.2.0.v20100531
0.05/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.07	c java.vm.name		Java HotSpot(TM) Server VM
0.05/0.07	c java.vm.version	11.2-b01
0.05/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.07	c sun.arch.data.model	32
0.05/0.07	c java.version		1.6.0_12
0.05/0.07	c os.name		Linux
0.05/0.07	c os.version		2.6.18-164.el5
0.05/0.07	c os.arch		i386
0.05/0.07	c Free memory 		1393557488
0.05/0.07	c Max memory 		1395916800
0.05/0.07	c Total memory 		1395916800
0.05/0.07	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c Stops conflict analysis at the first Unique Implication Point
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1cb25f1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c Stops conflict analysis at the first Unique Implication Point
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@b1c260
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	
0.11/0.11	c solving HOME/instance-2694321-1277913807.wbo
0.11/0.11	c reading problem ... 
1.08/0.57	c ... done. Wall clock time 0.463s.
1.08/0.57	c #vars     8907
1.08/0.57	c #constraints  12569
1.08/0.57	c constraints type 
1.08/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2898
1.08/0.57	c org.sat4j.minisat.constraints.card.MinWatchCard => 1018
1.08/0.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7836
1.08/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPb => 816
1.08/0.57	c constraints type 
1.08/0.57	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7836
1.08/0.57	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2898
1.08/0.57	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1018
1.08/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPb => 816
3.80/1.26	c And the winner is Resolution
4.56/1.60	c SATISFIABLE
4.56/1.60	c OPTIMIZING...
4.56/1.60	c Got one! Elapsed wall clock time (in seconds):1.493
4.56/1.60	o 1762
4.56/1.70	c And the winner is Resolution
4.94/2.63	c Got one! Elapsed wall clock time (in seconds):2.525
4.94/2.63	o 1438
5.13/2.72	c And the winner is Resolution
5.18/3.66	c Got one! Elapsed wall clock time (in seconds):3.556
5.18/3.66	o 1369
5.30/3.76	c And the winner is Resolution
5.43/4.69	c Got one! Elapsed wall clock time (in seconds):4.585
5.43/4.69	o 1168
5.47/4.79	c And the winner is Resolution
5.66/5.72	c Got one! Elapsed wall clock time (in seconds):5.614
5.66/5.72	o 965
5.84/5.87	c And the winner is Resolution
5.99/6.75	c Got one! Elapsed wall clock time (in seconds):6.643
5.99/6.75	o 964
6.10/6.83	c And the winner is Resolution
6.19/7.78	c Got one! Elapsed wall clock time (in seconds):7.674
6.19/7.78	o 961
6.23/7.88	c And the winner is Resolution
6.76/8.81	c Got one! Elapsed wall clock time (in seconds):8.704
6.76/8.81	o 956
6.92/8.95	c And the winner is Resolution
7.04/9.84	c Got one! Elapsed wall clock time (in seconds):9.737
7.04/9.84	o 954
7.37/10.05	c And the winner is Resolution
7.49/10.87	c Got one! Elapsed wall clock time (in seconds):10.766
7.49/10.87	o 953
7.56/10.95	c And the winner is Resolution
7.70/11.90	c Got one! Elapsed wall clock time (in seconds):11.795
7.70/11.90	o 943
7.92/12.00	c And the winner is Resolution
7.93/12.93	c Got one! Elapsed wall clock time (in seconds):12.823
7.93/12.93	o 940
8.07/13.08	c And the winner is Resolution
8.25/13.96	c Got one! Elapsed wall clock time (in seconds):13.854
8.25/13.96	o 938
8.58/14.15	c And the winner is Resolution
8.72/14.99	c Got one! Elapsed wall clock time (in seconds):14.884
8.72/14.99	o 934
9.19/15.26	c And the winner is Resolution
9.31/16.02	c Got one! Elapsed wall clock time (in seconds):15.916
9.31/16.02	o 931
9.47/16.12	c And the winner is Resolution
9.52/17.05	c Got one! Elapsed wall clock time (in seconds):16.946
9.52/17.05	o 930
9.61/17.15	c And the winner is Resolution
9.72/18.08	c Got one! Elapsed wall clock time (in seconds):17.975
9.72/18.08	o 929
9.97/18.22	c And the winner is Resolution
10.02/19.11	c Got one! Elapsed wall clock time (in seconds):19.002
10.02/19.11	o 926
10.40/19.30	c And the winner is Resolution
10.43/20.14	c Got one! Elapsed wall clock time (in seconds):20.032
10.43/20.14	o 925
10.96/20.41	c And the winner is Resolution
10.99/21.17	c Got one! Elapsed wall clock time (in seconds):21.061
10.99/21.17	o 921
11.69/21.53	c cleaning 2494 clauses out of 5000 with flag 5000/5000
11.88/21.69	c And the winner is Resolution
12.10/22.20	c Got one! Elapsed wall clock time (in seconds):22.091
12.10/22.20	o 918
12.29/22.30	c And the winner is Resolution
12.31/23.23	c Got one! Elapsed wall clock time (in seconds):23.12
12.31/23.23	o 910
12.46/23.34	c And the winner is Resolution
12.56/24.26	c Got one! Elapsed wall clock time (in seconds):24.151
12.56/24.26	o 906
12.84/24.45	c And the winner is Resolution
12.97/25.29	c Got one! Elapsed wall clock time (in seconds):25.181
12.97/25.29	o 898
13.20/25.49	c And the winner is Resolution
13.40/26.32	c Got one! Elapsed wall clock time (in seconds):26.21
13.40/26.32	o 891
13.97/26.61	c And the winner is Resolution
14.02/27.35	c Got one! Elapsed wall clock time (in seconds):27.24
14.02/27.35	o 889
14.14/27.45	c And the winner is Resolution
14.25/28.38	c Got one! Elapsed wall clock time (in seconds):28.27
14.25/28.38	o 882
14.73/28.64	c And the winner is Resolution
14.84/29.41	c Got one! Elapsed wall clock time (in seconds):29.3
14.84/29.41	o 878
15.63/29.82	c And the winner is Resolution
15.71/30.44	c Got one! Elapsed wall clock time (in seconds):30.331
15.71/30.44	o 877
16.85/31.03	c And the winner is Resolution
16.95/31.47	c Got one! Elapsed wall clock time (in seconds):31.364
16.95/31.47	o 873
17.02/31.57	c And the winner is Resolution
17.22/32.50	c Got one! Elapsed wall clock time (in seconds):32.394
17.22/32.50	o 869
17.41/32.62	c And the winner is Resolution
17.49/33.53	c Got one! Elapsed wall clock time (in seconds):33.423
17.49/33.53	o 866
17.64/33.68	c And the winner is Resolution
17.84/34.56	c Got one! Elapsed wall clock time (in seconds):34.453
17.84/34.56	o 864
18.35/34.82	c And the winner is Resolution
18.42/35.59	c Got one! Elapsed wall clock time (in seconds):35.482
18.42/35.59	o 863
19.06/35.91	c And the winner is Resolution
19.13/36.62	c Got one! Elapsed wall clock time (in seconds):36.511
19.13/36.62	o 862
20.11/37.16	c cleaning 4249 clauses out of 8505 with flag 11001/11001
20.29/37.24	c And the winner is Resolution
20.41/37.65	c Got one! Elapsed wall clock time (in seconds):37.541
20.41/37.65	o 858
21.75/38.34	c And the winner is Resolution
21.88/38.68	c Got one! Elapsed wall clock time (in seconds):38.569
21.88/38.68	o 854
23.96/39.73	c And the winner is Resolution
24.08/40.71	c Got one! Elapsed wall clock time (in seconds):40.603
24.08/40.71	o 849
24.25/40.82	c And the winner is Resolution
24.35/41.74	c Got one! Elapsed wall clock time (in seconds):41.634
24.35/41.74	o 846
24.48/41.87	c And the winner is Resolution
24.66/42.77	c Got one! Elapsed wall clock time (in seconds):42.662
24.66/42.77	o 845
24.95/42.93	c And the winner is Resolution
25.08/43.80	c Got one! Elapsed wall clock time (in seconds):43.691
25.08/43.80	o 838
25.48/44.03	c And the winner is Resolution
25.59/44.83	c Got one! Elapsed wall clock time (in seconds):44.719
25.59/44.83	o 837
26.35/45.24	c And the winner is Resolution
26.49/45.86	c Got one! Elapsed wall clock time (in seconds):45.75
26.49/45.86	o 833
27.59/46.41	c And the winner is Resolution
27.67/46.89	c Got one! Elapsed wall clock time (in seconds):46.78
27.67/46.89	o 829
28.92/47.54	c And the winner is Resolution
29.06/47.92	c Got one! Elapsed wall clock time (in seconds):47.809
29.06/47.92	o 828
29.85/48.40	c cleaning 5619 clauses out of 11256 with flag 18001/18001
30.80/48.81	c And the winner is Resolution
30.88/48.95	c Got one! Elapsed wall clock time (in seconds):48.84
30.88/48.95	o 826
34.03/50.57	c And the winner is Resolution
34.24/50.98	c Got one! Elapsed wall clock time (in seconds):50.871
34.24/50.98	o 824
34.28/51.05	c And the winner is Resolution
34.43/52.01	c Got one! Elapsed wall clock time (in seconds):51.9
34.43/52.01	o 822
34.61/52.16	c And the winner is Resolution
34.82/53.04	c Got one! Elapsed wall clock time (in seconds):52.931
34.82/53.04	o 819
35.15/53.28	c And the winner is Resolution
35.37/54.07	c Got one! Elapsed wall clock time (in seconds):53.96
35.37/54.07	o 809
35.85/54.31	c And the winner is Resolution
35.94/55.10	c Got one! Elapsed wall clock time (in seconds):54.989
35.94/55.10	o 807
36.57/55.46	c And the winner is Resolution
36.75/56.12	c Got one! Elapsed wall clock time (in seconds):56.017
36.75/56.12	o 801
37.92/56.75	c And the winner is Resolution
38.12/57.15	c Got one! Elapsed wall clock time (in seconds):57.046
38.12/57.15	o 799
39.42/57.90	c And the winner is Resolution
39.69/58.18	c Got one! Elapsed wall clock time (in seconds):58.074
39.69/58.18	o 798
41.37/59.03	c cleaning 6815 clauses out of 13636 with flag 26000/26000
41.74/59.29	c And the winner is Resolution
42.00/60.21	c Got one! Elapsed wall clock time (in seconds):60.105
42.00/60.21	o 794
45.40/61.92	c And the winner is Resolution
45.52/62.24	c Got one! Elapsed wall clock time (in seconds):62.138
45.52/62.24	o 793
49.68/64.36	c And the winner is Resolution
49.92/65.28	c Got one! Elapsed wall clock time (in seconds):65.171
49.92/65.28	o 791
50.17/65.40	c And the winner is Resolution
50.24/66.31	c Got one! Elapsed wall clock time (in seconds):66.2
50.24/66.31	o 788
50.42/66.43	c And the winner is Resolution
50.58/67.34	c Got one! Elapsed wall clock time (in seconds):67.231
50.58/67.34	o 787
51.11/67.60	c And the winner is Resolution
51.22/68.37	c Got one! Elapsed wall clock time (in seconds):68.261
51.22/68.37	o 786
51.70/68.68	c And the winner is Resolution
51.96/69.40	c Got one! Elapsed wall clock time (in seconds):69.289
51.96/69.40	o 784
52.58/69.75	c And the winner is Resolution
52.77/70.43	c Got one! Elapsed wall clock time (in seconds):70.32
52.77/70.43	o 782
54.55/71.31	c And the winner is Resolution
54.66/71.46	c Got one! Elapsed wall clock time (in seconds):71.352
54.66/71.46	o 780
54.95/71.61	c cleaning 7906 clauses out of 15823 with flag 35002/35002
55.70/72.08	c And the winner is Resolution
55.96/72.49	c Got one! Elapsed wall clock time (in seconds):72.38
55.96/72.49	o 778
56.99/73.00	c And the winner is Resolution
57.14/73.52	c Got one! Elapsed wall clock time (in seconds):73.409
57.14/73.52	o 777
59.74/74.81	c And the winner is Resolution
59.85/75.55	c Got one! Elapsed wall clock time (in seconds):75.439
59.85/75.55	o 775
63.20/77.29	c And the winner is Resolution
63.51/77.58	c Got one! Elapsed wall clock time (in seconds):77.471
63.51/77.58	o 774
69.45/80.50	c And the winner is Resolution
69.58/81.61	c Got one! Elapsed wall clock time (in seconds):81.507
69.58/81.61	o 773
69.98/81.80	c cleaning 8950 clauses out of 17914 with flag 45000/45000
77.98/85.83	c And the winner is Resolution
78.23/86.65	c Got one! Elapsed wall clock time (in seconds):86.544
78.23/86.65	o 771
78.33/86.79	c And the winner is Resolution
78.60/87.68	c Got one! Elapsed wall clock time (in seconds):87.575
78.60/87.68	o 766
78.86/87.86	c And the winner is Resolution
79.08/88.71	c Got one! Elapsed wall clock time (in seconds):88.603
79.08/88.71	o 761
79.46/88.96	c And the winner is Resolution
79.72/89.74	c Got one! Elapsed wall clock time (in seconds):89.633
79.72/89.74	o 759
80.46/90.14	c And the winner is Resolution
80.68/90.77	c Got one! Elapsed wall clock time (in seconds):90.663
80.68/90.77	o 758
81.34/91.19	c And the winner is Resolution
81.72/91.80	c Got one! Elapsed wall clock time (in seconds):91.696
81.72/91.80	o 753
82.72/92.36	c And the winner is Resolution
82.99/92.83	c Got one! Elapsed wall clock time (in seconds):92.726
82.99/92.83	o 752
85.56/94.19	c And the winner is Resolution
85.90/94.86	c Got one! Elapsed wall clock time (in seconds):94.758
85.90/94.86	o 750
88.40/96.18	c And the winner is Resolution
88.70/96.90	c Got one! Elapsed wall clock time (in seconds):96.789
88.70/96.90	o 746
89.72/97.43	c cleaning 9979 clauses out of 19964 with flag 56000/56000
93.09/99.16	c And the winner is Resolution
93.37/99.93	c Got one! Elapsed wall clock time (in seconds):99.823
93.37/99.93	o 745
98.99/102.71	c And the winner is Resolution
99.15/102.96	c Got one! Elapsed wall clock time (in seconds):102.857
99.15/102.96	o 744
104.88/105.85	c And the winner is Resolution
105.03/106.00	c Got one! Elapsed wall clock time (in seconds):105.891
105.12/106.00	o 742
105.73/106.39	c cleaning 10988 clauses out of 21985 with flag 68000/68000
118.61/112.71	c And the winner is Resolution
118.80/113.04	c Got one! Elapsed wall clock time (in seconds):112.934
118.80/113.04	o 741
118.92/113.17	c And the winner is Resolution
119.12/114.07	c Got one! Elapsed wall clock time (in seconds):113.964
119.12/114.07	o 739
119.40/114.30	c And the winner is Resolution
119.74/115.10	c Got one! Elapsed wall clock time (in seconds):114.994
119.74/115.10	o 738
120.12/115.39	c And the winner is Resolution
120.49/116.13	c Got one! Elapsed wall clock time (in seconds):116.026
120.49/116.13	o 737
121.25/116.56	c And the winner is Resolution
121.54/117.16	c Got one! Elapsed wall clock time (in seconds):117.057
121.54/117.16	o 728
122.65/117.71	c And the winner is Resolution
122.79/118.19	c Got one! Elapsed wall clock time (in seconds):118.088
122.79/118.19	o 723
124.43/119.08	c And the winner is Resolution
124.73/120.23	c Got one! Elapsed wall clock time (in seconds):120.12
124.73/120.23	o 719
126.50/121.13	c And the winner is Resolution
126.70/122.26	c Got one! Elapsed wall clock time (in seconds):122.152
126.70/122.26	o 718
128.81/123.40	c cleaning 11994 clauses out of 23999 with flag 81002/81002
129.34/123.69	c And the winner is Resolution
129.69/124.29	c Got one! Elapsed wall clock time (in seconds):124.183
129.69/124.29	o 717
133.98/126.44	c And the winner is Resolution
134.23/127.32	c Got one! Elapsed wall clock time (in seconds):127.216
134.23/127.32	o 715
139.47/129.95	c And the winner is Resolution
139.75/130.36	c Got one! Elapsed wall clock time (in seconds):130.251
139.75/130.36	o 713
148.31/134.67	c And the winner is Resolution
148.64/135.39	c Got one! Elapsed wall clock time (in seconds):135.287
148.64/135.39	o 712
149.88/136.07	c cleaning 12494 clauses out of 25003 with flag 94000/94000
162.94/142.55	c And the winner is Resolution
163.14/143.43	c Got one! Elapsed wall clock time (in seconds):143.328
163.14/143.43	o 711
170.59/147.16	c cleaning 12746 clauses out of 25509 with flag 107000/107000
179.39/151.50	c And the winner is Resolution
179.61/152.48	c Got one! Elapsed wall clock time (in seconds):152.374
179.61/152.48	o 708
179.88/152.63	c And the winner is Resolution
180.02/153.51	c Got one! Elapsed wall clock time (in seconds):153.402
180.02/153.51	o 706
180.20/153.68	c And the winner is Resolution
180.44/154.54	c Got one! Elapsed wall clock time (in seconds):154.433
180.44/154.54	o 696
180.97/154.83	c And the winner is Resolution
181.19/155.57	c Got one! Elapsed wall clock time (in seconds):155.463
181.19/155.57	o 690
182.07/156.00	c And the winner is Resolution
182.30/156.60	c Got one! Elapsed wall clock time (in seconds):156.493
182.30/156.60	o 680
182.91/156.98	c And the winner is Resolution
183.30/157.63	c Got one! Elapsed wall clock time (in seconds):157.524
183.30/157.63	o 679
184.27/158.15	c And the winner is Resolution
184.60/158.66	c Got one! Elapsed wall clock time (in seconds):158.553
184.60/158.66	o 678
187.33/160.06	c And the winner is Resolution
187.79/160.69	c Got one! Elapsed wall clock time (in seconds):160.585
187.79/160.69	o 675
190.45/162.07	c cleaning 12876 clauses out of 25765 with flag 120002/120002
190.92/162.30	c And the winner is Resolution
191.16/162.72	c Got one! Elapsed wall clock time (in seconds):162.617
191.16/162.72	o 672
193.57/163.94	c And the winner is Resolution
193.87/164.76	c Got one! Elapsed wall clock time (in seconds):164.649
193.87/164.76	o 671
200.86/168.25	c And the winner is Resolution
201.11/168.79	c Got one! Elapsed wall clock time (in seconds):168.683
201.11/168.79	o 670
211.09/173.76	c And the winner is Resolution
211.45/174.83	c Got one! Elapsed wall clock time (in seconds):174.721
211.45/174.83	o 666
213.43/175.84	c cleaning 12941 clauses out of 25887 with flag 133000/133000
224.67/181.47	c And the winner is Resolution
225.06/181.87	c Got one! Elapsed wall clock time (in seconds):181.763
225.06/181.87	o 664
225.33/182.05	c And the winner is Resolution
225.55/182.90	c Got one! Elapsed wall clock time (in seconds):182.792
225.55/182.90	o 663
234.68/187.43	c cleaning 12965 clauses out of 25947 with flag 146002/146002
243.90/192.09	c And the winner is Resolution
244.43/192.95	c Got one! Elapsed wall clock time (in seconds):192.842
244.43/192.95	o 659
249.41/195.43	c cleaning 12981 clauses out of 25980 with flag 159000/159000
260.68/201.06	c cleaning 12989 clauses out of 26001 with flag 172002/172002
261.94/201.77	c And the winner is Resolution
262.39/202.99	c Got one! Elapsed wall clock time (in seconds):202.887
262.39/202.99	o 658
262.60/203.12	c And the winner is Resolution
262.70/204.03	c Got one! Elapsed wall clock time (in seconds):203.919
262.70/204.03	o 657
262.87/204.18	c And the winner is Resolution
263.11/205.06	c Got one! Elapsed wall clock time (in seconds):204.95
263.11/205.06	o 643
263.40/205.25	c And the winner is Resolution
263.60/206.09	c Got one! Elapsed wall clock time (in seconds):205.98
263.60/206.09	o 637
264.25/206.42	c And the winner is Resolution
264.50/207.12	c Got one! Elapsed wall clock time (in seconds):207.009
264.50/207.12	o 636
265.28/207.56	c And the winner is Resolution
265.69/208.14	c Got one! Elapsed wall clock time (in seconds):208.038
265.69/208.14	o 630
266.60/208.65	c And the winner is Resolution
266.91/209.18	c Got one! Elapsed wall clock time (in seconds):209.069
266.91/209.18	o 624
268.60/210.08	c cleaning 0 clauses out of 5000 with flag 0/5000
269.27/210.31	c And the winner is Resolution
269.53/211.25	c Got one! Elapsed wall clock time (in seconds):211.14
269.53/211.25	o 621
271.86/212.40	c And the winner is Resolution
272.27/213.28	c Got one! Elapsed wall clock time (in seconds):213.17
272.27/213.28	o 618
274.33/214.35	c And the winner is Resolution
274.77/215.31	c Got one! Elapsed wall clock time (in seconds):215.203
274.77/215.31	o 607
276.56/216.28	c And the winner is Resolution
277.05/217.34	c Got one! Elapsed wall clock time (in seconds):217.233
277.05/217.34	o 598
280.63/219.18	c cleaning 12999 clauses out of 26009 with flag 185000/185000
283.46/220.51	c And the winner is Resolution
283.73/221.38	c Got one! Elapsed wall clock time (in seconds):221.269
283.73/221.38	o 597
292.93/225.98	c And the winner is Resolution
293.44/226.41	c Got one! Elapsed wall clock time (in seconds):226.306
293.44/226.41	o 593
298.48/228.97	c cleaning 12996 clauses out of 26011 with flag 198001/198001
301.38/230.46	c And the winner is Resolution
301.82/231.45	c Got one! Elapsed wall clock time (in seconds):231.342
301.82/231.45	o 591
302.12/231.69	c And the winner is Resolution
302.46/232.48	c Got one! Elapsed wall clock time (in seconds):232.372
302.46/232.48	o 589
309.86/236.16	c cleaning 13003 clauses out of 26015 with flag 211002/211002
312.36/237.43	c And the winner is Resolution
312.73/238.52	c Got one! Elapsed wall clock time (in seconds):238.409
312.73/238.52	o 584
321.05/242.60	c And the winner is Resolution
321.44/243.55	c Got one! Elapsed wall clock time (in seconds):243.448
321.44/243.55	o 575
323.97/244.86	c cleaning 12994 clauses out of 26012 with flag 224002/224002
333.40/249.53	c cleaning 12996 clauses out of 26016 with flag 237000/237000
335.73/250.79	c And the winner is Resolution
336.25/251.71	c Got one! Elapsed wall clock time (in seconds):251.603
336.25/251.71	o 573
344.61/255.83	c cleaning 12999 clauses out of 26020 with flag 250000/250000
353.01/260.05	c cleaning 12996 clauses out of 26021 with flag 263000/263000
357.31/262.26	c And the winner is Resolution
357.79/262.76	c Got one! Elapsed wall clock time (in seconds):262.651
357.79/262.76	o 566
357.88/262.88	c And the winner is Resolution
358.10/263.79	c Got one! Elapsed wall clock time (in seconds):263.68
358.10/263.79	o 564
358.35/263.94	c And the winner is Resolution
358.50/264.82	c Got one! Elapsed wall clock time (in seconds):264.711
358.50/264.82	o 540
358.88/265.02	c And the winner is Resolution
359.02/265.85	c Got one! Elapsed wall clock time (in seconds):265.747
359.02/265.85	o 534
359.35/266.07	c And the winner is Resolution
359.62/266.88	c Got one! Elapsed wall clock time (in seconds):266.776
359.62/266.88	o 533
360.07/267.19	c And the winner is Resolution
360.43/267.91	c Got one! Elapsed wall clock time (in seconds):267.807
360.43/267.91	o 523
361.44/268.48	c And the winner is Resolution
362.03/268.94	c Got one! Elapsed wall clock time (in seconds):268.836
362.03/268.94	o 504
363.38/269.68	c And the winner is Resolution
363.76/269.97	c Got one! Elapsed wall clock time (in seconds):269.866
363.76/269.97	o 499
365.92/271.02	c And the winner is Resolution
366.29/272.00	c Got one! Elapsed wall clock time (in seconds):271.898
366.29/272.00	o 492
367.50/272.61	c cleaning 13005 clauses out of 26025 with flag 276000/276000
368.37/273.19	c And the winner is Resolution
369.00/274.04	c Got one! Elapsed wall clock time (in seconds):273.929
369.00/274.04	o 480
371.36/275.24	c And the winner is Resolution
371.83/276.07	c Got one! Elapsed wall clock time (in seconds):275.96
371.83/276.07	o 469
376.19/278.30	c And the winner is Resolution
376.73/279.10	c Got one! Elapsed wall clock time (in seconds):278.992
376.73/279.10	o 468
379.77/280.69	c cleaning 13008 clauses out of 26020 with flag 289000/289000
388.98/285.24	c And the winner is Resolution
389.47/286.14	c Got one! Elapsed wall clock time (in seconds):286.033
389.47/286.14	o 465
399.18/290.97	c cleaning 12990 clauses out of 26012 with flag 302000/302000
404.13/293.45	c And the winner is Resolution
404.67/294.18	c Got one! Elapsed wall clock time (in seconds):294.074
404.67/294.18	o 462
410.04/296.81	c cleaning 12995 clauses out of 26022 with flag 315000/315000
419.46/301.51	c cleaning 13007 clauses out of 26027 with flag 328000/328000
419.92/301.81	c And the winner is Resolution
420.26/302.22	c Got one! Elapsed wall clock time (in seconds):302.118
420.26/302.22	o 458
435.91/309.93	c cleaning 12993 clauses out of 26022 with flag 341002/341002
445.35/314.61	c cleaning 12998 clauses out of 26027 with flag 354000/354000
447.61/315.87	c And the winner is Resolution
448.26/317.28	c Got one! Elapsed wall clock time (in seconds):317.174
448.26/317.28	o 454
458.92/322.51	c cleaning 12988 clauses out of 26029 with flag 367000/367000
467.51/326.89	c cleaning 13011 clauses out of 26042 with flag 380001/380001
475.90/331.08	c cleaning 12997 clauses out of 26032 with flag 393002/393002
481.24/333.78	c And the winner is Resolution
481.82/334.34	c Got one! Elapsed wall clock time (in seconds):334.233
481.82/334.34	o 452
481.97/334.46	c And the winner is Resolution
482.14/335.37	c Got one! Elapsed wall clock time (in seconds):335.262
482.14/335.37	o 433
482.42/335.50	c And the winner is Resolution
482.50/336.40	c Got one! Elapsed wall clock time (in seconds):336.293
482.50/336.40	o 379
482.92/336.61	c And the winner is Resolution
483.03/337.43	c Got one! Elapsed wall clock time (in seconds):337.324
483.03/337.43	o 361
483.38/337.67	c And the winner is Resolution
483.64/338.46	c Got one! Elapsed wall clock time (in seconds):338.354
483.64/338.46	o 348
484.34/338.87	c And the winner is Resolution
484.71/339.50	c Got one! Elapsed wall clock time (in seconds):339.389
484.71/339.50	o 343
485.54/339.98	c And the winner is Resolution
485.98/340.53	c Got one! Elapsed wall clock time (in seconds):340.42
485.98/340.53	o 342
487.36/341.26	c And the winner is Resolution
487.88/342.56	c Got one! Elapsed wall clock time (in seconds):342.453
487.88/342.56	o 341
489.81/343.53	c cleaning 12996 clauses out of 26033 with flag 406000/406000
490.24/343.83	c And the winner is Resolution
490.77/344.73	c Got one! Elapsed wall clock time (in seconds):344.625
490.77/344.73	o 338
493.60/346.13	c And the winner is Resolution
494.23/346.76	c Got one! Elapsed wall clock time (in seconds):346.657
494.23/346.76	o 334
497.43/348.32	c And the winner is Resolution
497.88/348.79	c Got one! Elapsed wall clock time (in seconds):348.688
497.88/348.79	o 333
501.83/350.72	c And the winner is Resolution
502.36/351.83	c Got one! Elapsed wall clock time (in seconds):351.72
502.36/351.83	o 321
503.14/352.29	c cleaning 13016 clauses out of 26037 with flag 419000/419000
514.73/358.08	c And the winner is Resolution
515.27/358.87	c Got one! Elapsed wall clock time (in seconds):358.762
515.27/358.87	o 319
522.47/362.48	c cleaning 13005 clauses out of 26022 with flag 432001/432001
528.83/365.62	c And the winner is Resolution
529.46/366.91	c Got one! Elapsed wall clock time (in seconds):366.804
529.46/366.91	o 314
533.13/368.74	c cleaning 12989 clauses out of 26016 with flag 445000/445000
541.54/372.99	c cleaning 13009 clauses out of 26034 with flag 458007/458007
542.76/373.66	c And the winner is Resolution
543.44/374.96	c Got one! Elapsed wall clock time (in seconds):374.857
543.44/374.96	o 311
553.33/379.81	c And the winner is Resolution
553.80/381.00	c Got one! Elapsed wall clock time (in seconds):380.895
553.80/381.00	o 310
554.39/381.30	c And the winner is Resolution
554.55/382.03	c Got one! Elapsed wall clock time (in seconds):381.924
554.55/382.03	o 306
558.99/384.28	c cleaning 12990 clauses out of 26016 with flag 471000/471000
567.75/388.62	c cleaning 12979 clauses out of 26026 with flag 484000/484000
576.16/392.80	c cleaning 13022 clauses out of 26047 with flag 497000/497000
576.30/392.99	c And the winner is Resolution
576.87/394.08	c Got one! Elapsed wall clock time (in seconds):393.976
576.87/394.08	o 304
594.46/402.76	c cleaning 13001 clauses out of 26025 with flag 510000/510000
606.70/408.88	c cleaning 13002 clauses out of 26024 with flag 523000/523000
615.30/413.12	c cleaning 13006 clauses out of 26025 with flag 536003/536003
618.21/414.65	c And the winner is Resolution
618.79/415.33	c Got one! Elapsed wall clock time (in seconds):415.222
618.79/415.33	o 300
628.96/420.31	c cleaning 13001 clauses out of 26016 with flag 549000/549000
637.38/424.56	c cleaning 12993 clauses out of 26015 with flag 562000/562000
645.57/428.62	c cleaning 13004 clauses out of 26022 with flag 575000/575000
653.96/432.81	c cleaning 12981 clauses out of 26018 with flag 588000/588000
662.39/437.06	c cleaning 13009 clauses out of 26038 with flag 601001/601001
665.90/438.86	c And the winner is Resolution
666.66/439.56	c Got one! Elapsed wall clock time (in seconds):439.449
666.66/439.56	o 297
666.75/439.67	c And the winner is Resolution
666.95/440.59	c Got one! Elapsed wall clock time (in seconds):440.479
666.95/440.59	o 295
666.98/440.69	c And the winner is Resolution
667.24/441.62	c Got one! Elapsed wall clock time (in seconds):441.511
667.24/441.62	o 294
667.61/441.81	c And the winner is Resolution
667.74/442.65	c Got one! Elapsed wall clock time (in seconds):442.54
667.74/442.65	o 284
668.05/442.89	c And the winner is Resolution
668.39/443.68	c Got one! Elapsed wall clock time (in seconds):443.572
668.39/443.68	o 269
669.05/444.02	c And the winner is Resolution
669.31/444.71	c Got one! Elapsed wall clock time (in seconds):444.6
669.31/444.71	o 254
670.09/445.13	c And the winner is Resolution
670.40/445.74	c Got one! Elapsed wall clock time (in seconds):445.631
670.40/445.74	o 239
671.54/446.36	c And the winner is Resolution
671.97/446.77	c Got one! Elapsed wall clock time (in seconds):446.663
671.97/446.77	o 237
674.48/448.05	c And the winner is Resolution
675.25/448.80	c Got one! Elapsed wall clock time (in seconds):448.695
675.25/448.80	o 225
678.10/450.23	c cleaning 12990 clauses out of 26029 with flag 614001/614001
678.37/450.49	c And the winner is Resolution
679.12/451.83	c Got one! Elapsed wall clock time (in seconds):451.728
679.12/451.83	o 219
681.50/453.09	c And the winner is Resolution
682.47/454.87	c Got one! Elapsed wall clock time (in seconds):454.763
682.47/454.87	o 216
686.84/457.01	c And the winner is Resolution
687.57/457.90	c Got one! Elapsed wall clock time (in seconds):457.796
687.57/457.90	o 214
692.03/460.17	c cleaning 13006 clauses out of 26039 with flag 627001/627001
697.56/462.96	c And the winner is Resolution
698.24/463.94	c Got one! Elapsed wall clock time (in seconds):463.834
698.24/463.94	o 211
704.10/466.86	c cleaning 12999 clauses out of 26032 with flag 640000/640000
708.02/468.82	c And the winner is Resolution
708.70/470.07	c Got one! Elapsed wall clock time (in seconds):469.966
708.70/470.07	o 210
715.73/473.53	c cleaning 13000 clauses out of 26033 with flag 653000/653000
723.55/477.46	c And the winner is Resolution
724.32/479.12	c Got one! Elapsed wall clock time (in seconds):479.01
724.32/479.12	o 209
725.11/479.51	c And the winner is Resolution
725.36/480.15	c Got one! Elapsed wall clock time (in seconds):480.04
725.36/480.15	o 116
726.28/480.61	c cleaning 13005 clauses out of 26033 with flag 666000/666000
735.67/485.37	c And the winner is Resolution
736.35/486.18	c Got one! Elapsed wall clock time (in seconds):486.078
736.35/486.18	o 114
736.58/486.39	c cleaning 12993 clauses out of 26028 with flag 679001/679001
737.58/486.97	c And the winner is Resolution
738.02/488.22	c Got one! Elapsed wall clock time (in seconds):488.113
738.02/488.22	o 88
752.06/495.12	c cleaning 13006 clauses out of 26036 with flag 692002/692002
761.26/499.72	c cleaning 12988 clauses out of 26028 with flag 705000/705000
764.35/501.32	c And the winner is Resolution
765.12/502.34	c Got one! Elapsed wall clock time (in seconds):502.235
765.12/502.34	o 87
773.01/506.21	c cleaning 13003 clauses out of 26042 with flag 718002/718002
781.63/510.56	c cleaning 13018 clauses out of 26037 with flag 731000/731000
790.20/514.86	c cleaning 12994 clauses out of 26019 with flag 744000/744000
796.12/517.85	c And the winner is Resolution
796.80/518.45	c Got one! Elapsed wall clock time (in seconds):518.34
796.80/518.45	o 85
797.76/518.91	c And the winner is Resolution
798.07/519.48	c Got one! Elapsed wall clock time (in seconds):519.37
798.07/519.48	o 82
802.60/521.79	c cleaning 12999 clauses out of 26026 with flag 757003/757003
812.05/526.41	c cleaning 12994 clauses out of 26025 with flag 770001/770001
820.68/530.70	c cleaning 12995 clauses out of 26030 with flag 783000/783000
830.02/535.44	c cleaning 13005 clauses out of 26035 with flag 796000/796000
831.03/536.06	c And the winner is Resolution
831.83/537.68	c Got one! Elapsed wall clock time (in seconds):537.572
831.83/537.68	o 78
840.06/541.78	c cleaning 13004 clauses out of 26032 with flag 809002/809002
848.86/546.17	c cleaning 12996 clauses out of 26027 with flag 822001/822001
857.67/550.53	c cleaning 13005 clauses out of 26030 with flag 835000/835000
866.42/554.98	c cleaning 12996 clauses out of 26026 with flag 848001/848001
875.40/559.45	c cleaning 13006 clauses out of 26029 with flag 861000/861000
876.84/560.27	c And the winner is Resolution
877.59/561.83	c Got one! Elapsed wall clock time (in seconds):561.723
877.59/561.83	o 74
877.59/561.87	c And the winner is Resolution
877.68/562.86	c Got one! Elapsed wall clock time (in seconds):562.756
877.68/562.86	o 73
890.22/569.04	c cleaning 12992 clauses out of 26023 with flag 874000/874000
899.00/573.49	c cleaning 13001 clauses out of 26031 with flag 887000/887000
907.73/577.87	c cleaning 13002 clauses out of 26030 with flag 900000/900000
916.48/582.25	c cleaning 12999 clauses out of 26030 with flag 913002/913002
925.65/586.82	c cleaning 12998 clauses out of 26029 with flag 926000/926000
925.92/587.06	c And the winner is Resolution
926.63/588.15	c Got one! Elapsed wall clock time (in seconds):588.041
926.63/588.15	o 67
946.08/597.75	c cleaning 13001 clauses out of 26032 with flag 939001/939001
958.52/603.97	c cleaning 13005 clauses out of 26031 with flag 952001/952001
967.92/608.65	c cleaning 12999 clauses out of 26028 with flag 965003/965003
976.52/612.90	c And the winner is Resolution
977.17/614.22	c Got one! Elapsed wall clock time (in seconds):614.116
977.17/614.22	o 65
977.73/614.54	c cleaning 12994 clauses out of 26025 with flag 978000/978000
986.53/618.98	c cleaning 13008 clauses out of 26035 with flag 991004/991004
995.48/623.44	c cleaning 12999 clauses out of 26024 with flag 1004001/1004001
1004.27/627.80	c cleaning 13003 clauses out of 26026 with flag 1017002/1017002
1013.03/632.26	c cleaning 13002 clauses out of 26021 with flag 1030000/1030000
1022.06/636.77	c cleaning 12997 clauses out of 26019 with flag 1043000/1043000
1031.63/641.52	c cleaning 13003 clauses out of 26023 with flag 1056001/1056001
1040.45/645.99	c cleaning 13008 clauses out of 26020 with flag 1069001/1069001
1045.33/648.47	c And the winner is Resolution
1046.27/649.31	c Got one! Elapsed wall clock time (in seconds):649.208
1046.27/649.31	o 62
1046.46/649.43	c And the winner is Resolution
1046.59/650.34	c Got one! Elapsed wall clock time (in seconds):650.238
1046.59/650.34	o 54
1046.70/650.45	c And the winner is Resolution
1046.88/651.38	c Got one! Elapsed wall clock time (in seconds):651.269
1046.88/651.38	o 52
1047.13/651.58	c And the winner is Resolution
1047.42/652.41	c Got one! Elapsed wall clock time (in seconds):652.3
1047.42/652.41	o 50
1047.60/652.58	c And the winner is Resolution
1047.87/653.44	c Got one! Elapsed wall clock time (in seconds):653.329
1047.87/653.44	o 48
1048.21/653.69	c And the winner is Resolution
1048.53/654.47	c Got one! Elapsed wall clock time (in seconds):654.36
1048.53/654.47	o 47
1049.23/654.84	c And the winner is Resolution
1049.52/655.50	c Got one! Elapsed wall clock time (in seconds):655.39
1049.52/655.50	o 37
1050.55/656.09	c And the winner is Resolution
1051.11/656.53	c Got one! Elapsed wall clock time (in seconds):656.422
1051.11/656.53	o 35
1052.28/657.19	c And the winner is Resolution
1052.89/658.56	c Got one! Elapsed wall clock time (in seconds):658.455
1052.89/658.56	o 25
1053.62/658.95	c cleaning 13001 clauses out of 26015 with flag 1082005/1082005
1054.01/659.25	c And the winner is Resolution
1054.37/659.59	c Got one! Elapsed wall clock time (in seconds):659.484
1054.37/659.59	o 20
1058.13/661.44	c And the winner is Resolution
1058.86/662.63	c Got one! Elapsed wall clock time (in seconds):662.519
1058.86/662.63	o 16
1064.13/665.29	c And the winner is Resolution
1065.05/666.66	c Got one! Elapsed wall clock time (in seconds):666.557
1065.05/666.66	o 13
1072.05/670.17	c And the winner is Resolution
1072.90/671.70	c Got one! Elapsed wall clock time (in seconds):671.594
1072.90/671.70	o 11
1073.91/672.26	c cleaning 13000 clauses out of 26010 with flag 1095001/1095001
1081.61/676.11	c And the winner is Resolution
1082.62/677.74	c Got one! Elapsed wall clock time (in seconds):677.633
1082.62/677.74	o 6
1086.22/679.57	c cleaning 12994 clauses out of 26009 with flag 1108000/1108000
1091.75/682.33	c And the winner is Resolution
1092.52/683.83	c Got one! Elapsed wall clock time (in seconds):683.726
1092.52/683.83	o 2
1096.73/685.92	c cleaning 12986 clauses out of 26018 with flag 1121003/1121003
1099.98/687.67	c And the winner is Resolution
1100.88/688.87	c Got one! Elapsed wall clock time (in seconds):688.766
1100.88/688.87	o 1
1105.21/691.00	c And the winner is Resolution
1107.63/693.61	c starts		: 388
1107.63/693.61	c conflicts		: 1132234
1107.63/693.61	c decisions		: 3578797
1107.63/693.61	c propagations		: 433712862
1107.63/693.61	c inspects		: 2292049676
1107.63/693.61	c learnt literals	: 20
1107.63/693.61	c learnt binary clauses	: 109
1107.63/693.61	c learnt ternary clauses	: 239
1107.63/693.61	c learnt clauses	: 1132213
1107.63/693.61	c ignored clauses	: 0
1107.63/693.61	c root simplifications	: 0
1107.63/693.61	c removed literals (reason simplification)	: 25416462
1107.63/693.61	c reason swapping (by a shorter reason)	: 0
1107.63/693.61	c Calls to reduceDB	: 89
1107.63/693.61	c number of reductions to clauses (during analyze)	: 0
1107.63/693.61	c number of learned constraints concerned by reduction	: 0
1107.63/693.61	c number of learning phase by resolution	: 0
1107.63/693.61	c number of learning phase by cutting planes	: 0
1107.63/693.61	c speed (assignments/second)	: 9.175224497567166E7
1107.63/693.61	c non guided choices	56185
1107.63/693.61	c learnt constraints type 
1107.63/693.61	c constraints type 
1107.63/693.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2898
1107.63/693.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 1018
1107.63/693.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7836
1107.63/693.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 816
1107.63/693.61	c constraints type 
1107.63/693.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7836
1107.63/693.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2898
1107.63/693.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1018
1107.63/693.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 816
1107.63/693.61	s OPTIMUM FOUND
1107.63/693.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 -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 x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 x69 x70 x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 x103 x104 x105 x106 x107 x108 x109 x110 -x111 -x112 x113 x114 x115 x116 x117 x118 x119 x120 -x121 -x122 -x123 x124 -x125 x126 -x127 x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 -x209 -x210 -x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 -x221 x222 -x223 x224 x225 x226 x227 x228 -x229 x230 -x231 -x232 x233 x234 x235 -x236 -x237 -x238 x239 -x240 x241 x242 -x243 -x244 x245 x246 x247 -x248 -x249 x250 x251 x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 x261 x262 x263 -x264 -x265 x266 x267 x268 -x269 -x270 -x271 x272 -x273 -x274 x275 -x276 x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 x289 -x290 -x291 x292 x293 x294 -x295 -x296 -x297 x298 -x299 -x300 x301 -x302 x303 -x304 -x305 x306 -x307 x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 x321 x322 x323 x324 x325 -x326 -x327 x328 x329 x330 x331 x332 x333 x334 x335 -x336 -x337 x338 x339 x340 x341 -x342 -x343 x344 -x345 -x346 x347 -x348 -x349 x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 x362 x363 x364 -x365 -x366 -x367 x368 x369 x370 -x371 -x372 -x373 -x374 x375 -x376 x377 -x378 -x379 x380 -x381 x382 -x383 x384 -x385 -x386 x387 -x388 x389 -x390 -x391 x392 -x393 -x394 x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 x411 x412 x413 x414 x415 x416 x417 -x418 -x419 x420 -x421 x422 -x423 x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 x441 -x442 x443 x444 x445 x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 x466 x467 x468 x469 x470 -x471 -x472 -x473 -x474 x475 x476 x477 x478 x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 x502 -x503 -x504 x505 x506 x507 x508 x509 -x510 x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 x557 -x558 -x559 x560 -x561 x562 x563 x564 x565 x566 x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 -x587 -x588 x589 -x590 -x591 -x592 x593 -x594 x595 -x596 -x597 x598 x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 x607 -x608 x609 -x610 x611 -x612 x613 -x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 x636 -x637 -x638 x639 x640 x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 x653 -x654 -x655 x656 x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 x666 -x667 -x668 x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 x707 -x708 -x709 -x710 x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 x722 x723 x724 x725 x726 x727 x728 x729 x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 x765 -x766 -x767 x768 x769 x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 x823 x824 x825 x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 x851 x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 x861 -x862 x863 -x864 -x865 x866 -x867 x868 -x869 -x870 x871 -x872 -x873 x874 -x875 x876 -x877 x878 -x879 -x880 x881 -x882 x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 x905 x906 x907 -x908 -x909 x910 x911 x912 x913 x914 x915 -x916 x917 x918 x919 x920 x921 -x922 -x923 -x924 x925 -x926 x927 -x928 -x929 -x930 -x931 x932 x933 x934 x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 x943 x944 x945 x946 x947 x948 x949 -x950 -x951 x952 x953 x954 x955 -x956 -x957 -x958 x959 -x960 x961 -x962 -x963 x964 -x965 x966 x967 x968 x969 -x970 -x971 -x972 -x973 x974 -x975 x976 -x977 -x978 -x979 x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 x1000 x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 x1017 -x1018 x1019 -x1020 x1021 x1022 x1023 -x1024 -x1025 -x1026 -x1027 x1028 x1029 x1030 x1031 -x1032 -x1033 -x1034 x1035 -x1036 x1037 x1038 x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 x1058 -x1059 x1060 x1061 x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 x1127 -x1128 x1129 x1130 x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 x1154 -x1155 x1156 x1157 x1158 x1159 -x1160 x1161 -x1162 -x1163 x1164 x1165 x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 x1177 x1178 x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 x1236 x1237 x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 x1271 x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 x1287 x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 x1335 x1336 x1337 x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 x1360 x1361 -x1362 -x1363 x1364 -x1365 x1366 -x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 x1386 x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 x1497 x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 x1565 -x1566 -x1567 x1568 x1569 x1570 -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 x1596 -x1597 x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 -x1612 x1613 -x1614 x1615 x1616 x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 x1640 -x1641 -x1642 x1643 -x1644 x1645 x1646 -x1647 -x1648 x1649 x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 x1736 x1737 x1738 x1739 x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 x1788 x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 x1875 -x1876 x1877 -x1878 x1879 x1880 x1881 x1882 x1883 x1884 x1885 -x1886 x1887 -x1888 x1889 x1890 x1891 x1892 x1893 x1894 x1895 x1896 -x1897 x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 x1906 -x1907 x1908 x1909 -x1910 -x1911 -x1912 -x1913 x1914 -x1915 x1916 x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 x1986 x1987 x1988 x1989 x1990 x1991 x1992 x1993 x1994 x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 x2040 x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 x2084 -x2085 -x2086 x2087 x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 x2125 x2126 x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 x2136 -x2137 x2138 -x2139 x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 x2163 x2164 x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 x2240 x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 x2325 x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 x2355 -x2356 x2357 -x2358 x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 x2417 x2418 x2419 -x2420 x2421 -x2422 x2423 -x2424 -x2425 -x2426 x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 x2498 x2499 x2500 x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 x2511 -x2512 -x2513 x2514 x2515 x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 x2606 x2607 x2608 x2609 x2610 -x2611 -x2612 -x2613 x2614 x2615 x2616 x2617 -x2618 -x2619 -x2620 x2621 x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 x2632 -x2633 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 x2731 -x2732 -x2733 -x2734 -x2735 x2736 x2737 x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 x2750 x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 x2827 x2828 x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 x2871 x2872 -x2873 -x2874 -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 x2932 x2933 x2934 x2935 x2936 x2937 x2938 -x2939 x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 x3043 x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 x3083 x3084 x3085 x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 x3094 -x3095 -x3096 -x3097 -x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 x3118 x3119 x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3129 x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 x3289 x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 x3322 x3323 x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3361 x3362 x3363 x3364 x3365 x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 x3457 -x3458 -x3459 -x3460 x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 x3509 x3510 x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 x3534 -x3535 -x3536 -x3537 x3538 -x3539 -x3540 x3541 -x3542 -x3543 -x3544 x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 x3556 x3557 x3558 x3559 x3560 -x3561 -x3562 -x3563 -x3564 x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 x3598 x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 x3620 x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 x3657 -x3658 x3659 x3660 -x3661 x3662 x3663 x3664 -x3665 x3666 x3667 x3668 x3669 x3670 -x3671 -x3672 -x3673 -x3674 x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 x3722 -x3723 -x3724 -x3725 x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 x3839 -x3840 -x3841 -x3842 x3843 -x3844 -x3845 -x3846 -x3847 -x3848 x3849 x3850 x3851 -x3852 -x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 x3860 x3861 x3862 x3863 x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 x3944 x3945 x3946 x3947 x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 x4000 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 x4036 x4037 x4038 x4039 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 x4091 -x4092 -x4093 -x4094 x4095 x4096 x4097 x4098 x4099 x4100 x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 x4113 x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 x4132 x4133 x4134 x4135 x4136 x4137 x4138 x4139 x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 x4163 -x4164 -x4165 x4166 -x4167 -x4168 x4169 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 -x4176 -x4177 -x4178 -x4179 x4180 x4181 x4182 x4183 x4184 x4185 x4186 x4187 -x4188 x4189 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 x4251 x4252 x4253 x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 x4330 x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 x4344 x4345 -x4346 -x4347 x4348 x4349 x4350 -x4351 -x4352 -x4353 -x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 x4460 x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 -x4471 x4472 x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 x4506 -x4507 -x4508 -x4509 x4510 x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 -x4529 x4530 -x4531 -x4532 x4533 x4534 -x4535 x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 x4543 x4544 -x4545 -x4546 -x4547 x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 
1107.63/693.62	c objective function=1
1107.63/693.62	c Total wall clock time (in seconds): 693.514

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694321-1277913807/watcher-2694321-1277913807 -o /tmp/evaluation-result-2694321-1277913807/solver-2694321-1277913807 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694321-1277913807.wbo 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 4005
/proc/meminfo: memFree=31526296/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=13164 CPUtime=0
/proc/4005/stat : 4005 (java) R 4003 4005 3929 0 -1 4194304 476 0 0 0 0 0 0 0 21 0 1 0 132809031 13479936 194 4089446400 134512640 134550932 4287437776 18446744073709551615 9647739 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4005/statm: 3291 200 141 10 0 1121 0

[startup+0.0623331 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 4005
/proc/meminfo: memFree=31526296/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1529592 CPUtime=0.05
/proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 4101 0 1 0 4 1 0 0 21 0 18 0 132809031 1566302208 3539 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4005/statm: 382398 3539 1078 10 0 379701 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1529592

[startup+0.100311 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 4005
/proc/meminfo: memFree=31526296/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1530036 CPUtime=0.11
/proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 5177 0 1 0 10 1 0 0 21 0 18 0 132809031 1566756864 4612 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4005/statm: 382509 4612 1346 10 0 379812 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1530036

[startup+0.30027 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 4005
/proc/meminfo: memFree=31526296/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1532924 CPUtime=0.53
/proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 9604 0 1 0 50 3 0 0 21 0 18 0 132809031 1569714176 8906 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4005/statm: 383231 8907 1400 10 0 380534 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 1532924

[startup+0.700197 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 4005
/proc/meminfo: memFree=31526296/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1545744 CPUtime=1.79
/proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 33596 0 1 0 173 6 0 0 21 0 20 0 132809031 1582841856 31683 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4005/statm: 386436 31684 1421 10 0 383739 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 1545744

[startup+1.50105 s]
/proc/loadavg: 2.01 2.00 2.00 6/200 4027
/proc/meminfo: memFree=31390152/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1560640 CPUtime=4.5
/proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 47926 0 1 0 441 9 0 0 21 0 20 0 132809031 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4005/statm: 390160 41658 1442 10 0 387463 0
[pid=4005/tid=4007] ppid=4003 vsize=1560640 CPUtime=0.55
/proc/4005/task/4007/stat : 4007 (java) S 4003 4005 3929 0 -1 4202560 25288 0 1 0 51 4 0 0 19 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4008] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 281 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4009] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 343 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4010] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 282 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4011] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 82 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4012] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4013] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4014] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4015] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 340 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4016] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 20 0 132809033 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4017] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4018] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4019] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4020] ppid=4003 vsize=1560640 CPUtime=1.25
/proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3386 0 0 0 124 1 0 0 19 0 20 0 132809036 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0
[pid=4005/tid=4021] ppid=4003 vsize=1560640 CPUtime=1.27
/proc/4005/task/4021/stat : 4021 (java) R 4003 4005 3929 0 -1 4202560 10090 0 0 0 125 2 0 0 18 0 20 0 132809036 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 104163910 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4005/tid=4022] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4023] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132809036 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4026] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4027] ppid=4003 vsize=1560640 CPUtime=0
/proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 1560640

[startup+3.10076 s]
/proc/loadavg: 2.01 2.00 2.00 2/198 4029
/proc/meminfo: memFree=31370576/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1553472 CPUtime=5.18
/proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 48044 0 1 0 509 9 0 0 21 0 20 0 132809031 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4005/statm: 388368 40127 1444 10 0 385671 0
[pid=4005/tid=4007] ppid=4003 vsize=1553472 CPUtime=0.62
/proc/4005/task/4007/stat : 4007 (java) S 4003 4005 3929 0 -1 4202560 25289 0 1 0 58 4 0 0 19 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4008] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 281 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4009] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 343 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4010] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 282 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4011] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 82 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4012] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 340 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 20 0 132809033 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.35
/proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3397 0 0 0 134 1 0 0 15 0 20 0 132809036 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=1.47
/proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10126 0 0 0 145 2 0 0 15 0 20 0 132809036 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0
[pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 1553472

[startup+6.30118 s]
/proc/loadavg: 1.93 1.98 1.99 2/198 4036
/proc/meminfo: memFree=31361904/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1553472 CPUtime=5.99
/proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 50248 0 1 0 590 9 0 0 21 0 20 0 132809031 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4005/statm: 388368 42323 1448 10 0 385671 0
[pid=4005/tid=4007] ppid=4003 vsize=1553472 CPUtime=0.69
/proc/4005/task/4007/stat : 4007 (java) S 4003 4005 3929 0 -1 4202560 25290 0 1 0 65 4 0 0 19 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4008] ppid=4003 vsize=1553472 CPUtime=0.01
/proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 525 0 0 0 1 0 0 0 18 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4009] ppid=4003 vsize=1553472 CPUtime=0.01
/proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 795 0 0 0 1 0 0 0 18 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4010] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 282 0 0 0 0 0 0 0 15 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4011] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 472 0 0 0 0 0 0 0 16 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4012] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 365 0 0 0 0 0 0 0 16 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 761 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 20 0 132809033 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.4
/proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3409 0 0 0 139 1 0 0 16 0 20 0 132809036 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=1.51
/proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10132 0 0 0 149 2 0 0 15 0 20 0 132809036 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0
[pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 1553472

[startup+12.701 s]
/proc/loadavg: 1.85 1.97 1.99 4/200 4050
/proc/meminfo: memFree=31357688/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1553472 CPUtime=7.93

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

/proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 5761 0 0 0 351 56 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=4.21
/proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 4543 0 0 0 344 77 0 0 15 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=4.19
/proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 4185 0 0 0 352 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0
[pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=4.39
/proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 4524 0 0 0 349 90 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=16.42
/proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 492 0 0 0 1619 23 0 0 16 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.75
/proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3412 0 0 0 174 1 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=2.13
/proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10218 0 0 0 211 2 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1106.73
Current children cumulated vsize (KiB) 1553472

[startup+693.102 s]
/proc/loadavg: 2.68 2.62 2.31 3/198 4455
/proc/meminfo: memFree=31180768/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1553472 CPUtime=1107.13
/proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 90178 0 1 0 110088 625 0 0 21 0 20 0 132809031 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4005/statm: 388368 78230 1453 10 0 385671 0
[pid=4005/tid=4007] ppid=4003 vsize=1553472 CPUtime=7.15
/proc/4005/task/4007/stat : 4007 (java) R 4003 4005 3929 0 -1 4202560 25333 0 1 0 710 5 0 0 17 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4109530839 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4005/tid=4008] ppid=4003 vsize=1553472 CPUtime=4.21
/proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 5189 0 0 0 363 58 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4009] ppid=4003 vsize=1553472 CPUtime=4.21
/proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 5839 0 0 0 340 81 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4010] ppid=4003 vsize=1553472 CPUtime=4.4
/proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 4956 0 0 0 361 79 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4011] ppid=4003 vsize=1553472 CPUtime=4.03
/proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 4808 0 0 0 336 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4012] ppid=4003 vsize=1553472 CPUtime=4.07
/proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 5761 0 0 0 351 56 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=4.21
/proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 4543 0 0 0 344 77 0 0 15 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=4.19
/proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 4185 0 0 0 352 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0
[pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=4.39
/proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 4524 0 0 0 349 90 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=16.42
/proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 492 0 0 0 1619 23 0 0 16 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.75
/proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3412 0 0 0 174 1 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=2.13
/proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10218 0 0 0 211 2 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1107.13
Current children cumulated vsize (KiB) 1553472

[startup+693.501 s]
/proc/loadavg: 2.68 2.62 2.31 3/198 4455
/proc/meminfo: memFree=31180768/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1553472 CPUtime=1107.53
/proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 90179 0 1 0 110128 625 0 0 21 0 20 0 132809031 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4005/statm: 388368 78230 1453 10 0 385671 0
[pid=4005/tid=4007] ppid=4003 vsize=1553472 CPUtime=7.55
/proc/4005/task/4007/stat : 4007 (java) R 4003 4005 3929 0 -1 4202560 25333 0 1 0 750 5 0 0 17 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4110760480 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4005/tid=4008] ppid=4003 vsize=1553472 CPUtime=4.21
/proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 5189 0 0 0 363 58 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4009] ppid=4003 vsize=1553472 CPUtime=4.21
/proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 5839 0 0 0 340 81 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4010] ppid=4003 vsize=1553472 CPUtime=4.4
/proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 4956 0 0 0 361 79 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4011] ppid=4003 vsize=1553472 CPUtime=4.03
/proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 4808 0 0 0 336 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4012] ppid=4003 vsize=1553472 CPUtime=4.07
/proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 5761 0 0 0 351 56 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=4.21
/proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 4543 0 0 0 344 77 0 0 15 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=4.19
/proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 4185 0 0 0 352 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0
[pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=4.39
/proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 4524 0 0 0 349 90 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=16.42
/proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 493 0 0 0 1619 23 0 0 15 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.75
/proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3412 0 0 0 174 1 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=2.13
/proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10218 0 0 0 211 2 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1107.53
Current children cumulated vsize (KiB) 1553472

[startup+693.601 s]
/proc/loadavg: 2.68 2.62 2.31 3/198 4455
/proc/meminfo: memFree=31180768/32951124 swapFree=67111528/67111528
[pid=4005] ppid=4003 vsize=1553472 CPUtime=1107.63
/proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 90179 0 1 0 110138 625 0 0 21 0 20 0 132809031 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4005/statm: 388368 78230 1453 10 0 385671 0
[pid=4005/tid=4007] ppid=4003 vsize=1553472 CPUtime=7.65
/proc/4005/task/4007/stat : 4007 (java) R 4003 4005 3929 0 -1 4202560 25333 0 1 0 760 5 0 0 17 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4109530795 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4005/tid=4008] ppid=4003 vsize=1553472 CPUtime=4.21
/proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 5189 0 0 0 363 58 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4009] ppid=4003 vsize=1553472 CPUtime=4.21
/proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 5839 0 0 0 340 81 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4010] ppid=4003 vsize=1553472 CPUtime=4.4
/proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 4956 0 0 0 361 79 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4011] ppid=4003 vsize=1553472 CPUtime=4.03
/proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 4808 0 0 0 336 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4012] ppid=4003 vsize=1553472 CPUtime=4.07
/proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 5761 0 0 0 351 56 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=4.21
/proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 4543 0 0 0 344 77 0 0 15 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=4.19
/proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 4185 0 0 0 352 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0
[pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=4.39
/proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 4524 0 0 0 349 90 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=16.42
/proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 493 0 0 0 1619 23 0 0 15 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 2 0 0 0
[pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
[pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.75
/proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3412 0 0 0 174 1 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=2.13
/proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10218 0 0 0 211 2 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0
[pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0
[pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0
[pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0
[pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0
/proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1107.63
Current children cumulated vsize (KiB) 1553472

Child status: 30
Real time (s): 693.678
CPU time (s): 1107.69
CPU user time (s): 1101.42
CPU system time (s): 6.26605
CPU usage (%): 159.684
Max. virtual memory (cumulated for all children) (KiB): 1560640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1101.42
system time used= 6.26605
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90187
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47317
involuntary context switches= 1492315

runsolver used 1.36379 second user time and 2.6016 second system time

The end

Launcher Data 

Begin job on node111 at 2010-06-30 18:03:27
IDJOB=2694321
IDBENCH=79022
IDSOLVER=1207
FILE ID=node111/2694321-1277913807
PBS_JOBID= 11197312
Free space on /tmp= 74208 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694321-1277913807/watcher-2694321-1277913807 -o /tmp/evaluation-result-2694321-1277913807/solver-2694321-1277913807 -C 1800 -W 2000 -M 3800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694321-1277913807.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= e08e31eb3b4e7c09e6499c484fbac4c3
RANDOM SEED=1757727851

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31526692 kB
Buffers:        201488 kB
Cached:         791472 kB
SwapCached:          0 kB
Active:         695260 kB
Inactive:       588104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31526692 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             796 kB
Writeback:           0 kB
AnonPages:      290888 kB
Mapped:          16312 kB
Slab:            77136 kB
PageTables:       5808 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   437556 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node111 at 2010-06-30 18:15:01