Trace number 3710483

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotOPT 214.33 211.999

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_4_mh.opb
MD5SUM122468478b8bc81c0631c64befe52d46
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3608846
Best CPU time to get the best result obtained on this benchmark41.4087
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 77854483
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3842291271
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 77854483
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3842291271
Number of bits of the biggest sum of numbers32
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710483-1338252495.opb
0.09/0.12	c reading problem ... 
0.69/0.42	c ... done. Wall clock time 0.3s.
0.69/0.42	c declared #vars     6810
0.69/0.42	c #constraints  15626
0.69/0.42	c constraints type 
0.69/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
0.69/0.42	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
0.69/0.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.69/0.42	c ignored satisfied constraints => 3
0.69/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
0.69/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
0.69/0.42	c 15629 constraints processed.
2.76/2.07	c cleaning 2489 clauses out of 5002 with flag 5002/5002
4.17/3.37	c cleaning 4250 clauses out of 8511 with flag 11000/11000
5.57/4.71	c cleaning 5629 clauses out of 11261 with flag 18000/18000
7.18/6.38	c cleaning 6810 clauses out of 13632 with flag 26000/26000
8.03/7.12	c SATISFIABLE
8.03/7.12	c OPTIMIZING...
8.03/7.12	c Got one! Elapsed wall clock time (in seconds):6.999
8.03/7.13	o 186893754
8.71/7.74	c cleaning 6013 clauses out of 12037 with flag 3000/31215
9.61/8.67	c cleaning 6008 clauses out of 12025 with flag 9001/37216
10.92/9.93	c cleaning 6507 clauses out of 13020 with flag 16004/44219
12.52/11.53	c cleaning 7255 clauses out of 14510 with flag 24001/52216
13.32/12.34	c Got one! Elapsed wall clock time (in seconds):12.219
13.32/12.34	o 68868630
14.17/13.20	c cleaning 9647 clauses out of 19309 with flag 5000/64282
14.87/13.86	c cleaning 7821 clauses out of 15663 with flag 11001/70283
15.58/14.56	c cleaning 7416 clauses out of 14841 with flag 18000/77282
16.70/15.62	c Got one! Elapsed wall clock time (in seconds):15.492
16.70/15.62	o 68833338
17.45/16.35	c cleaning 9602 clauses out of 19214 with flag 5000/89090
18.46/17.31	c cleaning 7796 clauses out of 15610 with flag 11000/95090
19.26/18.14	c cleaning 7401 clauses out of 14814 with flag 18001/102091
20.56/19.43	c cleaning 7690 clauses out of 15412 with flag 26000/110090
21.56/20.45	c Got one! Elapsed wall clock time (in seconds):20.329
21.56/20.45	o 8212564
21.90/20.70	c cleaning 5916 clauses out of 11839 with flag 1002/115343
22.71/21.59	c cleaning 5566 clauses out of 11145 with flag 7001/121342
23.41/22.22	c Got one! Elapsed wall clock time (in seconds):22.099
23.41/22.22	o 7260914
23.64/22.43	c cleaning 5495 clauses out of 10995 with flag 2007/127179
24.25/23.07	c cleaning 5741 clauses out of 11497 with flag 8004/133176
24.85/23.66	c Got one! Elapsed wall clock time (in seconds):23.541
24.85/23.66	o 6737809
25.15/23.90	c cleaning 5795 clauses out of 11602 with flag 1000/139028
25.25/24.06	c Got one! Elapsed wall clock time (in seconds):23.941
25.25/24.06	o 6734049
25.65/24.47	c Got one! Elapsed wall clock time (in seconds):24.343
25.65/24.47	o 6716471
25.75/24.53	c Got one! Elapsed wall clock time (in seconds):24.407
25.75/24.53	o 6699224
26.05/24.90	c Got one! Elapsed wall clock time (in seconds):24.773
26.05/24.90	o 6621400
26.25/25.08	c cleaning 6594 clauses out of 13203 with flag 1000/146470
27.15/25.98	c cleaning 6291 clauses out of 12610 with flag 7001/152471
27.45/26.29	c Got one! Elapsed wall clock time (in seconds):26.167
27.45/26.29	o 6375669
28.05/26.84	c cleaning 6098 clauses out of 12210 with flag 4000/158362
28.86/27.60	c Got one! Elapsed wall clock time (in seconds):27.476
28.86/27.60	o 6353467
28.86/27.65	c Got one! Elapsed wall clock time (in seconds):27.524
28.86/27.65	o 6347244
28.96/27.75	c cleaning 4779 clauses out of 9579 with flag 1000/163810
29.77/28.58	c cleaning 5391 clauses out of 10802 with flag 7002/169812
30.67/29.47	c cleaning 6198 clauses out of 12408 with flag 14000/176810
31.78/30.58	c cleaning 7103 clauses out of 14208 with flag 22001/184811
32.98/31.80	c cleaning 8042 clauses out of 16102 with flag 31002/193812
34.08/32.90	c cleaning 9020 clauses out of 18058 with flag 41000/203810
35.78/34.55	c cleaning 10015 clauses out of 20039 with flag 52001/214811
37.08/35.88	c cleaning 11010 clauses out of 22025 with flag 64002/226812
38.79/37.50	c cleaning 12004 clauses out of 24013 with flag 77000/239810
40.91/39.66	c cleaning 12995 clauses out of 26008 with flag 91000/253810
42.61/41.35	c cleaning 13996 clauses out of 28008 with flag 106000/268810
44.42/43.14	c cleaning 14994 clauses out of 30012 with flag 122000/284810
46.32/45.10	c cleaning 16001 clauses out of 32016 with flag 139000/301810
48.72/47.49	c cleaning 17001 clauses out of 34015 with flag 157001/319811
49.23/47.94	c Got one! Elapsed wall clock time (in seconds):47.82
49.23/47.94	o 5844329
49.53/48.28	c cleaning 11468 clauses out of 22948 with flag 2000/325745
50.33/49.02	c cleaning 8734 clauses out of 17481 with flag 8001/331746
51.14/49.80	c cleaning 7871 clauses out of 15746 with flag 15000/338745
51.95/50.69	c cleaning 7933 clauses out of 15875 with flag 23000/346745
53.26/51.97	c cleaning 8459 clauses out of 16938 with flag 32001/355746
54.36/53.06	c cleaning 9230 clauses out of 18479 with flag 42001/365746
55.86/54.56	c cleaning 10109 clauses out of 20248 with flag 53000/376745
57.57/56.26	c cleaning 11053 clauses out of 22140 with flag 65001/388746
57.87/56.55	c Got one! Elapsed wall clock time (in seconds):56.428
57.87/56.55	o 5518800
58.27/56.93	c cleaning 8140 clauses out of 16314 with flag 3000/393973
58.99/57.61	c cleaning 7061 clauses out of 14174 with flag 9000/399973
59.70/58.35	c cleaning 7042 clauses out of 14115 with flag 16002/406975
60.80/59.47	c cleaning 7528 clauses out of 15070 with flag 24000/414973
62.10/60.79	c cleaning 8261 clauses out of 16543 with flag 33001/423974
63.60/62.27	c cleaning 9126 clauses out of 18281 with flag 43000/433973
65.11/63.73	c Got one! Elapsed wall clock time (in seconds):63.607
65.11/63.73	o 5509813
65.11/63.79	c Got one! Elapsed wall clock time (in seconds):63.669
65.11/63.79	o 5495730
65.34/63.94	c Got one! Elapsed wall clock time (in seconds):63.814
65.34/63.94	o 5486038
65.74/64.39	c cleaning 12882 clauses out of 25784 with flag 5000/450602
66.36/64.98	c cleaning 9431 clauses out of 18902 with flag 11000/456602
66.96/65.56	c cleaning 8216 clauses out of 16472 with flag 18001/463603
67.67/66.29	c cleaning 8097 clauses out of 16255 with flag 26000/471602
68.58/67.13	c cleaning 8570 clauses out of 17163 with flag 35005/480607
69.48/68.08	c Got one! Elapsed wall clock time (in seconds):67.954
69.48/68.08	o 5130136
70.19/68.79	c cleaning 10504 clauses out of 21018 with flag 5001/493032
71.09/69.62	c cleaning 8244 clauses out of 16513 with flag 11000/499031
71.91/70.42	c cleaning 7629 clauses out of 15270 with flag 18001/506032
73.10/71.67	c cleaning 7809 clauses out of 15640 with flag 26000/514031
73.22/71.76	c Got one! Elapsed wall clock time (in seconds):71.636
73.22/71.76	o 5115565
73.33/71.86	c Got one! Elapsed wall clock time (in seconds):71.734
73.33/71.86	o 5114297
74.14/72.61	c cleaning 6786 clauses out of 13637 with flag 5000/519837
74.93/73.49	c cleaning 6406 clauses out of 12851 with flag 11000/525837
75.73/74.23	c cleaning 6711 clauses out of 13448 with flag 18003/532840
76.63/75.16	c cleaning 7355 clauses out of 14735 with flag 26001/540838
77.75/76.27	c cleaning 8182 clauses out of 16379 with flag 35000/549837
79.25/77.73	c cleaning 9096 clauses out of 18197 with flag 45000/559837
80.95/79.47	c cleaning 10044 clauses out of 20104 with flag 56003/570840
82.36/80.87	c Got one! Elapsed wall clock time (in seconds):80.751
82.36/80.87	o 5084272
83.16/81.69	c cleaning 11872 clauses out of 23762 with flag 5000/584542
84.26/82.73	c cleaning 8939 clauses out of 17890 with flag 11000/590542
85.48/83.90	c cleaning 7963 clauses out of 15952 with flag 18001/597543
86.80/85.27	c cleaning 7983 clauses out of 15989 with flag 26001/605543
87.40/85.83	c Got one! Elapsed wall clock time (in seconds):85.705
87.40/85.83	o 4738855
87.40/85.88	c Got one! Elapsed wall clock time (in seconds):85.757
87.40/85.88	o 4738123
87.70/86.19	c cleaning 6664 clauses out of 13371 with flag 2002/610908
88.70/87.17	c cleaning 6336 clauses out of 12706 with flag 8001/616907
89.91/88.37	c cleaning 6666 clauses out of 13369 with flag 15000/623906
91.31/89.71	c cleaning 7341 clauses out of 14704 with flag 23001/631907
92.81/91.26	c cleaning 8166 clauses out of 16363 with flag 32001/640907
93.51/91.90	c Got one! Elapsed wall clock time (in seconds):91.774
93.51/91.90	o 4738017
93.71/92.19	c cleaning 6858 clauses out of 13729 with flag 2000/646439
94.71/93.19	c cleaning 6418 clauses out of 12871 with flag 8000/652439
95.92/94.36	c cleaning 6710 clauses out of 13453 with flag 15000/659439
96.02/94.41	c Got one! Elapsed wall clock time (in seconds):94.291
96.02/94.41	o 4729912
96.02/94.48	c Got one! Elapsed wall clock time (in seconds):94.357
96.02/94.48	o 4715855
96.92/95.31	c cleaning 6123 clauses out of 12308 with flag 5001/665004
97.43/95.89	c Got one! Elapsed wall clock time (in seconds):95.77
97.43/95.89	o 4707174
97.83/96.23	c cleaning 5793 clauses out of 11621 with flag 2001/670440
98.84/97.26	c cleaning 5894 clauses out of 11827 with flag 8000/676439
100.04/98.40	c cleaning 6449 clauses out of 12933 with flag 15000/683439
100.14/98.59	c Got one! Elapsed wall clock time (in seconds):98.47
100.14/98.59	o 4700193
100.44/98.87	c Got one! Elapsed wall clock time (in seconds):98.752
100.44/98.87	o 4679256
101.14/99.54	c cleaning 6629 clauses out of 13289 with flag 4002/690244
101.54/99.93	c Got one! Elapsed wall clock time (in seconds):99.804
101.54/99.93	o 4662278
102.04/100.44	c cleaning 5958 clauses out of 11948 with flag 3001/695532
102.85/101.24	c Got one! Elapsed wall clock time (in seconds):101.12
102.85/101.24	o 4646272
102.94/101.39	c cleaning 5834 clauses out of 11678 with flag 1002/701220
103.15/101.51	c Got one! Elapsed wall clock time (in seconds):101.383
103.15/101.51	o 4645042
103.86/102.30	c cleaning 5657 clauses out of 11353 with flag 5000/706729
104.56/102.97	c Got one! Elapsed wall clock time (in seconds):102.844
104.56/102.97	o 4641814
104.96/103.31	c cleaning 5758 clauses out of 11562 with flag 2000/712595
105.96/104.38	c cleaning 5892 clauses out of 11807 with flag 8003/718598
106.76/105.13	c Got one! Elapsed wall clock time (in seconds):105.003
106.76/105.13	o 4607395
106.86/105.28	c cleaning 5582 clauses out of 11190 with flag 1001/723873
107.86/106.29	c cleaning 5794 clauses out of 11607 with flag 7000/729872
109.06/107.41	c cleaning 6392 clauses out of 12813 with flag 14000/736872
110.16/108.52	c Got one! Elapsed wall clock time (in seconds):108.392
110.16/108.52	o 4602880
110.66/109.06	c Got one! Elapsed wall clock time (in seconds):108.932
110.66/109.06	o 4591902
110.96/109.36	c cleaning 8940 clauses out of 17904 with flag 2000/748355
111.88/110.25	c cleaning 7464 clauses out of 14966 with flag 8002/754357
112.80/111.16	c cleaning 7229 clauses out of 14500 with flag 15000/761355
113.81/112.17	c cleaning 7618 clauses out of 15271 with flag 23000/769355
115.21/113.57	c cleaning 8320 clauses out of 16655 with flag 32002/778357
116.91/115.21	c cleaning 9155 clauses out of 18334 with flag 42001/788356
118.93/117.23	c cleaning 10078 clauses out of 20178 with flag 53000/799355
120.83/119.13	c cleaning 11045 clauses out of 22101 with flag 65001/811356
122.54/120.86	c cleaning 12014 clauses out of 24055 with flag 78000/824355
123.85/122.19	c Got one! Elapsed wall clock time (in seconds):122.065
123.85/122.19	o 4591320
124.44/122.75	c cleaning 14742 clauses out of 29502 with flag 5001/841816
125.05/123.32	c cleaning 10376 clauses out of 20761 with flag 11002/847817
125.67/124.00	c cleaning 8675 clauses out of 17383 with flag 18000/854815
126.47/124.79	c cleaning 8338 clauses out of 16710 with flag 26002/862817
127.48/125.76	c cleaning 8669 clauses out of 17370 with flag 35000/871815
127.68/125.90	c Got one! Elapsed wall clock time (in seconds):125.775
127.68/125.90	o 4588150
128.08/126.37	c cleaning 6852 clauses out of 13735 with flag 4000/876849
128.70/126.91	c Got one! Elapsed wall clock time (in seconds):126.787
128.70/126.91	o 4579389
128.80/127.01	c Got one! Elapsed wall clock time (in seconds):126.891
128.80/127.01	o 4576062
128.90/127.18	c cleaning 6279 clauses out of 12605 with flag 1001/882571
129.00/127.26	c Got one! Elapsed wall clock time (in seconds):127.133
129.00/127.26	o 4534321
129.70/127.92	c cleaning 5787 clauses out of 11604 with flag 5001/887849
130.50/128.71	c cleaning 5893 clauses out of 11816 with flag 11000/893848
131.40/129.67	c cleaning 6446 clauses out of 12924 with flag 18001/900849
132.50/130.70	c cleaning 7228 clauses out of 14478 with flag 26001/908849
133.71/131.93	c cleaning 8117 clauses out of 16249 with flag 35000/917848
135.12/133.39	c cleaning 9056 clauses out of 18134 with flag 45002/927850
136.63/134.85	c cleaning 10022 clauses out of 20078 with flag 56002/938850
138.33/136.58	c cleaning 11015 clauses out of 22055 with flag 68001/950849
140.34/138.58	c cleaning 12002 clauses out of 24039 with flag 81000/963848
142.34/140.58	c cleaning 13015 clauses out of 26038 with flag 95001/977849
144.54/142.76	c Got one! Elapsed wall clock time (in seconds):142.638
144.54/142.76	o 3870332
144.64/142.81	c Got one! Elapsed wall clock time (in seconds):142.684
144.64/142.81	o 3866212
145.34/143.52	c Got one! Elapsed wall clock time (in seconds):143.392
145.34/143.52	o 3833496
145.44/143.60	c Got one! Elapsed wall clock time (in seconds):143.476
145.44/143.60	o 3829393
145.54/143.79	c cleaning 16703 clauses out of 33409 with flag 1001/998340
146.45/144.66	c Got one! Elapsed wall clock time (in seconds):144.537
146.45/144.66	o 3816941
146.55/144.70	c Got one! Elapsed wall clock time (in seconds):144.578
146.55/144.70	o 3802678
146.75/144.96	c Got one! Elapsed wall clock time (in seconds):144.838
146.75/144.96	o 3719680
147.45/145.61	c cleaning 13964 clauses out of 27973 with flag 4000/1009607
148.46/146.66	c cleaning 9995 clauses out of 20010 with flag 10001/1015608
149.07/147.21	c Got one! Elapsed wall clock time (in seconds):147.089
149.07/147.21	o 3705317
149.37/147.54	c cleaning 7701 clauses out of 15444 with flag 2001/1021037
150.28/148.49	c cleaning 6851 clauses out of 13742 with flag 8000/1027036
151.58/149.75	c cleaning 6915 clauses out of 13891 with flag 15000/1034036
152.40/150.59	c Got one! Elapsed wall clock time (in seconds):150.463
152.40/150.59	o 3692827
152.61/150.73	c cleaning 6268 clauses out of 12608 with flag 1000/1039668
153.60/151.72	c cleaning 6145 clauses out of 12340 with flag 7000/1045668
154.72/152.83	c cleaning 6577 clauses out of 13195 with flag 14000/1052668
156.02/154.11	c cleaning 7294 clauses out of 14619 with flag 22001/1060669
157.22/155.38	c Got one! Elapsed wall clock time (in seconds):155.257
157.22/155.38	o 3686569
158.13/156.22	c cleaning 9875 clauses out of 19764 with flag 5000/1073108
159.14/157.30	c cleaning 7922 clauses out of 15889 with flag 11000/1079108
160.34/158.46	c cleaning 7472 clauses out of 14968 with flag 18001/1086109
161.73/159.83	c cleaning 7735 clauses out of 15495 with flag 26000/1094108
163.34/161.41	c cleaning 8365 clauses out of 16760 with flag 35000/1103108
164.76/162.84	c Got one! Elapsed wall clock time (in seconds):162.712
164.76/162.84	o 3670009
165.56/163.65	c cleaning 10710 clauses out of 21446 with flag 5000/1116159
166.48/164.59	c cleaning 8345 clauses out of 16736 with flag 11000/1122159
167.69/165.72	c cleaning 7673 clauses out of 15392 with flag 18001/1129160
168.89/166.98	c cleaning 7836 clauses out of 15718 with flag 26000/1137159
170.40/168.42	c cleaning 8422 clauses out of 16883 with flag 35001/1146160
172.02/170.02	c cleaning 9225 clauses out of 18461 with flag 45001/1156160
173.83/171.85	c cleaning 10108 clauses out of 20236 with flag 56001/1167160
175.63/173.69	c Got one! Elapsed wall clock time (in seconds):173.564
175.63/173.69	o 3667260
176.53/174.54	c cleaning 13150 clauses out of 26320 with flag 5000/1183352
177.54/175.50	c cleaning 9574 clauses out of 19171 with flag 11001/1189353
178.54/176.59	c cleaning 8280 clauses out of 16597 with flag 18001/1196353
179.94/177.93	c cleaning 8144 clauses out of 16316 with flag 26000/1204352
181.44/179.48	c cleaning 8574 clauses out of 17173 with flag 35001/1213353
183.14/181.17	c cleaning 9286 clauses out of 18598 with flag 45000/1223352
185.15/183.15	c cleaning 10140 clauses out of 20312 with flag 56000/1234352
187.16/185.11	c cleaning 11073 clauses out of 22172 with flag 68000/1246352
189.36/187.36	c cleaning 12038 clauses out of 24099 with flag 81000/1259352
191.86/189.84	c cleaning 13019 clauses out of 26061 with flag 95000/1273352
192.38/190.34	c Got one! Elapsed wall clock time (in seconds):190.217
192.38/190.35	o 3660351
192.87/190.85	c cleaning 9322 clauses out of 18698 with flag 3000/1279008
193.88/191.86	c cleaning 7676 clauses out of 15379 with flag 9003/1285011
195.08/193.02	c cleaning 7323 clauses out of 14701 with flag 16001/1292009
196.38/194.39	c cleaning 7671 clauses out of 15377 with flag 24000/1300008
197.89/195.83	c cleaning 8336 clauses out of 16706 with flag 33000/1309008
199.48/197.47	c cleaning 9149 clauses out of 18370 with flag 43000/1319008
201.39/199.37	c cleaning 10091 clauses out of 20222 with flag 54001/1330009
203.59/201.59	c cleaning 11056 clauses out of 22133 with flag 66003/1342011
205.89/203.89	c cleaning 12016 clauses out of 24074 with flag 79000/1355008
208.30/206.29	c cleaning 13006 clauses out of 26058 with flag 93000/1369008
210.31/208.21	c Got one! Elapsed wall clock time (in seconds):208.082
210.31/208.21	o 3655534
211.11/209.06	c cleaning 14503 clauses out of 29024 with flag 5001/1384980
212.23/210.14	c cleaning 10247 clauses out of 20520 with flag 11000/1390979
212.65/210.57	c Got one! Elapsed wall clock time (in seconds):210.444
212.65/210.57	o 3649871
213.15/211.08	c cleaning 7814 clauses out of 15671 with flag 3000/1396377
213.36/211.24	c Got one! Elapsed wall clock time (in seconds):211.113
213.36/211.24	o 3649037
213.45/211.36	c Got one! Elapsed wall clock time (in seconds):211.239
213.45/211.36	o 3643096
213.55/211.41	c Got one! Elapsed wall clock time (in seconds):211.29
213.55/211.41	o 3634024
213.85/211.74	c Got one! Elapsed wall clock time (in seconds):211.619
213.85/211.74	o 3630492
213.95/211.86	c Got one! Elapsed wall clock time (in seconds):211.733
213.95/211.86	o 3628948
213.95/211.88	c Got one! Elapsed wall clock time (in seconds):211.759
213.95/211.88	o 3624628
213.95/211.89	c Got one! Elapsed wall clock time (in seconds):211.765
213.95/211.89	o 3623390
214.05/211.91	c Got one! Elapsed wall clock time (in seconds):211.791
214.05/211.91	o 3621676
214.05/211.93	c Got one! Elapsed wall clock time (in seconds):211.802
214.05/211.93	o 3621146
214.05/211.93	c Got one! Elapsed wall clock time (in seconds):211.81
214.05/211.93	o 3616635
214.05/211.94	c Got one! Elapsed wall clock time (in seconds):211.815
214.05/211.94	o 3614987
214.05/211.94	c Got one! Elapsed wall clock time (in seconds):211.821
214.05/211.94	o 3611798
214.05/211.95	c Got one! Elapsed wall clock time (in seconds):211.825
214.05/211.95	o 3610390
214.05/211.95	c Got one! Elapsed wall clock time (in seconds):211.831
214.05/211.95	o 3608846
214.05/211.96	c starts		: 261
214.05/211.96	c conflicts		: 1401860
214.05/211.96	c decisions		: 2882027
214.05/211.96	c propagations		: 228563077
214.05/211.96	c inspects		: 1007731563
214.05/211.96	c shortcuts		: 0
214.05/211.96	c learnt literals	: 68
214.05/211.96	c learnt binary clauses	: 384
214.05/211.96	c learnt ternary clauses	: 2792
214.05/211.96	c learnt constraints	: 1401791
214.05/211.96	c ignored constraints	: 0
214.05/211.96	c root simplifications	: 328
214.05/211.96	c removed literals (reason simplification)	: 17640140
214.05/211.96	c reason swapping (by a shorter reason)	: 0
214.05/211.96	c Calls to reduceDB	: 163
214.05/211.96	c number of reductions to clauses (during analyze)	: 0
214.05/211.96	c number of learned constraints concerned by reduction	: 0
214.05/211.96	c number of learning phase by resolution	: 0
214.05/211.96	c number of learning phase by cutting planes	: 0
214.05/211.96	c speed (assignments/second)	: 1080543.6542079933
214.05/211.96	c non guided choices	19031
214.05/211.96	c learnt constraints type 
214.05/211.96	c constraints type 
214.05/211.96	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
214.05/211.96	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
214.05/211.96	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
214.05/211.96	c ignored satisfied constraints => 3
214.05/211.96	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
214.05/211.96	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
214.05/211.96	c 15629 constraints processed.
214.05/211.96	s OPTIMUM FOUND
214.05/211.97	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 -x6652 -x6653 -x6654 x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 x6753 -x6754 -x6755 -x6756 x6757 -x6758 -x6759 x6760 -x6761 -x6762 -x6763 x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 x6771 -x6772 -x6773 -x6774 x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 
214.05/211.98	c objective function=3608846
214.05/211.98	c Total wall clock time (in seconds): 211.858

Verifier Data 

OK	3608846

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710483-1338252495/watcher-3710483-1338252495 -o /tmp/evaluation-result-3710483-1338252495/solver-3710483-1338252495 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710483-1338252495.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 1587
/proc/meminfo: memFree=30013940/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/1587/stat : 1587 (java) R 1585 1587 31393 0 -1 4202496 223 0 0 0 0 0 0 0 20 0 1 0 291378100 9515008 157 33554432000 1073741824 1073778376 140736345446624 140736345443752 247064582775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1587/statm: 2323 170 128 9 0 71 0

[startup+0.00774394 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 1587
/proc/meminfo: memFree=30013940/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/1587/stat : 1587 (java) D 1585 1587 31393 0 -1 4202496 298 0 0 0 0 0 0 0 20 0 1 0 291378100 2560000 46 33554432000 1073741824 1073778376 140733791602560 140733791599688 247055084839 0 0 4096 0 18446744072100609316 0 0 17 7 0 0 0 0 0
/proc/1587/statm: 625 46 37 9 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2500

[startup+0.100238 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 1587
/proc/meminfo: memFree=30013940/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/1587/stat : 1587 (java) S 1585 1587 31393 0 -1 4202496 4224 0 1 0 8 1 0 0 20 0 18 0 291378100 9787842560 5431 33554432000 1073741824 1073778376 140733791602560 140733791593696 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1587/statm: 2389610 5431 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300295 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 1587
/proc/meminfo: memFree=30013940/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=9558440 CPUtime=0.48 cores=1,3,5,7
/proc/1587/stat : 1587 (java) S 1585 1587 31393 0 -1 4202496 5485 0 1 0 47 1 0 0 20 0 18 0 291378100 9787842560 9674 33554432000 1073741824 1073778376 140733791602560 140733791593696 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1587/statm: 2389610 9674 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558440

[startup+0.700292 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 1587
/proc/meminfo: memFree=30013940/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/1587/stat : 1587 (java) S 1585 1587 31393 0 -1 4202496 8311 0 1 0 134 3 0 0 20 0 19 0 291378100 9856004096 18009 33554432000 1073741824 1073778376 140733791602560 140733791593696 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1587/statm: 2406251 18009 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625004

[startup+1.50078 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 1611
/proc/meminfo: memFree=30458168/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=9625004 CPUtime=2.25 cores=1,3,5,7
/proc/1587/stat : 1587 (java) S 1585 1587 31393 0 -1 4202496 8463 0 1 0 222 3 0 0 20 0 19 0 291378100 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140733791593696 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1587/statm: 2406251 18529 2264 9 0 2396937 0
[pid=1587/tid=1589] ppid=1585 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/1587/task/1589/stat : 1589 (java) R 1585 1587 31393 0 -1 4202560 2524 0 1 0 144 2 0 0 20 0 19 0 291378101 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140509421805944 140509268534314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1590] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1590/stat : 1590 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140509394266792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1591] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1591/stat : 1591 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140509393214248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1592] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1592/stat : 1592 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140509392161704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1595] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1595/stat : 1595 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140509391109160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1596] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1596/stat : 1596 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140509390055592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1597] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1597/stat : 1597 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140509389003048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1598] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1598/stat : 1598 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140509387950504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1599] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1599/stat : 1599 (java) S 1585 1587 31393 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140509386897960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1600] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1600/stat : 1600 (java) S 1585 1587 31393 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291378103 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140508775025256 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1601] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1601/stat : 1601 (java) S 1585 1587 31393 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140508773971576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1602] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1602/stat : 1602 (java) S 1585 1587 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140508772918920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1603] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1603/stat : 1603 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140508771867664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1604] ppid=1585 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/1587/task/1604/stat : 1604 (java) S 1585 1587 31393 0 -1 4202560 2383 0 0 0 38 0 0 0 20 0 19 0 291378106 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140508770814008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1605] ppid=1585 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/1587/task/1605/stat : 1605 (java) S 1585 1587 31393 0 -1 4202560 2360 0 0 0 38 0 0 0 20 0 19 0 291378106 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140508769761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1606] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1606/stat : 1606 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140508768709112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1607] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1607/stat : 1607 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140508767656776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1608] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1608/stat : 1608 (java) S 1585 1587 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291378144 9856004096 18529 33554432000 1073741824 1073778376 140733791602560 140508766602536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9625004

[startup+3.10067 s]
/proc/loadavg: 1.92 1.98 1.99 2/193 1611
/proc/meminfo: memFree=30443356/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=9625004 CPUtime=3.92 cores=1,3,5,7
/proc/1587/stat : 1587 (java) S 1585 1587 31393 0 -1 4202496 8581 0 1 0 389 3 0 0 20 0 19 0 291378100 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140733791593696 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1587/statm: 2406251 21671 2289 9 0 2396937 0
[pid=1587/tid=1589] ppid=1585 vsize=9625004 CPUtime=3.03 cores=1,3,5,7
/proc/1587/task/1589/stat : 1589 (java) R 1585 1587 31393 0 -1 4202560 2528 0 1 0 301 2 0 0 20 0 19 0 291378101 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140509421812280 140509268675322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1590] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1590/stat : 1590 (java) S 1585 1587 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140509394266792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1591] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1591/stat : 1591 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140509393214248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1592] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1592/stat : 1592 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140509392161704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1595] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1595/stat : 1595 (java) S 1585 1587 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140509391109160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1596] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1596/stat : 1596 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140509390055592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1597] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1597/stat : 1597 (java) S 1585 1587 31393 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140509389003048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1598] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1598/stat : 1598 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140509387950504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1599] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1599/stat : 1599 (java) S 1585 1587 31393 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140509386897960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1600] ppid=1585 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1587/task/1600/stat : 1600 (java) S 1585 1587 31393 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 291378103 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140508775025256 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1601] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1601/stat : 1601 (java) S 1585 1587 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140508773971576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1602] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1602/stat : 1602 (java) S 1585 1587 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140508772918920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1603] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1603/stat : 1603 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140508771867664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1604] ppid=1585 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/1587/task/1604/stat : 1604 (java) S 1585 1587 31393 0 -1 4202560 2387 0 0 0 40 0 0 0 20 0 19 0 291378106 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140508770814008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1605] ppid=1585 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/1587/task/1605/stat : 1605 (java) S 1585 1587 31393 0 -1 4202560 2420 0 0 0 41 0 0 0 20 0 19 0 291378106 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140508769761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1606] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1606/stat : 1606 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140508768709112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1607] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1607/stat : 1607 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140508767656776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1608] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1608/stat : 1608 (java) S 1585 1587 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291378144 9856004096 21671 33554432000 1073741824 1073778376 140733791602560 140508766602536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 9625004

[startup+6.30062 s]
/proc/loadavg: 1.92 1.98 1.99 3/212 1672
/proc/meminfo: memFree=30044184/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=9625004 CPUtime=7.18 cores=1,3,5,7
/proc/1587/stat : 1587 (java) S 1585 1587 31393 0 -1 4202496 8599 0 1 0 715 3 0 0 20 0 19 0 291378100 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140733791593696 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1587/statm: 2406251 22483 2289 9 0 2396937 0
[pid=1587/tid=1589] ppid=1585 vsize=9625004 CPUtime=6.19 cores=1,3,5,7
/proc/1587/task/1589/stat : 1589 (java) R 1585 1587 31393 0 -1 4202560 2530 0 1 0 617 2 0 0 20 0 19 0 291378101 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140509421814312 140509268666371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1590] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1590/stat : 1590 (java) S 1585 1587 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140509394266792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1591] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1591/stat : 1591 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140509393214248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1592] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1592/stat : 1592 (java) S 1585 1587 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140509392161704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1595] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1595/stat : 1595 (java) S 1585 1587 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140509391109160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1596] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1596/stat : 1596 (java) S 1585 1587 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140509390055592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1597] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1597/stat : 1597 (java) S 1585 1587 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140509389003048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1598] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1598/stat : 1598 (java) S 1585 1587 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140509387950504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1599] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1599/stat : 1599 (java) S 1585 1587 31393 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291378102 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140509386897960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1600] ppid=1585 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/1587/task/1600/stat : 1600 (java) S 1585 1587 31393 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 291378103 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140508775025256 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1601] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1601/stat : 1601 (java) S 1585 1587 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140508773971576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1602] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1602/stat : 1602 (java) S 1585 1587 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140508772918920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1603] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1603/stat : 1603 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140508771867664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1604] ppid=1585 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/1587/task/1604/stat : 1604 (java) S 1585 1587 31393 0 -1 4202560 2388 0 0 0 43 0 0 0 20 0 19 0 291378106 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140508770814008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1605] ppid=1585 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/1587/task/1605/stat : 1605 (java) S 1585 1587 31393 0 -1 4202560 2420 0 0 0 44 0 0 0 20 0 19 0 291378106 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140508769761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1606] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1606/stat : 1606 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140508768709112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1607] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1607/stat : 1607 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140508767656776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1608] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1608/stat : 1608 (java) S 1585 1587 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291378144 9856004096 22483 33554432000 1073741824 1073778376 140733791602560 140508766602536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

/proc/1587/task/1590/stat : 1590 (java) S 1585 1587 31393 0 -1 4202560 28 0 0 0 19 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509394266792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1591] ppid=1585 vsize=9625004 CPUtime=0.19 cores=1,3,5,7
/proc/1587/task/1591/stat : 1591 (java) S 1585 1587 31393 0 -1 4202560 14 0 0 0 19 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509393214248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1592] ppid=1585 vsize=9625004 CPUtime=0.16 cores=1,3,5,7
/proc/1587/task/1592/stat : 1592 (java) S 1585 1587 31393 0 -1 4202560 21 0 0 0 16 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509392161704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1595] ppid=1585 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/1587/task/1595/stat : 1595 (java) S 1585 1587 31393 0 -1 4202560 20 0 0 0 15 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509391109160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1596] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1596/stat : 1596 (java) S 1585 1587 31393 0 -1 4202560 16 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509390055592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1597] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1597/stat : 1597 (java) S 1585 1587 31393 0 -1 4202560 19 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509389003048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1598] ppid=1585 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/1587/task/1598/stat : 1598 (java) S 1585 1587 31393 0 -1 4202560 14 0 0 0 15 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509387950504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1599] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1599/stat : 1599 (java) S 1585 1587 31393 0 -1 4202560 27 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509386897960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1600] ppid=1585 vsize=9625004 CPUtime=4.44 cores=1,3,5,7
/proc/1587/task/1600/stat : 1600 (java) S 1585 1587 31393 0 -1 4202560 71 0 0 0 442 2 0 0 20 0 19 0 291378103 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508775025256 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1601] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1601/stat : 1601 (java) S 1585 1587 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508773971576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1602] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1602/stat : 1602 (java) S 1585 1587 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508772918920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1603] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1603/stat : 1603 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508771867664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1604] ppid=1585 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/1587/task/1604/stat : 1604 (java) S 1585 1587 31393 0 -1 4202560 3170 0 0 0 57 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508770814008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1605] ppid=1585 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/1587/task/1605/stat : 1605 (java) S 1585 1587 31393 0 -1 4202560 3574 0 0 0 67 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508769761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1606] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1606/stat : 1606 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508768709112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1607] ppid=1585 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/1587/task/1607/stat : 1607 (java) S 1585 1587 31393 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508767656776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1608] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1608/stat : 1608 (java) S 1585 1587 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291378144 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508766602536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 211.63
Current children cumulated vsize (KiB) 9625004

[startup+211.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 1678
/proc/meminfo: memFree=29603388/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=9625004 CPUtime=213.25 cores=1,3,5,7
/proc/1587/stat : 1587 (java) S 1585 1587 31393 0 -1 4202496 10858 0 1 0 21316 9 0 0 20 0 19 0 291378100 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140733791593696 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1587/statm: 2406251 25533 2292 9 0 2396937 0
[pid=1587/tid=1589] ppid=1585 vsize=9625004 CPUtime=206.03 cores=1,3,5,7
/proc/1587/task/1589/stat : 1589 (java) S 1585 1587 31393 0 -1 4202560 2690 0 1 0 20597 6 0 0 20 0 19 0 291378101 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509421814216 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1590] ppid=1585 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/1587/task/1590/stat : 1590 (java) S 1585 1587 31393 0 -1 4202560 28 0 0 0 20 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509394266792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1591] ppid=1585 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/1587/task/1591/stat : 1591 (java) S 1585 1587 31393 0 -1 4202560 14 0 0 0 20 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509393214248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1592] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1592/stat : 1592 (java) S 1585 1587 31393 0 -1 4202560 21 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509392161704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1595] ppid=1585 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/1587/task/1595/stat : 1595 (java) S 1585 1587 31393 0 -1 4202560 20 0 0 0 15 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509391109160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1596] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1596/stat : 1596 (java) S 1585 1587 31393 0 -1 4202560 16 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509390055592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1597] ppid=1585 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/1587/task/1597/stat : 1597 (java) S 1585 1587 31393 0 -1 4202560 19 0 0 0 18 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509389003048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1598] ppid=1585 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/1587/task/1598/stat : 1598 (java) S 1585 1587 31393 0 -1 4202560 14 0 0 0 15 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509387950504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1599] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1599/stat : 1599 (java) S 1585 1587 31393 0 -1 4202560 27 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509386897960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1600] ppid=1585 vsize=9625004 CPUtime=4.49 cores=1,3,5,7
/proc/1587/task/1600/stat : 1600 (java) R 1585 1587 31393 0 -1 4202560 71 0 0 0 447 2 0 0 20 0 19 0 291378103 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508775024112 140509428322339 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1601] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1601/stat : 1601 (java) S 1585 1587 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508773971576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1602] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1602/stat : 1602 (java) S 1585 1587 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508772918920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1603] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1603/stat : 1603 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508771867664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1604] ppid=1585 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/1587/task/1604/stat : 1604 (java) S 1585 1587 31393 0 -1 4202560 3170 0 0 0 57 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508770814008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1605] ppid=1585 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/1587/task/1605/stat : 1605 (java) S 1585 1587 31393 0 -1 4202560 3574 0 0 0 67 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508769761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1606] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1606/stat : 1606 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508768709112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1607] ppid=1585 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/1587/task/1607/stat : 1607 (java) S 1585 1587 31393 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508767656776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1608] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1608/stat : 1608 (java) S 1585 1587 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291378144 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508766602536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 213.25
Current children cumulated vsize (KiB) 9625004

[startup+211.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 1678
/proc/meminfo: memFree=29603388/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=9625004 CPUtime=213.65 cores=1,3,5,7
/proc/1587/stat : 1587 (java) S 1585 1587 31393 0 -1 4202496 10859 0 1 0 21356 9 0 0 20 0 19 0 291378100 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140733791593696 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1587/statm: 2406251 25533 2292 9 0 2396937 0
[pid=1587/tid=1589] ppid=1585 vsize=9625004 CPUtime=206.41 cores=1,3,5,7
/proc/1587/task/1589/stat : 1589 (java) R 1585 1587 31393 0 -1 4202560 2691 0 1 0 20635 6 0 0 20 0 19 0 291378101 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509421814216 140509268462913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1590] ppid=1585 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/1587/task/1590/stat : 1590 (java) S 1585 1587 31393 0 -1 4202560 28 0 0 0 20 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509394266792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1591] ppid=1585 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/1587/task/1591/stat : 1591 (java) S 1585 1587 31393 0 -1 4202560 14 0 0 0 20 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509393214248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1592] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1592/stat : 1592 (java) S 1585 1587 31393 0 -1 4202560 21 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509392161704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1595] ppid=1585 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/1587/task/1595/stat : 1595 (java) S 1585 1587 31393 0 -1 4202560 20 0 0 0 15 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509391109160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1596] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1596/stat : 1596 (java) S 1585 1587 31393 0 -1 4202560 16 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509390055592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1597] ppid=1585 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/1587/task/1597/stat : 1597 (java) S 1585 1587 31393 0 -1 4202560 19 0 0 0 18 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509389003048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1598] ppid=1585 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/1587/task/1598/stat : 1598 (java) S 1585 1587 31393 0 -1 4202560 14 0 0 0 15 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509387950504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1599] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1599/stat : 1599 (java) S 1585 1587 31393 0 -1 4202560 27 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509386897960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1600] ppid=1585 vsize=9625004 CPUtime=4.5 cores=1,3,5,7
/proc/1587/task/1600/stat : 1600 (java) S 1585 1587 31393 0 -1 4202560 71 0 0 0 448 2 0 0 20 0 19 0 291378103 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508775025256 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1601] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1601/stat : 1601 (java) S 1585 1587 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508773971576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1602] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1602/stat : 1602 (java) S 1585 1587 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508772918920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1603] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1603/stat : 1603 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508771867664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1604] ppid=1585 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/1587/task/1604/stat : 1604 (java) S 1585 1587 31393 0 -1 4202560 3170 0 0 0 57 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508770814008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1605] ppid=1585 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/1587/task/1605/stat : 1605 (java) S 1585 1587 31393 0 -1 4202560 3574 0 0 0 67 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508769761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1606] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1606/stat : 1606 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508768709112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1607] ppid=1585 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/1587/task/1607/stat : 1607 (java) S 1585 1587 31393 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508767656776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1608] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1608/stat : 1608 (java) S 1585 1587 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291378144 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508766602536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 213.65
Current children cumulated vsize (KiB) 9625004

[startup+211.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 1678
/proc/meminfo: memFree=29603388/32873844 swapFree=7108/7108
[pid=1587] ppid=1585 vsize=9625004 CPUtime=214.05 cores=1,3,5,7
/proc/1587/stat : 1587 (java) S 1585 1587 31393 0 -1 4202496 10859 0 1 0 21396 9 0 0 20 0 19 0 291378100 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140733791593696 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1587/statm: 2406251 25533 2292 9 0 2396937 0
[pid=1587/tid=1589] ppid=1585 vsize=9625004 CPUtime=206.81 cores=1,3,5,7
/proc/1587/task/1589/stat : 1589 (java) R 1585 1587 31393 0 -1 4202560 2691 0 1 0 20675 6 0 0 20 0 19 0 291378101 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509421806016 140509268550337 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1590] ppid=1585 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/1587/task/1590/stat : 1590 (java) S 1585 1587 31393 0 -1 4202560 28 0 0 0 20 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509394266792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1591] ppid=1585 vsize=9625004 CPUtime=0.2 cores=1,3,5,7
/proc/1587/task/1591/stat : 1591 (java) S 1585 1587 31393 0 -1 4202560 14 0 0 0 20 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509393214248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1592] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1592/stat : 1592 (java) S 1585 1587 31393 0 -1 4202560 21 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509392161704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1595] ppid=1585 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/1587/task/1595/stat : 1595 (java) S 1585 1587 31393 0 -1 4202560 20 0 0 0 15 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509391109160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1596] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1596/stat : 1596 (java) S 1585 1587 31393 0 -1 4202560 16 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509390055592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1597] ppid=1585 vsize=9625004 CPUtime=0.18 cores=1,3,5,7
/proc/1587/task/1597/stat : 1597 (java) S 1585 1587 31393 0 -1 4202560 19 0 0 0 18 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509389003048 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1598] ppid=1585 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/1587/task/1598/stat : 1598 (java) S 1585 1587 31393 0 -1 4202560 14 0 0 0 15 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509387950504 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1587/tid=1599] ppid=1585 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/1587/task/1599/stat : 1599 (java) S 1585 1587 31393 0 -1 4202560 27 0 0 0 17 0 0 0 20 0 19 0 291378102 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140509386897960 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1600] ppid=1585 vsize=9625004 CPUtime=4.5 cores=1,3,5,7
/proc/1587/task/1600/stat : 1600 (java) S 1585 1587 31393 0 -1 4202560 71 0 0 0 448 2 0 0 20 0 19 0 291378103 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508775025256 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1601] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1601/stat : 1601 (java) S 1585 1587 31393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508773971576 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1602] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1602/stat : 1602 (java) S 1585 1587 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291378104 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508772918920 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1603] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1603/stat : 1603 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508771867664 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1587/tid=1604] ppid=1585 vsize=9625004 CPUtime=0.57 cores=1,3,5,7
/proc/1587/task/1604/stat : 1604 (java) S 1585 1587 31393 0 -1 4202560 3170 0 0 0 57 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508770814008 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1605] ppid=1585 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/1587/task/1605/stat : 1605 (java) S 1585 1587 31393 0 -1 4202560 3574 0 0 0 67 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508769761464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1606] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1606/stat : 1606 (java) S 1585 1587 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508768709112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1587/tid=1607] ppid=1585 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/1587/task/1607/stat : 1607 (java) S 1585 1587 31393 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 291378106 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508767656776 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1587/tid=1608] ppid=1585 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1587/task/1608/stat : 1608 (java) S 1585 1587 31393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291378144 9856004096 25533 33554432000 1073741824 1073778376 140733791602560 140508766602536 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 214.05
Current children cumulated vsize (KiB) 9625004

Child status: 30
Real time (s): 211.999
CPU time (s): 214.33
CPU user time (s): 214.098
CPU system time (s): 0.231964
CPU usage (%): 101.1
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 214.098
system time used= 0.231964
maximum resident set size= 102176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10872
page faults= 1
swaps= 0
block input operations= 72
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9018
involuntary context switches= 4932

runsolver used 0.526919 second user time and 1.21182 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-29 02:48:15
IDJOB=3710483
IDBENCH=92710
IDSOLVER=2289
FILE ID=node103/3710483-1338252495
RUNJOBID= node103-1338248899-1285
PBS_JOBID= 14624635
Free space on /tmp= 71540 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_4_mh.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710483-1338252495/watcher-3710483-1338252495 -o /tmp/evaluation-result-3710483-1338252495/solver-3710483-1338252495 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710483-1338252495.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 122468478b8bc81c0631c64befe52d46
RANDOM SEED=2110330310

node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5411.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30014700 kB
Buffers:          747216 kB
Cached:           676412 kB
SwapCached:         4492 kB
Active:          1563200 kB
Inactive:         383964 kB
Active(anon):     511128 kB
Inactive(anon):     6216 kB
Active(file):    1052072 kB
Inactive(file):   377748 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099580 kB
Dirty:              1248 kB
Writeback:             0 kB
AnonPages:        519108 kB
Mapped:            19884 kB
Shmem:                 8 kB
Slab:             770540 kB
SReclaimable:     212500 kB
SUnreclaim:       558040 kB
KernelStack:        1600 kB
PageTables:         5220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1081716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    497664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71528 MiB
End job on node103 at 2012-05-29 02:51:47