0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4090870-1466066094.wbo
0.10/0.10	c reading problem ... 
0.28/0.29	c ... done. Wall clock time 0.182s.
0.28/0.29	c declared #vars     5500
0.28/0.29	c internal #vars     5710
0.28/0.29	c #constraints  210
0.28/0.29	c constraints type 
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 110
0.28/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
0.28/0.29	c 210 constraints processed.
0.28/0.29	c objective function length is 210 literals
1.26/0.61	c SATISFIABLE
1.26/0.61	c OPTIMIZING...
1.26/0.61	c Got one! Elapsed wall clock time (in seconds):0.509
1.26/0.61	o 169
1.91/1.11	c cleaning 2987 clauses out of 5980 with flag 27479/5980
2.63/1.82	c cleaning 4493 clauses out of 8995 with flag 67862/11982
3.54/2.74	c cleaning 5743 clauses out of 11503 with flag 120311/18983
4.55/3.79	c cleaning 6871 clauses out of 13757 with flag 177390/26980
5.96/5.12	c cleaning 7936 clauses out of 15887 with flag 241511/35981
7.48/6.66	c cleaning 8969 clauses out of 17952 with flag 308092/45982
7.87/7.09	c Got one! Elapsed wall clock time (in seconds):6.991
7.87/7.09	o 162
8.35/7.41	c cleaning 7054 clauses out of 14123 with flag 11680/51122
9.14/8.25	c cleaning 6527 clauses out of 13067 with flag 52902/57120
10.04/9.13	c cleaning 6759 clauses out of 13540 with flag 98419/64120
11.14/10.23	c cleaning 7387 clauses out of 14784 with flag 149773/72123
12.34/11.42	c cleaning 8189 clauses out of 16395 with flag 210145/81121
13.58/12.67	c Got one! Elapsed wall clock time (in seconds):12.566
13.58/12.67	o 161
13.58/12.69	c Got one! Elapsed wall clock time (in seconds):12.584
13.58/12.69	o 82
14.73/13.75	c cleaning 11134 clauses out of 22282 with flag 27904/95197
15.73/14.77	c cleaning 8567 clauses out of 17148 with flag 65207/101197
16.73/15.79	c cleaning 7779 clauses out of 15582 with flag 111526/108198
17.93/16.91	c cleaning 7891 clauses out of 15802 with flag 164112/116197
19.24/18.29	c cleaning 8449 clauses out of 16912 with flag 223955/125198
20.84/19.89	c cleaning 9223 clauses out of 18465 with flag 292255/135200
22.64/21.60	c cleaning 10113 clauses out of 20240 with flag 370155/146198
24.83/23.85	c cleaning 11052 clauses out of 22126 with flag 461766/158197
27.68/26.62	c cleaning 12030 clauses out of 24074 with flag 558866/171197
30.48/29.44	c cleaning 13011 clauses out of 26045 with flag 661780/185198
33.58/32.52	c cleaning 14007 clauses out of 28033 with flag 763114/200197
37.08/36.08	c cleaning 15002 clauses out of 30026 with flag 882760/216197
41.18/40.14	c cleaning 15998 clauses out of 32025 with flag 1008281/233198
45.88/44.83	c cleaning 17003 clauses out of 34027 with flag 1144033/251198
51.41/50.26	c cleaning 18005 clauses out of 36024 with flag 1286118/270198
51.92/50.74	c Got one! Elapsed wall clock time (in seconds):50.635
51.92/50.74	o 79
52.55/51.36	c cleaning 11733 clauses out of 23486 with flag 20420/275665
53.45/52.26	c cleaning 8871 clauses out of 17753 with flag 61765/281665
54.45/53.25	c cleaning 7936 clauses out of 15883 with flag 112657/288666
55.15/53.97	c Got one! Elapsed wall clock time (in seconds):53.862
55.15/53.97	o 78
55.55/54.34	c Got one! Elapsed wall clock time (in seconds):54.231
55.55/54.34	o 73
56.15/54.99	c cleaning 9315 clauses out of 18661 with flag 21788/299380
57.05/55.83	c cleaning 7662 clauses out of 15347 with flag 62664/305381
58.05/56.81	c cleaning 7334 clauses out of 14684 with flag 110463/312380
59.05/57.86	c cleaning 7665 clauses out of 15350 with flag 165855/320380
60.35/59.19	c cleaning 8337 clauses out of 16687 with flag 237783/329382
61.86/60.63	c cleaning 9164 clauses out of 18348 with flag 309942/339380
63.75/62.45	c cleaning 10084 clauses out of 20184 with flag 389385/350380
65.95/64.65	c cleaning 11039 clauses out of 22102 with flag 475480/362382
67.85/66.57	c Got one! Elapsed wall clock time (in seconds):66.465
67.85/66.57	o 62
69.05/67.75	c cleaning 14049 clauses out of 28114 with flag 31545/379433
70.15/68.81	c cleaning 10023 clauses out of 20063 with flag 75249/385431
71.25/69.94	c cleaning 8509 clauses out of 17040 with flag 126613/392431
72.35/71.09	c cleaning 8254 clauses out of 16531 with flag 184417/400431
73.65/72.35	c cleaning 8631 clauses out of 17277 with flag 248015/409431
75.05/73.76	c cleaning 9312 clauses out of 18646 with flag 312623/419431
76.85/75.50	c cleaning 10153 clauses out of 20334 with flag 381942/430431
79.16/77.74	c cleaning 11083 clauses out of 22183 with flag 467454/442433
81.86/80.47	c cleaning 12040 clauses out of 24099 with flag 565052/455432
84.85/83.42	c cleaning 13022 clauses out of 26062 with flag 659595/469435
87.85/86.46	c cleaning 14008 clauses out of 28037 with flag 762348/484432
91.67/90.24	c cleaning 15004 clauses out of 30028 with flag 880364/500431
95.66/94.20	c cleaning 16004 clauses out of 32025 with flag 1005442/517432
100.20/98.62	c cleaning 17000 clauses out of 34020 with flag 1125268/535431
104.90/103.38	c cleaning 18002 clauses out of 36022 with flag 1260961/554433
110.40/108.83	c cleaning 19001 clauses out of 38020 with flag 1408266/574433
116.30/114.79	c cleaning 20000 clauses out of 40019 with flag 1562772/595433
122.87/121.18	c cleaning 21002 clauses out of 42022 with flag 1730070/617436
129.86/128.19	c cleaning 21999 clauses out of 44015 with flag 1892957/640431
137.18/135.48	c cleaning 22998 clauses out of 46018 with flag 2057675/664433
144.67/142.98	c cleaning 23996 clauses out of 48019 with flag 2231787/689432
153.45/151.52	c cleaning 25005 clauses out of 50026 with flag 2413982/715435
162.15/160.21	c cleaning 26001 clauses out of 52018 with flag 2613141/742432
172.52/170.40	c Got one! Elapsed wall clock time (in seconds):170.294
172.52/170.40	o 56
172.52/170.46	c Got one! Elapsed wall clock time (in seconds):170.354
172.52/170.46	o 55
174.83/172.76	c cleaning 29278 clauses out of 58575 with flag 34980/774990
176.53/174.44	c cleaning 17639 clauses out of 35296 with flag 79488/780989
177.93/175.81	c cleaning 12317 clauses out of 24657 with flag 132405/787989
179.24/177.17	c cleaning 10156 clauses out of 20340 with flag 193289/795989
180.64/178.60	c cleaning 9580 clauses out of 19184 with flag 259805/804989
182.34/180.21	c cleaning 9790 clauses out of 19605 with flag 331320/814990
184.44/182.18	c cleaning 10395 clauses out of 20815 with flag 405412/825990
186.44/184.16	c cleaning 11200 clauses out of 22420 with flag 484415/837990
188.84/186.51	c cleaning 12095 clauses out of 24220 with flag 572794/850990
191.44/189.13	c cleaning 13054 clauses out of 26127 with flag 665878/864992
194.34/192.08	c cleaning 14024 clauses out of 28070 with flag 764365/879989
197.57/195.20	c cleaning 15008 clauses out of 30046 with flag 872035/895989
198.47/196.13	c Got one! Elapsed wall clock time (in seconds):196.03
198.47/196.13	o 53
199.38/197.10	c cleaning 12967 clauses out of 25946 with flag 31906/906897
200.38/198.08	c cleaning 9475 clauses out of 18979 with flag 73771/912897
201.37/199.01	c cleaning 8237 clauses out of 16506 with flag 124222/919899
202.37/200.04	c cleaning 8121 clauses out of 16270 with flag 173509/927900
203.47/201.15	c cleaning 8563 clauses out of 17147 with flag 231892/936898
204.97/202.61	c cleaning 9282 clauses out of 18585 with flag 296512/946899
206.49/204.18	c cleaning 10140 clauses out of 20302 with flag 369643/957898
208.48/206.14	c cleaning 11069 clauses out of 22161 with flag 456082/969897
210.78/208.47	c cleaning 12040 clauses out of 24098 with flag 549924/982903
213.38/211.09	c cleaning 13014 clauses out of 26052 with flag 643105/996897
216.38/214.03	c cleaning 14006 clauses out of 28038 with flag 747618/1011897
219.81/217.44	c cleaning 15006 clauses out of 30032 with flag 865847/1027897
223.52/221.16	c cleaning 16003 clauses out of 32028 with flag 987753/1044899
226.82/224.42	c Got one! Elapsed wall clock time (in seconds):224.318
226.82/224.42	o 52
226.82/224.50	c Got one! Elapsed wall clock time (in seconds):224.394
226.82/224.50	o 49
227.01/224.69	c Got one! Elapsed wall clock time (in seconds):224.585
227.01/224.69	o 46
227.71/225.35	c cleaning 18449 clauses out of 36933 with flag 18927/1065807
228.71/226.36	c cleaning 12222 clauses out of 24484 with flag 54700/1071807
229.83/227.48	c cleaning 9613 clauses out of 19266 with flag 103684/1078811
230.93/228.51	c cleaning 8804 clauses out of 17650 with flag 156104/1086808
232.03/229.69	c cleaning 8899 clauses out of 17845 with flag 217006/1095807
233.43/231.06	c cleaning 9454 clauses out of 18947 with flag 282447/1105808
234.14/231.76	c Got one! Elapsed wall clock time (in seconds):231.653
234.14/231.76	o 43
234.55/232.14	c cleaning 10216 clauses out of 20491 with flag 32867/1116806
235.14/232.74	c cleaning 8105 clauses out of 16276 with flag 75856/1122807
235.83/233.49	c cleaning 7557 clauses out of 15171 with flag 130370/1129807
237.06/234.62	c cleaning 7768 clauses out of 15614 with flag 197631/1137807
238.36/235.97	c cleaning 8384 clauses out of 16845 with flag 281510/1146806
239.96/237.58	c cleaning 9186 clauses out of 18461 with flag 376615/1156806
242.06/239.66	c cleaning 10093 clauses out of 20275 with flag 482671/1167806
244.36/241.98	c cleaning 11058 clauses out of 22182 with flag 598702/1179806
247.18/244.71	c cleaning 12025 clauses out of 24125 with flag 733313/1192807
249.88/247.43	c cleaning 13012 clauses out of 26099 with flag 869507/1206806
253.18/250.76	c cleaning 14005 clauses out of 28087 with flag 1010925/1221806
257.08/254.66	c cleaning 15001 clauses out of 30083 with flag 1163145/1237807
261.33/258.85	c cleaning 16000 clauses out of 32083 with flag 1319562/1254808
265.54/263.09	c cleaning 17003 clauses out of 34081 with flag 1480232/1272806
270.63/268.15	c cleaning 18001 clauses out of 36078 with flag 1650265/1291806
276.71/274.14	c cleaning 18999 clauses out of 38077 with flag 1839563/1311806
282.50/279.93	c cleaning 19999 clauses out of 40078 with flag 2034908/1332806
288.72/286.05	c cleaning 20996 clauses out of 42079 with flag 2237124/1354806
295.11/292.47	c cleaning 22004 clauses out of 44085 with flag 2444401/1377808
301.88/299.20	c cleaning 22999 clauses out of 46082 with flag 2654015/1401809
310.18/307.49	c cleaning 23998 clauses out of 48080 with flag 2879231/1426806
317.96/315.11	c cleaning 24995 clauses out of 50082 with flag 3121535/1452806
327.06/324.27	c cleaning 26006 clauses out of 52088 with flag 3393479/1479807
337.56/334.63	c cleaning 27001 clauses out of 54082 with flag 3676185/1507807
348.85/345.88	c cleaning 28001 clauses out of 56080 with flag 3975260/1536806
360.75/357.76	c cleaning 29001 clauses out of 58082 with flag 4274182/1566809
373.67/370.69	c cleaning 30003 clauses out of 60078 with flag 4600107/1597806
386.36/383.29	c cleaning 30998 clauses out of 62077 with flag 4923726/1629808
400.14/396.98	c cleaning 31999 clauses out of 64081 with flag 5275898/1662810
414.76/411.59	c cleaning 32997 clauses out of 66080 with flag 5606938/1696808
428.33/425.02	c cleaning 33998 clauses out of 68082 with flag 5936071/1731807
443.72/440.34	c cleaning 34999 clauses out of 70083 with flag 6304614/1767806
460.57/457.15	c cleaning 35999 clauses out of 72084 with flag 6676141/1804806
477.46/473.91	c cleaning 36999 clauses out of 74086 with flag 7031335/1842807
493.47/489.81	c cleaning 37998 clauses out of 76087 with flag 7381184/1881807
513.17/509.42	c cleaning 39005 clauses out of 78090 with flag 7785637/1921808
534.32/530.59	c cleaning 39996 clauses out of 80083 with flag 8207759/1962806
554.49/550.60	c cleaning 41002 clauses out of 82087 with flag 8603762/2004806
576.95/572.90	c cleaning 41996 clauses out of 84085 with flag 9024445/2047806
598.49/594.43	c cleaning 43001 clauses out of 86089 with flag 9459912/2091806
623.07/618.96	c cleaning 44004 clauses out of 88088 with flag 9878930/2136806
646.65/642.39	c cleaning 45001 clauses out of 90084 with flag 10303351/2182806
674.21/669.82	c cleaning 46003 clauses out of 92085 with flag 10746999/2229808
702.09/697.51	c cleaning 47000 clauses out of 94080 with flag 11164343/2277806
708.08/703.54	c Got one! Elapsed wall clock time (in seconds):703.438
708.08/703.54	o 30
708.50/704.00	c cleaning 33576 clauses out of 67167 with flag 31814/2297893
709.00/704.44	c cleaning 19783 clauses out of 39590 with flag 68420/2303892
709.74/705.18	c cleaning 13388 clauses out of 26809 with flag 114679/2310894
710.53/705.94	c cleaning 10697 clauses out of 21420 with flag 170684/2318893
711.43/706.82	c cleaning 9851 clauses out of 19727 with flag 238597/2327897
712.43/707.83	c cleaning 9925 clauses out of 19873 with flag 313568/2337894
713.74/709.13	c cleaning 10455 clauses out of 20946 with flag 393031/2348892
715.14/710.59	c cleaning 11235 clauses out of 22493 with flag 490816/2360894
716.99/712.35	c cleaning 12113 clauses out of 24256 with flag 600608/2373892
719.19/714.50	c cleaning 13063 clauses out of 26143 with flag 721469/2387892
721.50/716.85	c cleaning 14028 clauses out of 28080 with flag 843005/2402892
722.62/717.99	c Got one! Elapsed wall clock time (in seconds):717.886
722.62/717.99	o 29
723.05/718.35	c cleaning 13955 clauses out of 27934 with flag 31751/2416774
723.44/718.79	c cleaning 9980 clauses out of 19979 with flag 67232/2422774
724.04/719.35	c cleaning 8490 clauses out of 16999 with flag 111692/2429774
724.25/719.51	c Got one! Elapsed wall clock time (in seconds):719.402
724.25/719.51	o 27
724.44/719.77	c cleaning 7173 clauses out of 14369 with flag 16656/2435634
724.97/720.25	c cleaning 6590 clauses out of 13197 with flag 50724/2441635
725.07/720.38	c Got one! Elapsed wall clock time (in seconds):720.276
725.07/720.38	o 24
725.27/720.51	c Got one! Elapsed wall clock time (in seconds):720.408
725.27/720.51	o 21
725.27/720.58	c cleaning 6112 clauses out of 12241 with flag 5313/2447269
725.77/721.04	c cleaning 6052 clauses out of 12128 with flag 45250/2453268
726.37/721.63	c cleaning 6523 clauses out of 13076 with flag 89609/2460268
727.17/722.43	c cleaning 7268 clauses out of 14555 with flag 151467/2468270
728.21/723.48	c cleaning 8131 clauses out of 16286 with flag 220981/2477269
729.41/724.65	c cleaning 9070 clauses out of 18154 with flag 293337/2487268
730.92/726.11	c cleaning 10025 clauses out of 20085 with flag 372775/2498269
732.74/727.93	c cleaning 11021 clauses out of 22061 with flag 464745/2510270
734.84/730.01	c cleaning 12004 clauses out of 24038 with flag 558742/2523268
737.27/732.42	c cleaning 13006 clauses out of 26036 with flag 656430/2537270
739.96/735.14	c cleaning 14006 clauses out of 28030 with flag 759730/2552270
743.22/738.36	c cleaning 15000 clauses out of 30023 with flag 865314/2568269
746.72/741.85	c cleaning 15999 clauses out of 32023 with flag 979419/2585269
750.68/745.76	c cleaning 17003 clauses out of 34024 with flag 1098720/2603269
755.14/750.18	c cleaning 18002 clauses out of 36025 with flag 1229898/2622273
760.04/755.04	c cleaning 19000 clauses out of 38021 with flag 1370346/2642271
765.20/760.17	c cleaning 19998 clauses out of 40019 with flag 1515765/2663269
769.45/764.34	c Got one! Elapsed wall clock time (in seconds):764.239
769.45/764.34	o 20
770.15/765.05	c cleaning 20582 clauses out of 41186 with flag 31765/2684434
770.76/765.66	c cleaning 13292 clauses out of 26603 with flag 70033/2690433
770.95/765.82	c Got one! Elapsed wall clock time (in seconds):765.718
770.95/765.82	o 18
771.07/765.92	c Got one! Elapsed wall clock time (in seconds):765.812
771.07/765.92	o 8
771.27/766.11	c cleaning 9418 clauses out of 18853 with flag 12144/2695975
771.77/766.61	c cleaning 7704 clauses out of 15434 with flag 48926/2701974
772.40/767.21	c cleaning 7354 clauses out of 14730 with flag 92243/2708974
773.20/768.01	c cleaning 7677 clauses out of 15376 with flag 147962/2716974
774.00/768.89	c cleaning 8344 clauses out of 16701 with flag 208459/2725976
775.23/770.07	c cleaning 9165 clauses out of 18356 with flag 278089/2735975
776.52/771.35	c cleaning 10085 clauses out of 20190 with flag 348898/2746974
778.02/772.80	c cleaning 11050 clauses out of 22107 with flag 431320/2758976
779.93/774.74	c cleaning 12018 clauses out of 24055 with flag 519599/2771974
780.63/775.47	c Got one! Elapsed wall clock time (in seconds):775.364
780.63/775.47	o 7
781.43/776.28	c cleaning 11782 clauses out of 23574 with flag 32395/2783511
782.15/776.98	c cleaning 8887 clauses out of 17789 with flag 74589/2789508
782.85/777.63	c cleaning 7945 clauses out of 15904 with flag 120938/2796510
783.65/778.45	c cleaning 7970 clauses out of 15957 with flag 176225/2804508
784.55/779.35	c cleaning 8485 clauses out of 16988 with flag 241246/2813509
785.77/780.55	c cleaning 9245 clauses out of 18504 with flag 309105/2823510
785.97/780.77	c Got one! Elapsed wall clock time (in seconds):780.669
785.97/780.77	o 6
786.17/780.98	c cleaning 7497 clauses out of 15042 with flag 17024/2829293
786.67/781.47	c cleaning 6747 clauses out of 13545 with flag 59784/2835293
787.27/782.03	c cleaning 6872 clauses out of 13797 with flag 111165/2842292
788.10/782.84	c cleaning 7438 clauses out of 14925 with flag 175348/2850292
789.10/783.85	c cleaning 8224 clauses out of 16489 with flag 251503/2859294
790.31/785.05	c cleaning 9116 clauses out of 18263 with flag 334608/2869292
791.71/786.43	c cleaning 10055 clauses out of 20148 with flag 425599/2880293
793.41/788.19	c cleaning 11025 clauses out of 22092 with flag 526299/2892292
795.44/790.12	c cleaning 12018 clauses out of 24067 with flag 636015/2905292
797.98/792.60	c cleaning 13008 clauses out of 26052 with flag 757413/2919295
800.79/795.42	c cleaning 14006 clauses out of 28041 with flag 880131/2934292
804.34/798.92	c cleaning 14997 clauses out of 30035 with flag 1009415/2950292
806.03/800.53	c cleaning 16000 clauses out of 32042 with flag 1126746/2967296
808.13/802.61	c cleaning 17010 clauses out of 34039 with flag 1246355/2985293
810.45/804.92	c cleaning 17991 clauses out of 36028 with flag 1389637/3004292
814.01/808.43	c cleaning 18997 clauses out of 38037 with flag 1552863/3024292
817.74/812.19	c cleaning 19992 clauses out of 40041 with flag 1728616/3045293
822.23/816.51	c cleaning 20997 clauses out of 42048 with flag 1921095/3067292
827.07/821.31	c cleaning 22003 clauses out of 44051 with flag 2131576/3090292
832.31/826.56	c cleaning 23007 clauses out of 46048 with flag 2357177/3114292
837.90/832.00	c cleaning 23998 clauses out of 48041 with flag 2577903/3139292
844.16/838.26	c cleaning 25006 clauses out of 50043 with flag 2830243/3165292
850.21/844.24	c cleaning 26000 clauses out of 52038 with flag 3085816/3192293
856.68/850.66	c cleaning 26997 clauses out of 54037 with flag 3333435/3220292
861.80/855.75	c cleaning 28000 clauses out of 56042 with flag 3551154/3249294
869.15/863.04	c cleaning 29000 clauses out of 58041 with flag 3789433/3279293
877.49/871.34	c cleaning 29997 clauses out of 60040 with flag 4032191/3310292
888.82/882.50	c cleaning 31002 clauses out of 62043 with flag 4290230/3342292
899.96/893.69	c cleaning 31996 clauses out of 64042 with flag 4588747/3375293
912.03/905.67	c cleaning 33001 clauses out of 66045 with flag 4920211/3409292
924.41/917.94	c cleaning 34001 clauses out of 68047 with flag 5282645/3444295
936.30/929.72	c cleaning 35003 clauses out of 70043 with flag 5601318/3480292
950.22/943.52	c cleaning 36001 clauses out of 72040 with flag 5956992/3517292
965.95/959.12	c cleaning 36994 clauses out of 74039 with flag 6361590/3555292
982.66/975.74	c cleaning 38005 clauses out of 76046 with flag 6756083/3594293
998.50/991.45	c cleaning 38999 clauses out of 78041 with flag 7140390/3634293
1014.54/1007.34	c cleaning 39998 clauses out of 80041 with flag 7498986/3675292
1032.97/1025.61	c cleaning 41005 clauses out of 82043 with flag 7902915/3717292
1051.85/1044.37	c cleaning 41994 clauses out of 84038 with flag 8313423/3760292
1071.45/1063.86	c cleaning 43005 clauses out of 86045 with flag 8737343/3804293
1094.02/1086.28	c cleaning 44004 clauses out of 88043 with flag 9175195/3849296
1118.64/1110.60	c cleaning 45001 clauses out of 90037 with flag 9646640/3895294
1144.26/1136.06	c cleaning 45996 clauses out of 92034 with flag 10130507/3942292
1168.04/1159.61	c cleaning 47006 clauses out of 94044 with flag 10600551/3990298
1192.10/1183.44	c cleaning 47988 clauses out of 96032 with flag 11065404/4039292
1218.20/1209.20	c cleaning 49000 clauses out of 98046 with flag 11510725/4089294
1245.82/1236.65	c cleaning 50002 clauses out of 100045 with flag 11999155/4140293
1275.86/1266.36	c cleaning 51001 clauses out of 102042 with flag 12506373/4192292
1307.98/1298.18	c cleaning 51999 clauses out of 104044 with flag 13025805/4245295
1340.34/1330.19	c cleaning 52999 clauses out of 106044 with flag 13580410/4299294
1369.77/1359.21	c cleaning 53994 clauses out of 108043 with flag 14098935/4354292
1399.87/1389.06	c cleaning 55004 clauses out of 110052 with flag 14638776/4410295
1436.94/1425.77	c cleaning 56003 clauses out of 112045 with flag 15202943/4467292
1456.05/1444.67	c cleaning 56994 clauses out of 114043 with flag 15685076/4525293
1481.24/1469.68	c cleaning 58002 clauses out of 116048 with flag 16091551/4584292
1495.63/1483.71	c cleaning 58994 clauses out of 118048 with flag 16571643/4644294
1521.87/1509.76	c cleaning 60003 clauses out of 120058 with flag 17069656/4705298
1532.85/1520.43	c cleaning 60985 clauses out of 122051 with flag 17483928/4767294
1560.09/1547.59	c cleaning 62002 clauses out of 124069 with flag 17925591/4830297
1572.46/1559.68	c cleaning 62990 clauses out of 126062 with flag 18354011/4894292
1596.85/1583.88	c cleaning 63980 clauses out of 128075 with flag 18842320/4959295
1618.34/1605.01	c cleaning 64976 clauses out of 130092 with flag 19300016/5025292
1657.22/1643.71	c cleaning 65984 clauses out of 132116 with flag 19799138/5092292
1691.73/1677.99	c cleaning 66999 clauses out of 134133 with flag 20306818/5160293
1715.78/1701.52	c cleaning 68022 clauses out of 136135 with flag 20804499/5229294
1746.13/1731.65	c cleaning 69018 clauses out of 138112 with flag 21307331/5299293
1763.51/1748.72	c cleaning 69988 clauses out of 140094 with flag 21820909/5370293
1785.51/1770.40	c cleaning 71028 clauses out of 142105 with flag 22315310/5442292
1800.01/1784.80	c starts		: 926
1800.01/1784.80	c conflicts		: 5488317
1800.01/1784.80	c decisions		: 8952776
1800.01/1784.80	c propagations		: 96452337
1800.01/1784.80	c inspects		: 32590261978
1800.01/1784.80	c shortcuts		: 0
1800.01/1784.80	c learnt literals	: 0
1800.01/1784.80	c learnt binary clauses	: 0
1800.01/1784.80	c learnt ternary clauses	: 0
1800.01/1784.80	c learnt constraints	: 5488317
1800.01/1784.80	c ignored constraints	: 0
1800.01/1784.80	c root simplifications	: 0
1800.01/1784.80	c removed literals (reason simplification)	: 0
1800.01/1784.80	c reason swapping (by a shorter reason)	: 0
1800.01/1784.80	c Calls to reduceDB	: 253
1800.01/1784.80	c Number of update (reduction) of LBD	: 2635959
1800.01/1784.80	c Imported unit clauses	: 0
1800.01/1784.80	c number of reductions to clauses (during analyze)	: 0
1800.01/1784.80	c number of learned constraints concerned by reduction	: 0
1800.01/1784.80	c number of learning phase by resolution	: 0
1800.01/1784.80	c number of learning phase by cutting planes	: 0
1800.01/1784.80	c speed (assignments/second)	: 54049.82045471357
1800.01/1784.80	c non guided choices	388419
1800.01/1784.83	c learnt constraints type 
1800.01/1784.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 117102
1800.01/1784.83	s SATISFIABLE
1800.01/1784.83	c Found 25 solution(s)
1800.01/1784.84	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 
1800.01/1784.88	c objective function=6
1800.01/1784.88	c Total wall clock time (in seconds): 1784.771

OK	6

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4090870-1466066094/watcher-4090870-1466066094 -o /tmp/evaluation-result-4090870-1466066094/solver-4090870-1466066094 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466062123-7959 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090870-1466066094.wbo 

pid=8648
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.07 2.05 1.96 3/194 8651
/proc/meminfo: memFree=31678348/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 2 0 8656014 95129600 927 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 23225 927 703 9 0 16769 0
[pid=8651/tid=8652] ppid=8648 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) D 8648 8651 7942 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 8656014 95129600 927 33554432000 1073741824 1073778376 140735739963248 140605386710568 262953594151 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0

[startup+0.100159 s]
/proc/loadavg: 2.07 2.05 1.96 3/194 8651
/proc/meminfo: memFree=31678348/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 4429 0 1 0 9 1 0 0 20 0 18 0 8656014 9787879424 6058 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 2389619 6059 2147 9 0 2380296 0
[pid=8651/tid=8652] ppid=8648 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) R 8648 8651 7942 0 -1 4202560 2377 0 1 0 7 0 0 0 20 0 18 0 8656014 9787879424 6063 33554432000 1073741824 1073778376 140735739963248 140605386713800 140605389536932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200364 s]
/proc/loadavg: 2.07 2.05 1.96 3/194 8651
/proc/meminfo: memFree=31678348/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 4986 0 1 0 27 1 0 0 20 0 18 0 8656014 9787879424 7449 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 2389619 7449 2217 9 0 2380296 0
[pid=8651/tid=8652] ppid=8648 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) R 8648 8651 7942 0 -1 4202560 2397 0 1 0 17 0 0 0 20 0 18 0 8656014 9787879424 7449 33554432000 1073741824 1073778376 140735739963248 140605386713800 140605234024562 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300382 s]
/proc/loadavg: 2.07 2.05 1.96 3/194 8651
/proc/meminfo: memFree=31678348/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 7470 0 1 0 54 2 0 0 20 0 19 0 8656014 9856040960 10357 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 2406260 10357 2241 9 0 2396937 0
[pid=8651/tid=8652] ppid=8648 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) R 8648 8651 7942 0 -1 4202560 2424 0 1 0 26 1 0 0 20 0 19 0 8656014 9856040960 10357 33554432000 1073741824 1073778376 140735739963248 140605386715776 140605233820768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9625040

[startup+0.700224 s]
/proc/loadavg: 2.07 2.05 1.96 3/194 8651
/proc/meminfo: memFree=31678348/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 11504 0 1 0 144 3 0 0 20 0 19 0 8656014 9856040960 13306 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 2406260 13306 2261 9 0 2396937 0
[pid=8651/tid=8652] ppid=8648 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) R 8648 8651 7942 0 -1 4202560 2426 0 1 0 65 2 0 0 20 0 19 0 8656014 9856040960 13306 33554432000 1073741824 1073778376 140735739963248 140605386715720 140605233675551 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.07 2.05 1.96 5/213 8670
/proc/meminfo: memFree=31615876/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=9625040 CPUtime=2.3 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 11519 0 1 0 227 3 0 0 20 0 19 0 8656014 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 2406260 15874 2267 9 0 2396937 0
[pid=8651/tid=8652] ppid=8648 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) R 8648 8651 7942 0 -1 4202560 2432 0 1 0 145 2 0 0 20 0 19 0 8656014 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140605386715416 140605234159680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8654] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8654/stat : 8654 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140605359168168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8655] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8655/stat : 8655 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140605358115624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8656] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8656/stat : 8656 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140605357063080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8657] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8657/stat : 8657 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140605356010536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8658] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8658/stat : 8658 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140605354956968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8659] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8659/stat : 8659 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140605353904424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8660] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8660/stat : 8660 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140605352851880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8661] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8661/stat : 8661 (java) S 8648 8651 7942 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140605222595112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8662] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8662/stat : 8662 (java) S 8648 8651 7942 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8656016 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140604739648104 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8663] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8663/stat : 8663 (java) S 8648 8651 7942 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140604738594424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8664] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8664/stat : 8664 (java) S 8648 8651 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140604737541768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8665] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8665/stat : 8665 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140604736490512 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8666] ppid=8648 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/8651/task/8666/stat : 8666 (java) S 8648 8651 7942 0 -1 4202560 5061 0 0 0 45 0 0 0 20 0 19 0 8656019 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140604735436856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8667] ppid=8648 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/8651/task/8667/stat : 8667 (java) S 8648 8651 7942 0 -1 4202560 2750 0 0 0 35 0 0 0 20 0 19 0 8656019 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140604734384312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8668] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8668/stat : 8668 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140604733331960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8669] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8669/stat : 8669 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140604732279624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8670] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8670/stat : 8670 (java) S 8648 8651 7942 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8656044 9856040960 15874 33554432000 1073741824 1073778376 140735739963248 140604731225384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.07 2.04 1.96 3/213 8670
/proc/meminfo: memFree=31592124/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 11529 0 1 0 390 4 0 0 20 0 19 0 8656014 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 2406260 20482 2267 9 0 2396937 0
[pid=8651/tid=8652] ppid=8648 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) R 8648 8651 7942 0 -1 4202560 2442 0 1 0 304 2 0 0 20 0 19 0 8656014 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140605386715448 140605234212436 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8654] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8654/stat : 8654 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140605359168168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8655] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8655/stat : 8655 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140605358115624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8656] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8656/stat : 8656 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140605357063080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8657] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8657/stat : 8657 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140605356010536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8658] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8658/stat : 8658 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140605354956968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8659] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8659/stat : 8659 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140605353904424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8660] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8660/stat : 8660 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140605352851880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8661] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8661/stat : 8661 (java) S 8648 8651 7942 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140605222595112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8662] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8662/stat : 8662 (java) S 8648 8651 7942 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8656016 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140604739648104 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8663] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8663/stat : 8663 (java) S 8648 8651 7942 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140604738594424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8664] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8664/stat : 8664 (java) S 8648 8651 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140604737541768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8665] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8665/stat : 8665 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140604736490512 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8666] ppid=8648 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/8651/task/8666/stat : 8666 (java) S 8648 8651 7942 0 -1 4202560 5061 0 0 0 47 0 0 0 20 0 19 0 8656019 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140604735436856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8667] ppid=8648 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/8651/task/8667/stat : 8667 (java) S 8648 8651 7942 0 -1 4202560 2750 0 0 0 37 0 0 0 20 0 19 0 8656019 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140604734384312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8668] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8668/stat : 8668 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140604733331960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8669] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8669/stat : 8669 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140604732279624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8670] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8670/stat : 8670 (java) S 8648 8651 7942 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8656044 9856040960 20482 33554432000 1073741824 1073778376 140735739963248 140604731225384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.07 2.04 1.96 3/213 8670
/proc/meminfo: memFree=31536616/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=9625040 CPUtime=7.17 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 11549 0 1 0 712 5 0 0 20 0 19 0 8656014 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 2406260 28089 2268 9 0 2396937 0
[pid=8651/tid=8652] ppid=8648 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) R 8648 8651 7942 0 -1 4202560 2458 0 1 0 621 2 0 0 20 0 19 0 8656014 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140605386706640 140605234212375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8654] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8654/stat : 8654 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140605359168168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8655] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8655/stat : 8655 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140605358115624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8656] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8656/stat : 8656 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140605357063080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8657] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8657/stat : 8657 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140605356010536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8658] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8658/stat : 8658 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140605354956968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8659] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8659/stat : 8659 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140605353904424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8660] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8660/stat : 8660 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140605352851880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8661] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8661/stat : 8661 (java) S 8648 8651 7942 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8656015 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140605222595112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8662] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8662/stat : 8662 (java) S 8648 8651 7942 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8656016 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140604739648104 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8663] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8663/stat : 8663 (java) S 8648 8651 7942 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140604738594424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8664] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8664/stat : 8664 (java) S 8648 8651 7942 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140604737541768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8665] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8665/stat : 8665 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140604736490512 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8666] ppid=8648 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/8651/task/8666/stat : 8666 (java) S 8648 8651 7942 0 -1 4202560 5064 0 0 0 50 0 0 0 20 0 19 0 8656019 9856040960 28089 33554432000 1073741824 1073778376 140735739963248 140604735436856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8667] ppid=8648 vsize=9625040 CPUtime=0.38 cores=1,3,5,7

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

[pid=8651/tid=8670] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8670/stat : 8670 (java) S 8648 8651 7942 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8656044 9856040960 105651 33554432000 1073741824 1073778376 140735739963248 140604731225384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1676
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.34 2.13 2.04 3/213 8736
/proc/meminfo: memFree=30865428/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=9625040 CPUtime=1736.81 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 31229 0 1 0 173513 168 0 0 20 0 19 0 8656014 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 2406260 120136 2290 9 0 2396937 0
[pid=8651/tid=8652] ppid=8648 vsize=9625040 CPUtime=1707.74 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) R 8648 8651 7942 0 -1 4202560 2852 0 1 0 170738 36 0 0 20 0 19 0 8656014 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140605386714352 140605234199738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8654] ppid=8648 vsize=9625040 CPUtime=2.54 cores=1,3,5,7
/proc/8651/task/8654/stat : 8654 (java) S 8648 8651 7942 0 -1 4202560 2764 0 0 0 238 16 0 0 20 0 19 0 8656015 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140605359168168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8655] ppid=8648 vsize=9625040 CPUtime=2.5 cores=1,3,5,7
/proc/8651/task/8655/stat : 8655 (java) S 8648 8651 7942 0 -1 4202560 2546 0 0 0 234 16 0 0 20 0 19 0 8656015 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140605358115624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8656] ppid=8648 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/8651/task/8656/stat : 8656 (java) S 8648 8651 7942 0 -1 4202560 2296 0 0 0 217 14 0 0 20 0 19 0 8656015 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140605357063080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8657] ppid=8648 vsize=9625040 CPUtime=2.44 cores=1,3,5,7
/proc/8651/task/8657/stat : 8657 (java) S 8648 8651 7942 0 -1 4202560 1995 0 0 0 229 15 0 0 20 0 19 0 8656015 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140605356010536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8658] ppid=8648 vsize=9625040 CPUtime=2.26 cores=1,3,5,7
/proc/8651/task/8658/stat : 8658 (java) S 8648 8651 7942 0 -1 4202560 2001 0 0 0 212 14 0 0 20 0 19 0 8656015 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140605354956968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8659] ppid=8648 vsize=9625040 CPUtime=2.39 cores=1,3,5,7
/proc/8651/task/8659/stat : 8659 (java) S 8648 8651 7942 0 -1 4202560 2103 0 0 0 221 18 0 0 20 0 19 0 8656015 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140605353904424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8660] ppid=8648 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/8651/task/8660/stat : 8660 (java) S 8648 8651 7942 0 -1 4202560 1692 0 0 0 209 14 0 0 20 0 19 0 8656015 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140605352851880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8661] ppid=8648 vsize=9625040 CPUtime=2.35 cores=1,3,5,7
/proc/8651/task/8661/stat : 8661 (java) S 8648 8651 7942 0 -1 4202560 2639 0 0 0 219 16 0 0 20 0 19 0 8656015 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140605222595112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8662] ppid=8648 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/8651/task/8662/stat : 8662 (java) S 8648 8651 7942 0 -1 4202560 1156 0 0 0 410 7 0 0 20 0 19 0 8656016 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140604739648104 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8663] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8663/stat : 8663 (java) S 8648 8651 7942 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140604738594424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8664] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8664/stat : 8664 (java) S 8648 8651 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140604737541768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8665] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8665/stat : 8665 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140604736490512 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8666] ppid=8648 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/8651/task/8666/stat : 8666 (java) S 8648 8651 7942 0 -1 4202560 5073 0 0 0 68 2 0 0 20 0 19 0 8656019 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140604735436856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8667] ppid=8648 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/8651/task/8667/stat : 8667 (java) S 8648 8651 7942 0 -1 4202560 2751 0 0 0 45 0 0 0 20 0 19 0 8656019 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140604734384312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8668] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8668/stat : 8668 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140604733331960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8669] ppid=8648 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/8651/task/8669/stat : 8669 (java) S 8648 8651 7942 0 -1 4202560 99 0 0 0 25 30 0 0 20 0 19 0 8656019 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140604732279624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8670] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8670/stat : 8670 (java) S 8648 8651 7942 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8656044 9856040960 120136 33554432000 1073741824 1073778376 140735739963248 140604731225384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1736.81
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.18 2.12 2.04 3/213 8804
/proc/meminfo: memFree=31281208/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=9625040 CPUtime=1797.51 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 31301 0 1 0 179579 172 0 0 20 0 19 0 8656014 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 2406260 119467 2290 9 0 2396937 0
[pid=8651/tid=8652] ppid=8648 vsize=9625040 CPUtime=1767 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) R 8648 8651 7942 0 -1 4202560 2865 0 1 0 176662 38 0 0 20 0 19 0 8656014 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605386714352 140605234212375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8654] ppid=8648 vsize=9625040 CPUtime=2.67 cores=1,3,5,7
/proc/8651/task/8654/stat : 8654 (java) S 8648 8651 7942 0 -1 4202560 2769 0 0 0 251 16 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605359168168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8655] ppid=8648 vsize=9625040 CPUtime=2.63 cores=1,3,5,7
/proc/8651/task/8655/stat : 8655 (java) S 8648 8651 7942 0 -1 4202560 2551 0 0 0 246 17 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605358115624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8656] ppid=8648 vsize=9625040 CPUtime=2.45 cores=1,3,5,7
/proc/8651/task/8656/stat : 8656 (java) S 8648 8651 7942 0 -1 4202560 2302 0 0 0 230 15 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605357063080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8657] ppid=8648 vsize=9625040 CPUtime=2.56 cores=1,3,5,7
/proc/8651/task/8657/stat : 8657 (java) S 8648 8651 7942 0 -1 4202560 2000 0 0 0 240 16 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605356010536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8658] ppid=8648 vsize=9625040 CPUtime=2.38 cores=1,3,5,7
/proc/8651/task/8658/stat : 8658 (java) S 8648 8651 7942 0 -1 4202560 2006 0 0 0 224 14 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605354956968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8659] ppid=8648 vsize=9625040 CPUtime=2.51 cores=1,3,5,7
/proc/8651/task/8659/stat : 8659 (java) S 8648 8651 7942 0 -1 4202560 2111 0 0 0 233 18 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605353904424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8660] ppid=8648 vsize=9625040 CPUtime=2.37 cores=1,3,5,7
/proc/8651/task/8660/stat : 8660 (java) S 8648 8651 7942 0 -1 4202560 1700 0 0 0 222 15 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605352851880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8661] ppid=8648 vsize=9625040 CPUtime=2.48 cores=1,3,5,7
/proc/8651/task/8661/stat : 8661 (java) S 8648 8651 7942 0 -1 4202560 2643 0 0 0 232 16 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605222595112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8662] ppid=8648 vsize=9625040 CPUtime=4.45 cores=1,3,5,7
/proc/8651/task/8662/stat : 8662 (java) S 8648 8651 7942 0 -1 4202560 1165 0 0 0 438 7 0 0 20 0 19 0 8656016 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604739648104 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8663] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8663/stat : 8663 (java) S 8648 8651 7942 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604738594424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8664] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8664/stat : 8664 (java) S 8648 8651 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604737541768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8665] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8665/stat : 8665 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604736490512 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8666] ppid=8648 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/8651/task/8666/stat : 8666 (java) S 8648 8651 7942 0 -1 4202560 5073 0 0 0 68 2 0 0 20 0 19 0 8656019 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604735436856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8667] ppid=8648 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/8651/task/8667/stat : 8667 (java) S 8648 8651 7942 0 -1 4202560 2751 0 0 0 45 0 0 0 20 0 19 0 8656019 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604734384312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8668] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8668/stat : 8668 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604733331960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8669] ppid=8648 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/8651/task/8669/stat : 8669 (java) S 8648 8651 7942 0 -1 4202560 103 0 0 0 26 31 0 0 20 0 19 0 8656019 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604732279624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8670] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8670/stat : 8670 (java) S 8648 8651 7942 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8656044 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604731225384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.8 s]
/proc/loadavg: 2.25 2.14 2.04 3/213 8804
/proc/meminfo: memFree=31250876/32872528 swapFree=302776/319128
[pid=8651] ppid=8648 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/8651/stat : 8651 (java) S 8648 8651 7942 0 -1 4202496 31301 0 1 0 179829 172 0 0 20 0 19 0 8656014 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140735739954384 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8651/statm: 2406260 119467 2290 9 0 2396937 0
[pid=8651/tid=8652] ppid=8648 vsize=9625040 CPUtime=1769.49 cores=1,3,5,7
/proc/8651/task/8652/stat : 8652 (java) R 8648 8651 7942 0 -1 4202560 2865 0 1 0 176911 38 0 0 20 0 19 0 8656014 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605386714352 140605234159680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8654] ppid=8648 vsize=9625040 CPUtime=2.67 cores=1,3,5,7
/proc/8651/task/8654/stat : 8654 (java) S 8648 8651 7942 0 -1 4202560 2769 0 0 0 251 16 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605359168168 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8655] ppid=8648 vsize=9625040 CPUtime=2.63 cores=1,3,5,7
/proc/8651/task/8655/stat : 8655 (java) S 8648 8651 7942 0 -1 4202560 2551 0 0 0 246 17 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605358115624 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8656] ppid=8648 vsize=9625040 CPUtime=2.45 cores=1,3,5,7
/proc/8651/task/8656/stat : 8656 (java) S 8648 8651 7942 0 -1 4202560 2302 0 0 0 230 15 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605357063080 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8657] ppid=8648 vsize=9625040 CPUtime=2.56 cores=1,3,5,7
/proc/8651/task/8657/stat : 8657 (java) S 8648 8651 7942 0 -1 4202560 2000 0 0 0 240 16 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605356010536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8658] ppid=8648 vsize=9625040 CPUtime=2.38 cores=1,3,5,7
/proc/8651/task/8658/stat : 8658 (java) S 8648 8651 7942 0 -1 4202560 2006 0 0 0 224 14 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605354956968 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8659] ppid=8648 vsize=9625040 CPUtime=2.51 cores=1,3,5,7
/proc/8651/task/8659/stat : 8659 (java) S 8648 8651 7942 0 -1 4202560 2111 0 0 0 233 18 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605353904424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8660] ppid=8648 vsize=9625040 CPUtime=2.37 cores=1,3,5,7
/proc/8651/task/8660/stat : 8660 (java) S 8648 8651 7942 0 -1 4202560 1700 0 0 0 222 15 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605352851880 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8661] ppid=8648 vsize=9625040 CPUtime=2.48 cores=1,3,5,7
/proc/8651/task/8661/stat : 8661 (java) S 8648 8651 7942 0 -1 4202560 2643 0 0 0 232 16 0 0 20 0 19 0 8656015 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140605222595112 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8662] ppid=8648 vsize=9625040 CPUtime=4.45 cores=1,3,5,7
/proc/8651/task/8662/stat : 8662 (java) S 8648 8651 7942 0 -1 4202560 1165 0 0 0 438 7 0 0 20 0 19 0 8656016 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604739648104 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8651/tid=8663] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8663/stat : 8663 (java) S 8648 8651 7942 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604738594424 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8664] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8664/stat : 8664 (java) S 8648 8651 7942 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8656017 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604737541768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8665] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8665/stat : 8665 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604736490512 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8666] ppid=8648 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/8651/task/8666/stat : 8666 (java) S 8648 8651 7942 0 -1 4202560 5073 0 0 0 68 2 0 0 20 0 19 0 8656019 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604735436856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8651/tid=8667] ppid=8648 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/8651/task/8667/stat : 8667 (java) S 8648 8651 7942 0 -1 4202560 2751 0 0 0 45 0 0 0 20 0 19 0 8656019 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604734384312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8668] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8668/stat : 8668 (java) S 8648 8651 7942 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8656019 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604733331960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8651/tid=8669] ppid=8648 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/8651/task/8669/stat : 8669 (java) S 8648 8651 7942 0 -1 4202560 103 0 0 0 26 31 0 0 20 0 19 0 8656019 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604732279624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8651/tid=8670] ppid=8648 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8651/task/8670/stat : 8670 (java) S 8648 8651 7942 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8656044 9856040960 119467 33554432000 1073741824 1073778376 140735739963248 140604731225384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8651 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8651 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=989272
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=201665
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1784.89
CPU time (s): 1800.01
CPU user time (s): 1798.29
CPU system time (s): 1.72
CPU usage (%): 100.847
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 2.20167
maximum resident set size= 693800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31350
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48866
involuntary context switches= 43807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.92949 second user time and 13.9059 second system time

The end

Begin job on node128 at 2016-06-16 10:34:54
IDJOB=4090870
IDBENCH=79158
IDSOLVER=2551
FILE ID=node128/4090870-1466066094
RUNJOBID= node128-1466062123-7959
PBS_JOBID= 19904011
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090870-1466066094/watcher-4090870-1466066094 -o /tmp/evaluation-result-4090870-1466066094/solver-4090870-1466066094 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466062123-7959 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090870-1466066094.wbo

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

MD5SUM BENCH= 6f81f937ed71e1dab8ff48fcb963c1e2
RANDOM SEED=821596521

node128.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.768
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.53
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.768
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	: 5332.55
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.768
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	: 5332.56
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.768
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	: 5332.55
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.768
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	: 5332.57
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.768
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	: 5332.56
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.768
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	: 5332.56
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.768
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31679348 kB
Buffers:            6564 kB
Cached:            37692 kB
SwapCached:         2108 kB
Active:           134548 kB
Inactive:          23320 kB
Active(anon):     114380 kB
Inactive(anon):     1720 kB
Active(file):      20168 kB
Inactive(file):    21600 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098956 kB
Dirty:              1860 kB
Writeback:             0 kB
AnonPages:        491024 kB
Mapped:            15012 kB
Shmem:                 0 kB
Slab:             565072 kB
SReclaimable:       8568 kB
SUnreclaim:       556504 kB
KernelStack:        1768 kB
PageTables:         5160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1008028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    161792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node128 at 2016-06-16 11:04:39