0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Glucose 2.1 dynamic restart strategy
0.07/0.12	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.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-4101605-1466224168.opb
0.07/0.12	c reading problem ... 
0.07/0.13	c  objective function found
0.80/0.41	c ... done. Wall clock time 0.283s.
0.80/0.41	c declared #vars     7195
0.80/0.41	c #constraints  958
0.80/0.41	c constraints type 
0.80/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29
0.80/0.41	c org.sat4j.minisat.constraints.card.MinWatchCard => 29
0.80/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 900
0.80/0.41	c 958 constraints processed.
0.80/0.41	c objective function length is 421 literals
2.30/1.42	c cleaning 2500 clauses out of 5002 with flag 12533/5002
3.09/2.17	c cleaning 4247 clauses out of 8504 with flag 28407/11004
3.92/2.94	c cleaning 5625 clauses out of 11258 with flag 47593/18005
4.93/3.99	c cleaning 6808 clauses out of 13632 with flag 71691/26004
6.38/5.34	c cleaning 7910 clauses out of 15827 with flag 100428/35007
7.60/6.55	c cleaning 8946 clauses out of 17910 with flag 134786/45000
9.25/8.10	c cleaning 9966 clauses out of 19966 with flag 173829/56002
11.30/10.16	c cleaning 10995 clauses out of 22001 with flag 222559/68003
13.48/12.28	c cleaning 11971 clauses out of 24005 with flag 271091/81002
16.33/15.09	c cleaning 13015 clauses out of 26032 with flag 329441/95000
19.12/17.71	c cleaning 13996 clauses out of 28018 with flag 388291/110003
22.18/20.64	c cleaning 15000 clauses out of 30021 with flag 455607/126002
25.13/23.51	c cleaning 15979 clauses out of 32020 with flag 525148/143001
28.43/26.71	c cleaning 16996 clauses out of 34041 with flag 599307/161001
32.14/30.35	c cleaning 18015 clauses out of 36044 with flag 678621/180000
36.54/34.74	c cleaning 19007 clauses out of 38035 with flag 767011/200006
41.14/39.29	c cleaning 19992 clauses out of 40022 with flag 856842/221000
46.20/44.16	c cleaning 21017 clauses out of 42042 with flag 949656/243012
51.10/49.07	c cleaning 21990 clauses out of 44015 with flag 1046853/266002
57.24/55.05	c cleaning 23006 clauses out of 46023 with flag 1153622/290000
63.75/61.40	c cleaning 24001 clauses out of 48017 with flag 1259214/315000
70.76/68.33	c cleaning 25000 clauses out of 50018 with flag 1378121/341002
75.63/73.13	c SATISFIABLE
75.63/73.13	c OPTIMIZING...
75.63/73.13	c Got one! Elapsed wall clock time (in seconds):73.011
75.63/73.14	o 3483
76.88/74.30	c cleaning 23914 clauses out of 47852 with flag 18870/363836
78.18/75.66	c cleaning 14938 clauses out of 29940 with flag 42716/369838
79.78/77.22	c cleaning 10963 clauses out of 22000 with flag 69468/376836
82.07/79.40	c cleaning 9506 clauses out of 19039 with flag 108386/384838
83.57/80.91	c cleaning 9254 clauses out of 18530 with flag 134213/393835
85.65/82.93	c cleaning 9632 clauses out of 19278 with flag 172297/403837
88.84/86.19	c cleaning 10317 clauses out of 20644 with flag 233160/414835
91.71/88.91	c cleaning 11150 clauses out of 22327 with flag 279735/426835
94.99/92.15	c cleaning 12081 clauses out of 24178 with flag 340068/439836
97.99/95.14	c cleaning 13040 clauses out of 26096 with flag 398588/453835
101.02/98.18	c cleaning 14024 clauses out of 28057 with flag 462454/468836
104.88/101.90	c cleaning 15006 clauses out of 30032 with flag 541274/484835
108.13/105.19	c cleaning 16010 clauses out of 32027 with flag 605918/501836
112.08/109.03	c cleaning 17003 clauses out of 34016 with flag 694670/519835
112.57/109.55	c Got one! Elapsed wall clock time (in seconds):109.428
112.57/109.55	o 3466
113.41/110.31	c cleaning 11073 clauses out of 22181 with flag 12396/525003
114.64/111.57	c cleaning 8487 clauses out of 17107 with flag 39816/531002
116.45/113.38	c cleaning 7786 clauses out of 15622 with flag 79243/538004
118.11/114.99	c cleaning 7875 clauses out of 15835 with flag 110183/546003
118.73/115.51	c Got one! Elapsed wall clock time (in seconds):115.383
118.73/115.51	o 3464
119.35/116.11	c cleaning 6729 clauses out of 13509 with flag 9946/551552
120.15/116.98	c Got one! Elapsed wall clock time (in seconds):116.856
120.15/116.98	o 3462
120.49/117.20	c cleaning 6361 clauses out of 12735 with flag 2595/557507
122.06/118.75	c cleaning 6126 clauses out of 12374 with flag 23551/563507
123.66/120.35	c cleaning 6619 clauses out of 13252 with flag 57351/570511
125.84/122.47	c cleaning 7300 clauses out of 14629 with flag 104268/578507
128.53/125.17	c cleaning 8163 clauses out of 16329 with flag 171498/587507
131.53/128.02	c cleaning 9079 clauses out of 18166 with flag 241098/597507
133.39/129.85	c cleaning 10040 clauses out of 20089 with flag 288103/608509
135.39/131.82	c cleaning 11018 clauses out of 22047 with flag 331317/620507
138.02/134.45	c cleaning 12010 clauses out of 24031 with flag 381297/633509
141.79/138.12	c cleaning 13006 clauses out of 26021 with flag 447749/647509
145.57/141.89	c cleaning 13996 clauses out of 28013 with flag 516998/662507
149.55/145.72	c cleaning 14996 clauses out of 30017 with flag 598781/678507
150.65/146.85	c Got one! Elapsed wall clock time (in seconds):146.723
150.65/146.85	o 3454
150.87/147.04	c cleaning 10473 clauses out of 20980 with flag 3125/684466
152.31/148.46	c cleaning 8239 clauses out of 16512 with flag 31543/690471
154.01/150.14	c cleaning 7622 clauses out of 15268 with flag 62399/697466
155.87/151.99	c cleaning 7813 clauses out of 15649 with flag 98099/705469
158.09/154.11	c cleaning 8395 clauses out of 16832 with flag 134182/714465
159.73/155.75	c cleaning 9210 clauses out of 18438 with flag 168550/724466
161.54/157.56	c cleaning 10113 clauses out of 20229 with flag 206504/735467
163.74/159.78	c cleaning 11050 clauses out of 22114 with flag 255603/747465
166.20/162.15	c cleaning 12033 clauses out of 24066 with flag 311643/760467
169.23/165.20	c cleaning 13009 clauses out of 26032 with flag 370632/774466
171.98/167.84	c cleaning 14002 clauses out of 28022 with flag 426479/789465
175.44/171.25	c cleaning 15004 clauses out of 30024 with flag 490602/805469
180.25/175.97	c cleaning 16001 clauses out of 32016 with flag 590217/822465
181.39/177.10	c Got one! Elapsed wall clock time (in seconds):176.977
181.39/177.10	o 3452
181.69/177.34	c cleaning 10606 clauses out of 21253 with flag 3385/827703
182.71/178.37	c cleaning 8313 clauses out of 16647 with flag 30164/833703
183.73/179.33	c cleaning 7646 clauses out of 15333 with flag 55214/840702
184.88/180.44	c cleaning 7837 clauses out of 15689 with flag 80274/848704
186.10/181.67	c cleaning 8414 clauses out of 16850 with flag 107257/857702
187.51/183.08	c cleaning 9205 clauses out of 18436 with flag 140058/867702
189.11/184.67	c cleaning 10115 clauses out of 20232 with flag 174564/878703
190.93/186.43	c cleaning 11055 clauses out of 22116 with flag 210759/890702
192.93/188.40	c cleaning 12029 clauses out of 24061 with flag 249505/903702
195.16/190.61	c cleaning 13010 clauses out of 26032 with flag 292928/917702
197.49/192.95	c cleaning 14006 clauses out of 28023 with flag 342692/932703
200.03/195.49	c cleaning 15007 clauses out of 30016 with flag 394624/948702
202.97/198.33	c cleaning 15995 clauses out of 32009 with flag 449329/965702
205.94/201.21	c cleaning 16998 clauses out of 34015 with flag 508084/983703
208.98/204.29	c cleaning 17999 clauses out of 36016 with flag 572701/1002702
212.45/207.64	c cleaning 19001 clauses out of 38018 with flag 638020/1022703
215.86/211.10	c cleaning 20000 clauses out of 40016 with flag 707225/1043702
219.80/214.96	c cleaning 20997 clauses out of 42016 with flag 792142/1065702
221.24/216.40	c Got one! Elapsed wall clock time (in seconds):216.272
221.24/216.40	o 3451
222.56/217.64	c cleaning 17748 clauses out of 35511 with flag 16794/1080194
223.79/218.85	c cleaning 11871 clauses out of 23763 with flag 38055/1086194
225.02/220.08	c cleaning 9431 clauses out of 18892 with flag 62722/1093194
226.87/221.83	c cleaning 8723 clauses out of 17460 with flag 97362/1101193
228.92/223.86	c cleaning 8858 clauses out of 17738 with flag 142225/1110194
231.34/226.12	c cleaning 9430 clauses out of 18879 with flag 193901/1120193
233.86/228.64	c cleaning 10207 clauses out of 20449 with flag 242611/1131193
236.71/231.45	c cleaning 11117 clauses out of 22243 with flag 290067/1143194
239.36/234.08	c cleaning 12062 clauses out of 24128 with flag 342553/1156196
242.01/236.68	c cleaning 13015 clauses out of 26065 with flag 399445/1170195
244.82/239.44	c cleaning 14018 clauses out of 28048 with flag 469922/1185193
249.25/243.81	c cleaning 15010 clauses out of 30030 with flag 562983/1201193
254.62/249.01	c cleaning 16002 clauses out of 32021 with flag 660389/1218194
259.04/253.36	c cleaning 16997 clauses out of 34018 with flag 751545/1236193
261.68/255.92	c Got one! Elapsed wall clock time (in seconds):255.792
261.68/255.92	o 3440
262.68/256.96	c cleaning 16421 clauses out of 32885 with flag 22609/1252057
264.23/258.46	c cleaning 11214 clauses out of 22464 with flag 58187/1258057
265.83/260.10	c cleaning 9106 clauses out of 18253 with flag 91733/1265060
266.73/260.91	c Got one! Elapsed wall clock time (in seconds):260.789
266.73/260.91	o 3433
267.19/261.40	c cleaning 7349 clauses out of 14739 with flag 8386/1270652
268.49/262.63	c cleaning 6644 clauses out of 13390 with flag 28669/1276652
269.53/263.62	c cleaning 6866 clauses out of 13746 with flag 46574/1283652
270.62/264.74	c cleaning 7434 clauses out of 14882 with flag 68119/1291654
272.64/266.70	c cleaning 8213 clauses out of 16447 with flag 105925/1300653
274.97/269.04	c cleaning 9108 clauses out of 18236 with flag 153537/1310655
277.41/271.50	c cleaning 10059 clauses out of 20125 with flag 206055/1321652
277.71/271.71	c Got one! Elapsed wall clock time (in seconds):271.583
277.71/271.71	o 3431
278.51/272.54	c cleaning 7963 clauses out of 15946 with flag 16241/1327532
279.52/273.51	c cleaning 6972 clauses out of 13982 with flag 36529/1333531
280.94/274.90	c cleaning 6994 clauses out of 14010 with flag 61762/1340531
282.34/276.37	c cleaning 7502 clauses out of 15017 with flag 90015/1348532
284.37/278.36	c cleaning 8247 clauses out of 16514 with flag 128739/1357531
286.29/280.25	c cleaning 9124 clauses out of 18267 with flag 165733/1367531
288.33/282.21	c cleaning 10064 clauses out of 20144 with flag 206862/1378532
290.74/284.62	c Got one! Elapsed wall clock time (in seconds):284.5
290.74/284.62	o 3410
292.09/285.97	c cleaning 13112 clauses out of 26227 with flag 22121/1394679
293.83/287.67	c cleaning 9552 clauses out of 19118 with flag 49942/1400682
295.45/289.26	c cleaning 8269 clauses out of 16563 with flag 82360/1407679
297.09/290.82	c cleaning 8132 clauses out of 16293 with flag 117071/1415678
298.09/291.85	c Got one! Elapsed wall clock time (in seconds):291.732
298.09/291.86	o 3405
298.39/292.14	c cleaning 6656 clauses out of 13432 with flag 2988/1420949
299.81/293.59	c cleaning 5980 clauses out of 12774 with flag 22615/1426947
301.02/294.78	c Got one! Elapsed wall clock time (in seconds):294.659
301.02/294.78	o 3400
301.32/295.02	c cleaning 5875 clauses out of 12691 with flag 3247/1432844
302.45/296.18	c cleaning 6012 clauses out of 12811 with flag 21206/1438839
303.67/297.38	c cleaning 6890 clauses out of 13799 with flag 40919/1445839
305.59/299.27	c cleaning 7445 clauses out of 14909 with flag 72685/1453839
307.64/301.23	c cleaning 8223 clauses out of 16464 with flag 109298/1462839
310.28/303.84	c cleaning 9106 clauses out of 18240 with flag 164082/1472838
312.85/306.39	c cleaning 10058 clauses out of 20137 with flag 212136/1483841
315.70/309.16	c cleaning 11036 clauses out of 22076 with flag 270060/1495838
318.25/311.64	c cleaning 12018 clauses out of 24042 with flag 342980/1508840
321.11/314.44	c cleaning 13006 clauses out of 26022 with flag 421135/1522838
324.48/317.74	c cleaning 14006 clauses out of 28017 with flag 510532/1537839
328.25/321.49	c cleaning 14991 clauses out of 30011 with flag 607941/1553839
332.89/325.93	c cleaning 16005 clauses out of 32019 with flag 709105/1570838
337.49/330.50	c cleaning 17001 clauses out of 34014 with flag 840945/1588838
341.79/334.65	c cleaning 18004 clauses out of 36015 with flag 917809/1607840
342.39/335.24	c Got one! Elapsed wall clock time (in seconds):335.116
342.39/335.24	o 3399
342.92/335.77	c cleaning 11867 clauses out of 23747 with flag 10596/1613576
343.83/336.67	c cleaning 8931 clauses out of 17880 with flag 30059/1619576
345.15/337.93	c cleaning 7958 clauses out of 15947 with flag 55492/1626574
346.45/339.27	c cleaning 7977 clauses out of 15989 with flag 83507/1634574
348.17/340.90	c cleaning 8502 clauses out of 17013 with flag 115906/1643575
350.27/343.09	c cleaning 9250 clauses out of 18511 with flag 160772/1653575
352.38/345.11	c cleaning 10126 clauses out of 20260 with flag 214821/1664574
355.01/347.78	c cleaning 11062 clauses out of 22134 with flag 273456/1676574
358.68/351.35	c cleaning 12029 clauses out of 24073 with flag 337305/1689575
362.25/354.81	c cleaning 13014 clauses out of 26044 with flag 406612/1703575
365.65/358.18	c cleaning 14005 clauses out of 28030 with flag 469971/1718575
369.49/361.95	c cleaning 15010 clauses out of 30024 with flag 542014/1734574
373.70/366.05	c cleaning 16010 clauses out of 32019 with flag 624893/1751579
377.38/369.61	c cleaning 16999 clauses out of 34005 with flag 702300/1769575
382.10/374.21	c cleaning 17996 clauses out of 36005 with flag 802787/1788574
382.70/374.89	c Got one! Elapsed wall clock time (in seconds):374.764
382.70/374.89	o 3397
383.20/375.37	c cleaning 11546 clauses out of 23154 with flag 8628/1793719
384.93/377.09	c cleaning 8776 clauses out of 17608 with flag 41674/1799719
386.59/378.69	c cleaning 7893 clauses out of 15833 with flag 69754/1806720
387.89/379.99	c cleaning 7948 clauses out of 15940 with flag 96097/1814720
389.29/381.37	c cleaning 8483 clauses out of 16991 with flag 124730/1823719
391.02/383.04	c cleaning 9246 clauses out of 18508 with flag 157333/1833719
392.74/384.79	c cleaning 10129 clauses out of 20265 with flag 193660/1844722
394.96/386.90	c cleaning 11055 clauses out of 22133 with flag 237433/1856719
396.97/388.99	c cleaning 12031 clauses out of 24078 with flag 284837/1869719
399.39/391.35	c cleaning 13009 clauses out of 26047 with flag 342518/1883719
402.03/393.98	c cleaning 14010 clauses out of 28041 with flag 395143/1898722
404.87/396.78	c cleaning 15005 clauses out of 30028 with flag 456452/1914719
407.99/399.82	c cleaning 16000 clauses out of 32025 with flag 521901/1931721
411.19/403.02	c cleaning 17004 clauses out of 34025 with flag 596344/1949721
414.53/406.31	c cleaning 18007 clauses out of 36021 with flag 664624/1968721
418.16/409.91	c cleaning 18995 clauses out of 38014 with flag 730326/1988721
422.75/414.49	c cleaning 20008 clauses out of 40017 with flag 812464/2009719
428.37/419.97	c cleaning 21000 clauses out of 42009 with flag 910021/2031719
434.62/426.06	c cleaning 21997 clauses out of 44010 with flag 1032796/2054720
440.09/431.34	c cleaning 22999 clauses out of 46014 with flag 1147933/2078721
445.53/436.70	c cleaning 23997 clauses out of 48013 with flag 1244580/2103719
450.87/441.99	c cleaning 25000 clauses out of 50020 with flag 1369202/2129723
452.60/443.60	c Got one! Elapsed wall clock time (in seconds):443.48
452.60/443.60	o 3392
453.70/444.74	c cleaning 18139 clauses out of 36291 with flag 22794/2140994
455.38/446.30	c cleaning 12069 clauses out of 24156 with flag 52140/2146998
457.08/448.03	c cleaning 9512 clauses out of 19084 with flag 87551/2153995
458.70/449.62	c cleaning 8769 clauses out of 17572 with flag 114986/2161995
461.05/451.97	c cleaning 8898 clauses out of 17805 with flag 156360/2170997
463.14/454.03	c cleaning 9443 clauses out of 18904 with flag 193070/2180994
465.36/456.23	c cleaning 10228 clauses out of 20461 with flag 237159/2191994
468.09/458.93	c cleaning 11104 clauses out of 22233 with flag 283575/2203994
471.00/461.86	c cleaning 12056 clauses out of 24130 with flag 340137/2216995
474.03/464.86	c cleaning 13031 clauses out of 26073 with flag 401023/2230994
476.60/467.39	c cleaning 14020 clauses out of 28042 with flag 465449/2245994
479.50/470.27	c cleaning 15006 clauses out of 30022 with flag 526624/2261994
482.83/473.57	c cleaning 15999 clauses out of 32016 with flag 597364/2278994
486.36/477.06	c cleaning 17007 clauses out of 34017 with flag 666019/2296994
490.43/481.08	c cleaning 17998 clauses out of 36010 with flag 755617/2315994
495.08/485.60	c cleaning 19004 clauses out of 38012 with flag 857860/2335994
498.24/488.75	c Got one! Elapsed wall clock time (in seconds):488.627
498.24/488.75	o 3329
499.15/489.69	c cleaning 18785 clauses out of 37571 with flag 21341/2354557
500.36/490.89	c cleaning 12379 clauses out of 24785 with flag 50535/2360556
501.78/492.29	c cleaning 9686 clauses out of 19405 with flag 82291/2367555
503.53/493.95	c cleaning 8848 clauses out of 17719 with flag 118370/2375555
505.15/495.57	c cleaning 8918 clauses out of 17871 with flag 154305/2384555
506.89/497.26	c cleaning 9468 clauses out of 18953 with flag 200417/2394555
508.92/499.25	c cleaning 10235 clauses out of 20485 with flag 252505/2405555
510.66/500.94	c Got one! Elapsed wall clock time (in seconds):500.817
510.66/500.94	o 3319
511.79/502.05	c cleaning 11676 clauses out of 23376 with flag 16989/2418681
512.91/503.10	c cleaning 8841 clauses out of 17699 with flag 37021/2424680
514.03/504.21	c cleaning 7918 clauses out of 15857 with flag 57939/2431679
515.43/505.68	c cleaning 7966 clauses out of 15939 with flag 81796/2439679
517.27/507.44	c cleaning 8482 clauses out of 16973 with flag 114389/2448679
519.43/509.51	c cleaning 9240 clauses out of 18492 with flag 152388/2458680
522.09/512.18	c cleaning 10121 clauses out of 20251 with flag 199105/2469679
524.97/514.95	c cleaning 11065 clauses out of 22138 with flag 250023/2481687
528.11/518.06	c cleaning 12025 clauses out of 24066 with flag 304154/2494680
531.28/521.14	c cleaning 13015 clauses out of 26041 with flag 362917/2508680
535.28/525.07	c cleaning 14022 clauses out of 28045 with flag 436717/2523699
539.25/528.95	c cleaning 14990 clauses out of 30003 with flag 508381/2539679
543.57/533.17	c cleaning 16001 clauses out of 32013 with flag 590242/2556679
548.40/537.86	c cleaning 16999 clauses out of 34012 with flag 681035/2574679
553.81/543.10	c cleaning 18001 clauses out of 36013 with flag 775983/2593679
558.78/548.00	c cleaning 18986 clauses out of 38012 with flag 861838/2613679
563.33/552.55	c cleaning 20000 clauses out of 40026 with flag 949022/2634679
567.90/557.04	c cleaning 21001 clauses out of 42026 with flag 1036712/2656679
574.09/563.11	c cleaning 21998 clauses out of 44025 with flag 1142507/2679679
580.07/569.01	c cleaning 23009 clauses out of 46028 with flag 1251043/2703680
586.12/574.91	c cleaning 23995 clauses out of 48018 with flag 1366399/2728679
593.24/581.97	c cleaning 25007 clauses out of 50023 with flag 1524570/2754679
600.84/589.37	c cleaning 25999 clauses out of 52016 with flag 1683844/2781679
604.37/592.87	c Got one! Elapsed wall clock time (in seconds):592.746
604.37/592.87	o 3314
605.68/594.19	c cleaning 22257 clauses out of 44543 with flag 28973/2800205
607.19/595.65	c cleaning 14135 clauses out of 28287 with flag 62251/2806206
608.94/597.40	c cleaning 10568 clauses out of 21152 with flag 95391/2813206
610.63/599.05	c cleaning 9280 clauses out of 18583 with flag 125272/2821205
612.06/600.43	c cleaning 9146 clauses out of 18305 with flag 150872/2830207
613.56/601.94	c cleaning 9568 clauses out of 19157 with flag 177572/2840205
615.48/603.90	c cleaning 10289 clauses out of 20590 with flag 215124/2851206
616.60/604.98	c Got one! Elapsed wall clock time (in seconds):604.854
616.60/604.98	o 3311
616.90/605.21	c cleaning 8063 clauses out of 16281 with flag 3024/2857186
618.01/606.38	c cleaning 6013 clauses out of 14225 with flag 21454/2863193
619.64/607.96	c cleaning 6986 clauses out of 15205 with flag 46259/2870186
621.59/609.84	c cleaning 7986 clauses out of 16219 with flag 77426/2878186
623.32/611.51	c cleaning 8603 clauses out of 17234 with flag 105575/2887187
625.55/613.74	c cleaning 9307 clauses out of 18632 with flag 137977/2897188
627.91/616.04	c cleaning 10155 clauses out of 20326 with flag 176849/2908189
630.03/618.19	c cleaning 11080 clauses out of 22170 with flag 216209/2920188
632.37/620.42	c cleaning 12038 clauses out of 24088 with flag 260066/2933186
635.50/623.59	c cleaning 13024 clauses out of 26050 with flag 317188/2947186
640.33/628.21	c cleaning 14006 clauses out of 28027 with flag 393785/2962187
643.29/631.19	c cleaning 15003 clauses out of 30022 with flag 440720/2978188
646.20/634.03	c cleaning 15997 clauses out of 32017 with flag 491256/2995186
649.75/637.52	c cleaning 17009 clauses out of 34020 with flag 554235/3013186
653.64/641.36	c cleaning 17991 clauses out of 36011 with flag 633157/3032186
659.23/646.78	c cleaning 18998 clauses out of 38020 with flag 758728/3052186
663.69/651.20	c cleaning 20001 clauses out of 40022 with flag 842773/3073186
668.15/655.54	c cleaning 21002 clauses out of 42024 with flag 954775/3095189
672.93/660.21	c cleaning 22002 clauses out of 44019 with flag 1067166/3118186
679.55/666.62	c cleaning 23003 clauses out of 46017 with flag 1196107/3142186
687.22/674.14	c cleaning 24001 clauses out of 48014 with flag 1342335/3167186
693.20/680.08	c cleaning 25002 clauses out of 50016 with flag 1470698/3193189
697.97/684.70	c Got one! Elapsed wall clock time (in seconds):684.578
697.97/684.70	o 3307
699.17/685.96	c cleaning 26864 clauses out of 53734 with flag 24044/3221909
700.59/687.36	c cleaning 16423 clauses out of 32872 with flag 53443/3227911
702.53/689.21	c cleaning 11710 clauses out of 23447 with flag 92841/3234909
704.03/690.80	c cleaning 9866 clauses out of 19739 with flag 126580/3242911
705.66/692.39	c cleaning 9428 clauses out of 18871 with flag 159062/3251909
707.86/694.55	c cleaning 9720 clauses out of 19443 with flag 199098/3261909
710.27/696.94	c cleaning 10357 clauses out of 20724 with flag 243412/3272910
712.70/699.36	c cleaning 11180 clauses out of 22368 with flag 283027/3284911
714.83/701.45	c cleaning 12084 clauses out of 24187 with flag 322046/3297910
717.38/703.91	c cleaning 13046 clauses out of 26102 with flag 372301/3311909
721.33/707.83	c cleaning 14020 clauses out of 28057 with flag 436970/3326910
724.97/711.48	c cleaning 15001 clauses out of 30036 with flag 510194/3342909
729.37/715.70	c cleaning 16009 clauses out of 32036 with flag 593115/3359910
733.22/719.53	c cleaning 17000 clauses out of 34027 with flag 668655/3377910
733.52/719.83	c Got one! Elapsed wall clock time (in seconds):719.703
733.52/719.83	o 3303
734.45/720.73	c cleaning 11084 clauses out of 22179 with flag 15990/3383062
735.65/721.91	c cleaning 8403 clauses out of 17096 with flag 38991/3389063
737.06/723.30	c cleaning 7007 clauses out of 15692 with flag 63398/3396062
738.46/724.77	c cleaning 7994 clauses out of 16685 with flag 88199/3404062
740.50/726.73	c cleaning 8836 clauses out of 17691 with flag 123341/3413062
742.62/728.86	c cleaning 9420 clauses out of 18856 with flag 154917/3423063
745.14/731.31	c cleaning 10211 clauses out of 20435 with flag 192968/3434062
747.78/733.96	c cleaning 11099 clauses out of 22224 with flag 242867/3446062
750.39/736.60	c cleaning 12056 clauses out of 24127 with flag 302211/3459064
753.02/739.18	c cleaning 13030 clauses out of 26069 with flag 340725/3473062
756.37/742.44	c cleaning 14010 clauses out of 28039 with flag 393405/3488062
760.26/746.22	c cleaning 15011 clauses out of 30031 with flag 462404/3504064
764.84/750.71	c cleaning 15996 clauses out of 32018 with flag 544540/3521062
769.69/755.50	c cleaning 16998 clauses out of 34023 with flag 645992/3539063
771.83/757.57	c Got one! Elapsed wall clock time (in seconds):757.444
771.83/757.57	o 3289
773.13/758.82	c cleaning 15591 clauses out of 31193 with flag 17291/3553231
774.66/760.30	c cleaning 10792 clauses out of 21601 with flag 40622/3559230
776.38/762.04	c cleaning 8876 clauses out of 17809 with flag 68596/3566230
778.71/764.32	c cleaning 8140 clauses out of 16932 with flag 99605/3574229
780.74/766.36	c cleaning 8881 clauses out of 17792 with flag 132422/3583229
783.28/768.82	c cleaning 9448 clauses out of 18913 with flag 179280/3593231
786.11/771.65	c cleaning 10227 clauses out of 20463 with flag 239325/3604229
789.61/775.05	c cleaning 11101 clauses out of 22236 with flag 313361/3616229
793.17/778.51	c cleaning 12065 clauses out of 24138 with flag 382115/3629232
796.42/781.73	c cleaning 13027 clauses out of 26076 with flag 441541/3643235
798.37/783.66	c Got one! Elapsed wall clock time (in seconds):783.541
798.37/783.66	o 3279
799.29/784.57	c cleaning 13856 clauses out of 27720 with flag 16122/3657906
800.30/785.53	c Got one! Elapsed wall clock time (in seconds):785.411
800.30/785.53	o 3274
800.70/785.93	c cleaning 9862 clauses out of 19744 with flag 6668/3663786
801.80/787.05	c cleaning 7039 clauses out of 15882 with flag 27082/3669786
803.10/788.30	c cleaning 7016 clauses out of 15844 with flag 45780/3676787
804.52/789.80	c cleaning 7993 clauses out of 16827 with flag 74858/3684786
806.35/791.55	c cleaning 8903 clauses out of 17835 with flag 104293/3693787
808.49/793.65	c cleaning 9456 clauses out of 18932 with flag 146268/3703787
811.34/796.48	c cleaning 10214 clauses out of 20476 with flag 201556/3714787
813.88/798.96	c cleaning 11126 clauses out of 22261 with flag 246264/3726786
817.02/802.04	c cleaning 12065 clauses out of 24135 with flag 301175/3739786
820.63/805.50	c cleaning 13023 clauses out of 26070 with flag 364736/3753786
824.17/809.00	c cleaning 14011 clauses out of 28047 with flag 431953/3768786
828.12/812.94	c cleaning 15013 clauses out of 30037 with flag 508819/3784787
828.62/813.47	c Got one! Elapsed wall clock time (in seconds):813.345
828.62/813.47	o 3273
829.12/814.00	c cleaning 10121 clauses out of 20251 with flag 6583/3790014
830.24/815.00	c cleaning 7226 clauses out of 16129 with flag 26959/3796013
831.85/816.63	c cleaning 6987 clauses out of 15901 with flag 48694/3803011
833.88/818.66	c cleaning 7998 clauses out of 16914 with flag 76892/3811011
835.30/820.05	c cleaning 8952 clauses out of 17919 with flag 99477/3820014
837.36/822.10	c Got one! Elapsed wall clock time (in seconds):821.972
837.36/822.10	o 3271
838.90/823.51	c cleaning 11698 clauses out of 23399 with flag 18321/3834446
840.34/824.93	c cleaning 8767 clauses out of 17700 with flag 43548/3840445
841.86/826.44	c cleaning 7003 clauses out of 15933 with flag 66686/3847445
843.79/828.32	c cleaning 7983 clauses out of 16930 with flag 96906/3855445
844.49/829.02	c Got one! Elapsed wall clock time (in seconds):828.901
844.49/829.02	o 3270
845.04/829.53	c cleaning 5723 clauses out of 14648 with flag 6471/3861146
846.14/830.65	c cleaning 5984 clauses out of 14926 with flag 26455/3867147
847.35/831.89	c cleaning 7003 clauses out of 15940 with flag 51744/3874145
849.18/833.62	c cleaning 8000 clauses out of 16938 with flag 77962/3882146
851.22/835.62	c cleaning 8961 clauses out of 17937 with flag 104403/3891145
853.27/837.63	c cleaning 9479 clauses out of 18978 with flag 139801/3901147
855.78/840.11	c cleaning 10247 clauses out of 20499 with flag 192452/3912147
858.74/843.01	c cleaning 11116 clauses out of 22250 with flag 251024/3924145
861.49/845.79	c cleaning 12063 clauses out of 24135 with flag 300635/3937146
862.39/846.60	c Got one! Elapsed wall clock time (in seconds):846.478
862.39/846.60	o 3265
863.53/847.71	c cleaning 11096 clauses out of 22199 with flag 15166/3947273
864.74/848.93	c cleaning 8151 clauses out of 17102 with flag 35660/3953272
866.19/850.37	c cleaning 6993 clauses out of 15950 with flag 57572/3960271
868.00/852.15	c cleaning 8000 clauses out of 16958 with flag 83998/3968272
869.83/853.93	c cleaning 8970 clauses out of 17956 with flag 112267/3977270
871.69/855.71	c cleaning 9494 clauses out of 18988 with flag 141664/3987272
874.03/858.07	c cleaning 10238 clauses out of 20492 with flag 179696/3998270
876.77/860.76	c cleaning 11119 clauses out of 22254 with flag 221487/4010270
879.41/863.32	c cleaning 12061 clauses out of 24135 with flag 270746/4023270
880.44/864.34	c Got one! Elapsed wall clock time (in seconds):864.217
880.44/864.34	o 3261
880.64/864.60	c cleaning 8197 clauses out of 17196 with flag 3139/4028392
882.15/866.02	c cleaning 6000 clauses out of 14999 with flag 22516/4034392
883.66/867.51	c cleaning 7006 clauses out of 15998 with flag 44075/4041391
885.09/868.90	c cleaning 7985 clauses out of 16994 with flag 64854/4049393
886.74/870.59	c cleaning 8984 clauses out of 18007 with flag 89776/4058391
889.29/873.00	c cleaning 9510 clauses out of 19023 with flag 123802/4068391
891.52/875.24	c cleaning 10250 clauses out of 20513 with flag 157378/4079391
894.20/877.87	c cleaning 11126 clauses out of 22264 with flag 201500/4091392
894.59/878.28	c Got one! Elapsed wall clock time (in seconds):878.157
894.59/878.28	o 3248
895.39/879.08	c cleaning 7171 clauses out of 16196 with flag 10537/4096450
896.71/880.35	c cleaning 5999 clauses out of 15023 with flag 29983/4102448
898.42/882.03	c cleaning 6995 clauses out of 16024 with flag 55374/4109448
899.23/882.85	c Got one! Elapsed wall clock time (in seconds):882.724
899.23/882.85	o 3243
899.63/883.23	c cleaning 5940 clauses out of 14960 with flag 5300/4115379
900.53/884.13	c cleaning 5995 clauses out of 15020 with flag 20800/4121379
902.07/885.62	c cleaning 6996 clauses out of 16025 with flag 44402/4128379
903.29/886.87	c cleaning 7995 clauses out of 17033 with flag 65292/4136383
905.10/888.62	c cleaning 8996 clauses out of 18034 with flag 93820/4145379
906.82/890.40	c cleaning 9508 clauses out of 19041 with flag 125781/4155382
909.08/892.51	c cleaning 10259 clauses out of 20531 with flag 162063/4166380
909.79/893.22	c Got one! Elapsed wall clock time (in seconds):893.097
909.79/893.22	o 3225
910.30/893.77	c cleaning 6665 clauses out of 15687 with flag 8151/4171795
911.72/895.11	c cleaning 6003 clauses out of 15023 with flag 29132/4177796
912.84/896.27	c cleaning 6990 clauses out of 16019 with flag 48144/4184795
914.46/897.81	c cleaning 7992 clauses out of 17029 with flag 71944/4192795
916.38/899.78	c cleaning 8999 clauses out of 18037 with flag 107480/4201795
918.57/901.86	c cleaning 9512 clauses out of 19038 with flag 142441/4211795
921.46/904.63	c cleaning 10260 clauses out of 20528 with flag 192845/4222797
923.68/906.83	c cleaning 11129 clauses out of 22267 with flag 238602/4234796
926.65/909.76	c cleaning 12060 clauses out of 24137 with flag 291235/4247795
930.12/913.17	c cleaning 13027 clauses out of 26077 with flag 343204/4261795
930.52/913.54	c Got one! Elapsed wall clock time (in seconds):913.416
930.52/913.54	o 3215
931.46/914.42	c cleaning 9374 clauses out of 18775 with flag 15550/4267520
932.66/915.65	c cleaning 6281 clauses out of 15401 with flag 39292/4273520
934.10/917.08	c cleaning 7002 clauses out of 16120 with flag 60700/4280520
935.21/918.19	c Got one! Elapsed wall clock time (in seconds):918.063
935.21/918.19	o 3213
936.31/919.29	c cleaning 10578 clauses out of 21170 with flag 15541/4292572
937.74/920.69	c cleaning 7475 clauses out of 16592 with flag 40648/4298572
938.88/921.77	c cleaning 6989 clauses out of 16117 with flag 59435/4305572
940.09/923.00	c cleaning 7996 clauses out of 17130 with flag 81813/4313574
941.50/924.36	c cleaning 9004 clauses out of 18132 with flag 108623/4322572
943.13/925.99	c cleaning 9557 clauses out of 19128 with flag 139073/4332572
945.54/928.39	c cleaning 10279 clauses out of 20571 with flag 187088/4343572
948.39/931.12	c cleaning 11136 clauses out of 22293 with flag 241897/4355573
951.45/934.12	c cleaning 12071 clauses out of 24156 with flag 312697/4368572
954.39/937.02	c cleaning 13033 clauses out of 26089 with flag 371249/4382576
957.65/940.24	c cleaning 14019 clauses out of 28054 with flag 433921/4397574
958.25/940.89	c Got one! Elapsed wall clock time (in seconds):940.766
958.25/940.89	o 3208
958.89/941.50	c cleaning 9956 clauses out of 19955 with flag 10707/4403494
959.99/942.57	c cleaning 6837 clauses out of 15998 with flag 31403/4409493
961.72/944.29	c cleaning 7023 clauses out of 16161 with flag 61093/4416493
963.89/946.38	c cleaning 8001 clauses out of 17143 with flag 97619/4424498
966.31/948.76	c cleaning 8984 clauses out of 18137 with flag 141079/4433493
968.65/951.01	c cleaning 9569 clauses out of 19154 with flag 174424/4443494
971.65/953.93	c cleaning 10282 clauses out of 20586 with flag 222376/4454495
974.98/957.13	c cleaning 11145 clauses out of 22302 with flag 280093/4466493
977.31/959.49	c cleaning 12074 clauses out of 24158 with flag 322226/4479494
980.45/962.57	c cleaning 13031 clauses out of 26085 with flag 375205/4493495
983.72/965.75	c cleaning 14016 clauses out of 28052 with flag 445398/4508493
987.53/969.42	c cleaning 15013 clauses out of 30039 with flag 513900/4524496
991.59/973.42	c cleaning 16004 clauses out of 32024 with flag 589461/4541494
994.13/975.91	c Got one! Elapsed wall clock time (in seconds):975.791
994.13/975.91	o 3199
995.55/977.36	c cleaning 17165 clauses out of 34342 with flag 23880/4559816
996.55/978.37	c cleaning 11576 clauses out of 23177 with flag 48678/4565816
998.18/979.92	c cleaning 9285 clauses out of 18603 with flag 80141/4572818
999.80/981.53	c cleaning 8022 clauses out of 17316 with flag 107326/4580816
1001.52/983.20	c cleaning 8981 clauses out of 18295 with flag 138037/4589817
1003.64/985.33	c cleaning 9649 clauses out of 19314 with flag 173037/4599817
1005.46/987.18	c cleaning 10323 clauses out of 20665 with flag 213458/4610817
1007.80/989.48	c cleaning 11168 clauses out of 22342 with flag 260399/4622817
1010.15/991.79	c cleaning 12080 clauses out of 24174 with flag 311755/4635817
1013.22/994.76	c cleaning 13042 clauses out of 26094 with flag 369924/4649817
1016.60/998.09	c cleaning 14024 clauses out of 28054 with flag 420417/4664819
1020.05/1001.43	c cleaning 15010 clauses out of 30027 with flag 474303/4680816
1024.56/1005.80	c cleaning 16000 clauses out of 32017 with flag 548184/4697816
1028.00/1009.26	c cleaning 17005 clauses out of 34019 with flag 616406/4715818
1032.89/1014.09	c cleaning 17995 clauses out of 36013 with flag 703540/4734817
1037.29/1018.39	c cleaning 19001 clauses out of 38017 with flag 786289/4754816
1042.07/1023.06	c cleaning 19996 clauses out of 40016 with flag 885474/4775816
1044.00/1024.92	c Got one! Elapsed wall clock time (in seconds):1024.799
1044.00/1024.92	o 3178
1045.30/1026.28	c cleaning 16546 clauses out of 33102 with flag 21658/4788898
1047.02/1027.93	c cleaning 11248 clauses out of 22555 with flag 55761/4794897
1048.44/1029.31	c cleaning 8899 clauses out of 18306 with flag 87204/4801896
1050.14/1031.08	c cleaning 7995 clauses out of 17407 with flag 112830/4809896
1051.87/1032.79	c cleaning 8993 clauses out of 18413 with flag 141148/4818897
1053.98/1034.89	c cleaning 9680 clauses out of 19420 with flag 180706/4828897
1056.78/1037.69	c cleaning 10367 clauses out of 20739 with flag 240814/4839896
1058.70/1039.56	c cleaning 11171 clauses out of 22372 with flag 274162/4851896
1061.34/1042.12	c cleaning 12095 clauses out of 24203 with flag 316921/4864898
1063.49/1044.24	c Got one! Elapsed wall clock time (in seconds):1044.116
1063.49/1044.24	o 3176
1064.83/1045.59	c cleaning 13395 clauses out of 26801 with flag 17875/4879591
1066.66/1047.32	c cleaning 9688 clauses out of 19407 with flag 45215/4885592
1068.37/1049.08	c cleaning 7269 clauses out of 16718 with flag 73224/4892591
1070.09/1050.77	c cleaning 8000 clauses out of 17452 with flag 100849/4900594
1071.82/1052.43	c cleaning 9000 clauses out of 18450 with flag 129519/4909592
1074.19/1054.72	c cleaning 9714 clauses out of 19449 with flag 165209/4919591
1076.50/1057.05	c cleaning 10367 clauses out of 20735 with flag 202609/4930591
1079.91/1060.30	c cleaning 11177 clauses out of 22368 with flag 253540/4942591
1082.36/1062.77	c cleaning 12082 clauses out of 24191 with flag 301161/4955591
1086.22/1066.49	c cleaning 13055 clauses out of 26109 with flag 361485/4969591
1090.39/1070.58	c cleaning 14024 clauses out of 28055 with flag 431706/4984592
1094.42/1074.48	c cleaning 15009 clauses out of 30031 with flag 501090/5000592
1099.29/1079.25	c cleaning 16002 clauses out of 32024 with flag 579824/5017594
1103.36/1083.22	c cleaning 17004 clauses out of 34020 with flag 657292/5035592
1106.48/1086.39	c cleaning 18000 clauses out of 36019 with flag 727123/5054595
1110.34/1090.17	c cleaning 18998 clauses out of 38015 with flag 804911/5074591
1114.36/1094.10	c cleaning 20004 clauses out of 40021 with flag 884050/5095595
1115.16/1094.90	c Got one! Elapsed wall clock time (in seconds):1094.778
1115.16/1094.90	o 3175
1115.46/1095.23	c cleaning 12817 clauses out of 25656 with flag 3469/5101234
1115.99/1095.79	c Got one! Elapsed wall clock time (in seconds):1095.667
1115.99/1095.79	o 3134
1116.38/1096.10	c Got one! Elapsed wall clock time (in seconds):1095.976
1116.38/1096.10	o 3118
1116.78/1096.58	c cleaning 9009 clauses out of 18598 with flag 6906/5106993
1118.14/1097.87	c cleaning 6014 clauses out of 15589 with flag 25013/5112993
1119.63/1099.36	c cleaning 6977 clauses out of 16575 with flag 49396/5119993
1121.34/1101.06	c cleaning 8001 clauses out of 17599 with flag 85509/5127994
1122.86/1102.56	c cleaning 9012 clauses out of 18598 with flag 113155/5136994
1124.48/1104.11	c cleaning 9771 clauses out of 19587 with flag 145083/5146995
1126.90/1106.56	c cleaning 10394 clauses out of 20814 with flag 182244/5157993
1129.63/1109.24	c cleaning 11201 clauses out of 22420 with flag 224137/5169993
1132.97/1112.53	c cleaning 12100 clauses out of 24223 with flag 272837/5182997
1136.55/1116.00	c cleaning 13049 clauses out of 26119 with flag 330179/5196993
1139.48/1118.99	c cleaning 14021 clauses out of 28070 with flag 382464/5211993
1143.27/1122.60	c cleaning 15017 clauses out of 30052 with flag 441716/5227996
1146.67/1125.94	c cleaning 16012 clauses out of 32032 with flag 509743/5244993
1150.13/1129.30	c cleaning 17009 clauses out of 34021 with flag 577732/5262994
1154.53/1133.65	c cleaning 18006 clauses out of 36012 with flag 662768/5281994
1159.50/1138.52	c cleaning 18994 clauses out of 38005 with flag 751342/5301993
1165.55/1144.46	c cleaning 19999 clauses out of 40011 with flag 854574/5322993
1171.37/1150.18	c cleaning 20998 clauses out of 42013 with flag 988462/5344994
1172.98/1151.70	c Got one! Elapsed wall clock time (in seconds):1151.581
1172.98/1151.70	o 3100
1174.42/1153.16	c cleaning 16062 clauses out of 32149 with flag 25621/5356128
1176.32/1154.91	c cleaning 11029 clauses out of 22088 with flag 58282/5362129
1178.04/1156.68	c cleaning 8287 clauses out of 18057 with flag 92811/5369127
1180.36/1158.99	c cleaning 7984 clauses out of 17770 with flag 129795/5377127
1182.09/1160.68	c cleaning 8999 clauses out of 18786 with flag 158083/5386127
1184.23/1162.79	c cleaning 9883 clauses out of 19789 with flag 191710/5396129
1186.98/1165.41	c cleaning 10444 clauses out of 20906 with flag 237051/5407129
1189.40/1167.87	c cleaning 11213 clauses out of 22461 with flag 282105/5419128
1192.04/1170.44	c cleaning 12121 clauses out of 24249 with flag 343453/5432129
1195.32/1173.69	c cleaning 13059 clauses out of 26126 with flag 421463/5446127
1199.12/1177.36	c cleaning 14011 clauses out of 28067 with flag 490169/5461127
1203.89/1182.00	c cleaning 15017 clauses out of 30056 with flag 578374/5477127
1208.55/1186.57	c cleaning 16016 clauses out of 32041 with flag 663590/5494129
1213.02/1190.96	c cleaning 17009 clauses out of 34023 with flag 742479/5512127
1218.12/1195.95	c cleaning 17998 clauses out of 36014 with flag 827981/5531127
1223.64/1201.37	c cleaning 19002 clauses out of 38018 with flag 933904/5551129
1230.04/1207.61	c cleaning 20000 clauses out of 40014 with flag 1042571/5572127
1234.83/1212.35	c cleaning 20998 clauses out of 42014 with flag 1132612/5594127
1237.55/1215.09	c Got one! Elapsed wall clock time (in seconds):1214.965
1237.55/1215.09	o 3090
1238.95/1216.44	c cleaning 19532 clauses out of 39077 with flag 24206/5612188
1240.57/1218.03	c cleaning 12767 clauses out of 25546 with flag 50903/5618189
1242.20/1219.67	c cleaning 9641 clauses out of 19780 with flag 76674/5625190
1243.72/1221.11	c cleaning 8018 clauses out of 18139 with flag 102259/5633190
1245.13/1222.56	c cleaning 8994 clauses out of 19120 with flag 123404/5642189
1246.85/1224.24	c cleaning 10003 clauses out of 20125 with flag 150101/5652188
1248.92/1226.22	c cleaning 10555 clauses out of 21123 with flag 179593/5663189
1251.55/1228.87	c cleaning 11279 clauses out of 22568 with flag 225301/5675189
1254.73/1232.00	c cleaning 12142 clauses out of 24288 with flag 282526/5688188
1257.35/1234.58	c cleaning 13067 clauses out of 26151 with flag 323258/5702193
1260.27/1237.42	c cleaning 14031 clauses out of 28080 with flag 371335/5717189
1263.61/1240.78	c cleaning 15021 clauses out of 30049 with flag 430284/5733189
1267.27/1244.31	c cleaning 16013 clauses out of 32028 with flag 496333/5750189
1271.14/1248.10	c cleaning 16991 clauses out of 34014 with flag 566539/5768188
1275.60/1252.52	c cleaning 18003 clauses out of 36024 with flag 660468/5787189
1281.45/1258.11	c cleaning 19002 clauses out of 38020 with flag 756651/5807188
1287.23/1263.89	c cleaning 20004 clauses out of 40019 with flag 864507/5828189
1292.62/1269.20	c cleaning 21003 clauses out of 42014 with flag 949932/5850188
1297.53/1273.92	c cleaning 22000 clauses out of 44015 with flag 1029469/5873192
1303.12/1279.40	c cleaning 23000 clauses out of 46011 with flag 1144637/5897188
1309.85/1286.05	c cleaning 24001 clauses out of 48012 with flag 1256664/5922189
1317.06/1293.14	c cleaning 24996 clauses out of 50013 with flag 1382365/5948191
1324.36/1300.23	c cleaning 26001 clauses out of 52014 with flag 1513096/5975188
1331.89/1307.63	c cleaning 26995 clauses out of 54014 with flag 1658083/6003189
1338.70/1314.39	c cleaning 27995 clauses out of 56018 with flag 1811123/6032188
1346.16/1321.66	c cleaning 29004 clauses out of 58023 with flag 1984130/6062188
1354.48/1329.85	c cleaning 30002 clauses out of 60021 with flag 2181910/6093190
1364.99/1340.15	c cleaning 31002 clauses out of 62017 with flag 2387991/6125188
1374.33/1349.36	c cleaning 31999 clauses out of 64015 with flag 2593212/6158188
1382.84/1357.74	c cleaning 32998 clauses out of 66016 with flag 2818197/6192188
1391.11/1365.86	c cleaning 34005 clauses out of 68018 with flag 3015965/6227188
1398.79/1373.48	c Got one! Elapsed wall clock time (in seconds):1373.356
1398.79/1373.48	o 3067
1400.55/1375.17	c cleaning 37022 clauses out of 74058 with flag 22925/6267233
1402.36/1376.98	c cleaning 21509 clauses out of 43037 with flag 54418/6273234
1404.39/1378.99	c cleaning 14251 clauses out of 28528 with flag 94255/6280234
1406.85/1381.33	c cleaning 11101 clauses out of 22276 with flag 137357/6288233
1409.42/1383.86	c cleaning 9601 clauses out of 20178 with flag 177354/6297236
1412.34/1386.71	c cleaning 9995 clauses out of 20576 with flag 211747/6307235
1414.99/1389.34	c cleaning 10773 clauses out of 21580 with flag 248610/6318234
1415.58/1389.92	c Got one! Elapsed wall clock time (in seconds):1389.8
1415.58/1389.92	o 3066
1415.98/1390.36	c cleaning 6182 clauses out of 16753 with flag 5293/6324180
1417.09/1391.46	c cleaning 5988 clauses out of 16563 with flag 22604/6330172
1418.71/1393.00	c cleaning 7001 clauses out of 17578 with flag 46206/6337175
1420.32/1394.66	c cleaning 7993 clauses out of 18575 with flag 73594/6345173
1422.67/1396.93	c cleaning 8999 clauses out of 19582 with flag 109254/6354173
1425.35/1399.58	c cleaning 10003 clauses out of 20582 with flag 144926/6364172
1428.00/1402.15	c cleaning 10783 clauses out of 21580 with flag 187744/6375173
1431.34/1405.44	c cleaning 11375 clauses out of 22797 with flag 245573/6387173
1434.61/1408.68	c cleaning 12205 clauses out of 24421 with flag 306446/6400172
1438.87/1412.73	c cleaning 13097 clauses out of 26217 with flag 375525/6414173
1442.10/1415.99	c cleaning 14057 clauses out of 28121 with flag 428522/6429174
1445.15/1418.93	c cleaning 15020 clauses out of 30062 with flag 486200/6445172
1448.35/1422.13	c cleaning 16016 clauses out of 32044 with flag 546187/6462174
1451.40/1425.19	c cleaning 17010 clauses out of 34030 with flag 604079/6480176
1456.41/1430.02	c cleaning 18000 clauses out of 36018 with flag 689582/6499174
1461.57/1435.10	c cleaning 19004 clauses out of 38020 with flag 799823/6519176
1466.74/1440.28	c cleaning 20000 clauses out of 40013 with flag 907519/6540173
1473.10/1446.45	c cleaning 21000 clauses out of 42012 with flag 1021821/6562172
1478.69/1451.90	c cleaning 22005 clauses out of 44013 with flag 1120551/6585173
1483.79/1456.93	c cleaning 22987 clauses out of 46011 with flag 1199922/6609176
1490.51/1463.50	c cleaning 23991 clauses out of 48022 with flag 1315969/6634174
1494.58/1467.52	c Got one! Elapsed wall clock time (in seconds):1467.394
1494.58/1467.52	o 3056
1495.97/1468.93	c cleaning 22638 clauses out of 45285 with flag 22632/6655428
1497.30/1470.28	c cleaning 14318 clauses out of 28647 with flag 46115/6661428
1498.93/1471.84	c cleaning 10461 clauses out of 21328 with flag 72965/6668427
1500.75/1473.62	c cleaning 8005 clauses out of 18868 with flag 100673/6676428
1502.87/1475.70	c cleaning 8988 clauses out of 19863 with flag 133514/6685428
1505.33/1478.15	c cleaning 9996 clauses out of 20874 with flag 169006/6695427
1507.57/1480.30	c cleaning 10932 clauses out of 21879 with flag 198492/6706428
1509.40/1482.14	c cleaning 11462 clauses out of 22948 with flag 230710/6718429
1511.51/1484.28	c cleaning 12237 clauses out of 24485 with flag 270426/6731428
1514.80/1487.43	c cleaning 13115 clauses out of 26248 with flag 324237/6745428
1518.18/1490.75	c cleaning 14063 clauses out of 28132 with flag 381834/6760427
1522.05/1494.52	c cleaning 15021 clauses out of 30069 with flag 444149/6776427
1526.84/1499.23	c cleaning 16018 clauses out of 32048 with flag 534223/6793427
1531.88/1504.16	c cleaning 17011 clauses out of 34030 with flag 621524/6811427
1536.55/1508.75	c cleaning 17995 clauses out of 36019 with flag 696666/6830427
1541.20/1513.34	c cleaning 19004 clauses out of 38024 with flag 794049/6850427
1544.33/1516.47	c Got one! Elapsed wall clock time (in seconds):1516.348
1544.33/1516.47	o 3053
1545.59/1517.69	c cleaning 18747 clauses out of 37528 with flag 22600/6868935
1547.13/1519.15	c cleaning 12383 clauses out of 24784 with flag 49532/6874938
1548.42/1520.50	c cleaning 8429 clauses out of 19398 with flag 73483/6881935
1550.15/1522.17	c cleaning 8005 clauses out of 18970 with flag 96797/6889936
1552.07/1524.04	c cleaning 8989 clauses out of 19965 with flag 124309/6898936
1554.58/1526.45	c cleaning 9989 clauses out of 20975 with flag 157883/6908935
1557.12/1528.96	c cleaning 10984 clauses out of 21986 with flag 195614/6919935
1559.96/1531.71	c cleaning 11490 clauses out of 23006 with flag 238646/6931939
1563.18/1534.97	c cleaning 12250 clauses out of 24512 with flag 288957/6944935
1567.26/1538.95	c cleaning 13117 clauses out of 26262 with flag 349688/6958935
1571.32/1542.99	c cleaning 14067 clauses out of 28145 with flag 414823/6973935
1573.83/1545.40	c cleaning 15038 clauses out of 30078 with flag 463004/6989935
1576.95/1548.60	c cleaning 16013 clauses out of 32042 with flag 530158/7006937
1580.52/1552.10	c cleaning 17013 clauses out of 34029 with flag 604161/7024937
1584.37/1555.83	c cleaning 18005 clauses out of 36014 with flag 683175/7043935
1588.11/1559.55	c cleaning 18996 clauses out of 38010 with flag 767927/7063936
1592.84/1564.11	c cleaning 20000 clauses out of 40014 with flag 867765/7084936
1597.83/1569.04	c cleaning 20998 clauses out of 42013 with flag 974863/7106935
1599.65/1570.83	c Got one! Elapsed wall clock time (in seconds):1570.706
1599.65/1570.83	o 3048
1600.68/1571.81	c cleaning 17938 clauses out of 35888 with flag 21121/7121808
1601.78/1572.93	c cleaning 11965 clauses out of 23950 with flag 42991/7127808
1603.11/1574.22	c cleaning 7956 clauses out of 18990 with flag 64020/7134813
1604.61/1575.77	c cleaning 8000 clauses out of 19029 with flag 87489/7142808
1606.66/1577.75	c cleaning 8987 clauses out of 20029 with flag 115553/7151808
1608.88/1579.98	c cleaning 9995 clauses out of 21042 with flag 150206/7161808
1611.51/1582.58	c cleaning 11012 clauses out of 22048 with flag 189299/7172809
1614.07/1585.10	c cleaning 11509 clauses out of 23035 with flag 224060/7184808
1616.00/1586.95	c Got one! Elapsed wall clock time (in seconds):1586.824
1616.00/1586.95	o 3045
1617.33/1588.21	c cleaning 12801 clauses out of 25615 with flag 17200/7198897
1618.74/1589.61	c cleaning 7758 clauses out of 18814 with flag 39385/7204897
1620.16/1591.07	c cleaning 7006 clauses out of 18056 with flag 61392/7211897
1621.59/1592.49	c cleaning 7997 clauses out of 19050 with flag 81363/7219897
1623.26/1594.06	c cleaning 8992 clauses out of 20054 with flag 103562/7228898
1625.08/1595.83	c cleaning 10013 clauses out of 21062 with flag 130323/7238898
1627.62/1598.40	c cleaning 10992 clauses out of 22048 with flag 164230/7249897
1630.24/1600.90	c cleaning 11513 clauses out of 23056 with flag 200558/7261897
1633.08/1603.79	c cleaning 12270 clauses out of 24547 with flag 248440/7274901
1637.31/1607.81	c cleaning 13126 clauses out of 26273 with flag 305958/7288897
1641.12/1611.54	c cleaning 14067 clauses out of 28148 with flag 380296/7303898
1645.45/1615.71	c cleaning 15030 clauses out of 30080 with flag 455451/7319897
1646.35/1616.65	c Got one! Elapsed wall clock time (in seconds):1616.525
1646.35/1616.65	o 3042
1646.55/1616.88	c cleaning 9216 clauses out of 20305 with flag 2981/7325152
1648.17/1618.42	c cleaning 6007 clauses out of 17089 with flag 24525/7331152
1649.60/1619.82	c cleaning 6998 clauses out of 18082 with flag 46141/7338152
1651.73/1621.97	c cleaning 7986 clauses out of 19084 with flag 73991/7346152
1654.41/1624.50	c cleaning 9006 clauses out of 20098 with flag 111936/7355152
1656.84/1626.97	c cleaning 9997 clauses out of 21092 with flag 147085/7365152
1659.51/1629.52	c cleaning 11006 clauses out of 22095 with flag 184164/7376152
1662.13/1632.14	c cleaning 11538 clauses out of 23090 with flag 226215/7388153
1665.19/1635.11	c cleaning 12263 clauses out of 24551 with flag 277332/7401152
1667.52/1637.48	c cleaning 13139 clauses out of 26289 with flag 326206/7415153
1671.32/1641.13	c cleaning 14070 clauses out of 28150 with flag 384641/7430153
1674.47/1644.25	c cleaning 15033 clauses out of 30079 with flag 442463/7446152
1677.89/1647.54	c Got one! Elapsed wall clock time (in seconds):1647.416
1677.89/1647.54	o 3035
1679.45/1649.08	c cleaning 16650 clauses out of 33312 with flag 22861/7464418
1680.85/1650.45	c cleaning 11308 clauses out of 22659 with flag 48019/7470415
1682.25/1651.87	c cleaning 7213 clauses out of 18352 with flag 74601/7477416
1683.96/1653.58	c Got one! Elapsed wall clock time (in seconds):1653.461
1683.96/1653.58	o 3024
1685.30/1654.86	c cleaning 11864 clauses out of 23742 with flag 17335/7490019
1686.82/1656.39	c cleaning 6724 clauses out of 17879 with flag 42686/7496020
1688.17/1657.68	c cleaning 7003 clauses out of 18155 with flag 63442/7503020
1689.67/1659.17	c cleaning 7980 clauses out of 19152 with flag 90135/7511020
1691.39/1660.90	c cleaning 9028 clauses out of 20172 with flag 119797/7520020
1693.21/1662.60	c cleaning 10005 clauses out of 21147 with flag 154853/7530023
1695.04/1664.44	c cleaning 11000 clauses out of 22138 with flag 190177/7541019
1696.76/1666.19	c cleaning 11565 clauses out of 23141 with flag 223077/7553022
1699.71/1669.03	c cleaning 12281 clauses out of 24573 with flag 275075/7566019
1699.81/1669.17	c Got one! Elapsed wall clock time (in seconds):1669.05
1699.81/1669.17	o 2979
1701.05/1670.30	c cleaning 6735 clauses out of 17892 with flag 15637/7571619
1702.69/1671.90	c cleaning 5991 clauses out of 17158 with flag 40093/7577620
1704.31/1673.57	c cleaning 7013 clauses out of 18166 with flag 66286/7584619
1704.61/1673.86	c Got one! Elapsed wall clock time (in seconds):1673.739
1704.61/1673.86	o 2978
1705.62/1674.81	c cleaning 5810 clauses out of 16973 with flag 11056/7590439
1706.87/1676.01	c cleaning 6008 clauses out of 17161 with flag 28276/7596437
1708.29/1677.43	c cleaning 6993 clauses out of 18153 with flag 47563/7603437
1709.83/1678.92	c cleaning 8003 clauses out of 19161 with flag 67937/7611438
1711.35/1680.45	c cleaning 9005 clauses out of 20161 with flag 89265/7620441
1713.39/1682.49	c cleaning 9996 clauses out of 21152 with flag 117692/7630437
1715.94/1684.93	c cleaning 11000 clauses out of 22156 with flag 149605/7641437
1718.65/1687.57	c cleaning 11569 clauses out of 23157 with flag 186421/7653438
1722.11/1690.90	c cleaning 12282 clauses out of 24587 with flag 238875/7666437
1725.37/1694.12	c cleaning 13144 clauses out of 26305 with flag 289505/7680437
1728.41/1697.17	c cleaning 14075 clauses out of 28161 with flag 337182/7695437
1731.64/1700.38	c cleaning 15040 clauses out of 30086 with flag 390927/7711437
1735.54/1704.29	c cleaning 16016 clauses out of 32048 with flag 451524/7728439
1740.01/1708.62	c cleaning 17001 clauses out of 34030 with flag 529320/7746437
1744.92/1713.46	c cleaning 18009 clauses out of 36030 with flag 617408/7765438
1749.72/1718.16	c cleaning 18999 clauses out of 38021 with flag 704904/7785438
1754.36/1722.65	c cleaning 20009 clauses out of 40022 with flag 809009/7806438
1759.78/1727.99	c cleaning 20998 clauses out of 42012 with flag 924272/7828437
1764.54/1732.64	c cleaning 22001 clauses out of 44014 with flag 1018771/7851437
1770.28/1738.27	c cleaning 22998 clauses out of 46013 with flag 1143046/7875437
1777.03/1744.89	c cleaning 23994 clauses out of 48016 with flag 1266887/7900438
1784.01/1751.68	c cleaning 25005 clauses out of 50024 with flag 1404550/7926440
1790.72/1758.22	c cleaning 26000 clauses out of 52016 with flag 1560082/7953437
1797.05/1764.58	c cleaning 26984 clauses out of 54016 with flag 1730115/7981437
1800.06/1767.50	c starts		: 9167
1800.06/1767.50	c conflicts		: 7991267
1800.06/1767.50	c decisions		: 24673578
1800.06/1767.50	c propagations		: 1950167429
1800.06/1767.50	c inspects		: 8876158353
1800.06/1767.50	c shortcuts		: 0
1800.06/1767.50	c learnt literals	: 2
1800.06/1767.50	c learnt binary clauses	: 205
1800.06/1767.50	c learnt ternary clauses	: 333
1800.06/1767.50	c learnt constraints	: 7991265
1800.06/1767.50	c ignored constraints	: 0
1800.06/1767.50	c root simplifications	: 0
1800.06/1767.50	c removed literals (reason simplification)	: 0
1800.06/1767.50	c reason swapping (by a shorter reason)	: 0
1800.06/1767.50	c Calls to reduceDB	: 625
1800.06/1767.50	c Number of update (reduction) of LBD	: 2115624
1800.06/1767.50	c Imported unit clauses	: 0
1800.06/1767.50	c number of reductions to clauses (during analyze)	: 0
1800.06/1767.50	c number of learned constraints concerned by reduction	: 0
1800.06/1767.50	c number of learning phase by resolution	: 0
1800.06/1767.50	c number of learning phase by cutting planes	: 0
1800.06/1767.50	c speed (assignments/second)	: 1103605.781152824
1800.06/1767.50	c non guided choices	7197
1800.06/1767.52	c learnt constraints type 
1800.06/1767.52	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 205
1800.06/1767.52	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36657
1800.06/1767.52	s SATISFIABLE
1800.06/1767.52	c Found 55 solution(s)
1800.06/1767.52	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 -xc timeout
1800.06/1767.53	742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 x954 x955 x956 x957 x958 x959 -x960 x961 x962 x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 x1125 x1126 -x1127 -x1128 x1129 x1130 x1131 x1132 x1133 x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 x1519 x1520 x1521 x1522 x1523 x1524 -x1525 x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 x1811 x1812 x1813 -x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 -x1822 x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 x1994 x1995 x1996 x1997 x1998 x1999 x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 x2694 x2695 x2696 x2697 x2698 -x2699 x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x3420 x3421 -x3422 x3423 x3424 x3425 x3426 x3427 x3428 x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 x3469 -x3470 x3471 -x3472 x3473 x3474 x3475 x3476 x3477 x3478 x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 x3960 x3961 -x3962 x3963 -x3964 x3965 x3966 x3967 x3968 x3969 x3970 -x3971 x3972 x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 x4105 x4106 x4107 x4108 -x4109 x4110 x4111 x4112 x4113 x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 x4300 -x4301 x4302 -x4303 x4304 x4305 x4306 x4307 x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 x4526 -x4527 x4528 x4529 -x4530 x4531 x4532 x4533 x4534 x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 x4735 x4736 -x4737 x4738 -x4739 x4740 x4741 x4742 x4743 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 x5245 x5246 x5247 x5248 -x5249 x5250 x5251 x5252 x5253 x5254 x5255 -x5256 x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 x5733 x5734 -x5735 x5736 x5737 x5738 x5739 x5740 -x5741 -x5742 x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 x5829 x5830 x5831 x5832 x5833 x5834 x5835 x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 x6438 x6439 x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 x6451 x6452 x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 x6890 -x6891 x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 x6946 x6947 -x6948 x6949 x6950 x6951 x6952 x6953 -x6954 x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 x7185 x7186 x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 
1800.06/1767.53	c objective function=2978
1800.06/1767.53	c Total wall clock time (in seconds): 1767.411

FAILED
ERROR: unsatisfied constraint on line 464
	0=1

Falsified constraint is:
+1*x301[=0] +1*x1304[=0] +1*x31[=0] +1*x60[=0] +1*x73[=0] +1*x121[=0] +1*x140[=0] +1*x198[=0] +1*x215[=0] +1*x232[=0] +1*x245[=0] +1*x274[=0] +1*x287[=0] +1*x318[=0] +1*x337[=0] = 1 

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-4101605-1466224168/watcher-4101605-1466224168 -o /tmp/evaluation-result-4101605-1466224168/solver-4101605-1466224168 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466206086-25993 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101605-1466224168.opb 

pid=29221
running on 4 cores: 0,2,4,6

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.26 2.22 2.20 3/194 29224
/proc/meminfo: memFree=30312476/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/29224/stat : 29224 (java) D 29221 29224 25977 0 -1 4202496 170 0 0 0 0 0 0 0 20 0 1 0 24465395 2560000 46 33554432000 1073741824 1073778376 140735323486496 140735323483624 272877317415 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/29224/statm: 625 46 37 9 0 29 0

[startup+0.100059 s]
/proc/loadavg: 2.26 2.22 2.20 3/194 29224
/proc/meminfo: memFree=30312476/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/29224/stat : 29224 (java) S 29221 29224 25977 0 -1 4202496 4274 0 1 0 6 1 0 0 20 0 18 0 24465395 9787879424 4892 33554432000 1073741824 1073778376 140735184289600 140735184280736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29224/statm: 2389619 4892 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200246 s]
/proc/loadavg: 2.26 2.22 2.20 3/194 29224
/proc/meminfo: memFree=30312476/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/29224/stat : 29224 (java) S 29221 29224 25977 0 -1 4202496 4944 0 1 0 23 1 0 0 20 0 18 0 24465395 9787879424 6467 33554432000 1073741824 1073778376 140735184289600 140735184280736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29224/statm: 2389619 6467 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300236 s]
/proc/loadavg: 2.26 2.22 2.20 3/194 29224
/proc/meminfo: memFree=30312476/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/29224/stat : 29224 (java) S 29221 29224 25977 0 -1 4202496 7065 0 1 0 48 2 0 0 20 0 18 0 24465395 9787879424 9715 33554432000 1073741824 1073778376 140735184289600 140735184280736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29224/statm: 2389619 9715 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700182 s]
/proc/loadavg: 2.26 2.22 2.20 3/194 29224
/proc/meminfo: memFree=30312476/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=9625040 CPUtime=1.51 cores=0,2,4,6
/proc/29224/stat : 29224 (java) S 29221 29224 25977 0 -1 4202496 12916 0 1 0 148 3 0 0 20 0 19 0 24465395 9856040960 17746 33554432000 1073741824 1073778376 140735184289600 140735184280736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29224/statm: 2406260 17746 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.26 2.22 2.20 3/213 29243
/proc/meminfo: memFree=30225064/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=9625040 CPUtime=2.45 cores=0,2,4,6
/proc/29224/stat : 29224 (java) S 29221 29224 25977 0 -1 4202496 14198 0 1 0 241 4 0 0 20 0 19 0 24465395 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 140735184280736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29224/statm: 2406260 30063 2272 9 0 2396937 0
[pid=29224/tid=29226] ppid=29221 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/29224/task/29226/stat : 29226 (java) R 29221 29224 25977 0 -1 4202560 2516 0 1 0 142 3 0 0 20 0 19 0 24465396 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973257514704 139973130379768 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29227] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29227/stat : 29227 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973101386792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29228] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29228/stat : 29228 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973100333992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29229] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29229/stat : 29229 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973099281192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29230] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29230/stat : 29230 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973098228392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29231] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29231/stat : 29231 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973097175592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29232] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29232/stat : 29232 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973096122792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29233] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29233/stat : 29233 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973095069992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29234] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29234/stat : 29234 (java) S 29221 29224 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973094017192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29235] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29235/stat : 29235 (java) S 29221 29224 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973081820136 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29236] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29236/stat : 29236 (java) S 29221 29224 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973080766200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29237] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29237/stat : 29237 (java) S 29221 29224 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973079713288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29238] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29238/stat : 29238 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973078661776 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29239] ppid=29221 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/29224/task/29239/stat : 29239 (java) S 29221 29224 25977 0 -1 4202560 5556 0 0 0 53 1 0 0 20 0 19 0 24465402 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973077608888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29240] ppid=29221 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/29224/task/29240/stat : 29240 (java) S 29221 29224 25977 0 -1 4202560 4850 0 0 0 42 0 0 0 20 0 19 0 24465402 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973076556088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29241] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29241/stat : 29241 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973075503480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29242] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29242/stat : 29242 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973074450888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29243] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29243/stat : 29243 (java) S 29221 29224 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24465437 9856040960 30063 33554432000 1073741824 1073778376 140735184289600 139973073299112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.26 2.22 2.20 3/213 29243
/proc/meminfo: memFree=30144688/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=9625040 CPUtime=4.13 cores=0,2,4,6
/proc/29224/stat : 29224 (java) S 29221 29224 25977 0 -1 4202496 14271 0 1 0 407 6 0 0 20 0 19 0 24465395 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 140735184280736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29224/statm: 2406260 43915 2286 9 0 2396937 0
[pid=29224/tid=29226] ppid=29221 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/29224/task/29226/stat : 29226 (java) R 29221 29224 25977 0 -1 4202560 2543 0 1 0 299 4 0 0 20 0 19 0 24465396 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973257514704 139973130428437 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29227] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29227/stat : 29227 (java) S 29221 29224 25977 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973101386792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29228] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29228/stat : 29228 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973100333992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29229] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29229/stat : 29229 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973099281192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29230] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29230/stat : 29230 (java) S 29221 29224 25977 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973098228392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29231] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29231/stat : 29231 (java) S 29221 29224 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973097175592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29232] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29232/stat : 29232 (java) S 29221 29224 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973096122792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29233] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29233/stat : 29233 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973095069992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29234] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29234/stat : 29234 (java) S 29221 29224 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973094017192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29235] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29235/stat : 29235 (java) S 29221 29224 25977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973081820136 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29236] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29236/stat : 29236 (java) S 29221 29224 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973080766200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29237] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29237/stat : 29237 (java) S 29221 29224 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973079713288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29238] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29238/stat : 29238 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973078661776 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29239] ppid=29221 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/29224/task/29239/stat : 29239 (java) S 29221 29224 25977 0 -1 4202560 5560 0 0 0 57 2 0 0 20 0 19 0 24465402 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973077608888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29240] ppid=29221 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/29224/task/29240/stat : 29240 (java) S 29221 29224 25977 0 -1 4202560 4854 0 0 0 45 0 0 0 20 0 19 0 24465402 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973076556088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29241] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29241/stat : 29241 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973075503480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29242] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29242/stat : 29242 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973074450888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29243] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29243/stat : 29243 (java) S 29221 29224 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24465437 9856040960 43915 33554432000 1073741824 1073778376 140735184289600 139973073299112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.24 2.22 2.20 3/213 29243
/proc/meminfo: memFree=30135704/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=9625040 CPUtime=7.4 cores=0,2,4,6
/proc/29224/stat : 29224 (java) S 29221 29224 25977 0 -1 4202496 14311 0 1 0 732 8 0 0 20 0 19 0 24465395 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 140735184280736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29224/statm: 2406260 47479 2286 9 0 2396937 0
[pid=29224/tid=29226] ppid=29221 vsize=9625040 CPUtime=6.21 cores=0,2,4,6
/proc/29224/task/29226/stat : 29226 (java) R 29221 29224 25977 0 -1 4202560 2546 0 1 0 617 4 0 0 20 0 19 0 24465396 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973257522472 139973130370574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29227] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29227/stat : 29227 (java) S 29221 29224 25977 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973101386792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29228] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29228/stat : 29228 (java) S 29221 29224 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973100333992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29229] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29229/stat : 29229 (java) S 29221 29224 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973099281192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29230] ppid=29221 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/29224/task/29230/stat : 29230 (java) S 29221 29224 25977 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 24465398 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973098228392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29231] ppid=29221 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/29224/task/29231/stat : 29231 (java) S 29221 29224 25977 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 24465398 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973097175592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29232] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29232/stat : 29232 (java) S 29221 29224 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973096122792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29233] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29233/stat : 29233 (java) S 29221 29224 25977 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973095069992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29234] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29234/stat : 29234 (java) S 29221 29224 25977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24465398 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973094017192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29235] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29235/stat : 29235 (java) S 29221 29224 25977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973081820136 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29236] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29236/stat : 29236 (java) S 29221 29224 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973080766200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29237] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29237/stat : 29237 (java) S 29221 29224 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973079713288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29238] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29238/stat : 29238 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973078661776 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29239] ppid=29221 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/29224/task/29239/stat : 29239 (java) S 29221 29224 25977 0 -1 4202560 5564 0 0 0 58 2 0 0 20 0 19 0 24465402 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973077608888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29240] ppid=29221 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/29224/task/29240/stat : 29240 (java) S 29221 29224 25977 0 -1 4202560 4854 0 0 0 46 0 0 0 20 0 19 0 24465402 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973076556088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29241] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29241/stat : 29241 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973075503480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29242] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29242/stat : 29242 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973074450888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29243] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29243/stat : 29243 (java) S 29221 29224 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24465437 9856040960 47479 33554432000 1073741824 1073778376 140735184289600 139973073299112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 9625040


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

[pid=29224/tid=29236] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29236/stat : 29236 (java) S 29221 29224 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 118527 33554432000 1073741824 1073778376 140735184289600 139973080766200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29237] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29237/stat : 29237 (java) S 29221 29224 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 118527 33554432000 1073741824 1073778376 140735184289600 139973079713288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29238] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29238/stat : 29238 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 118527 33554432000 1073741824 1073778376 140735184289600 139973078661776 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29239] ppid=29221 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/29224/task/29239/stat : 29239 (java) S 29221 29224 25977 0 -1 4202560 5575 0 0 0 69 2 0 0 20 0 19 0 24465402 9856040960 118527 33554432000 1073741824 1073778376 140735184289600 139973077608888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29240] ppid=29221 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/29224/task/29240/stat : 29240 (java) S 29221 29224 25977 0 -1 4202560 4887 0 0 0 63 0 0 0 20 0 19 0 24465402 9856040960 118527 33554432000 1073741824 1073778376 140735184289600 139973076556088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29241] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29241/stat : 29241 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 118527 33554432000 1073741824 1073778376 140735184289600 139973075503480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29242] ppid=29221 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/29224/task/29242/stat : 29242 (java) S 29221 29224 25977 0 -1 4202560 94 0 0 0 24 28 0 0 20 0 19 0 24465402 9856040960 118527 33554432000 1073741824 1073778376 140735184289600 139973074450888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29243] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29243/stat : 29243 (java) S 29221 29224 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24465437 9856040960 118527 33554432000 1073741824 1073778376 140735184289600 139973073299112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1692.91
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.23 2.18 2.17 4/213 29352
/proc/meminfo: memFree=29201984/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=9625040 CPUtime=1754.06 cores=0,2,4,6
/proc/29224/stat : 29224 (java) S 29221 29224 25977 0 -1 4202496 46660 0 1 0 175055 351 0 0 20 0 19 0 24465395 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 140735184280736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29224/statm: 2406260 110236 2295 9 0 2396937 0
[pid=29224/tid=29226] ppid=29221 vsize=9625040 CPUtime=1706.57 cores=0,2,4,6
/proc/29224/task/29226/stat : 29226 (java) R 29221 29224 25977 0 -1 4202560 3830 0 1 0 170622 35 0 0 20 0 19 0 24465396 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973257522432 139973130702109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29227] ppid=29221 vsize=9625040 CPUtime=5.21 cores=0,2,4,6
/proc/29224/task/29227/stat : 29227 (java) S 29221 29224 25977 0 -1 4202560 2980 0 0 0 485 36 0 0 20 0 19 0 24465398 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973101386792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29228] ppid=29221 vsize=9625040 CPUtime=5.23 cores=0,2,4,6
/proc/29224/task/29228/stat : 29228 (java) S 29221 29224 25977 0 -1 4202560 2716 0 0 0 486 37 0 0 20 0 19 0 24465398 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973100333992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29229] ppid=29221 vsize=9625040 CPUtime=5.49 cores=0,2,4,6
/proc/29224/task/29229/stat : 29229 (java) S 29221 29224 25977 0 -1 4202560 3411 0 0 0 508 41 0 0 20 0 19 0 24465398 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973099281192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29230] ppid=29221 vsize=9625040 CPUtime=5.46 cores=0,2,4,6
/proc/29224/task/29230/stat : 29230 (java) S 29221 29224 25977 0 -1 4202560 3053 0 0 0 511 35 0 0 20 0 19 0 24465398 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973098228392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29231] ppid=29221 vsize=9625040 CPUtime=5.55 cores=0,2,4,6
/proc/29224/task/29231/stat : 29231 (java) S 29221 29224 25977 0 -1 4202560 4439 0 0 0 516 39 0 0 20 0 19 0 24465398 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973097175592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29232] ppid=29221 vsize=9625040 CPUtime=5.42 cores=0,2,4,6
/proc/29224/task/29232/stat : 29232 (java) S 29221 29224 25977 0 -1 4202560 3292 0 0 0 505 37 0 0 20 0 19 0 24465398 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973096122792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29233] ppid=29221 vsize=9625040 CPUtime=5.49 cores=0,2,4,6
/proc/29224/task/29233/stat : 29233 (java) S 29221 29224 25977 0 -1 4202560 3357 0 0 0 512 37 0 0 20 0 19 0 24465398 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973095069992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29234] ppid=29221 vsize=9625040 CPUtime=5.63 cores=0,2,4,6
/proc/29224/task/29234/stat : 29234 (java) S 29221 29224 25977 0 -1 4202560 4584 0 0 0 523 40 0 0 20 0 19 0 24465398 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973094017192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29235] ppid=29221 vsize=9625040 CPUtime=2.66 cores=0,2,4,6
/proc/29224/task/29235/stat : 29235 (java) S 29221 29224 25977 0 -1 4202560 3176 0 0 0 249 17 0 0 20 0 19 0 24465399 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973081820136 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29236] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29236/stat : 29236 (java) S 29221 29224 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973080766200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29237] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29237/stat : 29237 (java) S 29221 29224 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973079713288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29238] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29238/stat : 29238 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973078661776 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29239] ppid=29221 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/29224/task/29239/stat : 29239 (java) S 29221 29224 25977 0 -1 4202560 5575 0 0 0 69 2 0 0 20 0 19 0 24465402 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973077608888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29240] ppid=29221 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/29224/task/29240/stat : 29240 (java) S 29221 29224 25977 0 -1 4202560 4887 0 0 0 63 0 0 0 20 0 19 0 24465402 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973076556088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29241] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29241/stat : 29241 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973075503480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29242] ppid=29221 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/29224/task/29242/stat : 29242 (java) S 29221 29224 25977 0 -1 4202560 98 0 0 0 26 28 0 0 20 0 19 0 24465402 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973074450888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29243] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29243/stat : 29243 (java) S 29221 29224 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24465437 9856040960 110236 33554432000 1073741824 1073778376 140735184289600 139973073299112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1754.06
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1767.5 s]
/proc/loadavg: 2.16 2.17 2.17 3/213 29353
/proc/meminfo: memFree=29054796/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/29224/stat : 29224 (java) S 29221 29224 25977 0 -1 4202496 48303 0 1 0 179643 363 0 0 20 0 19 0 24465395 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 140735184280736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29224/statm: 2406260 134818 2295 9 0 2396937 0
[pid=29224/tid=29226] ppid=29221 vsize=9625040 CPUtime=1751.33 cores=0,2,4,6
/proc/29224/task/29226/stat : 29226 (java) R 29221 29224 25977 0 -1 4202560 3848 0 1 0 175097 36 0 0 20 0 19 0 24465396 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973257522384 139973130370611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29227] ppid=29221 vsize=9625040 CPUtime=5.38 cores=0,2,4,6
/proc/29224/task/29227/stat : 29227 (java) S 29221 29224 25977 0 -1 4202560 3542 0 0 0 501 37 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973101386792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29228] ppid=29221 vsize=9625040 CPUtime=5.39 cores=0,2,4,6
/proc/29224/task/29228/stat : 29228 (java) S 29221 29224 25977 0 -1 4202560 2805 0 0 0 501 38 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973100333992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29229] ppid=29221 vsize=9625040 CPUtime=5.61 cores=0,2,4,6
/proc/29224/task/29229/stat : 29229 (java) S 29221 29224 25977 0 -1 4202560 3500 0 0 0 520 41 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973099281192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29230] ppid=29221 vsize=9625040 CPUtime=5.61 cores=0,2,4,6
/proc/29224/task/29230/stat : 29230 (java) S 29221 29224 25977 0 -1 4202560 3163 0 0 0 524 37 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973098228392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29231] ppid=29221 vsize=9625040 CPUtime=5.71 cores=0,2,4,6
/proc/29224/task/29231/stat : 29231 (java) S 29221 29224 25977 0 -1 4202560 4661 0 0 0 531 40 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973097175592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29232] ppid=29221 vsize=9625040 CPUtime=5.56 cores=0,2,4,6
/proc/29224/task/29232/stat : 29232 (java) S 29221 29224 25977 0 -1 4202560 3407 0 0 0 518 38 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973096122792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29233] ppid=29221 vsize=9625040 CPUtime=5.62 cores=0,2,4,6
/proc/29224/task/29233/stat : 29233 (java) S 29221 29224 25977 0 -1 4202560 3468 0 0 0 524 38 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973095069992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29234] ppid=29221 vsize=9625040 CPUtime=5.76 cores=0,2,4,6
/proc/29224/task/29234/stat : 29234 (java) S 29221 29224 25977 0 -1 4202560 4688 0 0 0 535 41 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973094017192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29235] ppid=29221 vsize=9625040 CPUtime=2.78 cores=0,2,4,6
/proc/29224/task/29235/stat : 29235 (java) S 29221 29224 25977 0 -1 4202560 3397 0 0 0 261 17 0 0 20 0 19 0 24465399 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973081820136 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29236] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29236/stat : 29236 (java) S 29221 29224 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973080766200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29237] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29237/stat : 29237 (java) S 29221 29224 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973079713288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29238] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29238/stat : 29238 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973078661776 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29239] ppid=29221 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/29224/task/29239/stat : 29239 (java) S 29221 29224 25977 0 -1 4202560 5575 0 0 0 69 2 0 0 20 0 19 0 24465402 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973077608888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29240] ppid=29221 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/29224/task/29240/stat : 29240 (java) S 29221 29224 25977 0 -1 4202560 4887 0 0 0 63 0 0 0 20 0 19 0 24465402 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973076556088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29241] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29241/stat : 29241 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973075503480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29242] ppid=29221 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/29224/task/29242/stat : 29242 (java) S 29221 29224 25977 0 -1 4202560 100 0 0 0 26 29 0 0 20 0 19 0 24465402 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973074450888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29243] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29243/stat : 29243 (java) S 29221 29224 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24465437 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973073299112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 29224 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1767.5 s]
/proc/loadavg: 2.16 2.17 2.17 3/213 29353
/proc/meminfo: memFree=29054796/32872528 swapFree=1244176/1391344
[pid=29224] ppid=29221 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/29224/stat : 29224 (java) S 29221 29224 25977 0 -1 4202496 48303 0 1 0 179643 363 0 0 20 0 19 0 24465395 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 140735184280736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29224/statm: 2406260 134818 2295 9 0 2396937 0
[pid=29224/tid=29226] ppid=29221 vsize=9625040 CPUtime=1751.33 cores=0,2,4,6
/proc/29224/task/29226/stat : 29226 (java) R 29221 29224 25977 0 -1 4202560 3848 0 1 0 175097 36 0 0 20 0 19 0 24465396 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973257522384 139973130370611 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29227] ppid=29221 vsize=9625040 CPUtime=5.38 cores=0,2,4,6
/proc/29224/task/29227/stat : 29227 (java) S 29221 29224 25977 0 -1 4202560 3542 0 0 0 501 37 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973101386792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29228] ppid=29221 vsize=9625040 CPUtime=5.39 cores=0,2,4,6
/proc/29224/task/29228/stat : 29228 (java) S 29221 29224 25977 0 -1 4202560 2805 0 0 0 501 38 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973100333992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29229] ppid=29221 vsize=9625040 CPUtime=5.61 cores=0,2,4,6
/proc/29224/task/29229/stat : 29229 (java) S 29221 29224 25977 0 -1 4202560 3500 0 0 0 520 41 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973099281192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29230] ppid=29221 vsize=9625040 CPUtime=5.61 cores=0,2,4,6
/proc/29224/task/29230/stat : 29230 (java) S 29221 29224 25977 0 -1 4202560 3163 0 0 0 524 37 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973098228392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29231] ppid=29221 vsize=9625040 CPUtime=5.71 cores=0,2,4,6
/proc/29224/task/29231/stat : 29231 (java) S 29221 29224 25977 0 -1 4202560 4661 0 0 0 531 40 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973097175592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29232] ppid=29221 vsize=9625040 CPUtime=5.56 cores=0,2,4,6
/proc/29224/task/29232/stat : 29232 (java) S 29221 29224 25977 0 -1 4202560 3407 0 0 0 518 38 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973096122792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29224/tid=29233] ppid=29221 vsize=9625040 CPUtime=5.62 cores=0,2,4,6
/proc/29224/task/29233/stat : 29233 (java) S 29221 29224 25977 0 -1 4202560 3468 0 0 0 524 38 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973095069992 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29224/tid=29234] ppid=29221 vsize=9625040 CPUtime=5.76 cores=0,2,4,6
/proc/29224/task/29234/stat : 29234 (java) S 29221 29224 25977 0 -1 4202560 4688 0 0 0 535 41 0 0 20 0 19 0 24465398 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973094017192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29235] ppid=29221 vsize=9625040 CPUtime=2.78 cores=0,2,4,6
/proc/29224/task/29235/stat : 29235 (java) S 29221 29224 25977 0 -1 4202560 3397 0 0 0 261 17 0 0 20 0 19 0 24465399 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973081820136 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29236] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29236/stat : 29236 (java) S 29221 29224 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973080766200 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29237] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29237/stat : 29237 (java) S 29221 29224 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24465399 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973079713288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29238] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29238/stat : 29238 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973078661776 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29239] ppid=29221 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/29224/task/29239/stat : 29239 (java) S 29221 29224 25977 0 -1 4202560 5575 0 0 0 69 2 0 0 20 0 19 0 24465402 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973077608888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29240] ppid=29221 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/29224/task/29240/stat : 29240 (java) S 29221 29224 25977 0 -1 4202560 4887 0 0 0 63 0 0 0 20 0 19 0 24465402 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973076556088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29241] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29241/stat : 29241 (java) S 29221 29224 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24465402 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973075503480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29224/tid=29242] ppid=29221 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/29224/task/29242/stat : 29242 (java) S 29221 29224 25977 0 -1 4202560 100 0 0 0 26 29 0 0 20 0 19 0 24465402 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973074450888 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29224/tid=29243] ppid=29221 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29224/task/29243/stat : 29243 (java) S 29221 29224 25977 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24465437 9856040960 134818 33554432000 1073741824 1073778376 140735184289600 139973073299112 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1767.54
CPU time (s): 1800.99
CPU user time (s): 1796.91
CPU system time (s): 4.08038
CPU usage (%): 101.892
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.91
system time used= 4.08038
maximum resident set size= 865020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48340
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66584
involuntary context switches= 89637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4314 second user time and 13.5039 second system time

The end

Begin job on node119 at 2016-06-18 06:29:28
IDJOB=4101605
IDBENCH=1771
IDSOLVER=2546
FILE ID=node119/4101605-1466224168
RUNJOBID= node119-1466206086-25993
PBS_JOBID= 19918158
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow30a.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101605-1466224168/watcher-4101605-1466224168 -o /tmp/evaluation-result-4101605-1466224168/solver-4101605-1466224168 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466206086-25993 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101605-1466224168.opb

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

MD5SUM BENCH= fd717ffc3177aa889b23f16defdc157a
RANDOM SEED=258610338

node119.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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
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.456
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.456
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.55
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.456
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.456
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.54
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.456
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.55
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.456
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.456
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30312632 kB
Buffers:          103560 kB
Cached:            93288 kB
SwapCached:          956 kB
Active:           294784 kB
Inactive:         140356 kB
Active(anon):     238788 kB
Inactive(anon):     1732 kB
Active(file):      55996 kB
Inactive(file):   138624 kB
Unevictable:     1391344 kB
Mlocked:         1244176 kB
SwapTotal:      67108856 kB
SwapFree:       67100008 kB
Dirty:              1264 kB
Writeback:            12 kB
AnonPages:       1628316 kB
Mapped:            15380 kB
Shmem:                 0 kB
Slab:             598268 kB
SReclaimable:      42012 kB
SUnreclaim:       556256 kB
KernelStack:        1592 kB
PageTables:         7784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1772640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    358400 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= 71732 MiB
End job on node119 at 2016-06-18 06:58:55