0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	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.08/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3710479-1338251828.opb
0.08/0.13	c reading problem ... 
0.66/0.44	c ... done. Wall clock time 0.305s.
0.66/0.44	c declared #vars     6810
0.66/0.44	c #constraints  15626
0.66/0.44	c constraints type 
0.66/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
0.66/0.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
0.66/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.66/0.44	c ignored satisfied constraints => 3
0.66/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
0.66/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
0.66/0.44	c 15629 constraints processed.
2.88/2.10	c cleaning 2489 clauses out of 5002 with flag 5002/5002
4.27/3.42	c cleaning 4250 clauses out of 8511 with flag 11000/11000
5.57/4.77	c cleaning 5629 clauses out of 11261 with flag 18000/18000
7.28/6.45	c cleaning 6810 clauses out of 13632 with flag 26000/26000
8.04/7.20	c SATISFIABLE
8.04/7.20	c OPTIMIZING...
8.04/7.20	c Got one! Elapsed wall clock time (in seconds):7.063
8.14/7.20	o 233224007
8.72/7.77	c cleaning 6012 clauses out of 12038 with flag 3001/31216
9.62/8.67	c cleaning 6009 clauses out of 12030 with flag 9005/37220
10.72/9.80	c cleaning 6504 clauses out of 13016 with flag 16000/44215
12.03/11.10	c cleaning 7240 clauses out of 14512 with flag 24000/52215
13.42/12.44	c cleaning 8128 clauses out of 16272 with flag 33000/61215
15.03/14.01	c cleaning 9066 clauses out of 18144 with flag 43000/71215
17.24/16.23	c cleaning 10035 clauses out of 20081 with flag 54003/82218
19.05/18.08	c cleaning 11016 clauses out of 22043 with flag 66000/94215
20.88/19.85	c cleaning 12002 clauses out of 24027 with flag 79000/107215
23.09/22.09	c cleaning 12995 clauses out of 26030 with flag 93005/121220
25.89/24.89	c cleaning 14013 clauses out of 28033 with flag 108003/136218
28.20/27.19	c cleaning 15002 clauses out of 30018 with flag 124001/152216
30.31/29.27	c cleaning 15981 clauses out of 32015 with flag 141000/169215
31.12/30.08	c Got one! Elapsed wall clock time (in seconds):29.948
31.12/30.08	o 227507311
31.45/30.30	c cleaning 10937 clauses out of 21879 with flag 1001/175060
32.46/31.34	c cleaning 8464 clauses out of 16944 with flag 7003/181062
33.36/32.20	c cleaning 7732 clauses out of 15478 with flag 14001/188060
34.66/33.53	c cleaning 7858 clauses out of 15749 with flag 22004/196063
35.76/34.67	c cleaning 8435 clauses out of 16887 with flag 31000/205059
37.06/35.94	c cleaning 9220 clauses out of 18454 with flag 41002/215061
38.46/37.34	c cleaning 10109 clauses out of 20232 with flag 52000/226059
39.56/38.41	c Got one! Elapsed wall clock time (in seconds):38.276
39.56/38.41	o 218355710
40.02/38.87	c cleaning 10566 clauses out of 21146 with flag 5006/237082
40.62/39.44	c cleaning 8264 clauses out of 16576 with flag 11002/243078
41.32/40.11	c cleaning 7642 clauses out of 15310 with flag 18000/250076
42.12/40.93	c cleaning 7825 clauses out of 15668 with flag 26000/258076
43.82/42.66	c cleaning 8420 clauses out of 16846 with flag 35003/267079
45.84/44.69	c cleaning 9206 clauses out of 18423 with flag 45000/277076
47.35/46.15	c cleaning 10102 clauses out of 20217 with flag 56000/288076
48.90/47.63	c cleaning 11053 clauses out of 22116 with flag 68001/300077
51.20/49.95	c cleaning 12018 clauses out of 24062 with flag 81000/313076
53.40/52.13	c cleaning 13016 clauses out of 26044 with flag 95000/327076
55.91/54.66	c cleaning 14006 clauses out of 28030 with flag 110002/342078
58.31/57.07	c cleaning 15003 clauses out of 30027 with flag 126005/358081
61.11/59.81	c cleaning 16006 clauses out of 32019 with flag 143000/375076
64.12/62.81	c cleaning 17006 clauses out of 34016 with flag 161003/393079
67.22/65.91	c cleaning 17990 clauses out of 36007 with flag 180000/412076
70.32/69.04	c cleaning 19006 clauses out of 38017 with flag 200000/432076
70.92/69.64	c Got one! Elapsed wall clock time (in seconds):69.507
70.92/69.64	o 177165393
71.18/69.85	c cleaning 12070 clauses out of 24162 with flag 1000/437227
71.89/70.52	c cleaning 9026 clauses out of 18095 with flag 7003/443230
72.98/71.61	c cleaning 8016 clauses out of 16069 with flag 14003/450230
75.38/74.08	c cleaning 8010 clauses out of 16052 with flag 22002/458229
78.28/76.92	c cleaning 8516 clauses out of 17040 with flag 31000/467227
80.39/79.09	c cleaning 9260 clauses out of 18525 with flag 41001/477228
82.10/80.72	c cleaning 10111 clauses out of 20264 with flag 52000/488227
84.10/82.76	c cleaning 11065 clauses out of 22153 with flag 64000/500227
86.21/84.85	c cleaning 12029 clauses out of 24088 with flag 77000/513227
88.32/86.95	c cleaning 13013 clauses out of 26059 with flag 91000/527227
91.12/89.79	c cleaning 14009 clauses out of 28047 with flag 106001/542228
94.02/92.68	c cleaning 15018 clauses out of 30037 with flag 122000/558227
96.82/95.42	c cleaning 16007 clauses out of 32019 with flag 139000/575227
99.53/98.12	c cleaning 17004 clauses out of 34015 with flag 157003/593230
103.03/101.64	c cleaning 17999 clauses out of 36009 with flag 176001/612228
106.35/104.91	c cleaning 18999 clauses out of 38009 with flag 196000/632227
109.65/108.23	c cleaning 19988 clauses out of 40010 with flag 217000/653227
113.88/112.41	c cleaning 20998 clauses out of 42022 with flag 239000/675227
118.09/116.69	c cleaning 22007 clauses out of 44025 with flag 262001/698228
121.09/119.67	c cleaning 22998 clauses out of 46017 with flag 286000/722227
125.69/124.26	c cleaning 23999 clauses out of 48019 with flag 311000/747227
129.30/127.86	c cleaning 24999 clauses out of 50020 with flag 337000/773227
133.64/132.16	c cleaning 26011 clauses out of 52026 with flag 364005/800232
137.64/136.19	c cleaning 26988 clauses out of 54011 with flag 392001/828228
141.05/139.54	c cleaning 28001 clauses out of 56024 with flag 421002/857229
145.17/143.60	c cleaning 29002 clauses out of 58021 with flag 451000/887227
151.07/149.55	c cleaning 30002 clauses out of 60019 with flag 482000/918227
154.11/152.52	c Got one! Elapsed wall clock time (in seconds):152.388
154.11/152.52	o 129803495
155.05/153.48	c cleaning 27079 clauses out of 54169 with flag 5003/942395
156.19/154.59	c cleaning 16528 clauses out of 33090 with flag 11003/948395
157.39/155.75	c cleaning 11752 clauses out of 23561 with flag 18002/955394
159.59/157.92	c cleaning 9888 clauses out of 19807 with flag 26000/963392
162.41/160.71	c cleaning 9441 clauses out of 18919 with flag 35000/972392
164.81/163.13	c cleaning 9732 clauses out of 19479 with flag 45001/982393
167.21/165.56	c cleaning 10362 clauses out of 20747 with flag 56001/993393
169.73/168.06	c cleaning 11175 clauses out of 22384 with flag 68000/1005392
172.04/170.30	c cleaning 12088 clauses out of 24210 with flag 81001/1018393
174.64/172.93	c cleaning 13060 clauses out of 26126 with flag 95005/1032397
176.68/174.99	c cleaning 14021 clauses out of 28061 with flag 110000/1047392
178.98/177.21	c cleaning 15013 clauses out of 30040 with flag 126000/1063392
181.39/179.69	c cleaning 16006 clauses out of 32027 with flag 143000/1080392
184.32/182.51	c cleaning 16990 clauses out of 34021 with flag 161000/1098392
187.92/186.14	c cleaning 18010 clauses out of 36031 with flag 180000/1117392
191.63/189.86	c cleaning 18997 clauses out of 38021 with flag 200000/1137392
195.55/193.71	c cleaning 20004 clauses out of 40025 with flag 221001/1158393
198.45/196.60	c cleaning 21005 clauses out of 42022 with flag 243002/1180394
202.26/200.48	c cleaning 21999 clauses out of 44016 with flag 266001/1203393
207.27/205.46	c cleaning 22990 clauses out of 46017 with flag 290001/1227393
212.57/210.76	c cleaning 24002 clauses out of 48026 with flag 315000/1252392
215.78/213.91	c cleaning 25000 clauses out of 50026 with flag 341002/1278394
219.10/217.27	c cleaning 26005 clauses out of 52024 with flag 368000/1305392
222.52/220.65	c cleaning 26999 clauses out of 54019 with flag 396000/1333392
226.82/224.95	c cleaning 27996 clauses out of 56022 with flag 425002/1362394
230.85/228.93	c cleaning 28997 clauses out of 58024 with flag 455000/1392392
234.85/232.98	c cleaning 30004 clauses out of 60028 with flag 486001/1423393
240.28/238.38	c cleaning 30999 clauses out of 62023 with flag 518000/1455392
243.11/241.16	c Got one! Elapsed wall clock time (in seconds):241.027
243.11/241.16	o 84076230
244.63/242.67	c cleaning 28945 clauses out of 57906 with flag 5000/1482291
245.35/243.33	c cleaning 17466 clauses out of 34964 with flag 11003/1488294
246.37/244.33	c cleaning 12198 clauses out of 24438 with flag 18001/1495292
247.27/245.21	c cleaning 10077 clauses out of 20239 with flag 26000/1503291
248.40/246.33	c cleaning 9558 clauses out of 19162 with flag 35000/1512291
249.50/247.47	c cleaning 9790 clauses out of 19606 with flag 45002/1522293
250.81/248.73	c cleaning 10392 clauses out of 20816 with flag 56002/1533293
252.21/250.14	c cleaning 11188 clauses out of 22422 with flag 68000/1545291
253.81/251.77	c cleaning 12116 clauses out of 24237 with flag 81003/1558294
255.13/253.03	c Got one! Elapsed wall clock time (in seconds):252.896
255.13/253.03	o 64241592
255.73/253.62	c cleaning 12855 clauses out of 25736 with flag 5000/1571921
256.45/254.39	c cleaning 9419 clauses out of 18882 with flag 11001/1577922
257.36/255.24	c cleaning 8205 clauses out of 16462 with flag 18000/1584921
258.36/256.26	c cleaning 8090 clauses out of 16257 with flag 26000/1592921
259.47/257.40	c cleaning 8576 clauses out of 17169 with flag 35002/1601923
260.87/258.79	c cleaning 9284 clauses out of 18593 with flag 45002/1611923
262.47/260.35	c cleaning 10146 clauses out of 20307 with flag 56000/1622921
264.18/262.00	c cleaning 11068 clauses out of 22162 with flag 68001/1634922
265.88/263.76	c cleaning 12037 clauses out of 24093 with flag 81000/1647921
267.88/265.76	c cleaning 13019 clauses out of 26057 with flag 95001/1661922
269.78/267.65	c cleaning 14012 clauses out of 28033 with flag 110003/1676924
271.60/269.48	c cleaning 14999 clauses out of 30018 with flag 126000/1692921
273.82/271.65	c cleaning 15994 clauses out of 32019 with flag 143000/1709921
276.02/273.88	c cleaning 17004 clauses out of 34029 with flag 161004/1727925
278.64/276.40	c cleaning 17998 clauses out of 36024 with flag 180003/1746924
281.34/279.13	c cleaning 18992 clauses out of 38024 with flag 200001/1766922
284.27/282.09	c cleaning 20003 clauses out of 40031 with flag 221000/1787921
287.28/285.06	c cleaning 20999 clauses out of 42030 with flag 243002/1809923
289.88/287.60	c cleaning 22007 clauses out of 44023 with flag 266002/1832923
292.49/290.25	c cleaning 22996 clauses out of 46014 with flag 290000/1856921
295.19/292.97	c cleaning 23988 clauses out of 48019 with flag 315001/1881922
298.11/295.84	c cleaning 25005 clauses out of 50031 with flag 341001/1907922
301.52/299.29	c cleaning 25997 clauses out of 52025 with flag 368000/1934921
304.72/302.47	c cleaning 27006 clauses out of 54030 with flag 396002/1962923
308.54/306.25	c cleaning 27998 clauses out of 56022 with flag 425000/1991921
312.45/310.17	c cleaning 29003 clauses out of 58025 with flag 455001/2021922
316.99/314.64	c cleaning 30000 clauses out of 60016 with flag 486003/2052924
321.09/318.76	c cleaning 30993 clauses out of 62013 with flag 518000/2084921
324.81/322.47	c cleaning 32003 clauses out of 64023 with flag 551003/2117924
331.13/328.79	c cleaning 33004 clauses out of 66017 with flag 585000/2151921
335.84/333.44	c cleaning 33984 clauses out of 68013 with flag 620000/2186921
340.66/338.25	c cleaning 34993 clauses out of 70029 with flag 656000/2222921
347.89/345.42	c cleaning 36010 clauses out of 72041 with flag 693005/2259926
356.39/353.96	c cleaning 37004 clauses out of 74026 with flag 731000/2297921
361.12/358.66	c cleaning 38008 clauses out of 76023 with flag 770001/2336922
364.94/362.46	c cleaning 38999 clauses out of 78017 with flag 810003/2376924
369.16/366.61	c cleaning 40000 clauses out of 80017 with flag 851002/2417923
373.49/370.91	c cleaning 40993 clauses out of 82015 with flag 893000/2459921
378.12/375.59	c cleaning 42009 clauses out of 84026 with flag 936004/2502925
383.45/380.85	c cleaning 42997 clauses out of 86016 with flag 980003/2546924
389.66/387.01	c cleaning 43998 clauses out of 88016 with flag 1025000/2591921
395.07/392.49	c cleaning 44997 clauses out of 90019 with flag 1071001/2637922
401.08/398.46	c cleaning 45993 clauses out of 92022 with flag 1118001/2684922
409.39/406.74	c cleaning 47012 clauses out of 94028 with flag 1166000/2732921
416.42/413.79	c cleaning 47980 clauses out of 96016 with flag 1215000/2781921
424.24/421.54	c cleaning 48998 clauses out of 98036 with flag 1265000/2831921
432.57/429.82	c cleaning 50003 clauses out of 100038 with flag 1316000/2882921
439.53/436.72	c cleaning 51009 clauses out of 102035 with flag 1368000/2934921
446.55/443.76	c cleaning 52002 clauses out of 104026 with flag 1421000/2987921
453.96/451.17	c cleaning 53006 clauses out of 106026 with flag 1475002/3041923
462.29/459.43	c cleaning 53999 clauses out of 108021 with flag 1530003/3096924
469.10/466.24	c cleaning 55003 clauses out of 110020 with flag 1586001/3152922
477.12/474.27	c cleaning 55995 clauses out of 112018 with flag 1643002/3209923
486.55/483.65	c cleaning 56997 clauses out of 114022 with flag 1701001/3267922
494.56/491.61	c cleaning 58006 clauses out of 116025 with flag 1760001/3326922
501.68/498.73	c cleaning 58987 clauses out of 118018 with flag 1820000/3386921
510.12/507.17	c cleaning 59992 clauses out of 120031 with flag 1881000/3447921
520.15/517.11	c cleaning 61002 clauses out of 122040 with flag 1943001/3509922
529.17/526.11	c cleaning 62003 clauses out of 124038 with flag 2006001/3572922
537.80/534.74	c cleaning 63006 clauses out of 126035 with flag 2070001/3636922
547.35/544.28	c cleaning 64008 clauses out of 128029 with flag 2135001/3701922
559.07/555.94	c cleaning 64980 clauses out of 130020 with flag 2201000/3767921
573.05/569.88	c cleaning 65995 clauses out of 132040 with flag 2268000/3834921
579.98/576.79	c Got one! Elapsed wall clock time (in seconds):576.652
579.98/576.79	o 58730162
580.98/577.75	c cleaning 55265 clauses out of 110549 with flag 5000/3879425
582.01/578.78	c cleaning 30624 clauses out of 61287 with flag 11003/3885428
583.21/579.95	c cleaning 18796 clauses out of 37660 with flag 18000/3892425
584.52/581.28	c cleaning 13386 clauses out of 26864 with flag 26000/3900425
586.03/582.78	c cleaning 11193 clauses out of 22480 with flag 35002/3909427
587.76/584.42	c cleaning 10604 clauses out of 21285 with flag 45000/3919425
589.67/586.35	c cleaning 10805 clauses out of 21682 with flag 56001/3930426
591.77/588.42	c cleaning 11428 clauses out of 22879 with flag 68003/3942428
594.08/590.73	c cleaning 12209 clauses out of 24448 with flag 81000/3955425
596.48/593.13	c cleaning 13109 clauses out of 26240 with flag 95001/3969426
598.89/595.57	c cleaning 14055 clauses out of 28130 with flag 110000/3984425
601.70/598.39	c cleaning 15021 clauses out of 30075 with flag 126000/4000425
604.62/601.27	c cleaning 16016 clauses out of 32054 with flag 143000/4017425
607.53/604.10	c cleaning 17012 clauses out of 34042 with flag 161004/4035429
609.44/606.09	c cleaning 17993 clauses out of 36026 with flag 180000/4054425
611.85/608.46	c cleaning 19004 clauses out of 38037 with flag 200004/4074429
614.25/610.80	c cleaning 19998 clauses out of 40029 with flag 221000/4095425
616.65/613.27	c cleaning 21005 clauses out of 42031 with flag 243000/4117425
619.26/615.88	c cleaning 21999 clauses out of 44030 with flag 266004/4140429
621.97/618.55	c cleaning 22997 clauses out of 46028 with flag 290001/4164426
624.98/621.56	c cleaning 24004 clauses out of 48032 with flag 315002/4189427
627.79/624.35	c cleaning 25005 clauses out of 50027 with flag 341001/4215426
630.72/627.25	c cleaning 26005 clauses out of 52023 with flag 368002/4242427
633.74/630.28	c cleaning 26997 clauses out of 54017 with flag 396001/4270426
636.94/633.43	c cleaning 28002 clauses out of 56019 with flag 425000/4299425
640.68/637.10	c cleaning 28989 clauses out of 58017 with flag 455000/4329425
644.80/641.24	c cleaning 30000 clauses out of 60029 with flag 486001/4360426
648.80/645.29	c cleaning 30984 clauses out of 62028 with flag 518000/4392425
653.33/649.77	c cleaning 32008 clauses out of 64044 with flag 551000/4425425
657.86/654.30	c cleaning 33006 clauses out of 66038 with flag 585002/4459427
662.97/659.30	c cleaning 34000 clauses out of 68030 with flag 620000/4494425
667.48/663.81	c cleaning 35016 clauses out of 70031 with flag 656001/4530426
672.80/669.14	c cleaning 35983 clauses out of 71990 with flag 693000/4567425
680.23/676.55	c cleaning 36992 clauses out of 74007 with flag 731000/4605425
681.23/677.50	c Got one! Elapsed wall clock time (in seconds):677.369
681.23/677.50	o 51938917
681.73/678.03	c cleaning 24046 clauses out of 48115 with flag 5000/4616551
682.35/678.60	c cleaning 15009 clauses out of 30072 with flag 11003/4622554
683.06/679.37	c cleaning 11008 clauses out of 22060 with flag 18000/4629551
683.87/680.12	c cleaning 9499 clauses out of 19052 with flag 26000/4637551
685.07/681.36	c cleaning 9258 clauses out of 18553 with flag 35000/4646551
686.69/682.93	c cleaning 9629 clauses out of 19283 with flag 45000/4656551
688.19/684.43	c cleaning 10311 clauses out of 20654 with flag 56000/4667551
689.90/686.19	c cleaning 11155 clauses out of 22343 with flag 68000/4679551
691.90/688.18	c cleaning 12083 clauses out of 24188 with flag 81000/4692551
693.82/690.04	c cleaning 13029 clauses out of 26090 with flag 95000/4706551
695.75/691.93	c cleaning 14028 clauses out of 28061 with flag 110000/4721551
698.17/694.34	c cleaning 15005 clauses out of 30035 with flag 126002/4737553
700.58/696.74	c cleaning 16008 clauses out of 32028 with flag 143000/4754551
703.08/699.22	c cleaning 17002 clauses out of 34021 with flag 161001/4772552
705.59/701.72	c cleaning 17999 clauses out of 36018 with flag 180000/4791551
709.40/705.54	c cleaning 19005 clauses out of 38020 with flag 200001/4811552
711.92/708.02	c cleaning 19987 clauses out of 40015 with flag 221001/4832552
714.84/710.95	c cleaning 21002 clauses out of 42027 with flag 243000/4854551
718.66/714.71	c cleaning 21997 clauses out of 44027 with flag 266002/4877553
722.38/718.44	c cleaning 23004 clauses out of 46028 with flag 290000/4901551
725.17/721.24	c cleaning 23995 clauses out of 48024 with flag 315000/4926551
728.08/724.13	c cleaning 25000 clauses out of 50030 with flag 341001/4952552
730.90/726.96	c cleaning 26003 clauses out of 52029 with flag 368000/4979551
733.92/729.91	c cleaning 26996 clauses out of 54027 with flag 396001/5007552
737.42/733.48	c cleaning 28006 clauses out of 56030 with flag 425000/5036551
741.04/737.07	c cleaning 29004 clauses out of 58025 with flag 455001/5066552
744.44/740.48	c cleaning 29998 clauses out of 60020 with flag 486000/5097551
748.56/744.52	c cleaning 30982 clauses out of 62023 with flag 518001/5129552
752.47/748.41	c cleaning 32002 clauses out of 64040 with flag 551000/5162551
757.08/753.00	c cleaning 33005 clauses out of 66038 with flag 585000/5196551
762.10/758.07	c cleaning 34011 clauses out of 68033 with flag 620000/5231551
766.43/762.34	c cleaning 34999 clauses out of 70023 with flag 656001/5267552
770.73/766.65	c cleaning 36002 clauses out of 72024 with flag 693001/5304552
771.64/767.53	c Got one! Elapsed wall clock time (in seconds):767.396
771.64/767.53	o 49732111
772.34/768.21	c cleaning 25067 clauses out of 50154 with flag 5000/5318684
773.06/768.91	c cleaning 15522 clauses out of 31092 with flag 11005/5324689
774.07/769.95	c cleaning 11245 clauses out of 22565 with flag 18000/5331684
775.18/771.09	c cleaning 9623 clauses out of 19321 with flag 26001/5339685
776.39/772.27	c cleaning 9314 clauses out of 18697 with flag 35000/5348684
777.70/773.57	c cleaning 9683 clauses out of 19383 with flag 45000/5358684
779.11/774.93	c cleaning 10336 clauses out of 20700 with flag 56000/5369684
781.01/776.80	c cleaning 11180 clauses out of 22366 with flag 68002/5381686
783.73/779.57	c cleaning 12081 clauses out of 24184 with flag 81000/5394684
785.93/781.70	c cleaning 13043 clauses out of 26104 with flag 95001/5408685
787.76/783.50	c cleaning 14025 clauses out of 28060 with flag 110000/5423684
790.16/785.96	c cleaning 15007 clauses out of 30035 with flag 126000/5439684
793.48/789.22	c cleaning 16000 clauses out of 32028 with flag 143000/5456684
797.00/792.73	c cleaning 16997 clauses out of 34028 with flag 161000/5474684
800.31/796.06	c cleaning 17987 clauses out of 36033 with flag 180002/5493686
804.13/799.85	c cleaning 19012 clauses out of 38045 with flag 200001/5513685
808.14/803.86	c cleaning 20008 clauses out of 40032 with flag 221000/5534684
811.26/806.93	c cleaning 21003 clauses out of 42027 with flag 243003/5556687
814.08/809.71	c cleaning 21999 clauses out of 44022 with flag 266001/5579685
816.79/812.47	c cleaning 22995 clauses out of 46023 with flag 290001/5603685
819.91/815.58	c cleaning 23998 clauses out of 48027 with flag 315000/5628684
822.92/818.57	c cleaning 24997 clauses out of 50030 with flag 341001/5654685
826.25/821.89	c cleaning 25998 clauses out of 52035 with flag 368003/5681687
829.74/825.39	c cleaning 27003 clauses out of 54035 with flag 396001/5709685
833.46/829.06	c cleaning 28006 clauses out of 56031 with flag 425000/5738684
837.17/832.75	c cleaning 29000 clauses out of 58025 with flag 455000/5768684
840.97/836.56	c cleaning 30010 clauses out of 60027 with flag 486002/5799686
844.69/840.24	c cleaning 30999 clauses out of 62015 with flag 518000/5831684
848.31/843.87	c cleaning 31991 clauses out of 64017 with flag 551001/5864685
852.52/848.02	c cleaning 33004 clauses out of 66026 with flag 585001/5898685
856.94/852.46	c cleaning 34002 clauses out of 68022 with flag 620001/5933685
861.75/857.26	c cleaning 34993 clauses out of 70020 with flag 656001/5969685
866.38/861.84	c cleaning 35994 clauses out of 72026 with flag 693000/6006684
871.30/866.74	c cleaning 37008 clauses out of 74033 with flag 731001/6044685
877.93/873.40	c cleaning 38000 clauses out of 76024 with flag 770000/6083684
884.85/880.24	c cleaning 39005 clauses out of 78028 with flag 810004/6123688
890.29/885.68	c cleaning 39998 clauses out of 80019 with flag 851000/6164684
896.29/891.69	c cleaning 41000 clauses out of 82021 with flag 893000/6206684
902.33/897.69	c cleaning 42002 clauses out of 84022 with flag 936001/6249685
908.94/904.27	c cleaning 42993 clauses out of 86019 with flag 980000/6293684
916.36/911.68	c cleaning 44002 clauses out of 88030 with flag 1025004/6338688
923.77/919.05	c cleaning 44998 clauses out of 90025 with flag 1071001/6384685
931.00/926.30	c cleaning 45992 clauses out of 92030 with flag 1118004/6431688
938.21/933.49	c cleaning 46988 clauses out of 94034 with flag 1166000/6479684
943.53/938.71	c Got one! Elapsed wall clock time (in seconds):938.582
943.53/938.71	o 37700706
944.33/939.57	c cleaning 45369 clauses out of 90772 with flag 5002/6523429
945.26/940.45	c cleaning 25674 clauses out of 51401 with flag 11000/6529427
946.37/941.51	c cleaning 16337 clauses out of 32727 with flag 18000/6536427
947.40/942.57	c cleaning 12166 clauses out of 24390 with flag 26000/6544427
948.82/943.94	c cleaning 10580 clauses out of 21225 with flag 35001/6553428
950.34/945.45	c cleaning 10263 clauses out of 20644 with flag 45000/6563427
951.96/947.06	c cleaning 10668 clauses out of 21384 with flag 56003/6574430
953.86/948.97	c cleaning 11343 clauses out of 22713 with flag 68000/6586427
955.58/950.70	c cleaning 12167 clauses out of 24371 with flag 81001/6599428
957.38/952.46	c cleaning 13084 clauses out of 26203 with flag 95000/6613427
959.28/954.33	c cleaning 14033 clauses out of 28119 with flag 110000/6628427
961.29/956.32	c cleaning 15036 clauses out of 30086 with flag 126000/6644427
963.71/958.78	c cleaning 16014 clauses out of 32051 with flag 143001/6661428
966.33/961.30	c cleaning 17001 clauses out of 34036 with flag 161000/6679427
969.03/964.07	c cleaning 17998 clauses out of 36035 with flag 180000/6698427
972.15/967.16	c cleaning 19001 clauses out of 38037 with flag 200000/6718427
974.87/969.89	c cleaning 20005 clauses out of 40039 with flag 221003/6739430
977.79/972.70	c cleaning 21005 clauses out of 42031 with flag 243000/6761427
980.82/975.73	c cleaning 22000 clauses out of 44026 with flag 266000/6784427
983.93/978.80	c cleaning 22991 clauses out of 46026 with flag 290000/6808427
987.34/982.20	c cleaning 24005 clauses out of 48035 with flag 315000/6833427
991.37/986.25	c cleaning 25002 clauses out of 50030 with flag 341000/6859427
995.38/990.28	c cleaning 26000 clauses out of 52030 with flag 368002/6886429
999.79/994.67	c cleaning 26989 clauses out of 54028 with flag 396000/6914427
1004.19/999.04	c cleaning 28006 clauses out of 56039 with flag 425000/6943427
1009.02/1003.88	c cleaning 28997 clauses out of 58033 with flag 455000/6973427
1014.05/1008.81	c cleaning 29998 clauses out of 60036 with flag 486000/7004427
1018.85/1013.68	c cleaning 31008 clauses out of 62038 with flag 518000/7036427
1024.48/1019.23	c cleaning 32006 clauses out of 64030 with flag 551000/7069427
1030.61/1025.36	c cleaning 33001 clauses out of 66024 with flag 585000/7103427
1037.33/1032.04	c cleaning 34001 clauses out of 68023 with flag 620000/7138427
1043.63/1038.37	c cleaning 35001 clauses out of 70022 with flag 656000/7174427
1049.46/1044.14	c cleaning 35982 clauses out of 72021 with flag 693000/7211427
1055.37/1050.09	c cleaning 37011 clauses out of 74039 with flag 731000/7249427
1062.48/1057.17	c cleaning 37985 clauses out of 75983 with flag 770001/7288428
1067.68/1062.31	c cleaning 38972 clauses out of 77976 with flag 810000/7328427
1074.13/1068.76	c cleaning 39997 clauses out of 80006 with flag 851002/7369429
1079.95/1074.50	c cleaning 41000 clauses out of 82007 with flag 893000/7411427
1083.58/1078.13	c Got one! Elapsed wall clock time (in seconds):1077.992
1083.58/1078.13	o 14862184
1084.38/1078.98	c cleaning 35393 clauses out of 70798 with flag 5000/7441392
1085.39/1079.97	c cleaning 20697 clauses out of 41407 with flag 11002/7447394
1086.61/1081.12	c cleaning 13829 clauses out of 27709 with flag 18001/7454393
1087.86/1082.39	c cleaning 10899 clauses out of 21879 with flag 26000/7462392
1089.38/1083.88	c cleaning 9950 clauses out of 19982 with flag 35002/7471394
1091.10/1085.52	c cleaning 9973 clauses out of 20030 with flag 45000/7481392
1092.91/1087.34	c cleaning 10523 clauses out of 21057 with flag 56000/7492392
1094.82/1089.22	c cleaning 11246 clauses out of 22509 with flag 68000/7504392
1096.15/1090.57	c cleaning 12121 clauses out of 24263 with flag 81000/7517392
1097.75/1092.13	c cleaning 13065 clauses out of 26143 with flag 95001/7531393
1099.57/1093.94	c cleaning 14027 clauses out of 28079 with flag 110002/7546394
1101.40/1095.79	c cleaning 15015 clauses out of 30050 with flag 126000/7562392
1103.60/1097.98	c cleaning 16010 clauses out of 32037 with flag 143002/7579394
1105.92/1100.27	c cleaning 17005 clauses out of 34025 with flag 161000/7597392
1108.52/1102.87	c cleaning 17966 clauses out of 35969 with flag 180000/7616392
1109.84/1104.18	c Got one! Elapsed wall clock time (in seconds):1104.049
1109.84/1104.18	o 14363848
1110.94/1105.20	c cleaning 17759 clauses out of 35538 with flag 5001/7633959
1112.07/1106.31	c cleaning 11878 clauses out of 23778 with flag 11000/7639958
1113.40/1107.67	c cleaning 9436 clauses out of 18900 with flag 18000/7646958
1114.90/1109.16	c cleaning 8706 clauses out of 17464 with flag 26000/7654958
1116.50/1110.74	c cleaning 8870 clauses out of 17758 with flag 35000/7663958
1118.41/1112.63	c cleaning 9429 clauses out of 18888 with flag 45000/7673958
1120.52/1114.76	c cleaning 10210 clauses out of 20459 with flag 56000/7684958
1122.62/1116.88	c cleaning 11116 clauses out of 22249 with flag 68000/7696958
1124.43/1118.68	c Got one! Elapsed wall clock time (in seconds):1118.543
1124.43/1118.68	o 14305331
1124.64/1118.86	c Got one! Elapsed wall clock time (in seconds):1118.726
1124.64/1118.86	o 14272663
1125.33/1119.57	c cleaning 13529 clauses out of 27082 with flag 5000/7712950
1126.05/1120.29	c cleaning 9760 clauses out of 19554 with flag 11001/7718951
1126.96/1121.15	c cleaning 8379 clauses out of 16793 with flag 18000/7725950
1127.88/1122.10	c cleaning 8181 clauses out of 16414 with flag 26000/7733950
1129.09/1123.21	c cleaning 8611 clauses out of 17234 with flag 35001/7742951
1130.29/1124.48	c cleaning 9296 clauses out of 18622 with flag 45000/7752950
1131.71/1125.87	c cleaning 10153 clauses out of 20328 with flag 56002/7763952
1133.33/1127.49	c cleaning 11078 clauses out of 22173 with flag 68000/7775950
1135.03/1129.11	c cleaning 12037 clauses out of 24095 with flag 81000/7788950
1136.94/1131.08	c cleaning 13011 clauses out of 26059 with flag 95001/7802951
1138.86/1132.99	c cleaning 14003 clauses out of 28047 with flag 110000/7817950
1140.97/1135.00	c cleaning 15010 clauses out of 30045 with flag 126001/7833951
1143.17/1137.25	c cleaning 16005 clauses out of 32036 with flag 143002/7850952
1145.28/1139.31	c cleaning 16981 clauses out of 33985 with flag 161000/7868950
1147.50/1141.51	c cleaning 17995 clauses out of 36004 with flag 180000/7887950
1149.92/1143.97	c cleaning 18994 clauses out of 38013 with flag 200004/7907954
1152.63/1146.65	c cleaning 19987 clauses out of 40015 with flag 221000/7928950
1155.36/1149.38	c cleaning 20997 clauses out of 42030 with flag 243002/7950952
1158.28/1152.25	c cleaning 22000 clauses out of 44032 with flag 266001/7973951
1161.28/1155.20	c cleaning 23001 clauses out of 46032 with flag 290001/7997951
1164.41/1158.37	c cleaning 24001 clauses out of 48031 with flag 315001/8022951
1167.42/1161.38	c cleaning 25011 clauses out of 50029 with flag 341000/8048950
1170.44/1164.36	c cleaning 25996 clauses out of 52019 with flag 368001/8075951
1173.77/1167.63	c cleaning 27002 clauses out of 54022 with flag 396000/8103950
1177.39/1171.22	c cleaning 28000 clauses out of 56020 with flag 425000/8132950
1180.72/1174.58	c Got one! Elapsed wall clock time (in seconds):1174.448
1180.72/1174.58	o 13935532
1181.42/1175.26	c cleaning 28151 clauses out of 56331 with flag 5001/8161295
1182.13/1176.00	c cleaning 17081 clauses out of 34179 with flag 11000/8167294
1183.04/1176.85	c cleaning 12030 clauses out of 24098 with flag 18000/8174294
1184.04/1177.81	c cleaning 10011 clauses out of 20070 with flag 26002/8182296
1185.07/1178.82	c cleaning 9506 clauses out of 19057 with flag 35000/8191294
1186.27/1180.03	c cleaning 9766 clauses out of 19553 with flag 45002/8201296
1187.98/1181.76	c cleaning 10380 clauses out of 20785 with flag 56000/8212294
1189.80/1183.60	c cleaning 11183 clauses out of 22405 with flag 68000/8224294
1191.60/1185.30	c cleaning 12093 clauses out of 24222 with flag 81000/8237294
1193.52/1187.29	c cleaning 13051 clauses out of 26129 with flag 95000/8251294
1195.34/1189.09	c cleaning 14034 clauses out of 28084 with flag 110006/8266300
1197.45/1191.14	c cleaning 15001 clauses out of 30046 with flag 126002/8282296
1199.67/1193.33	c cleaning 16008 clauses out of 32043 with flag 143000/8299294
1202.09/1195.71	c cleaning 17011 clauses out of 34039 with flag 161004/8317298
1204.49/1198.16	c cleaning 17993 clauses out of 36026 with flag 180002/8336296
1207.20/1200.89	c cleaning 18997 clauses out of 38031 with flag 200000/8356294
1210.41/1204.07	c cleaning 20000 clauses out of 40034 with flag 221000/8377294
1213.13/1206.72	c cleaning 21004 clauses out of 42034 with flag 243000/8399294
1216.03/1209.65	c cleaning 22001 clauses out of 44030 with flag 266000/8422294
1219.25/1212.87	c cleaning 22987 clauses out of 46029 with flag 290000/8446294
1223.18/1216.72	c cleaning 24000 clauses out of 48042 with flag 315000/8471294
1226.49/1220.08	c cleaning 25015 clauses out of 50035 with flag 341000/8497294
1229.89/1223.43	c cleaning 25999 clauses out of 52020 with flag 368000/8524294
1233.20/1226.79	c cleaning 26998 clauses out of 54022 with flag 396001/8552295
1236.81/1230.38	c cleaning 27995 clauses out of 56025 with flag 425002/8581296
1240.52/1234.03	c cleaning 29006 clauses out of 58028 with flag 455000/8611294
1244.62/1238.17	c cleaning 29991 clauses out of 60022 with flag 486000/8642294
1248.93/1242.40	c cleaning 31008 clauses out of 62033 with flag 518002/8674296
1253.14/1246.65	c cleaning 31993 clauses out of 64025 with flag 551002/8707296
1257.55/1251.10	c cleaning 33005 clauses out of 66030 with flag 585000/8741294
1262.36/1255.80	c cleaning 33999 clauses out of 68026 with flag 620001/8776295
1267.29/1260.79	c cleaning 34997 clauses out of 70026 with flag 656000/8812294
1272.10/1265.50	c cleaning 35991 clauses out of 72029 with flag 693000/8849294
1277.42/1270.85	c cleaning 37006 clauses out of 74038 with flag 731000/8887294
1283.53/1276.95	c cleaning 37975 clauses out of 76032 with flag 770000/8926294
1289.26/1282.63	c cleaning 39017 clauses out of 78057 with flag 810000/8966294
1294.96/1288.32	c cleaning 40004 clauses out of 80043 with flag 851003/9007297
1300.58/1293.90	c cleaning 41008 clauses out of 82036 with flag 893002/9049296
1306.20/1299.52	c cleaning 42001 clauses out of 84027 with flag 936001/9092295
1312.30/1305.65	c cleaning 43002 clauses out of 86025 with flag 980000/9136294
1318.95/1312.24	c cleaning 43995 clauses out of 88023 with flag 1025000/9181294
1325.06/1318.32	c cleaning 44995 clauses out of 90029 with flag 1071001/9227295
1325.78/1319.03	c Got one! Elapsed wall clock time (in seconds):1318.892
1325.78/1319.03	o 11623375
1326.68/1319.98	c cleaning 27996 clauses out of 55996 with flag 5000/9238260
1327.91/1321.11	c cleaning 16988 clauses out of 34001 with flag 11001/9244261
1329.22/1322.44	c cleaning 11981 clauses out of 24012 with flag 18000/9251260
1330.74/1323.95	c cleaning 9988 clauses out of 20031 with flag 26000/9259260
1332.46/1325.62	c cleaning 9498 clauses out of 19043 with flag 35000/9268260
1334.36/1327.57	c cleaning 9752 clauses out of 19545 with flag 45000/9278260
1336.57/1329.70	c cleaning 10391 clauses out of 20793 with flag 56000/9289260
1338.87/1332.00	c cleaning 11181 clauses out of 22402 with flag 68000/9301260
1341.39/1334.53	c cleaning 12098 clauses out of 24221 with flag 81000/9314260
1344.11/1337.20	c cleaning 13039 clauses out of 26123 with flag 95000/9328260
1346.94/1340.07	c cleaning 14027 clauses out of 28084 with flag 110000/9343260
1349.94/1343.09	c cleaning 15007 clauses out of 30057 with flag 126000/9359260
1353.25/1346.35	c cleaning 16013 clauses out of 32052 with flag 143002/9376262
1356.86/1349.99	c cleaning 17005 clauses out of 34039 with flag 161002/9394262
1360.67/1353.74	c cleaning 18012 clauses out of 36033 with flag 180001/9413261
1364.59/1357.64	c cleaning 18993 clauses out of 38021 with flag 200001/9433261
1368.80/1361.88	c cleaning 20008 clauses out of 40031 with flag 221004/9454264
1373.21/1366.26	c cleaning 20996 clauses out of 42019 with flag 243000/9476260
1377.80/1370.83	c cleaning 21993 clauses out of 44024 with flag 266001/9499261
1382.50/1375.59	c cleaning 22996 clauses out of 46031 with flag 290001/9523261
1387.62/1380.64	c cleaning 23991 clauses out of 48034 with flag 315000/9548260
1392.92/1385.96	c cleaning 24999 clauses out of 50043 with flag 341000/9574260
1398.53/1391.60	c cleaning 25998 clauses out of 52044 with flag 368000/9601260
1401.34/1394.34	c Got one! Elapsed wall clock time (in seconds):1394.202
1401.34/1394.34	o 11455731
1402.44/1395.42	c cleaning 22267 clauses out of 44543 with flag 5001/9619780
1403.65/1396.67	c cleaning 14125 clauses out of 28275 with flag 11000/9625779
1405.06/1398.03	c cleaning 10543 clauses out of 21150 with flag 18000/9632779
1406.67/1399.62	c cleaning 9280 clauses out of 18607 with flag 26000/9640779
1408.49/1401.49	c cleaning 9134 clauses out of 18328 with flag 35001/9649780
1410.60/1403.56	c cleaning 9578 clauses out of 19193 with flag 45000/9659779
1411.21/1404.12	c Got one! Elapsed wall clock time (in seconds):1403.99
1411.21/1404.12	o 11444535
1411.61/1404.50	c cleaning 7629 clauses out of 15294 with flag 3001/9665462
1412.32/1405.21	c cleaning 6802 clauses out of 13664 with flag 9000/9671461
1413.05/1405.99	c cleaning 6914 clauses out of 13862 with flag 16000/9678461
1413.94/1406.87	c cleaning 7465 clauses out of 14948 with flag 24000/9686461
1414.97/1407.88	c cleaning 8221 clauses out of 16483 with flag 33000/9695461
1416.19/1409.01	c cleaning 9111 clauses out of 18262 with flag 43000/9705461
1417.42/1410.26	c cleaning 10063 clauses out of 20153 with flag 54002/9716463
1418.71/1411.59	c cleaning 11027 clauses out of 22089 with flag 66001/9728462
1420.22/1413.06	c cleaning 12020 clauses out of 24062 with flag 79001/9741462
1421.93/1414.72	c cleaning 13012 clauses out of 26041 with flag 93000/9755461
1422.22/1415.03	c Got one! Elapsed wall clock time (in seconds):1414.897
1422.22/1415.03	o 10497669
1422.62/1415.49	c cleaning 9167 clauses out of 18355 with flag 3003/9760787
1423.63/1416.43	c cleaning 7582 clauses out of 15185 with flag 9000/9766784
1424.65/1417.49	c cleaning 7284 clauses out of 14603 with flag 16000/9773784
1425.97/1418.73	c cleaning 7640 clauses out of 15321 with flag 24002/9781786
1427.29/1420.06	c cleaning 8326 clauses out of 16679 with flag 33000/9790784
1428.79/1421.59	c cleaning 9162 clauses out of 18355 with flag 43002/9800786
1430.61/1423.34	c cleaning 10083 clauses out of 20191 with flag 54000/9811784
1432.43/1425.18	c cleaning 11039 clauses out of 22108 with flag 66000/9823784
1434.35/1427.06	c cleaning 12021 clauses out of 24069 with flag 79000/9836784
1436.65/1429.38	c cleaning 13012 clauses out of 26052 with flag 93004/9850788
1439.18/1431.89	c cleaning 13999 clauses out of 28036 with flag 108000/9865784
1441.79/1434.49	c cleaning 14999 clauses out of 30037 with flag 124000/9881784
1444.60/1437.29	c cleaning 16004 clauses out of 32040 with flag 141002/9898786
1447.61/1440.23	c cleaning 17005 clauses out of 34037 with flag 159003/9916787
1450.73/1443.40	c cleaning 17997 clauses out of 36029 with flag 178000/9935784
1454.43/1447.02	c cleaning 19009 clauses out of 38034 with flag 198002/9955786
1458.14/1450.70	c cleaning 19997 clauses out of 40023 with flag 219000/9976784
1461.66/1454.29	c cleaning 20998 clauses out of 42026 with flag 241000/9998784
1465.58/1458.16	c cleaning 21993 clauses out of 44028 with flag 264000/10021784
1469.50/1462.10	c cleaning 23000 clauses out of 46035 with flag 288000/10045784
1473.61/1466.14	c cleaning 24008 clauses out of 48035 with flag 313000/10070784
1478.24/1470.72	c cleaning 25008 clauses out of 50029 with flag 339002/10096786
1482.88/1475.35	c cleaning 25998 clauses out of 52021 with flag 366002/10123786
1487.59/1480.08	c cleaning 26991 clauses out of 54021 with flag 394000/10151784
1492.80/1485.28	c cleaning 27998 clauses out of 56032 with flag 423002/10180786
1498.01/1490.47	c cleaning 28998 clauses out of 58032 with flag 453000/10210784
1502.13/1494.50	c cleaning 30005 clauses out of 60034 with flag 484000/10241784
1507.04/1499.40	c cleaning 31000 clauses out of 62029 with flag 516000/10273784
1511.84/1504.23	c cleaning 31999 clauses out of 64029 with flag 549000/10306784
1517.74/1510.12	c cleaning 32991 clauses out of 66030 with flag 583000/10340784
1524.05/1516.40	c cleaning 34007 clauses out of 68039 with flag 618000/10375784
1529.66/1522.08	c Got one! Elapsed wall clock time (in seconds):1521.945
1529.66/1522.08	o 10470821
1530.76/1523.13	c cleaning 37169 clauses out of 74363 with flag 5003/10416129
1531.68/1524.06	c cleaning 21583 clauses out of 43191 with flag 11000/10422126
1532.68/1525.04	c cleaning 14293 clauses out of 28608 with flag 18000/10429126
1533.88/1526.27	c cleaning 11150 clauses out of 22316 with flag 26001/10437127
1535.29/1527.67	c cleaning 10071 clauses out of 20166 with flag 35001/10446127
1536.90/1529.23	c cleaning 10033 clauses out of 20096 with flag 45002/10456128
1538.50/1530.82	c cleaning 10516 clauses out of 21061 with flag 56000/10467126
1540.41/1532.70	c cleaning 11262 clauses out of 22547 with flag 68002/10479128
1542.22/1534.54	c cleaning 12129 clauses out of 24283 with flag 81000/10492126
1544.33/1536.64	c cleaning 13054 clauses out of 26155 with flag 95001/10506127
1546.77/1539.09	c cleaning 14026 clauses out of 28100 with flag 110000/10521126
1549.37/1541.68	c cleaning 15025 clauses out of 30074 with flag 126000/10537126
1552.08/1544.31	c cleaning 16004 clauses out of 32049 with flag 143000/10554126
1555.09/1547.33	c cleaning 17006 clauses out of 34045 with flag 161000/10572126
1557.80/1550.05	c cleaning 18006 clauses out of 36039 with flag 180000/10591126
1560.71/1552.97	c cleaning 18994 clauses out of 38033 with flag 200000/10611126
1563.91/1556.16	c cleaning 20010 clauses out of 40039 with flag 221000/10632126
1567.33/1559.59	c cleaning 21007 clauses out of 42029 with flag 243000/10654126
1570.73/1562.92	c cleaning 22004 clauses out of 44025 with flag 266003/10677129
1574.14/1566.37	c cleaning 22990 clauses out of 46018 with flag 290000/10701126
1578.65/1570.85	c cleaning 23989 clauses out of 48028 with flag 315000/10726126
1582.96/1575.11	c cleaning 25014 clauses out of 50043 with flag 341004/10752130
1587.66/1579.81	c cleaning 25997 clauses out of 52025 with flag 368000/10779126
1591.98/1584.14	c cleaning 27001 clauses out of 54031 with flag 396003/10807129
1596.69/1588.80	c cleaning 27999 clauses out of 56028 with flag 425001/10836127
1601.99/1594.19	c cleaning 29006 clauses out of 58029 with flag 455001/10866127
1607.13/1599.23	c cleaning 30003 clauses out of 60022 with flag 486000/10897126
1612.45/1604.56	c cleaning 30987 clauses out of 62020 with flag 518001/10929127
1617.67/1609.79	c cleaning 31992 clauses out of 64034 with flag 551002/10962128
1623.39/1615.44	c cleaning 32993 clauses out of 66044 with flag 585004/10996130
1629.50/1621.56	c cleaning 33987 clauses out of 68047 with flag 620000/11031126
1635.73/1627.71	c cleaning 35017 clauses out of 70060 with flag 656000/11067126
1641.75/1633.78	c cleaning 36002 clauses out of 72044 with flag 693001/11104127
1648.27/1640.24	c cleaning 37009 clauses out of 74041 with flag 731000/11142126
1654.67/1646.62	c cleaning 38001 clauses out of 76032 with flag 770000/11181126
1661.31/1653.20	c cleaning 38989 clauses out of 78033 with flag 810002/11221128
1668.32/1660.25	c cleaning 40004 clauses out of 80044 with flag 851002/11262128
1675.64/1667.53	c cleaning 41009 clauses out of 82038 with flag 893000/11304126
1682.64/1674.60	c cleaning 41992 clauses out of 84029 with flag 936000/11347126
1690.18/1682.01	c cleaning 42997 clauses out of 86038 with flag 980001/11391127
1697.38/1689.21	c cleaning 44001 clauses out of 88041 with flag 1025001/11436127
1705.10/1696.92	c cleaning 45003 clauses out of 90042 with flag 1071003/11482129
1713.24/1705.06	c cleaning 46006 clauses out of 92038 with flag 1118002/11529128
1721.23/1713.09	c cleaning 46995 clauses out of 94028 with flag 1166000/11577126
1728.05/1719.81	c cleaning 48007 clauses out of 96033 with flag 1215000/11626126
1730.28/1722.07	c Got one! Elapsed wall clock time (in seconds):1721.934
1730.28/1722.07	o 10460627
1730.88/1722.67	c cleaning 34573 clauses out of 69168 with flag 5000/11647606
1731.59/1723.36	c cleaning 20287 clauses out of 40595 with flag 11000/11653606
1732.50/1724.22	c cleaning 13615 clauses out of 27308 with flag 18000/11660606
1733.41/1725.13	c cleaning 10798 clauses out of 21693 with flag 26000/11668606
1734.32/1726.07	c cleaning 9915 clauses out of 19895 with flag 35000/11677606
1735.62/1727.38	c cleaning 9962 clauses out of 19981 with flag 45001/11687607
1736.35/1728.02	c Got one! Elapsed wall clock time (in seconds):1727.887
1736.35/1728.02	o 9212682
1736.56/1728.20	c cleaning 7169 clauses out of 14379 with flag 1000/11692700
1737.27/1728.90	c cleaning 6584 clauses out of 13212 with flag 7002/11698702
1738.00/1729.64	c cleaning 6808 clauses out of 13628 with flag 14002/11705702
1738.81/1730.45	c cleaning 7399 clauses out of 14820 with flag 22002/11713702
1739.82/1731.46	c cleaning 8192 clauses out of 16421 with flag 31002/11722702
1740.93/1732.59	c cleaning 9104 clauses out of 18227 with flag 41000/11732700
1742.14/1733.70	c cleaning 10052 clauses out of 20125 with flag 52002/11743702
1743.44/1735.00	c cleaning 11021 clauses out of 22071 with flag 64000/11755700
1745.45/1737.02	c cleaning 11965 clauses out of 23952 with flag 77000/11768700
1747.75/1739.31	c cleaning 12984 clauses out of 25988 with flag 91001/11782701
1750.16/1741.71	c cleaning 13989 clauses out of 28003 with flag 106000/11797700
1752.88/1744.43	c cleaning 14995 clauses out of 30014 with flag 122000/11813700
1755.80/1747.34	c cleaning 15990 clauses out of 32019 with flag 139000/11830700
1758.50/1750.05	c cleaning 17004 clauses out of 34029 with flag 157000/11848700
1761.51/1753.07	c Got one! Elapsed wall clock time (in seconds):1752.932
1761.51/1753.07	o 9026928
1762.41/1753.94	c cleaning 20231 clauses out of 40483 with flag 5000/11872164
1763.62/1755.11	c cleaning 13115 clauses out of 26253 with flag 11001/11878165
1765.05/1756.50	c cleaning 10054 clauses out of 20140 with flag 18003/11885167
1766.56/1758.08	c cleaning 9024 clauses out of 18083 with flag 26000/11893164
1768.36/1759.89	c cleaning 9023 clauses out of 18059 with flag 35000/11902164
1770.37/1761.80	c cleaning 9504 clauses out of 19036 with flag 45000/11912164
1772.49/1763.90	c cleaning 10255 clauses out of 20532 with flag 56000/11923164
1774.70/1766.19	c cleaning 11125 clauses out of 22277 with flag 68000/11935164
1777.21/1768.64	c cleaning 12068 clauses out of 24152 with flag 81000/11948164
1779.93/1771.38	c cleaning 13024 clauses out of 26084 with flag 95000/11962164
1782.94/1774.38	c cleaning 14018 clauses out of 28060 with flag 110000/11977164
1786.34/1777.77	c cleaning 15010 clauses out of 30044 with flag 126002/11993166
1789.84/1781.25	c cleaning 16007 clauses out of 32034 with flag 143002/12010166
1790.34/1781.70	c Got one! Elapsed wall clock time (in seconds):1781.571
1790.34/1781.70	o 9023172
1790.34/1781.76	c Got one! Elapsed wall clock time (in seconds):1781.627
1790.34/1781.76	o 8954172
1790.84/1782.22	c cleaning 10929 clauses out of 21885 with flag 3000/12016024
1791.86/1783.27	c cleaning 8459 clauses out of 16956 with flag 9000/12022024
1793.06/1784.42	c cleaning 7725 clauses out of 15500 with flag 16003/12029027
1794.48/1785.83	c cleaning 7865 clauses out of 15773 with flag 24001/12037025
1795.98/1787.35	c cleaning 8445 clauses out of 16907 with flag 33000/12046024
1797.59/1788.97	c cleaning 9224 clauses out of 18463 with flag 43001/12056025
1798.71/1790.00	c Got one! Elapsed wall clock time (in seconds):1789.867
1798.71/1790.00	o 8913949
1799.51/1790.88	c cleaning 10137 clauses out of 20301 with flag 5000/12067087
1800.03/1791.31	c starts		: 347
1800.03/1791.31	c conflicts		: 12069600
1800.03/1791.31	c decisions		: 21642204
1800.03/1791.31	c propagations		: 1580096092
1800.03/1791.31	c inspects		: 11213166970
1800.03/1791.31	c shortcuts		: 0
1800.03/1791.31	c learnt literals	: 66
1800.03/1791.31	c learnt binary clauses	: 1071
1800.03/1791.31	c learnt ternary clauses	: 10281
1800.03/1791.31	c learnt constraints	: 12069534
1800.03/1791.31	c ignored constraints	: 0
1800.03/1791.31	c root simplifications	: 413
1800.03/1791.31	c removed literals (reason simplification)	: 154934502
1800.03/1791.31	c reason swapping (by a shorter reason)	: 0
1800.03/1791.31	c Calls to reduceDB	: 561
1800.03/1791.31	c number of reductions to clauses (during analyze)	: 0
1800.03/1791.31	c number of learned constraints concerned by reduction	: 0
1800.03/1791.31	c number of learning phase by resolution	: 0
1800.03/1791.31	c number of learning phase by cutting planes	: 0
1800.03/1791.31	c speed (assignments/second)	: 882312.0608601795
1800.03/1791.31	c non guided choices	12296
1800.03/1791.32	c learnt constraints type 
1800.03/1791.32	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 661
1800.03/1791.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12063
1800.03/1791.32	c constraints type 
1800.03/1791.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
1800.03/1791.32	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
1800.03/1791.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1800.03/1791.32	c ignored satisfied constraints => 3
1800.03/1791.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
1800.03/1791.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3076
1800.03/1791.32	c 15630 constraints processed.
1800.03/1791.32	s SATISFIABLE
1800.03/1791.33	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 
1800.03/1791.34	c objective function=8913949
1800.03/1791.34	c Total wall clock time (in seconds): 1791.204

OK	8913949

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-3710479-1338251828/watcher-3710479-1338251828 -o /tmp/evaluation-result-3710479-1338251828/solver-3710479-1338251828 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710479-1338251828.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.02 2.04 2.00 2/194 10045
/proc/meminfo: memFree=28379656/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10045/stat : 10045 (java) D 10043 10045 8308 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291307132 9515008 183 33554432000 1073741824 1073778376 140733570946048 140733570937080 251044642485 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/10045/statm: 2323 183 140 9 0 71 0

[startup+0.104115 s]
/proc/loadavg: 2.02 2.04 2.00 2/194 10045
/proc/meminfo: memFree=28379656/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/10045/stat : 10045 (java) S 10043 10045 8308 0 -1 4202496 4136 0 1 0 8 0 0 0 20 0 18 0 291307132 9787842560 5343 33554432000 1073741824 1073778376 140737244130336 140737244121472 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10045/statm: 2389610 5343 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.200321 s]
/proc/loadavg: 2.02 2.04 2.00 2/194 10045
/proc/meminfo: memFree=28379656/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/10045/stat : 10045 (java) S 10043 10045 8308 0 -1 4202496 4972 0 1 0 26 1 0 0 20 0 18 0 291307132 9787842560 6555 33554432000 1073741824 1073778376 140737244130336 140737244121472 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10045/statm: 2389610 6555 2208 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558440

[startup+0.300415 s]
/proc/loadavg: 2.02 2.04 2.00 2/194 10045
/proc/meminfo: memFree=28379656/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9558440 CPUtime=0.46 cores=1,3,5,7
/proc/10045/stat : 10045 (java) S 10043 10045 8308 0 -1 4202496 5443 0 1 0 45 1 0 0 20 0 18 0 291307132 9787842560 9137 33554432000 1073741824 1073778376 140737244130336 140737244121472 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10045/statm: 2389610 9137 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558440

[startup+0.700344 s]
/proc/loadavg: 2.02 2.04 2.00 2/194 10045
/proc/meminfo: memFree=28379656/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/10045/stat : 10045 (java) S 10043 10045 8308 0 -1 4202496 8510 0 1 0 134 2 0 0 20 0 19 0 291307132 9856004096 18110 33554432000 1073741824 1073778376 140737244130336 140737244121472 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10045/statm: 2406251 18110 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625004

[startup+1.50083 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 10064
/proc/meminfo: memFree=28316696/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9625004 CPUtime=2.25 cores=1,3,5,7
/proc/10045/stat : 10045 (java) S 10043 10045 8308 0 -1 4202496 8829 0 1 0 223 2 0 0 20 0 19 0 291307132 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140737244121472 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10045/statm: 2406251 18658 2264 9 0 2396937 0
[pid=10045/tid=10047] ppid=10043 vsize=9625004 CPUtime=1.47 cores=1,3,5,7
/proc/10045/task/10047/stat : 10047 (java) R 10043 10045 8308 0 -1 4202560 2532 0 1 0 145 2 0 0 20 0 19 0 291307133 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545288024472 140545228500452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10048] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10048/stat : 10048 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545226754472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10049] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10049/stat : 10049 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545225701928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10050] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10050/stat : 10050 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545224648872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10051] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10051/stat : 10051 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545223596328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10052] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10052/stat : 10052 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545222544296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10053] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10053/stat : 10053 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545126775848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10054] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10054/stat : 10054 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545125722792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10055] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10055/stat : 10055 (java) S 10043 10045 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545124670248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10056] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10056/stat : 10056 (java) S 10043 10045 8308 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545112258920 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10057] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10057/stat : 10057 (java) S 10043 10045 8308 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545111205240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10058] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10058/stat : 10058 (java) S 10043 10045 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545110152072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10059] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10059/stat : 10059 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545109100816 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10060] ppid=10043 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/10045/task/10060/stat : 10060 (java) S 10043 10045 8308 0 -1 4202560 2151 0 0 0 37 0 0 0 20 0 19 0 291307139 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545108048696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10061] ppid=10043 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/10045/task/10061/stat : 10061 (java) S 10043 10045 8308 0 -1 4202560 2950 0 0 0 39 0 0 0 20 0 19 0 291307139 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545106996152 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10062] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10062/stat : 10062 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545105943288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10063] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10063/stat : 10063 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545104890952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10064] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10064/stat : 10064 (java) S 10043 10045 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291307178 9856004096 18658 33554432000 1073741824 1073778376 140737244130336 140545103836200 251048015785 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: 2.02 2.04 2.00 3/213 10064
/proc/meminfo: memFree=28301360/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9625004 CPUtime=3.93 cores=1,3,5,7
/proc/10045/stat : 10045 (java) S 10043 10045 8308 0 -1 4202496 9007 0 1 0 390 3 0 0 20 0 19 0 291307132 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140737244121472 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10045/statm: 2406251 21796 2289 9 0 2396937 0
[pid=10045/tid=10047] ppid=10043 vsize=9625004 CPUtime=3.04 cores=1,3,5,7
/proc/10045/task/10047/stat : 10047 (java) R 10043 10045 8308 0 -1 4202560 2535 0 1 0 302 2 0 0 20 0 19 0 291307133 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545288024552 140545228496160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10048] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10048/stat : 10048 (java) S 10043 10045 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545226754472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10049] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10049/stat : 10049 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545225701928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10050] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10050/stat : 10050 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545224648872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10051] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10051/stat : 10051 (java) S 10043 10045 8308 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545223596328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10052] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10052/stat : 10052 (java) S 10043 10045 8308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545222544296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10053] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10053/stat : 10053 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545126775848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10054] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10054/stat : 10054 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545125722792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10055] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10055/stat : 10055 (java) S 10043 10045 8308 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545124670248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10056] ppid=10043 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/10045/task/10056/stat : 10056 (java) S 10043 10045 8308 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 291307136 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545112258920 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10057] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10057/stat : 10057 (java) S 10043 10045 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545111205240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10058] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10058/stat : 10058 (java) S 10043 10045 8308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545110152072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10059] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10059/stat : 10059 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545109100816 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10060] ppid=10043 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/10045/task/10060/stat : 10060 (java) S 10043 10045 8308 0 -1 4202560 2155 0 0 0 39 0 0 0 20 0 19 0 291307139 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545108048696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10061] ppid=10043 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/10045/task/10061/stat : 10061 (java) S 10043 10045 8308 0 -1 4202560 3072 0 0 0 42 0 0 0 20 0 19 0 291307139 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545106996152 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10062] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10062/stat : 10062 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545105943288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10063] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10063/stat : 10063 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545104890952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10064] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10064/stat : 10064 (java) S 10043 10045 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291307178 9856004096 21796 33554432000 1073741824 1073778376 140737244130336 140545103836200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9625004

[startup+6.30069 s]
/proc/loadavg: 2.02 2.04 2.00 3/213 10064
/proc/meminfo: memFree=28297644/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9625004 CPUtime=7.18 cores=1,3,5,7
/proc/10045/stat : 10045 (java) S 10043 10045 8308 0 -1 4202496 9023 0 1 0 715 3 0 0 20 0 19 0 291307132 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140737244121472 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10045/statm: 2406251 22480 2289 9 0 2396937 0
[pid=10045/tid=10047] ppid=10043 vsize=9625004 CPUtime=6.19 cores=1,3,5,7
/proc/10045/task/10047/stat : 10047 (java) R 10043 10045 8308 0 -1 4202560 2538 0 1 0 617 2 0 0 20 0 19 0 291307133 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545288024616 140545228499573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10048] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10048/stat : 10048 (java) S 10043 10045 8308 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545226754472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10049] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10049/stat : 10049 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545225701928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10050] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10050/stat : 10050 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545224648872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10051] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10051/stat : 10051 (java) S 10043 10045 8308 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545223596328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10052] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10052/stat : 10052 (java) S 10043 10045 8308 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545222544296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10053] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10053/stat : 10053 (java) S 10043 10045 8308 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545126775848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10054] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10054/stat : 10054 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545125722792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10055] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10055/stat : 10055 (java) S 10043 10045 8308 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291307134 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545124670248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10056] ppid=10043 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/10045/task/10056/stat : 10056 (java) S 10043 10045 8308 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 291307136 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545112258920 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10057] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10057/stat : 10057 (java) S 10043 10045 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545111205240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10058] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10058/stat : 10058 (java) S 10043 10045 8308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545110152072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10059] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10059/stat : 10059 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545109100816 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10060] ppid=10043 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/10045/task/10060/stat : 10060 (java) S 10043 10045 8308 0 -1 4202560 2156 0 0 0 42 0 0 0 20 0 19 0 291307139 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545108048696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10061] ppid=10043 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/10045/task/10061/stat : 10061 (java) S 10043 10045 8308 0 -1 4202560 3072 0 0 0 45 0 0 0 20 0 19 0 291307139 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545106996152 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10062] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10062/stat : 10062 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545105943288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10063] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10063/stat : 10063 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545104890952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10064] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10064/stat : 10064 (java) S 10043 10045 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291307178 9856004096 22480 33554432000 1073741824 1073778376 140737244130336 140545103836200 251048015785 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.7007 s]

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

[pid=10045/tid=10060] ppid=10043 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/10045/task/10060/stat : 10060 (java) S 10043 10045 8308 0 -1 4202560 2878 0 0 0 60 0 0 0 20 0 19 0 291307139 9856004096 37473 33554432000 1073741824 1073778376 140737244130336 140545108048696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10061] ppid=10043 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/10045/task/10061/stat : 10061 (java) S 10043 10045 8308 0 -1 4202560 3847 0 0 0 63 0 0 0 20 0 19 0 291307139 9856004096 37473 33554432000 1073741824 1073778376 140737244130336 140545106996152 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10062] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10062/stat : 10062 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 37473 33554432000 1073741824 1073778376 140737244130336 140545105943288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10063] ppid=10043 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/10045/task/10063/stat : 10063 (java) S 10043 10045 8308 0 -1 4202560 97 0 0 0 20 14 0 0 20 0 19 0 291307139 9856004096 37473 33554432000 1073741824 1073778376 140737244130336 140545104890952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10064] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10064/stat : 10064 (java) S 10043 10045 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291307178 9856004096 37473 33554432000 1073741824 1073778376 140737244130336 140545103836200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1670.44
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 10161
/proc/meminfo: memFree=28246464/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9625004 CPUtime=1730.57 cores=1,3,5,7
/proc/10045/stat : 10045 (java) S 10043 10045 8308 0 -1 4202496 11955 0 1 0 173020 37 0 0 20 0 19 0 291307132 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140737244121472 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10045/statm: 2406251 37475 2292 9 0 2396937 0
[pid=10045/tid=10047] ppid=10043 vsize=9625004 CPUtime=1694.62 cores=1,3,5,7
/proc/10045/task/10047/stat : 10047 (java) R 10043 10045 8308 0 -1 4202560 3057 0 1 0 169435 27 0 0 20 0 19 0 291307133 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545288016320 140545228469383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10048] ppid=10043 vsize=9625004 CPUtime=1.29 cores=1,3,5,7
/proc/10045/task/10048/stat : 10048 (java) S 10043 10045 8308 0 -1 4202560 118 0 0 0 127 2 0 0 20 0 19 0 291307134 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545226754472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10049] ppid=10043 vsize=9625004 CPUtime=1.25 cores=1,3,5,7
/proc/10045/task/10049/stat : 10049 (java) S 10043 10045 8308 0 -1 4202560 59 0 0 0 123 2 0 0 20 0 19 0 291307134 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545225701928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10050] ppid=10043 vsize=9625004 CPUtime=1.27 cores=1,3,5,7
/proc/10045/task/10050/stat : 10050 (java) S 10043 10045 8308 0 -1 4202560 46 0 0 0 124 3 0 0 20 0 19 0 291307134 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545224648872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10051] ppid=10043 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/10045/task/10051/stat : 10051 (java) S 10043 10045 8308 0 -1 4202560 93 0 0 0 132 3 0 0 20 0 19 0 291307134 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545223596328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10052] ppid=10043 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/10045/task/10052/stat : 10052 (java) S 10043 10045 8308 0 -1 4202560 149 0 0 0 130 3 0 0 20 0 19 0 291307134 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545222544296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10053] ppid=10043 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/10045/task/10053/stat : 10053 (java) S 10043 10045 8308 0 -1 4202560 76 0 0 0 134 3 0 0 20 0 19 0 291307134 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545126775848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10054] ppid=10043 vsize=9625004 CPUtime=1.34 cores=1,3,5,7
/proc/10045/task/10054/stat : 10054 (java) S 10043 10045 8308 0 -1 4202560 51 0 0 0 132 2 0 0 20 0 19 0 291307134 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545125722792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10055] ppid=10043 vsize=9625004 CPUtime=1.22 cores=1,3,5,7
/proc/10045/task/10055/stat : 10055 (java) S 10043 10045 8308 0 -1 4202560 134 0 0 0 119 3 0 0 20 0 19 0 291307134 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545124670248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10056] ppid=10043 vsize=9625004 CPUtime=19.81 cores=1,3,5,7
/proc/10045/task/10056/stat : 10056 (java) S 10043 10045 8308 0 -1 4202560 166 0 0 0 1978 3 0 0 20 0 19 0 291307136 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545112258920 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10057] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10057/stat : 10057 (java) S 10043 10045 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545111205240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10058] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10058/stat : 10058 (java) S 10043 10045 8308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545110152072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10059] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10059/stat : 10059 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545109100816 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10060] ppid=10043 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/10045/task/10060/stat : 10060 (java) S 10043 10045 8308 0 -1 4202560 2878 0 0 0 60 0 0 0 20 0 19 0 291307139 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545108048696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10061] ppid=10043 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/10045/task/10061/stat : 10061 (java) S 10043 10045 8308 0 -1 4202560 3847 0 0 0 63 0 0 0 20 0 19 0 291307139 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545106996152 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10062] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10062/stat : 10062 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545105943288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10063] ppid=10043 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/10045/task/10063/stat : 10063 (java) S 10043 10045 8308 0 -1 4202560 99 0 0 0 21 15 0 0 20 0 19 0 291307139 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545104890952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10064] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10064/stat : 10064 (java) S 10043 10045 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291307178 9856004096 37475 33554432000 1073741824 1073778376 140737244130336 140545103836200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1730.57
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/214 10162
/proc/meminfo: memFree=28241748/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9625004 CPUtime=1790.96 cores=1,3,5,7
/proc/10045/stat : 10045 (java) S 10043 10045 8308 0 -1 4202496 12008 0 1 0 179058 38 0 0 20 0 19 0 291307132 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140737244121472 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10045/statm: 2406251 37997 2292 9 0 2396937 0
[pid=10045/tid=10047] ppid=10043 vsize=9625004 CPUtime=1752.79 cores=1,3,5,7
/proc/10045/task/10047/stat : 10047 (java) R 10043 10045 8308 0 -1 4202560 3091 0 1 0 175251 28 0 0 20 0 19 0 291307133 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545288024488 140545228614160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10048] ppid=10043 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/10045/task/10048/stat : 10048 (java) S 10043 10045 8308 0 -1 4202560 122 0 0 0 134 2 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545226754472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10049] ppid=10043 vsize=9625004 CPUtime=1.31 cores=1,3,5,7
/proc/10045/task/10049/stat : 10049 (java) S 10043 10045 8308 0 -1 4202560 59 0 0 0 129 2 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545225701928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10050] ppid=10043 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/10045/task/10050/stat : 10050 (java) S 10043 10045 8308 0 -1 4202560 46 0 0 0 132 3 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545224648872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10051] ppid=10043 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/10045/task/10051/stat : 10051 (java) S 10043 10045 8308 0 -1 4202560 93 0 0 0 139 3 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545223596328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10052] ppid=10043 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/10045/task/10052/stat : 10052 (java) S 10043 10045 8308 0 -1 4202560 149 0 0 0 137 4 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545222544296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10053] ppid=10043 vsize=9625004 CPUtime=1.45 cores=1,3,5,7
/proc/10045/task/10053/stat : 10053 (java) S 10043 10045 8308 0 -1 4202560 76 0 0 0 142 3 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545126775848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10054] ppid=10043 vsize=9625004 CPUtime=1.42 cores=1,3,5,7
/proc/10045/task/10054/stat : 10054 (java) S 10043 10045 8308 0 -1 4202560 51 0 0 0 140 2 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545125722792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10055] ppid=10043 vsize=9625004 CPUtime=1.28 cores=1,3,5,7
/proc/10045/task/10055/stat : 10055 (java) S 10043 10045 8308 0 -1 4202560 140 0 0 0 125 3 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545124670248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10056] ppid=10043 vsize=9625004 CPUtime=21.28 cores=1,3,5,7
/proc/10045/task/10056/stat : 10056 (java) S 10043 10045 8308 0 -1 4202560 171 0 0 0 2125 3 0 0 20 0 19 0 291307136 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545112258920 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10057] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10057/stat : 10057 (java) S 10043 10045 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545111205240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10058] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10058/stat : 10058 (java) S 10043 10045 8308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545110152072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10059] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10059/stat : 10059 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545109100816 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10060] ppid=10043 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/10045/task/10060/stat : 10060 (java) S 10043 10045 8308 0 -1 4202560 2878 0 0 0 60 0 0 0 20 0 19 0 291307139 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545108048696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10061] ppid=10043 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/10045/task/10061/stat : 10061 (java) S 10043 10045 8308 0 -1 4202560 3847 0 0 0 63 0 0 0 20 0 19 0 291307139 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545106996152 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10062] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10062/stat : 10062 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545105943288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10063] ppid=10043 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/10045/task/10063/stat : 10063 (java) S 10043 10045 8308 0 -1 4202560 103 0 0 0 23 15 0 0 20 0 19 0 291307139 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545104890952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10064] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10064/stat : 10064 (java) S 10043 10045 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291307178 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545103836200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1790.96
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/214 10162
/proc/meminfo: memFree=28241624/32873844 swapFree=7620/7620
[pid=10045] ppid=10043 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/10045/stat : 10045 (java) S 10043 10045 8308 0 -1 4202496 12018 0 1 0 179965 38 0 0 20 0 19 0 291307132 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140737244121472 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10045/statm: 2406251 37997 2292 9 0 2396937 0
[pid=10045/tid=10047] ppid=10043 vsize=9625004 CPUtime=1761.47 cores=1,3,5,7
/proc/10045/task/10047/stat : 10047 (java) R 10043 10045 8308 0 -1 4202560 3097 0 1 0 176119 28 0 0 20 0 19 0 291307133 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545288024328 140545228408068 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10048] ppid=10043 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/10045/task/10048/stat : 10048 (java) S 10043 10045 8308 0 -1 4202560 122 0 0 0 135 2 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545226754472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10049] ppid=10043 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/10045/task/10049/stat : 10049 (java) S 10043 10045 8308 0 -1 4202560 59 0 0 0 131 2 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545225701928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10050] ppid=10043 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/10045/task/10050/stat : 10050 (java) S 10043 10045 8308 0 -1 4202560 46 0 0 0 133 3 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545224648872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10051] ppid=10043 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/10045/task/10051/stat : 10051 (java) S 10043 10045 8308 0 -1 4202560 93 0 0 0 140 3 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545223596328 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10052] ppid=10043 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/10045/task/10052/stat : 10052 (java) S 10043 10045 8308 0 -1 4202560 149 0 0 0 139 4 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545222544296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10053] ppid=10043 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/10045/task/10053/stat : 10053 (java) S 10043 10045 8308 0 -1 4202560 76 0 0 0 143 3 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545126775848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10054] ppid=10043 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/10045/task/10054/stat : 10054 (java) S 10043 10045 8308 0 -1 4202560 51 0 0 0 141 2 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545125722792 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10055] ppid=10043 vsize=9625004 CPUtime=1.3 cores=1,3,5,7
/proc/10045/task/10055/stat : 10055 (java) S 10043 10045 8308 0 -1 4202560 140 0 0 0 127 3 0 0 20 0 19 0 291307134 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545124670248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10045/tid=10056] ppid=10043 vsize=9625004 CPUtime=21.54 cores=1,3,5,7
/proc/10045/task/10056/stat : 10056 (java) S 10043 10045 8308 0 -1 4202560 173 0 0 0 2151 3 0 0 20 0 19 0 291307136 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545112258920 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10057] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10057/stat : 10057 (java) S 10043 10045 8308 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545111205240 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10058] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10058/stat : 10058 (java) S 10043 10045 8308 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291307136 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545110152072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10059] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10059/stat : 10059 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545109100816 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10060] ppid=10043 vsize=9625004 CPUtime=0.6 cores=1,3,5,7
/proc/10045/task/10060/stat : 10060 (java) S 10043 10045 8308 0 -1 4202560 2878 0 0 0 60 0 0 0 20 0 19 0 291307139 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545108048696 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10061] ppid=10043 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/10045/task/10061/stat : 10061 (java) S 10043 10045 8308 0 -1 4202560 3847 0 0 0 63 0 0 0 20 0 19 0 291307139 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545106996152 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10045/tid=10062] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10062/stat : 10062 (java) S 10043 10045 8308 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291307139 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545105943288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10045/tid=10063] ppid=10043 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/10045/task/10063/stat : 10063 (java) S 10043 10045 8308 0 -1 4202560 105 0 0 0 23 15 0 0 20 0 19 0 291307139 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545104890952 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10045/tid=10064] ppid=10043 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10045/task/10064/stat : 10064 (java) S 10043 10045 8308 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291307178 9856004096 37997 33554432000 1073741824 1073778376 140737244130336 140545103836200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10045 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=239082
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=824874
# CPU time returned by wait4() is 1796.06
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1791.34
CPU time (s): 1800.03
CPU user time (s): 1799.65
CPU system time (s): 0.38
CPU usage (%): 100.485
Max. virtual memory (cumulated for all children) (KiB): 9625328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.24
system time used= 0.824874
maximum resident set size= 152116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12051
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53116
involuntary context switches= 33571

runsolver used 5.75912 second user time and 14.8247 second system time

The end

Begin job on node143 at 2012-05-29 02:37:08
IDJOB=3710479
IDBENCH=92702
IDSOLVER=2289
FILE ID=node143/3710479-1338251828
RUNJOBID= node143-1338231615-8325
PBS_JOBID= 14624659
Free space on /tmp= 69360 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_0_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-3710479-1338251828/watcher-3710479-1338251828 -o /tmp/evaluation-result-3710479-1338251828/solver-3710479-1338251828 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710479-1338251828.opb

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

MD5SUM BENCH= dd3d38d29879098f25b76c0a87425db0
RANDOM SEED=1056581520

node143.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.787
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	: 5333.57
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.787
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.787
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.91
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.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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:        28380036 kB
Buffers:          441264 kB
Cached:          3061508 kB
SwapCached:            0 kB
Active:          3145148 kB
Inactive:         478852 kB
Active(anon):     112612 kB
Inactive(anon):    11300 kB
Active(file):    3032536 kB
Inactive(file):   467552 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1240 kB
Writeback:             0 kB
AnonPages:        225156 kB
Mapped:            22556 kB
Shmem:               200 kB
Slab:             729140 kB
SReclaimable:     171108 kB
SUnreclaim:       558032 kB
KernelStack:        1760 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     698488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 69360 MiB
End job on node143 at 2012-05-29 03:07:01