Trace number 2662562

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 NameAnswerobjective functionCPU timeWall clock time
SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)1610612625 1800.44 979.267

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM77d03e06bcf76c9b07fd6535ab6acb65
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1275068416
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1207959552
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.14	c See www.sat4j.org for details.
0.07/0.15	c version 2.2.0.v20100531
0.07/0.16	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.16	c java.vm.name		Java HotSpot(TM) Server VM
0.07/0.16	c java.vm.version	11.2-b01
0.07/0.16	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.16	c sun.arch.data.model	32
0.07/0.16	c java.version		1.6.0_12
0.07/0.16	c os.name		Linux
0.07/0.16	c os.version		2.6.18-164.el5
0.07/0.16	c os.arch		i386
0.07/0.16	c Free memory 		1393557488
0.07/0.16	c Max memory 		1395916800
0.07/0.16	c Total memory 		1395916800
0.07/0.16	c Number of processors 	2
0.21/0.23	c Pseudo Boolean Optimization
0.21/0.23	c ManyCore solver with 2 solvers running in parallel
0.21/0.23	c --- Begin Solver configuration ---
0.21/0.23	c Stops conflict analysis at the first Unique Implication Point
0.21/0.23	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@4413ee
0.21/0.23	c Learn all clauses as in MiniSAT
0.21/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.21/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.21/0.23	c Expensive reason simplification
0.21/0.23	c Armin Biere (Picosat) restarts strategy
0.21/0.23	c Glucose learned constraints deletion strategy
0.21/0.23	c timeout=2147483s
0.21/0.23	c DB Simplification allowed=false
0.21/0.23	c --- End Solver configuration ---
0.21/0.23	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.21/0.23	c --- Begin Solver configuration ---
0.21/0.23	c Stops conflict analysis at the first Unique Implication Point
0.21/0.23	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1cb25f1
0.21/0.23	c Learn all clauses as in MiniSAT
0.21/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.21/0.23	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.21/0.23	c No reason simplification
0.21/0.23	c Armin Biere (Picosat) restarts strategy
0.21/0.23	c Glucose learned constraints deletion strategy
0.21/0.23	c timeout=2147483s
0.21/0.23	c DB Simplification allowed=false
0.21/0.23	c --- End Solver configuration ---
0.21/0.23	
0.21/0.23	c solving HOME/instance-2662562-1276542198.opb
0.21/0.23	c reading problem ... 
2.64/2.18	c ... done. Wall clock time 1.955s.
2.64/2.18	c #vars     6651
2.64/2.18	c #constraints  721
2.64/2.18	c constraints type 
2.64/2.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51
2.64/2.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 331
2.64/2.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 339
2.64/2.18	c constraints type 
2.64/2.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
2.64/2.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
2.64/2.18	c org.sat4j.pb.constraints.pb.MaxWatchPb => 339
4.98/3.36	c And the winner is CuttingPlanes
5.22/4.20	c SATISFIABLE
5.22/4.20	c OPTIMIZING...
5.22/4.20	c Got one! Elapsed wall clock time (in seconds):3.977
5.22/4.20	o 2147483647
7.60/5.42	c And the winner is CuttingPlanes
7.76/6.22	c Got one! Elapsed wall clock time (in seconds):5.996
7.76/6.22	o 2147483646
9.11/6.91	c And the winner is CuttingPlanes
9.25/7.26	c Got one! Elapsed wall clock time (in seconds):7.034
9.25/7.26	o 2147483645
10.92/8.19	c And the winner is CuttingPlanes
11.21/9.27	c Got one! Elapsed wall clock time (in seconds):9.041
11.21/9.27	o 2147483644
12.47/9.99	c And the winner is CuttingPlanes
12.76/10.27	c Got one! Elapsed wall clock time (in seconds):10.046
12.76/10.27	o 2147483643
14.22/11.07	c And the winner is CuttingPlanes
14.46/11.28	c Got one! Elapsed wall clock time (in seconds):11.052
14.46/11.28	o 2147483642
15.69/11.98	c And the winner is CuttingPlanes
15.98/12.28	c Got one! Elapsed wall clock time (in seconds):12.057
15.98/12.28	o 2147483641
17.61/13.17	c And the winner is CuttingPlanes
17.87/14.29	c Got one! Elapsed wall clock time (in seconds):14.063
17.87/14.29	o 2147483640
19.88/15.32	c And the winner is CuttingPlanes
20.09/16.29	c Got one! Elapsed wall clock time (in seconds):16.07
20.09/16.29	o 2147483639
21.08/16.89	c And the winner is CuttingPlanes
21.39/17.30	c Got one! Elapsed wall clock time (in seconds):17.076
21.39/17.30	o 2147483638
22.77/18.08	c And the winner is CuttingPlanes
23.07/18.31	c Got one! Elapsed wall clock time (in seconds):18.081
23.07/18.31	o 2147483637
24.44/19.04	c And the winner is CuttingPlanes
24.66/19.31	c Got one! Elapsed wall clock time (in seconds):19.086
24.66/19.31	o 2147483636
26.22/20.13	c And the winner is CuttingPlanes
26.39/20.32	c Got one! Elapsed wall clock time (in seconds):20.092
26.39/20.32	o 2147483635
27.73/21.04	c And the winner is CuttingPlanes
27.94/21.32	c Got one! Elapsed wall clock time (in seconds):21.097
27.94/21.32	o 2147483634
29.29/22.05	c And the winner is CuttingPlanes
29.51/22.32	c Got one! Elapsed wall clock time (in seconds):22.1
29.51/22.33	o 2147483633
30.86/23.08	c And the winner is CuttingPlanes
31.04/23.35	c Got one! Elapsed wall clock time (in seconds):23.126
31.04/23.35	o 2147483632
32.33/24.08	c And the winner is CuttingPlanes
32.63/24.37	c Got one! Elapsed wall clock time (in seconds):24.143
32.63/24.37	o 2147483631
34.28/25.21	c And the winner is CuttingPlanes
34.39/25.37	c Got one! Elapsed wall clock time (in seconds):25.146
34.39/25.37	o 2147483630
35.67/26.08	c And the winner is CuttingPlanes
35.95/26.39	c Got one! Elapsed wall clock time (in seconds):26.164
35.95/26.39	o 2147483629
47.67/32.34	c And the winner is CuttingPlanes
47.85/33.41	c Got one! Elapsed wall clock time (in seconds):33.183
47.85/33.41	o 2147483628
49.23/34.18	c And the winner is CuttingPlanes
49.50/34.41	c Got one! Elapsed wall clock time (in seconds):34.188
49.50/34.41	o 2147483627
69.12/44.32	c And the winner is CuttingPlanes
69.24/44.43	c Got one! Elapsed wall clock time (in seconds):44.209
69.24/44.43	o 2147483626
115.84/67.90	c And the winner is Resolution
119.12/71.56	c Got one! Elapsed wall clock time (in seconds):71.333
119.12/71.56	o 1610612736
138.69/81.42	c And the winner is CuttingPlanes
138.79/81.58	c Got one! Elapsed wall clock time (in seconds):81.358
138.79/81.58	o 1610612735
140.00/82.29	c And the winner is CuttingPlanes
140.32/82.59	c Got one! Elapsed wall clock time (in seconds):82.361
140.32/82.59	o 1610612734
141.73/83.35	c And the winner is CuttingPlanes
141.98/83.59	c Got one! Elapsed wall clock time (in seconds):83.368
141.98/83.59	o 1610612733
143.39/84.32	c And the winner is CuttingPlanes
143.58/84.61	c Got one! Elapsed wall clock time (in seconds):84.374
143.58/84.61	o 1610612732
144.96/85.33	c And the winner is CuttingPlanes
145.15/85.60	c Got one! Elapsed wall clock time (in seconds):85.378
145.15/85.60	o 1610612731
146.32/86.25	c And the winner is CuttingPlanes
146.49/86.61	c Got one! Elapsed wall clock time (in seconds):86.381
146.49/86.61	o 1610612730
147.85/87.36	c And the winner is CuttingPlanes
148.10/87.61	c Got one! Elapsed wall clock time (in seconds):87.387
148.10/87.61	o 1610612729
149.45/88.39	c And the winner is CuttingPlanes
149.73/88.62	c Got one! Elapsed wall clock time (in seconds):88.393
149.73/88.62	o 1610612728
151.27/89.44	c And the winner is CuttingPlanes
151.49/89.62	c Got one! Elapsed wall clock time (in seconds):89.397
151.49/89.62	o 1610612727
153.02/90.45	c And the winner is CuttingPlanes
153.21/90.63	c Got one! Elapsed wall clock time (in seconds):90.403
153.21/90.63	o 1610612726
154.54/91.39	c And the winner is CuttingPlanes
154.79/91.63	c Got one! Elapsed wall clock time (in seconds):91.409
154.79/91.63	o 1610612725
156.31/92.45	c And the winner is CuttingPlanes
156.54/92.64	c Got one! Elapsed wall clock time (in seconds):92.414
156.54/92.64	o 1610612724
157.86/93.38	c And the winner is CuttingPlanes
158.16/93.64	c Got one! Elapsed wall clock time (in seconds):93.417
158.16/93.64	o 1610612723
159.67/94.43	c And the winner is CuttingPlanes
159.85/94.65	c Got one! Elapsed wall clock time (in seconds):94.422
159.85/94.65	o 1610612722
161.15/95.37	c And the winner is CuttingPlanes
161.39/95.65	c Got one! Elapsed wall clock time (in seconds):95.429
161.39/95.65	o 1610612721
162.87/96.46	c And the winner is CuttingPlanes
163.14/96.66	c Got one! Elapsed wall clock time (in seconds):96.433
163.14/96.66	o 1610612720
164.60/97.44	c And the winner is CuttingPlanes
164.83/97.66	c Got one! Elapsed wall clock time (in seconds):97.438
164.83/97.66	o 1610612719
166.28/98.41	c And the winner is CuttingPlanes
166.39/98.67	c Got one! Elapsed wall clock time (in seconds):98.444
166.39/98.67	o 1610612718
168.04/99.50	c And the winner is CuttingPlanes
168.14/99.67	c Got one! Elapsed wall clock time (in seconds):99.449
168.14/99.67	o 1610612717
169.57/100.44	c And the winner is CuttingPlanes
169.78/100.68	c Got one! Elapsed wall clock time (in seconds):100.452
169.78/100.68	o 1610612716
171.40/101.53	c And the winner is CuttingPlanes
171.53/101.68	c Got one! Elapsed wall clock time (in seconds):101.457
171.53/101.68	o 1610612715
172.98/102.44	c And the winner is CuttingPlanes
173.15/102.69	c Got one! Elapsed wall clock time (in seconds):102.463
173.15/102.69	o 1610612714
174.75/103.51	c And the winner is CuttingPlanes
174.86/103.69	c Got one! Elapsed wall clock time (in seconds):103.467
174.86/103.69	o 1610612713
176.31/104.49	c And the winner is CuttingPlanes
176.58/104.70	c Got one! Elapsed wall clock time (in seconds):104.473
176.58/104.70	o 1610612712
177.98/105.48	c And the winner is CuttingPlanes
178.27/105.70	c Got one! Elapsed wall clock time (in seconds):105.479
178.27/105.70	o 1610612711
189.56/111.41	c And the winner is CuttingPlanes
189.65/111.72	c Got one! Elapsed wall clock time (in seconds):111.495
189.65/111.72	o 1610612710
191.18/112.52	c And the winner is CuttingPlanes
191.34/112.73	c Got one! Elapsed wall clock time (in seconds):112.509
191.34/112.73	o 1610612709
192.87/113.51	c And the winner is CuttingPlanes
193.07/113.74	c Got one! Elapsed wall clock time (in seconds):113.513
193.07/113.74	o 1610612708
194.57/114.53	c And the winner is CuttingPlanes
194.80/114.74	c Got one! Elapsed wall clock time (in seconds):114.519
194.80/114.74	o 1610612707
206.20/120.53	c And the winner is CuttingPlanes
206.34/120.76	c Got one! Elapsed wall clock time (in seconds):120.533
206.34/120.76	o 1610612706
217.91/126.61	c And the winner is CuttingPlanes
218.02/126.77	c Got one! Elapsed wall clock time (in seconds):126.548
218.02/126.77	o 1610612705
219.48/127.59	c And the winner is CuttingPlanes
219.76/127.78	c Got one! Elapsed wall clock time (in seconds):127.554
219.76/127.78	o 1610612704
221.44/128.61	c And the winner is CuttingPlanes
221.55/128.78	c Got one! Elapsed wall clock time (in seconds):128.559
221.55/128.78	o 1610612703
223.17/129.62	c And the winner is CuttingPlanes
223.30/129.79	c Got one! Elapsed wall clock time (in seconds):129.562
223.30/129.79	o 1610612702
224.93/130.61	c And the winner is CuttingPlanes
225.04/130.79	c Got one! Elapsed wall clock time (in seconds):130.568
225.04/130.79	o 1610612701
226.87/131.78	c And the winner is CuttingPlanes
227.20/132.80	c Got one! Elapsed wall clock time (in seconds):132.574
227.20/132.80	o 1610612700
228.58/133.57	c And the winner is CuttingPlanes
228.85/133.80	c Got one! Elapsed wall clock time (in seconds):133.578
228.85/133.80	o 1610612699
230.43/134.68	c And the winner is CuttingPlanes
230.71/134.81	c Got one! Elapsed wall clock time (in seconds):134.585
230.71/134.81	o 1610612698
241.80/140.45	c And the winner is CuttingPlanes
242.06/140.82	c Got one! Elapsed wall clock time (in seconds):140.6
242.06/140.82	o 1610612697
243.60/141.65	c And the winner is CuttingPlanes
243.84/141.83	c Got one! Elapsed wall clock time (in seconds):141.603
243.84/141.83	o 1610612696
245.57/142.70	c And the winner is CuttingPlanes
245.67/142.83	c Got one! Elapsed wall clock time (in seconds):142.606
245.67/142.83	o 1610612695
247.22/143.69	c And the winner is CuttingPlanes
247.51/143.84	c Got one! Elapsed wall clock time (in seconds):143.612
247.51/143.84	o 1610612694
249.22/144.71	c And the winner is CuttingPlanes
249.40/145.84	c Got one! Elapsed wall clock time (in seconds):145.619
249.40/145.84	o 1610612693
251.09/146.77	c And the winner is CuttingPlanes
251.38/147.85	c Got one! Elapsed wall clock time (in seconds):147.624
251.38/147.85	o 1610612692
253.45/148.98	c And the winner is CuttingPlanes
253.80/149.86	c Got one! Elapsed wall clock time (in seconds):149.632
253.80/149.86	o 1610612691
255.67/150.86	c And the winner is CuttingPlanes
255.90/151.86	c Got one! Elapsed wall clock time (in seconds):151.639
255.90/151.86	o 1610612690
257.35/152.66	c And the winner is CuttingPlanes
257.62/152.87	c Got one! Elapsed wall clock time (in seconds):152.644
257.62/152.87	o 1610612689
269.79/159.00	c And the winner is CuttingPlanes
269.88/159.92	c Got one! Elapsed wall clock time (in seconds):159.692
269.88/159.92	o 1610612688
292.24/171.26	c And the winner is CuttingPlanes
292.45/171.94	c Got one! Elapsed wall clock time (in seconds):171.719
292.45/171.94	o 1610612687
314.57/183.14	c And the winner is CuttingPlanes
314.76/183.97	c Got one! Elapsed wall clock time (in seconds):183.75
314.76/183.97	o 1610612686
336.46/194.97	c And the winner is CuttingPlanes
336.72/196.00	c Got one! Elapsed wall clock time (in seconds):195.777
336.72/196.00	o 1610612685
358.75/207.12	c And the winner is CuttingPlanes
358.91/208.07	c Got one! Elapsed wall clock time (in seconds):207.845
358.91/208.07	o 1610612684
381.18/219.32	c And the winner is CuttingPlanes
381.34/220.10	c Got one! Elapsed wall clock time (in seconds):219.872
381.34/220.10	o 1610612683
403.16/231.19	c And the winner is CuttingPlanes
403.46/232.12	c Got one! Elapsed wall clock time (in seconds):231.9
403.46/232.12	o 1610612682
426.20/243.62	c And the winner is CuttingPlanes
426.35/244.15	c Got one! Elapsed wall clock time (in seconds):243.927
426.35/244.15	o 1610612681
447.92/255.07	c And the winner is CuttingPlanes
448.21/256.19	c Got one! Elapsed wall clock time (in seconds):255.964
448.21/256.19	o 1610612680
458.13/261.25	c cleaning 2482 clauses out of 5000 with flag 5001/5001
471.19/267.92	c And the winner is CuttingPlanes
471.34/268.21	c Got one! Elapsed wall clock time (in seconds):267.99
471.34/268.21	o 1610612679
493.89/279.65	c And the winner is CuttingPlanes
494.10/280.24	c Got one! Elapsed wall clock time (in seconds):280.019
494.10/280.24	o 1610612678
516.41/291.57	c And the winner is CuttingPlanes
516.65/292.27	c Got one! Elapsed wall clock time (in seconds):292.047
516.65/292.27	o 1610612677
559.88/314.19	c And the winner is CuttingPlanes
560.16/314.32	c Got one! Elapsed wall clock time (in seconds):314.093
560.16/314.32	o 1610612676
808.02/439.35	c And the winner is CuttingPlanes
808.21/439.59	c Got one! Elapsed wall clock time (in seconds):439.361
808.21/439.59	o 1610612675
810.01/440.55	c And the winner is CuttingPlanes
810.26/441.59	c Got one! Elapsed wall clock time (in seconds):441.368
810.26/441.59	o 1610612674
812.05/442.57	c And the winner is CuttingPlanes
812.34/443.60	c Got one! Elapsed wall clock time (in seconds):443.378
812.34/443.60	o 1610612673
814.31/444.65	c And the winner is CuttingPlanes
814.57/445.61	c Got one! Elapsed wall clock time (in seconds):445.387
814.57/445.61	o 1610612672
877.97/477.69	c And the winner is CuttingPlanes
878.28/478.68	c Got one! Elapsed wall clock time (in seconds):478.455
878.28/478.68	o 1610612671
880.30/479.71	c And the winner is CuttingPlanes
880.43/480.69	c Got one! Elapsed wall clock time (in seconds):480.463
880.43/480.69	o 1610612670
882.43/481.73	c And the winner is CuttingPlanes
882.61/482.70	c Got one! Elapsed wall clock time (in seconds):482.47
882.61/482.70	o 1610612669
904.81/493.98	c And the winner is CuttingPlanes
905.07/494.72	c Got one! Elapsed wall clock time (in seconds):494.497
905.07/494.72	o 1610612668
926.68/505.65	c And the winner is CuttingPlanes
926.93/506.75	c Got one! Elapsed wall clock time (in seconds):506.526
926.93/506.75	o 1610612667
938.73/512.79	c And the winner is CuttingPlanes
939.03/513.77	c Got one! Elapsed wall clock time (in seconds):513.546
939.03/513.77	o 1610612666
941.10/514.82	c And the winner is CuttingPlanes
941.23/515.78	c Got one! Elapsed wall clock time (in seconds):515.554
941.23/515.78	o 1610612665
962.72/526.67	c And the winner is CuttingPlanes
962.90/526.80	c Got one! Elapsed wall clock time (in seconds):526.58
962.90/526.80	o 1610612664
964.77/527.78	c And the winner is CuttingPlanes
965.01/528.81	c Got one! Elapsed wall clock time (in seconds):528.586
965.01/528.81	o 1610612663
986.82/539.86	c And the winner is CuttingPlanes
987.03/540.84	c Got one! Elapsed wall clock time (in seconds):540.612
987.03/540.84	o 1610612662
989.13/541.94	c And the winner is CuttingPlanes
989.33/542.84	c Got one! Elapsed wall clock time (in seconds):542.619
989.33/542.84	o 1610612661
1061.79/579.48	c And the winner is CuttingPlanes
1062.11/579.92	c Got one! Elapsed wall clock time (in seconds):579.7
1062.11/579.92	o 1610612660
1083.89/590.94	c And the winner is CuttingPlanes
1084.12/591.95	c Got one! Elapsed wall clock time (in seconds):591.728
1084.12/591.95	o 1610612659
1086.20/593.05	c And the winner is CuttingPlanes
1086.46/593.96	c Got one! Elapsed wall clock time (in seconds):593.735
1086.46/593.96	o 1610612658
1088.33/594.99	c And the winner is CuttingPlanes
1088.63/595.97	c Got one! Elapsed wall clock time (in seconds):595.741
1088.63/595.97	o 1610612657
1109.95/606.73	c And the winner is CuttingPlanes
1110.15/606.99	c Got one! Elapsed wall clock time (in seconds):606.766
1110.15/606.99	o 1610612656
1131.98/618.03	c And the winner is CuttingPlanes
1132.17/619.02	c Got one! Elapsed wall clock time (in seconds):618.793
1132.17/619.02	o 1610612655
1134.30/620.19	c And the winner is CuttingPlanes
1134.64/621.03	c Got one! Elapsed wall clock time (in seconds):620.8
1134.64/621.03	o 1610612654
1136.77/622.10	c And the winner is CuttingPlanes
1136.84/623.03	c Got one! Elapsed wall clock time (in seconds):622.808
1136.84/623.03	o 1610612653
1138.95/624.12	c And the winner is CuttingPlanes
1139.09/625.04	c Got one! Elapsed wall clock time (in seconds):624.815
1139.09/625.04	o 1610612652
1140.98/626.08	c And the winner is CuttingPlanes
1141.30/627.05	c Got one! Elapsed wall clock time (in seconds):626.823
1141.30/627.05	o 1610612651
1143.40/628.11	c And the winner is CuttingPlanes
1143.55/629.05	c Got one! Elapsed wall clock time (in seconds):628.83
1143.55/629.05	o 1610612650
1145.41/630.09	c And the winner is CuttingPlanes
1145.72/631.06	c Got one! Elapsed wall clock time (in seconds):630.837
1145.72/631.06	o 1610612649
1147.57/632.00	c And the winner is CuttingPlanes
1147.68/633.07	c Got one! Elapsed wall clock time (in seconds):632.845
1147.68/633.07	o 1610612648
1160.97/639.84	c And the winner is CuttingPlanes
1161.19/640.10	c Got one! Elapsed wall clock time (in seconds):639.87
1161.19/640.10	o 1610612647
1163.35/641.28	c And the winner is CuttingPlanes
1163.66/642.13	c Got one! Elapsed wall clock time (in seconds):641.899
1163.66/642.13	o 1610612646
1165.72/643.26	c And the winner is CuttingPlanes
1165.93/644.15	c Got one! Elapsed wall clock time (in seconds):643.929
1165.93/644.15	o 1610612645
1189.19/655.94	c And the winner is CuttingPlanes
1189.38/656.19	c Got one! Elapsed wall clock time (in seconds):655.961
1189.38/656.19	o 1610612644
1191.38/657.26	c And the winner is CuttingPlanes
1191.61/658.19	c Got one! Elapsed wall clock time (in seconds):657.967
1191.61/658.19	o 1610612643
1205.32/665.12	c And the winner is CuttingPlanes
1205.50/666.21	c Got one! Elapsed wall clock time (in seconds):665.988
1205.50/666.21	o 1610612642
1207.66/667.37	c And the winner is CuttingPlanes
1207.93/668.22	c Got one! Elapsed wall clock time (in seconds):667.996
1207.93/668.22	o 1610612641
1221.58/675.18	c And the winner is CuttingPlanes
1221.84/676.24	c Got one! Elapsed wall clock time (in seconds):676.014
1221.84/676.24	o 1610612640
1224.13/677.40	c And the winner is CuttingPlanes
1224.26/678.25	c Got one! Elapsed wall clock time (in seconds):678.021
1224.26/678.25	o 1610612639
1226.55/679.40	c And the winner is CuttingPlanes
1226.69/680.25	c Got one! Elapsed wall clock time (in seconds):680.028
1226.69/680.25	o 1610612638
1228.76/681.35	c And the winner is CuttingPlanes
1228.93/682.26	c Got one! Elapsed wall clock time (in seconds):682.037
1228.93/682.26	o 1610612637
1230.98/683.33	c And the winner is CuttingPlanes
1231.17/684.27	c Got one! Elapsed wall clock time (in seconds):684.044
1231.17/684.27	o 1610612636
1233.23/685.32	c And the winner is CuttingPlanes
1233.36/686.28	c Got one! Elapsed wall clock time (in seconds):686.051
1233.36/686.28	o 1610612635
1235.58/687.42	c And the winner is CuttingPlanes
1235.75/688.28	c Got one! Elapsed wall clock time (in seconds):688.06
1235.75/688.28	o 1610612634
1237.95/689.46	c And the winner is CuttingPlanes
1238.18/690.29	c Got one! Elapsed wall clock time (in seconds):690.066
1238.18/690.29	o 1610612633
1265.17/703.95	c And the winner is CuttingPlanes
1265.40/704.33	c Got one! Elapsed wall clock time (in seconds):704.1
1265.40/704.33	o 1610612632
1286.40/714.92	c cleaning 4259 clauses out of 8518 with flag 11001/11001
1292.58/718.30	c And the winner is CuttingPlanes
1292.94/719.36	c Got one! Elapsed wall clock time (in seconds):719.135
1292.94/719.36	o 1610612631
1333.02/739.67	c And the winner is CuttingPlanes
1333.31/740.41	c Got one! Elapsed wall clock time (in seconds):740.186
1333.31/740.41	o 1610612630
1419.94/784.11	c And the winner is CuttingPlanes
1420.07/784.51	c Got one! Elapsed wall clock time (in seconds):784.282
1420.07/784.51	o 1610612629
1422.43/785.74	c And the winner is CuttingPlanes
1422.72/786.52	c Got one! Elapsed wall clock time (in seconds):786.291
1422.72/786.52	o 1610612628
1425.06/787.76	c And the winner is CuttingPlanes
1425.28/788.54	c Got one! Elapsed wall clock time (in seconds):788.31
1425.28/788.54	o 1610612627
1427.58/789.79	c And the winner is CuttingPlanes
1427.88/790.54	c Got one! Elapsed wall clock time (in seconds):790.318
1427.88/790.54	o 1610612626
1430.17/791.74	c And the winner is CuttingPlanes
1430.40/792.55	c Got one! Elapsed wall clock time (in seconds):792.325
1430.40/792.55	o 1610612625
1800.15/979.12	c starts		: 135
1800.15/979.12	c conflicts		: 199
1800.15/979.12	c decisions		: 834870
1800.15/979.12	c propagations		: 1719575
1800.15/979.12	c inspects		: 54179346
1800.15/979.12	c learnt literals	: 0
1800.15/979.12	c learnt binary clauses	: 0
1800.15/979.12	c learnt ternary clauses	: 0
1800.15/979.12	c learnt clauses	: 198
1800.15/979.12	c ignored clauses	: 0
1800.15/979.12	c root simplifications	: 0
1800.15/979.12	c removed literals (reason simplification)	: 0
1800.15/979.12	c reason swapping (by a shorter reason)	: 0
1800.15/979.12	c Calls to reduceDB	: 0
1800.15/979.12	c number of reductions to clauses (during analyze)	: 0
1800.15/979.12	c number of learned constraints concerned by reduction	: 0
1800.15/979.12	c number of learning phase by resolution	: 0
1800.15/979.12	c number of learning phase by cutting planes	: 0
1800.15/979.12	c speed (assignments/second)	: 9216.979513952167
1800.15/979.12	c non guided choices	4521
1800.15/979.12	c learnt constraints type 
1800.15/979.12	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.15/979.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 197
1800.15/979.12	c constraints type 
1800.15/979.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51
1800.15/979.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 331
1800.15/979.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 340
1800.15/979.12	c constraints type 
1800.15/979.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
1800.15/979.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
1800.15/979.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 340
1800.15/979.12	s SATISFIABLE
1800.15/979.15	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 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 x6616 -x6617 -x6618 -x6619 -x6620 x6621 -x6622 -x6623 -x6624 x6625 -x6626 -x6627 x6628 x6629 x6630 x6631 x6632 x6633 x6634 x6635 x6636 x6637 x6638 x6639 x6640 x6641 x6642 x6643 x6644 x6645 x6646 x6647 x6648 x6649 -x6650 x6651 
1800.15/979.18	c objective function=1610612625
1800.15/979.18	c Total wall clock time (in seconds): 978.951

Verifier Data 

OK	1610612625

Watcher Data 

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

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

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.06 1.02 3/106 482
/proc/meminfo: memFree=1832660/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=24036 CPUtime=0
/proc/482/stat : 482 (runsolver) R 480 482 349 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 1 0 29821352 24612864 106 1992294400 4194304 4302564 140735402526656 18446744073709551615 257316987895 0 2147483391 4096 24578 0 0 0 17 0 0 0 0
/proc/482/statm: 6009 106 69 27 0 2647 0

[startup+0.091917 s]
/proc/loadavg: 1.00 1.06 1.02 3/106 482
/proc/meminfo: memFree=1832660/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1521796 CPUtime=0.07
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 3850 0 1 0 5 2 0 0 15 0 7 0 29821352 1558319104 3290 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 380449 3290 1045 10 0 377759 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1521796

[startup+0.100916 s]
/proc/loadavg: 1.00 1.06 1.02 3/106 482
/proc/meminfo: memFree=1832660/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1524020 CPUtime=0.07
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 3936 0 1 0 5 2 0 0 15 0 12 0 29821352 1560596480 3374 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 381005 3374 1072 10 0 378308 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1524020

[startup+0.305725 s]
/proc/loadavg: 1.00 1.06 1.02 3/106 482
/proc/meminfo: memFree=1832660/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1526696 CPUtime=0.38
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 5493 0 1 0 34 4 0 0 15 0 12 0 29821352 1563336704 4929 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 381674 4929 1362 10 0 378977 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 1526696

[startup+0.700718 s]
/proc/loadavg: 1.00 1.06 1.02 3/106 482
/proc/meminfo: memFree=1832660/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1527892 CPUtime=1.01
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 7884 0 1 0 97 4 0 0 15 0 12 0 29821352 1564561408 7195 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 381973 7195 1406 10 0 379276 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 1527892

[startup+1.5017 s]
/proc/loadavg: 1.00 1.06 1.02 2/118 494
/proc/meminfo: memFree=1788360/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1527892 CPUtime=1.96
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 24438 0 1 0 185 11 0 0 15 0 12 0 29821352 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 381973 23499 1406 10 0 379276 0
[pid=482/tid=484] ppid=480 vsize=1527892 CPUtime=1.26
/proc/482/task/484/stat : 484 (java) R 480 482 349 0 -1 4202560 22008 0 1 0 116 10 0 0 25 0 12 0 29821354 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4109147778 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=482/tid=485] ppid=480 vsize=1527892 CPUtime=0
/proc/482/task/485/stat : 485 (java) S 480 482 349 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 29821355 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=486] ppid=480 vsize=1527892 CPUtime=0
/proc/482/task/486/stat : 486 (java) S 480 482 349 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 29821355 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=487] ppid=480 vsize=1527892 CPUtime=0
/proc/482/task/487/stat : 487 (java) S 480 482 349 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 29821357 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=488] ppid=480 vsize=1527892 CPUtime=0
/proc/482/task/488/stat : 488 (java) S 480 482 349 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 29821357 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=489] ppid=480 vsize=1527892 CPUtime=0
/proc/482/task/489/stat : 489 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 29821357 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=490] ppid=480 vsize=1527892 CPUtime=0
/proc/482/task/490/stat : 490 (java) S 480 482 349 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 12 0 29821361 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=491] ppid=480 vsize=1527892 CPUtime=0.35
/proc/482/task/491/stat : 491 (java) S 480 482 349 0 -1 4202560 674 0 0 0 35 0 0 0 15 0 12 0 29821361 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=492] ppid=480 vsize=1527892 CPUtime=0.32
/proc/482/task/492/stat : 492 (java) S 480 482 349 0 -1 4202560 691 0 0 0 32 0 0 0 15 0 12 0 29821362 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=493] ppid=480 vsize=1527892 CPUtime=0
/proc/482/task/493/stat : 493 (java) S 480 482 349 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 29821362 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=494] ppid=480 vsize=1527892 CPUtime=0
/proc/482/task/494/stat : 494 (java) S 480 482 349 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 29821362 1564561408 23499 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 1527892

[startup+3.10246 s]
/proc/loadavg: 1.00 1.06 1.02 2/118 494
/proc/meminfo: memFree=1688664/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1531244 CPUtime=4.59
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 39433 0 1 0 440 19 0 0 15 0 16 0 29821352 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 382811 37764 1431 10 0 380114 0
[pid=482/tid=484] ppid=480 vsize=1531244 CPUtime=1.83
/proc/482/task/484/stat : 484 (java) S 480 482 349 0 -1 4202560 32056 0 1 0 168 15 0 0 25 0 16 0 29821354 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=485] ppid=480 vsize=1531244 CPUtime=0.08
/proc/482/task/485/stat : 485 (java) S 480 482 349 0 -1 4202560 1855 0 0 0 8 0 0 0 16 0 16 0 29821355 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=486] ppid=480 vsize=1531244 CPUtime=0.07
/proc/482/task/486/stat : 486 (java) S 480 482 349 0 -1 4202560 1784 0 0 0 7 0 0 0 18 0 16 0 29821355 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=487] ppid=480 vsize=1531244 CPUtime=0
/proc/482/task/487/stat : 487 (java) S 480 482 349 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 16 0 29821357 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=488] ppid=480 vsize=1531244 CPUtime=0
/proc/482/task/488/stat : 488 (java) S 480 482 349 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 29821357 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=489] ppid=480 vsize=1531244 CPUtime=0
/proc/482/task/489/stat : 489 (java) S 480 482 349 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29821357 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=490] ppid=480 vsize=1531244 CPUtime=0
/proc/482/task/490/stat : 490 (java) S 480 482 349 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 29821361 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=491] ppid=480 vsize=1531244 CPUtime=0.8
/proc/482/task/491/stat : 491 (java) S 480 482 349 0 -1 4202560 1767 0 0 0 79 1 0 0 16 0 16 0 29821361 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=492] ppid=480 vsize=1531244 CPUtime=0.67
/proc/482/task/492/stat : 492 (java) S 480 482 349 0 -1 4202560 849 0 0 0 67 0 0 0 16 0 16 0 29821362 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=493] ppid=480 vsize=1531244 CPUtime=0
/proc/482/task/493/stat : 493 (java) S 480 482 349 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 29821362 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=494] ppid=480 vsize=1531244 CPUtime=0
/proc/482/task/494/stat : 494 (java) S 480 482 349 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 29821362 1567993856 37764 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 1531244

[startup+6.30203 s]
/proc/loadavg: 1.00 1.06 1.02 3/122 500
/proc/meminfo: memFree=1663212/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1531748 CPUtime=7.92
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 45402 0 1 0 770 22 0 0 15 0 16 0 29821352 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 382937 43474 1435 10 0 380240 0
[pid=482/tid=484] ppid=480 vsize=1531748 CPUtime=1.85
/proc/482/task/484/stat : 484 (java) S 480 482 349 0 -1 4202560 32057 0 1 0 170 15 0 0 18 0 16 0 29821354 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=485] ppid=480 vsize=1531748 CPUtime=0.22
/proc/482/task/485/stat : 485 (java) S 480 482 349 0 -1 4202560 4575 0 0 0 21 1 0 0 16 0 16 0 29821355 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=486] ppid=480 vsize=1531748 CPUtime=0.24
/proc/482/task/486/stat : 486 (java) S 480 482 349 0 -1 4202560 4686 0 0 0 22 2 0 0 18 0 16 0 29821355 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=487] ppid=480 vsize=1531748 CPUtime=0
/proc/482/task/487/stat : 487 (java) S 480 482 349 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 16 0 29821357 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=488] ppid=480 vsize=1531748 CPUtime=0
/proc/482/task/488/stat : 488 (java) S 480 482 349 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 29821357 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=489] ppid=480 vsize=1531748 CPUtime=0
/proc/482/task/489/stat : 489 (java) S 480 482 349 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29821357 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=490] ppid=480 vsize=1531748 CPUtime=0
/proc/482/task/490/stat : 490 (java) S 480 482 349 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 29821361 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=491] ppid=480 vsize=1531748 CPUtime=0.85
/proc/482/task/491/stat : 491 (java) S 480 482 349 0 -1 4202560 1771 0 0 0 84 1 0 0 15 0 16 0 29821361 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=492] ppid=480 vsize=1531748 CPUtime=1.16
/proc/482/task/492/stat : 492 (java) S 480 482 349 0 -1 4202560 1178 0 0 0 116 0 0 0 15 0 16 0 29821362 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=493] ppid=480 vsize=1531748 CPUtime=0
/proc/482/task/493/stat : 493 (java) S 480 482 349 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 29821362 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=494] ppid=480 vsize=1531748 CPUtime=0
/proc/482/task/494/stat : 494 (java) S 480 482 349 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 29821362 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=497] ppid=480 vsize=1531748 CPUtime=0
/proc/482/task/497/stat : 497 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29821577 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=498] ppid=480 vsize=1531748 CPUtime=0
/proc/482/task/498/stat : 498 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29821579 1568509952 43474 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 1531748

[startup+12.7022 s]
/proc/loadavg: 1.09 1.07 1.02 2/121 510
/proc/meminfo: memFree=1640776/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1533320 CPUtime=16.8
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 52206 0 1 0 1654 26 0 0 15 0 16 0 29821352 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 383330 48992 1435 10 0 380633 0
[pid=482/tid=484] ppid=480 vsize=1533320 CPUtime=1.85
/proc/482/task/484/stat : 484 (java) S 480 482 349 0 -1 4202560 32057 0 1 0 170 15 0 0 19 0 16 0 29821354 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=485] ppid=480 vsize=1533320 CPUtime=0.56
/proc/482/task/485/stat : 485 (java) S 480 482 349 0 -1 4202560 7862 0 0 0 53 3 0 0 16 0 16 0 29821355 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=486] ppid=480 vsize=1533320 CPUtime=0.57
/proc/482/task/486/stat : 486 (java) S 480 482 349 0 -1 4202560 7706 0 0 0 54 3 0 0 16 0 16 0 29821355 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=487] ppid=480 vsize=1533320 CPUtime=0.01
/proc/482/task/487/stat : 487 (java) S 480 482 349 0 -1 4202560 23 0 0 0 1 0 0 0 16 0 16 0 29821357 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=488] ppid=480 vsize=1533320 CPUtime=0
/proc/482/task/488/stat : 488 (java) S 480 482 349 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 29821357 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=489] ppid=480 vsize=1533320 CPUtime=0
/proc/482/task/489/stat : 489 (java) S 480 482 349 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29821357 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=490] ppid=480 vsize=1533320 CPUtime=0
/proc/482/task/490/stat : 490 (java) S 480 482 349 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 29821361 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=491] ppid=480 vsize=1533320 CPUtime=0.86
/proc/482/task/491/stat : 491 (java) S 480 482 349 0 -1 4202560 1771 0 0 0 85 1 0 0 15 0 16 0 29821361 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=492] ppid=480 vsize=1533320 CPUtime=1.47
/proc/482/task/492/stat : 492 (java) S 480 482 349 0 -1 4202560 1650 0 0 0 146 1 0 0 15 0 16 0 29821362 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=493] ppid=480 vsize=1533320 CPUtime=0
/proc/482/task/493/stat : 493 (java) S 480 482 349 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 29821362 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=494] ppid=480 vsize=1533320 CPUtime=0
/proc/482/task/494/stat : 494 (java) S 480 482 349 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 16 0 29821362 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=497] ppid=480 vsize=1533320 CPUtime=0
/proc/482/task/497/stat : 497 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29821577 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=498] ppid=480 vsize=1533320 CPUtime=0
/proc/482/task/498/stat : 498 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29821579 1570119680 48992 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.8
Current children cumulated vsize (KiB) 1533320

[startup+25.5015 s]
/proc/loadavg: 1.08 1.07 1.02 4/122 534
/proc/meminfo: memFree=1632832/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1532144 CPUtime=34.66
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 55278 0 1 0 3437 29 0 0 15 0 16 0 29821352 1568915456 50960 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 383036 50960 1442 10 0 380339 0
[pid=482/tid=484] ppid=480 vsize=1532144 CPUtime=1.85
/proc/482/task/484/stat : 484 (java) S 480 482 349 0 -1 4202560 32057 0 1 0 170 15 0 0 19 0 16 0 29821354 1568915456 50960 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=1532144 CPUtime=0.68
/proc/482/task/485/stat : 485 (java) S 480 482 349 0 -1 4202560 9113 0 0 0 64 4 0 0 15 0 16 0 29821355 1568915456 50960 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=486] ppid=480 vsize=1532144 CPUtime=0.7
/proc/482/task/486/stat : 486 (java) S 480 482 349 0 -1 4202560 8713 0 0 0 66 4 0 0 16 0 16 0 29821355 1568915456 50960 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=487] ppid=480 vsize=1532144 CPUtime=0.02

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

/proc/482/task/790/stat : 790 (java) R 480 482 349 0 -1 4202560 36 0 0 0 2897 1 0 0 25 0 16 0 29900607 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4109374336 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=482/tid=791] ppid=480 vsize=1535536 CPUtime=29.26
/proc/482/task/791/stat : 791 (java) R 480 482 349 0 -1 4202560 40 0 0 0 2926 0 0 0 25 0 16 0 29900607 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4109213264 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1489.36
Current children cumulated vsize (KiB) 1535536

[startup+882.303 s]
/proc/loadavg: 1.96 1.97 1.64 3/122 793
/proc/meminfo: memFree=1513172/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1535536 CPUtime=1608.32
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 90659 0 1 0 160701 131 0 0 15 0 16 0 29821352 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 383884 80257 1447 10 0 381187 0
[pid=482/tid=484] ppid=480 vsize=1535536 CPUtime=1.85
/proc/482/task/484/stat : 484 (java) S 480 482 349 0 -1 4202560 32071 0 1 0 170 15 0 0 15 0 16 0 29821354 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=1535536 CPUtime=9.47
/proc/482/task/485/stat : 485 (java) S 480 482 349 0 -1 4202560 23294 0 0 0 927 20 0 0 15 0 16 0 29821355 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=486] ppid=480 vsize=1535536 CPUtime=9.48
/proc/482/task/486/stat : 486 (java) S 480 482 349 0 -1 4202560 24378 0 0 0 924 24 0 0 16 0 16 0 29821355 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=487] ppid=480 vsize=1535536 CPUtime=1.46
/proc/482/task/487/stat : 487 (java) S 480 482 349 0 -1 4202560 849 0 0 0 129 17 0 0 15 0 16 0 29821357 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=488] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/488/stat : 488 (java) S 480 482 349 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 29821357 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=489] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/489/stat : 489 (java) S 480 482 349 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29821357 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=490] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/490/stat : 490 (java) S 480 482 349 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 29821361 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=491] ppid=480 vsize=1535536 CPUtime=1.86
/proc/482/task/491/stat : 491 (java) S 480 482 349 0 -1 4202560 4463 0 0 0 184 2 0 0 15 0 16 0 29821361 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=492] ppid=480 vsize=1535536 CPUtime=2.22
/proc/482/task/492/stat : 492 (java) S 480 482 349 0 -1 4202560 2424 0 0 0 221 1 0 0 15 0 16 0 29821362 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=493] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/493/stat : 493 (java) S 480 482 349 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 29821362 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=494] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/494/stat : 494 (java) S 480 482 349 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 16 0 29821362 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=497] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/497/stat : 497 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29821577 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=498] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/498/stat : 498 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29821579 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=790] ppid=480 vsize=1535536 CPUtime=87.49
/proc/482/task/790/stat : 790 (java) R 480 482 349 0 -1 4202560 102 0 0 0 8745 4 0 0 25 0 16 0 29900607 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4109374407 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=482/tid=791] ppid=480 vsize=1535536 CPUtime=88.41
/proc/482/task/791/stat : 791 (java) R 480 482 349 0 -1 4202560 124 0 0 0 8840 1 0 0 25 0 16 0 29900607 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4109840184 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1608.32
Current children cumulated vsize (KiB) 1535536

[startup+942.302 s]
/proc/loadavg: 1.98 1.97 1.66 3/122 795
/proc/meminfo: memFree=1513172/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1535536 CPUtime=1727.19
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 90813 0 1 0 172581 138 0 0 15 0 16 0 29821352 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 383884 80257 1447 10 0 381187 0
[pid=482/tid=484] ppid=480 vsize=1535536 CPUtime=1.85
/proc/482/task/484/stat : 484 (java) S 480 482 349 0 -1 4202560 32071 0 1 0 170 15 0 0 15 0 16 0 29821354 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=1535536 CPUtime=10.17
/proc/482/task/485/stat : 485 (java) S 480 482 349 0 -1 4202560 23294 0 0 0 996 21 0 0 16 0 16 0 29821355 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=486] ppid=480 vsize=1535536 CPUtime=10.16
/proc/482/task/486/stat : 486 (java) S 480 482 349 0 -1 4202560 24378 0 0 0 991 25 0 0 16 0 16 0 29821355 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=487] ppid=480 vsize=1535536 CPUtime=1.53
/proc/482/task/487/stat : 487 (java) S 480 482 349 0 -1 4202560 851 0 0 0 134 19 0 0 15 0 16 0 29821357 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=488] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/488/stat : 488 (java) S 480 482 349 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 29821357 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=489] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/489/stat : 489 (java) S 480 482 349 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29821357 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=490] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/490/stat : 490 (java) S 480 482 349 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 29821361 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=491] ppid=480 vsize=1535536 CPUtime=1.88
/proc/482/task/491/stat : 491 (java) S 480 482 349 0 -1 4202560 4463 0 0 0 186 2 0 0 15 0 16 0 29821361 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=492] ppid=480 vsize=1535536 CPUtime=2.22
/proc/482/task/492/stat : 492 (java) S 480 482 349 0 -1 4202560 2424 0 0 0 221 1 0 0 15 0 16 0 29821362 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=493] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/493/stat : 493 (java) S 480 482 349 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 29821362 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=494] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/494/stat : 494 (java) S 480 482 349 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 16 0 29821362 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=497] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/497/stat : 497 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29821577 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=498] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/498/stat : 498 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29821579 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=790] ppid=480 vsize=1535536 CPUtime=145.72
/proc/482/task/790/stat : 790 (java) R 480 482 349 0 -1 4202560 177 0 0 0 14565 7 0 0 25 0 16 0 29900607 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4109390203 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=482/tid=791] ppid=480 vsize=1535536 CPUtime=147.58
/proc/482/task/791/stat : 791 (java) R 480 482 349 0 -1 4202560 199 0 0 0 14757 1 0 0 25 0 16 0 29900607 1572388864 80257 1992294400 134512640 134550932 4288240720 18446744073709551615 4109212995 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1727.19
Current children cumulated vsize (KiB) 1535536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+979.102 s]
/proc/loadavg: 2.04 1.99 1.68 3/122 795
/proc/meminfo: memFree=1512428/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1535536 CPUtime=1800.15
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 91157 0 1 0 179873 142 0 0 15 0 16 0 29821352 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 383884 80472 1447 10 0 381187 0
[pid=482/tid=484] ppid=480 vsize=1535536 CPUtime=1.85
/proc/482/task/484/stat : 484 (java) S 480 482 349 0 -1 4202560 32071 0 1 0 170 15 0 0 15 0 16 0 29821354 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=1535536 CPUtime=10.6
/proc/482/task/485/stat : 485 (java) S 480 482 349 0 -1 4202560 23380 0 0 0 1039 21 0 0 16 0 16 0 29821355 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=486] ppid=480 vsize=1535536 CPUtime=10.6
/proc/482/task/486/stat : 486 (java) S 480 482 349 0 -1 4202560 24541 0 0 0 1035 25 0 0 15 0 16 0 29821355 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=487] ppid=480 vsize=1535536 CPUtime=1.57
/proc/482/task/487/stat : 487 (java) S 480 482 349 0 -1 4202560 853 0 0 0 137 20 0 0 15 0 16 0 29821357 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=488] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/488/stat : 488 (java) S 480 482 349 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 29821357 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=489] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/489/stat : 489 (java) S 480 482 349 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 29821357 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=490] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/490/stat : 490 (java) S 480 482 349 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 16 0 29821361 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=491] ppid=480 vsize=1535536 CPUtime=1.88
/proc/482/task/491/stat : 491 (java) S 480 482 349 0 -1 4202560 4463 0 0 0 186 2 0 0 15 0 16 0 29821361 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=492] ppid=480 vsize=1535536 CPUtime=2.22
/proc/482/task/492/stat : 492 (java) S 480 482 349 0 -1 4202560 2424 0 0 0 221 1 0 0 15 0 16 0 29821362 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=493] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/493/stat : 493 (java) S 480 482 349 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 16 0 29821362 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=494] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/494/stat : 494 (java) S 480 482 349 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 16 0 29821362 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=497] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/497/stat : 497 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29821577 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=498] ppid=480 vsize=1535536 CPUtime=0
/proc/482/task/498/stat : 498 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 29821579 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=790] ppid=480 vsize=1535536 CPUtime=181.52
/proc/482/task/790/stat : 790 (java) R 480 482 349 0 -1 4202560 220 0 0 0 18144 8 0 0 25 0 16 0 29900607 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4109201317 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=482/tid=791] ppid=480 vsize=1535536 CPUtime=183.82
/proc/482/task/791/stat : 791 (java) R 480 482 349 0 -1 4202560 247 0 0 0 18380 2 0 0 25 0 16 0 29900607 1572388864 80472 1992294400 134512640 134550932 4288240720 18446744073709551615 4109213323 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 1535536

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+979.217 s]
/proc/loadavg: 2.04 1.99 1.68 3/122 795
/proc/meminfo: memFree=1512428/2059040 swapFree=4136716/4192956
[pid=482] ppid=480 vsize=1536184 CPUtime=1800.36
/proc/482/stat : 482 (java) S 480 482 349 0 -1 4202496 91179 0 1 0 179894 142 0 0 15 0 17 0 29821352 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/482/statm: 384046 80493 1447 10 0 381349 0
[pid=482/tid=484] ppid=480 vsize=1536184 CPUtime=1.85
/proc/482/task/484/stat : 484 (java) S 480 482 349 0 -1 4202560 32071 0 1 0 170 15 0 0 15 0 17 0 29821354 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=485] ppid=480 vsize=1536184 CPUtime=10.6
/proc/482/task/485/stat : 485 (java) S 480 482 349 0 -1 4202560 23381 0 0 0 1039 21 0 0 16 0 17 0 29821355 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=486] ppid=480 vsize=1536184 CPUtime=10.61
/proc/482/task/486/stat : 486 (java) S 480 482 349 0 -1 4202560 24541 0 0 0 1036 25 0 0 16 0 17 0 29821355 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=487] ppid=480 vsize=1536184 CPUtime=1.57
/proc/482/task/487/stat : 487 (java) S 480 482 349 0 -1 4202560 853 0 0 0 137 20 0 0 15 0 17 0 29821357 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 0 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=488] ppid=480 vsize=1536184 CPUtime=0
/proc/482/task/488/stat : 488 (java) S 480 482 349 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 17 0 29821357 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=489] ppid=480 vsize=1536184 CPUtime=0
/proc/482/task/489/stat : 489 (java) S 480 482 349 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 17 0 29821357 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=490] ppid=480 vsize=1536184 CPUtime=0
/proc/482/task/490/stat : 490 (java) S 480 482 349 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 17 0 29821361 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=491] ppid=480 vsize=1536184 CPUtime=1.9
/proc/482/task/491/stat : 491 (java) S 480 482 349 0 -1 4202560 4463 0 0 0 188 2 0 0 15 0 17 0 29821361 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=492] ppid=480 vsize=1536184 CPUtime=2.22
/proc/482/task/492/stat : 492 (java) S 480 482 349 0 -1 4202560 2424 0 0 0 221 1 0 0 15 0 17 0 29821362 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=493] ppid=480 vsize=1536184 CPUtime=0
/proc/482/task/493/stat : 493 (java) S 480 482 349 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 17 0 29821362 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=494] ppid=480 vsize=1536184 CPUtime=0
/proc/482/task/494/stat : 494 (java) S 480 482 349 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 17 0 29821362 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=497] ppid=480 vsize=1536184 CPUtime=0
/proc/482/task/497/stat : 497 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 17 0 29821577 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 1 0 0 0
[pid=482/tid=498] ppid=480 vsize=1536184 CPUtime=0
/proc/482/task/498/stat : 498 (java) S 480 482 349 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 17 0 29821579 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4294960144 0 4 0 16800975 18446604436809564480 0 0 -1 0 0 0 0
[pid=482/tid=790] ppid=480 vsize=1536184 CPUtime=181.57
/proc/482/task/790/stat : 790 (java) R 480 482 349 0 -1 4202560 220 0 0 0 18149 8 0 0 25 0 17 0 29900607 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4109371137 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=482/tid=791] ppid=480 vsize=1536184 CPUtime=183.91
/proc/482/task/791/stat : 791 (java) R 480 482 349 0 -1 4202560 247 0 0 0 18389 2 0 0 25 0 17 0 29900607 1573052416 80493 1992294400 134512640 134550932 4288240720 18446744073709551615 4109212995 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 1536184

Child status: 143
Real time (s): 979.267
CPU time (s): 1800.44
CPU user time (s): 1798.97
CPU system time (s): 1.46378
CPU usage (%): 183.856
Max. virtual memory (cumulated for all children) (KiB): 1537264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.46378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91179
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= 47361
involuntary context switches= 61805

runsolver used 5.79512 second user time and 7.12292 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-14 21:03:18
IDJOB=2662562
IDBENCH=2371
IDSOLVER=1166
FILE ID=node012/2662562-1276542198
PBS_JOBID= 11173474
Free space on /tmp= 62504 MiB

SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662562-1276542198/watcher-2662562-1276542198 -o /tmp/evaluation-result-2662562-1276542198/solver-2662562-1276542198 -C 1800 -W 2000 -M 1800  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662562-1276542198.opb

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

MD5SUM BENCH= 77d03e06bcf76c9b07fd6535ab6acb65
RANDOM SEED=2030878054

node012.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1832932 kB
Buffers:         35880 kB
Cached:         110980 kB
SwapCached:       9652 kB
Active:          73800 kB
Inactive:        85956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1832932 kB
SwapTotal:     4192956 kB
SwapFree:      4136716 kB
Dirty:            2416 kB
Writeback:           0 kB
AnonPages:       11148 kB
Mapped:           9312 kB
Slab:            44488 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181896 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62500 MiB
End job on node012 at 2010-06-14 21:19:39