Trace number 4090682

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16OPTIMUM 857.77 854.692

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3029_8-unsat--soft-66-100-0.wbo
MD5SUM114c0408840a95cae960ebc399875ecb
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark180.507
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4960
Total number of constraints16157
Number of soft constraints5468
Number of constraints which are clauses15841
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints316
Minimum length of a constraint1
Maximum length of a constraint30
Top cost 278200
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 278199
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 201
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4090682-1466065460.wbo
0.10/0.10	c reading problem ... 
1.05/0.50	c ... done. Wall clock time 0.396s.
1.05/0.50	c declared #vars     4960
1.05/0.50	c internal #vars     10428
1.05/0.50	c #constraints  16157
1.05/0.50	c constraints type 
1.05/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6268
1.05/0.50	c org.sat4j.specs.Constr$1 => 851
1.05/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8423
1.05/0.50	c org.sat4j.minisat.constraints.cnf.UnitClause => 299
1.05/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 316
1.05/0.50	c 16157 constraints processed.
1.05/0.50	c objective function length is 5468 literals
1.65/0.73	c SATISFIABLE
1.65/0.73	c OPTIMIZING...
1.65/0.73	c Got one! Elapsed wall clock time (in seconds):0.629
1.65/0.73	o 1886
1.93/0.83	c Got one! Elapsed wall clock time (in seconds):0.725
1.93/0.83	o 1432
2.48/1.26	c Got one! Elapsed wall clock time (in seconds):1.16
2.48/1.26	o 1428
3.22/1.94	c Got one! Elapsed wall clock time (in seconds):1.84
3.22/1.94	o 1426
3.45/2.20	c Got one! Elapsed wall clock time (in seconds):2.094
3.45/2.20	o 1422
3.56/2.21	c Got one! Elapsed wall clock time (in seconds):2.111
3.56/2.21	o 1179
4.18/2.82	c Got one! Elapsed wall clock time (in seconds):2.717
4.18/2.82	o 1177
5.09/3.79	c cleaning 3442 clauses out of 6905 with flag 19124/6905
5.51/4.11	c Got one! Elapsed wall clock time (in seconds):4.007
5.51/4.11	o 1175
6.06/4.62	c Got one! Elapsed wall clock time (in seconds):4.52
6.06/4.62	o 1174
6.06/4.64	c Got one! Elapsed wall clock time (in seconds):4.536
6.06/4.64	o 1117
7.10/5.60	c cleaning 4998 clauses out of 10000 with flag 25559/13442
8.29/6.89	c Got one! Elapsed wall clock time (in seconds):6.784
8.29/6.89	o 1115
9.80/8.34	c cleaning 7516 clauses out of 15046 with flag 70613/23486
11.46/9.96	c Got one! Elapsed wall clock time (in seconds):9.855
11.46/9.96	o 1114
14.55/13.00	c cleaning 8848 clauses out of 17709 with flag 19510/33665
16.47/14.97	c Got one! Elapsed wall clock time (in seconds):14.865
16.47/14.97	o 1113
16.47/14.98	c Got one! Elapsed wall clock time (in seconds):14.88
16.47/14.98	o 768
17.87/16.30	c cleaning 7218 clauses out of 14470 with flag 16395/39274
20.86/19.33	c cleaning 6624 clauses out of 13257 with flag 95713/45279
21.56/20.02	c Got one! Elapsed wall clock time (in seconds):19.913
21.56/20.02	o 766
21.96/20.47	c Got one! Elapsed wall clock time (in seconds):20.368
21.96/20.47	o 764
23.06/21.58	c cleaning 6245 clauses out of 12518 with flag 16966/51164
23.57/22.05	c Got one! Elapsed wall clock time (in seconds):21.944
23.57/22.05	o 763
23.86/22.30	c Got one! Elapsed wall clock time (in seconds):22.197
23.86/22.30	o 752
26.56/25.00	c cleaning 6000 clauses out of 12016 with flag 23177/56907
27.86/26.33	c Got one! Elapsed wall clock time (in seconds):26.229
27.86/26.33	o 749
27.86/26.35	c Got one! Elapsed wall clock time (in seconds):26.248
27.86/26.35	o 394
28.26/26.77	c cleaning 5794 clauses out of 11608 with flag 16599/62499
29.36/27.82	c Got one! Elapsed wall clock time (in seconds):27.72
29.36/27.82	o 393
29.36/27.85	c Got one! Elapsed wall clock time (in seconds):27.742
29.36/27.85	o 391
30.57/29.08	c cleaning 5877 clauses out of 11771 with flag 25612/68456
30.88/29.30	c Got one! Elapsed wall clock time (in seconds):29.199
30.88/29.30	o 390
30.88/29.34	c Got one! Elapsed wall clock time (in seconds):29.235
30.88/29.34	o 380
32.28/30.76	c cleaning 5930 clauses out of 11911 with flag 92716/74473
33.78/32.26	c cleaning 5990 clauses out of 11982 with flag 223325/80474
33.88/32.38	c Got one! Elapsed wall clock time (in seconds):32.271
33.88/32.38	o 379
35.79/34.25	c cleaning 5735 clauses out of 11499 with flag 90410/85981
36.38/34.85	c Got one! Elapsed wall clock time (in seconds):34.741
36.38/34.85	o 378
37.78/36.20	c cleaning 5499 clauses out of 11024 with flag 38276/91241
39.38/37.82	c cleaning 5755 clauses out of 11526 with flag 144854/97242
40.48/38.92	c Got one! Elapsed wall clock time (in seconds):38.817
40.48/38.92	o 377
40.98/39.48	c cleaning 5587 clauses out of 11196 with flag 8796/102667
42.98/41.45	c cleaning 5791 clauses out of 11610 with flag 119769/108668
44.88/43.39	c cleaning 6406 clauses out of 12820 with flag 287968/115669
47.28/45.77	c cleaning 7196 clauses out of 14414 with flag 498063/123669
49.68/48.18	c cleaning 8100 clauses out of 16217 with flag 715578/132668
52.38/50.83	c cleaning 9050 clauses out of 18116 with flag 945531/142667
56.17/54.61	c cleaning 10025 clauses out of 20066 with flag 1250713/153667
57.57/56.08	c Got one! Elapsed wall clock time (in seconds):55.973
57.57/56.08	o 376
58.07/56.51	c cleaning 7846 clauses out of 15691 with flag 17766/159317
59.67/58.17	c cleaning 6911 clauses out of 13845 with flag 142942/165317
60.67/59.15	c Got one! Elapsed wall clock time (in seconds):59.049
60.67/59.15	o 371
61.97/60.44	c cleaning 6124 clauses out of 12270 with flag 23767/170653
62.47/60.91	c Got one! Elapsed wall clock time (in seconds):60.808
62.47/60.91	o 368
64.17/62.68	c cleaning 5967 clauses out of 11962 with flag 101047/176469
65.72/64.11	c cleaning 5987 clauses out of 11996 with flag 237276/182470
67.32/65.70	c cleaning 6485 clauses out of 13009 with flag 399816/189470
69.22/67.60	c cleaning 7257 clauses out of 14526 with flag 594869/197472
70.42/68.86	c Got one! Elapsed wall clock time (in seconds):68.755
70.42/68.86	o 367
72.02/70.47	c Got one! Elapsed wall clock time (in seconds):70.364
72.02/70.47	o 365
73.22/71.65	c cleaning 9118 clauses out of 18257 with flag 52892/208460
74.62/73.04	c cleaning 7556 clauses out of 15137 with flag 212134/214458
76.13/74.60	c cleaning 7281 clauses out of 14583 with flag 399985/221460
78.03/76.46	c cleaning 7640 clauses out of 15300 with flag 623732/229458
80.13/78.54	c cleaning 8322 clauses out of 16660 with flag 866749/238458
82.33/80.74	c cleaning 9155 clauses out of 18338 with flag 1119227/248458
85.24/83.69	c cleaning 10079 clauses out of 20189 with flag 1380779/259464
88.64/87.04	c cleaning 11044 clauses out of 22104 with flag 1670556/271458
89.03/87.49	c Got one! Elapsed wall clock time (in seconds):87.384
89.03/87.49	o 360
90.23/88.67	c Got one! Elapsed wall clock time (in seconds):88.57
90.23/88.67	o 359
90.74/89.13	c cleaning 8675 clauses out of 17394 with flag 18761/277792
91.33/89.70	c Got one! Elapsed wall clock time (in seconds):89.6
91.33/89.70	o 358
91.53/89.98	c Got one! Elapsed wall clock time (in seconds):89.872
91.53/89.98	o 342
92.33/90.73	c cleaning 7177 clauses out of 14377 with flag 63854/283450
94.03/92.44	c cleaning 6590 clauses out of 13200 with flag 199347/289450
95.84/94.27	c cleaning 6789 clauses out of 13611 with flag 373024/296451
97.64/96.07	c cleaning 7402 clauses out of 14821 with flag 603490/304450
99.94/98.34	c cleaning 8204 clauses out of 16419 with flag 872462/313450
101.57/99.99	c Got one! Elapsed wall clock time (in seconds):99.885
101.57/99.99	o 339
103.37/101.78	c cleaning 9229 clauses out of 18475 with flag 116861/323710
105.57/103.53	c cleaning 7606 clauses out of 15244 with flag 260371/329708
106.17/104.15	c Got one! Elapsed wall clock time (in seconds):104.042
106.17/104.15	o 336
107.17/105.10	c cleaning 6310 clauses out of 12642 with flag 70947/334712
107.87/105.85	c Got one! Elapsed wall clock time (in seconds):105.75
107.87/105.85	o 335
108.97/106.98	c cleaning 5995 clauses out of 12013 with flag 58965/340393
110.37/108.36	c cleaning 5994 clauses out of 12018 with flag 189224/346393
112.17/110.15	c cleaning 6499 clauses out of 13027 with flag 332073/353396
114.27/112.23	c cleaning 7250 clauses out of 14526 with flag 504692/361394
115.96/113.95	c Got one! Elapsed wall clock time (in seconds):113.842
115.96/113.95	o 333
117.67/115.64	c cleaning 9176 clauses out of 18359 with flag 103243/372477
118.67/116.61	c Got one! Elapsed wall clock time (in seconds):116.51
118.67/116.61	o 329
119.36/117.32	c cleaning 7299 clauses out of 14607 with flag 48982/377901
121.26/119.23	c cleaning 6640 clauses out of 13306 with flag 197700/383899
123.07/121.10	c cleaning 6819 clauses out of 13665 with flag 381556/390898
125.16/123.15	c cleaning 7414 clauses out of 14846 with flag 592474/398898
125.27/123.25	c Got one! Elapsed wall clock time (in seconds):123.144
125.27/123.25	o 326
127.06/125.02	c cleaning 6362 clauses out of 12771 with flag 110854/404237
127.36/125.31	c Got one! Elapsed wall clock time (in seconds):125.211
127.36/125.31	o 324
128.96/126.90	c cleaning 5846 clauses out of 11728 with flag 72887/409556
130.87/128.81	c cleaning 5929 clauses out of 11882 with flag 194428/415556
132.67/130.65	c cleaning 6475 clauses out of 12956 with flag 350094/422559
134.37/132.35	c cleaning 7230 clauses out of 14480 with flag 556147/430558
134.97/132.94	c Got one! Elapsed wall clock time (in seconds):132.832
134.97/132.94	o 323
135.18/133.15	c Got one! Elapsed wall clock time (in seconds):133.042
135.18/133.15	o 322
136.87/134.86	c cleaning 6765 clauses out of 13552 with flag 43329/436860
138.17/136.11	c cleaning 6375 clauses out of 12787 with flag 197728/442860
138.87/136.88	c Got one! Elapsed wall clock time (in seconds):136.777
138.87/136.88	o 321
139.77/137.73	c cleaning 6076 clauses out of 12184 with flag 49936/448632
141.07/139.01	c cleaning 6049 clauses out of 12109 with flag 200161/454633
142.57/140.52	c cleaning 6513 clauses out of 13058 with flag 381816/461631
144.27/142.27	c cleaning 7267 clauses out of 14547 with flag 594824/469633
146.28/144.21	c cleaning 8130 clauses out of 16278 with flag 824358/478631
148.48/146.48	c cleaning 9067 clauses out of 18150 with flag 1080426/488633
151.07/149.04	c cleaning 10031 clauses out of 20082 with flag 1411216/499632
153.97/152.00	c cleaning 11014 clauses out of 22051 with flag 1761398/511632
157.47/155.48	c cleaning 12004 clauses out of 24037 with flag 2127585/524632
159.47/157.47	c Got one! Elapsed wall clock time (in seconds):157.364
159.47/157.47	o 320
159.87/157.83	c Got one! Elapsed wall clock time (in seconds):157.722
159.87/157.83	o 319
161.57/159.55	c cleaning 12683 clauses out of 25389 with flag 136769/537988
163.49/161.49	c cleaning 9349 clauses out of 18706 with flag 301104/543988
165.69/163.64	c cleaning 8176 clauses out of 16357 with flag 495905/550988
166.00/163.94	c Got one! Elapsed wall clock time (in seconds):163.84
166.00/163.94	o 317
167.20/165.18	c cleaning 6819 clauses out of 13703 with flag 108638/556510
168.79/166.73	c cleaning 6437 clauses out of 12884 with flag 279259/562510
170.29/168.20	c cleaning 6722 clauses out of 13449 with flag 464832/569512
171.89/169.89	c cleaning 7346 clauses out of 14725 with flag 698206/577510
174.19/172.14	c cleaning 8179 clauses out of 16379 with flag 941833/586510
175.29/173.24	c Got one! Elapsed wall clock time (in seconds):173.132
175.29/173.24	o 316
175.99/173.98	c cleaning 7063 clauses out of 14147 with flag 45006/592457
177.99/175.97	c cleaning 6523 clauses out of 13083 with flag 189232/598456
179.69/177.67	c cleaning 6762 clauses out of 13560 with flag 371483/605456
181.99/179.96	c cleaning 7396 clauses out of 14798 with flag 565059/613456
184.39/182.34	c cleaning 8195 clauses out of 16403 with flag 784054/622457
187.49/185.46	c cleaning 9101 clauses out of 18208 with flag 1001904/632457
189.39/187.36	c Got one! Elapsed wall clock time (in seconds):187.26
189.39/187.36	o 313
191.09/189.07	c cleaning 10829 clauses out of 21667 with flag 126430/645017
192.29/190.25	c Got one! Elapsed wall clock time (in seconds):190.15
192.29/190.25	o 312
193.29/191.27	c Got one! Elapsed wall clock time (in seconds):191.163
193.29/191.27	o 309
193.99/191.99	c cleaning 10888 clauses out of 21793 with flag 39706/655972
195.81/193.72	c cleaning 8450 clauses out of 16906 with flag 182238/661973
197.11/195.06	c cleaning 7705 clauses out of 15453 with flag 351764/668970
198.81/196.74	c cleaning 7857 clauses out of 15748 with flag 562358/676970
200.61/198.58	c cleaning 8435 clauses out of 16891 with flag 805975/685970
202.81/200.79	c cleaning 9219 clauses out of 18456 with flag 1087547/695970
205.31/203.26	c cleaning 10099 clauses out of 20238 with flag 1394843/706971
208.91/206.84	c cleaning 11064 clauses out of 22139 with flag 1693447/718971
212.41/210.30	c Got one! Elapsed wall clock time (in seconds):210.196
212.41/210.30	o 308
213.11/211.07	c Got one! Elapsed wall clock time (in seconds):210.961
213.11/211.07	o 307
215.91/213.80	c cleaning 13688 clauses out of 27392 with flag 59255/735288
217.91/215.84	c cleaning 9842 clauses out of 19705 with flag 230274/741289
218.31/216.22	c Got one! Elapsed wall clock time (in seconds):216.114
218.31/216.22	o 306
219.51/217.49	c cleaning 7635 clauses out of 15316 with flag 107938/746742
220.71/218.65	c Got one! Elapsed wall clock time (in seconds):218.546
220.71/218.65	o 305
221.21/219.10	c cleaning 6450 clauses out of 12914 with flag 18123/751975
222.91/220.81	c cleaning 6217 clauses out of 12464 with flag 166387/757975
224.80/222.71	c cleaning 6615 clauses out of 13247 with flag 323625/764975
225.80/223.75	c Got one! Elapsed wall clock time (in seconds):223.644
225.80/223.75	o 303
226.20/224.17	c Got one! Elapsed wall clock time (in seconds):224.062
226.20/224.17	o 301
226.61/224.57	c cleaning 6231 clauses out of 12487 with flag 24060/770830
227.52/225.42	c Got one! Elapsed wall clock time (in seconds):225.318
227.52/225.42	o 300
227.92/225.88	c cleaning 5723 clauses out of 11468 with flag 15328/776042
229.43/227.39	c cleaning 5868 clauses out of 11746 with flag 139233/782043
231.53/229.41	c cleaning 6424 clauses out of 12878 with flag 270706/789043
233.54/231.44	c cleaning 7226 clauses out of 14453 with flag 464972/797042
236.14/234.03	c cleaning 8105 clauses out of 16227 with flag 666708/806042
238.94/236.86	c cleaning 9055 clauses out of 18122 with flag 889684/816042
241.24/239.12	c Got one! Elapsed wall clock time (in seconds):239.016
241.24/239.12	o 292
243.05/240.94	c cleaning 11960 clauses out of 23927 with flag 112167/830902
243.34/241.28	c Got one! Elapsed wall clock time (in seconds):241.178
243.34/241.28	o 283
244.74/242.69	c cleaning 8629 clauses out of 17264 with flag 99090/836199
245.04/242.94	c Got one! Elapsed wall clock time (in seconds):242.835
245.04/242.94	o 282
245.54/243.45	c Got one! Elapsed wall clock time (in seconds):243.348
245.54/243.45	o 276
246.75/244.66	c cleaning 7242 clauses out of 14512 with flag 93457/842076
248.65/246.54	c cleaning 6610 clauses out of 13266 with flag 228347/848072
249.25/247.19	c Got one! Elapsed wall clock time (in seconds):247.083
249.25/247.19	o 275
249.85/247.74	c Got one! Elapsed wall clock time (in seconds):247.631
249.85/247.74	o 271
250.65/248.50	c cleaning 6335 clauses out of 12686 with flag 38460/854102
250.95/248.86	c Got one! Elapsed wall clock time (in seconds):248.759
250.95/248.86	o 270
252.15/250.01	c cleaning 5925 clauses out of 11872 with flag 82154/859623
252.75/250.63	c Got one! Elapsed wall clock time (in seconds):250.528
252.75/250.63	o 267
252.95/250.85	c Got one! Elapsed wall clock time (in seconds):250.746
252.95/250.85	o 265
253.65/251.50	c cleaning 6069 clauses out of 12161 with flag 64043/865837
254.85/252.74	c cleaning 6028 clauses out of 12091 with flag 194391/871836
256.25/254.19	c cleaning 6518 clauses out of 13063 with flag 356400/878836
257.97/255.85	c cleaning 7265 clauses out of 14545 with flag 547529/886836
260.07/257.93	c cleaning 8127 clauses out of 16280 with flag 782162/895836
262.36/260.25	c cleaning 9066 clauses out of 18155 with flag 1031810/905838
263.36/261.27	c Got one! Elapsed wall clock time (in seconds):261.163
263.36/261.27	o 264
264.46/262.30	c cleaning 7461 clauses out of 14929 with flag 67796/911678
265.86/263.73	c cleaning 6726 clauses out of 13468 with flag 192274/917678
267.56/265.49	c cleaning 6857 clauses out of 13742 with flag 358564/924678
268.16/266.08	c Got one! Elapsed wall clock time (in seconds):265.975
268.16/266.08	o 263
268.96/266.82	c cleaning 5957 clauses out of 11936 with flag 67674/929729
270.47/268.36	c cleaning 5979 clauses out of 11980 with flag 197335/935730
270.57/268.46	c Got one! Elapsed wall clock time (in seconds):268.351
270.57/268.46	o 262
270.87/268.70	c Got one! Elapsed wall clock time (in seconds):268.593
270.87/268.70	o 261
272.77/270.68	c cleaning 6223 clauses out of 12458 with flag 88068/942187
274.67/272.52	c Got one! Elapsed wall clock time (in seconds):272.42
274.67/272.52	o 259
276.17/274.08	c cleaning 8355 clauses out of 16718 with flag 94148/952670
278.07/275.90	c cleaning 7180 clauses out of 14364 with flag 209955/958671
279.67/277.54	c cleaning 7058 clauses out of 14183 with flag 351724/965670
279.87/277.75	c Got one! Elapsed wall clock time (in seconds):277.649
279.87/277.75	o 258
281.07/278.95	c cleaning 6086 clauses out of 12186 with flag 84996/970731
282.77/280.65	c cleaning 6032 clauses out of 12098 with flag 204075/976729
283.27/281.14	c Got one! Elapsed wall clock time (in seconds):281.038
283.27/281.14	o 257
284.27/282.17	c cleaning 5892 clauses out of 11809 with flag 71333/982472
285.57/283.45	c cleaning 5946 clauses out of 11917 with flag 185114/988472
287.47/285.31	c cleaning 6479 clauses out of 12971 with flag 310506/995472
288.79/286.70	c Got one! Elapsed wall clock time (in seconds):286.592
288.79/286.70	o 256
290.49/288.31	c cleaning 8268 clauses out of 16543 with flag 105492/1005523
290.99/288.80	c Got one! Elapsed wall clock time (in seconds):288.697
290.99/288.80	o 255
292.29/290.11	c cleaning 6892 clauses out of 13799 with flag 89887/1011047
292.49/290.31	c Got one! Elapsed wall clock time (in seconds):290.204
292.49/290.31	o 254
293.70/291.55	c cleaning 6391 clauses out of 12806 with flag 88747/1016946
294.90/292.79	c cleaning 6196 clauses out of 12415 with flag 200848/1022946
296.50/294.30	c cleaning 6590 clauses out of 13219 with flag 340953/1029946
296.80/294.67	c Got one! Elapsed wall clock time (in seconds):294.562
296.80/294.67	o 253
296.80/294.69	c Got one! Elapsed wall clock time (in seconds):294.588
296.80/294.69	o 252
298.10/295.93	c cleaning 6007 clauses out of 12037 with flag 70446/1035354
298.30/296.12	c Got one! Elapsed wall clock time (in seconds):296.012
298.30/296.12	o 250
299.40/297.25	c cleaning 5882 clauses out of 11790 with flag 83857/1041114
300.70/298.58	c cleaning 5938 clauses out of 11910 with flag 193647/1047116
302.40/300.24	c cleaning 6466 clauses out of 12973 with flag 335253/1054117
302.70/300.58	c Got one! Elapsed wall clock time (in seconds):300.477
302.70/300.58	o 243
303.49/301.30	c Got one! Elapsed wall clock time (in seconds):301.195
303.49/301.30	o 242
304.29/302.18	c cleaning 6371 clauses out of 12762 with flag 56477/1060372
305.59/303.45	c cleaning 6184 clauses out of 12392 with flag 188486/1066373
307.00/304.89	c cleaning 6593 clauses out of 13207 with flag 339604/1073372
308.79/306.65	c Got one! Elapsed wall clock time (in seconds):306.542
308.79/306.65	o 241
308.79/306.66	c Got one! Elapsed wall clock time (in seconds):306.561
308.79/306.66	o 240
310.49/308.38	c cleaning 9744 clauses out of 19507 with flag 92205/1086265
312.09/309.99	c cleaning 7878 clauses out of 15769 with flag 218276/1092271
312.40/310.26	c Got one! Elapsed wall clock time (in seconds):310.155
312.40/310.26	o 239
313.68/311.45	c cleaning 6481 clauses out of 12977 with flag 75766/1097357
315.07/312.87	c Got one! Elapsed wall clock time (in seconds):312.763
315.07/312.87	o 238
315.37/313.18	c Got one! Elapsed wall clock time (in seconds):313.078
315.37/313.18	o 237
315.47/313.22	c Got one! Elapsed wall clock time (in seconds):313.113
315.47/313.22	o 235
317.27/315.01	c cleaning 8737 clauses out of 17488 with flag 64680/1108349
318.97/316.79	c cleaning 7367 clauses out of 14752 with flag 182920/1114350
319.37/317.16	c Got one! Elapsed wall clock time (in seconds):317.061
319.37/317.16	o 234
320.57/318.35	c cleaning 6387 clauses out of 12796 with flag 84816/1119761
321.67/319.48	c Got one! Elapsed wall clock time (in seconds):319.376
321.67/319.48	o 233
323.37/321.10	c cleaning 8311 clauses out of 16634 with flag 106403/1129986
324.78/322.51	c cleaning 7151 clauses out of 14324 with flag 234489/1135987
326.28/324.04	c cleaning 7076 clauses out of 14173 with flag 398862/1142987
327.98/325.72	c cleaning 7538 clauses out of 15097 with flag 585505/1150987
329.88/327.69	c cleaning 8273 clauses out of 16560 with flag 798785/1159988
332.28/330.07	c cleaning 9134 clauses out of 18290 with flag 1082567/1169991
334.98/332.73	c cleaning 10065 clauses out of 20152 with flag 1370023/1180987
335.88/333.62	c Got one! Elapsed wall clock time (in seconds):333.518
335.88/333.62	o 232
336.38/334.13	c cleaning 7556 clauses out of 15143 with flag 15578/1186043
337.97/335.63	c cleaning 6781 clauses out of 13588 with flag 152770/1192044
339.66/337.34	c Got one! Elapsed wall clock time (in seconds):337.238
339.66/337.34	o 229
341.46/339.16	c cleaning 9311 clauses out of 18638 with flag 97498/1203875
342.86/340.59	c Got one! Elapsed wall clock time (in seconds):340.489
342.86/340.59	o 228
344.26/341.96	c cleaning 9762 clauses out of 19554 with flag 100033/1214102
345.96/343.65	c cleaning 7880 clauses out of 15795 with flag 237027/1220105
347.86/345.56	c cleaning 7420 clauses out of 14913 with flag 385622/1227103
349.06/346.76	c Got one! Elapsed wall clock time (in seconds):346.654
349.06/346.76	o 224
349.56/347.30	c Got one! Elapsed wall clock time (in seconds):347.191
349.56/347.30	o 222
351.16/348.85	c cleaning 9370 clauses out of 18755 with flag 89295/1238365
351.56/349.20	c Got one! Elapsed wall clock time (in seconds):349.098
351.56/349.20	o 221
352.46/350.15	c Got one! Elapsed wall clock time (in seconds):350.043
352.46/350.15	o 219
352.96/350.67	c cleaning 7749 clauses out of 15520 with flag 38899/1244500
354.56/352.22	c cleaning 6883 clauses out of 13776 with flag 164834/1250505
356.45/354.12	c cleaning 6934 clauses out of 13889 with flag 293185/1257501
358.25/355.97	c cleaning 7468 clauses out of 14955 with flag 442806/1265501
360.25/357.98	c cleaning 8238 clauses out of 16491 with flag 640201/1274505
363.26/360.92	c cleaning 9117 clauses out of 18249 with flag 840769/1284501
366.69/364.32	c cleaning 10060 clauses out of 20131 with flag 1094941/1295500
369.69/367.36	c cleaning 11029 clauses out of 22075 with flag 1390847/1307504
372.10/369.71	c Got one! Elapsed wall clock time (in seconds):369.608
372.10/369.71	o 217
373.59/371.20	c cleaning 12989 clauses out of 26013 with flag 111179/1322471
374.09/371.72	c Got one! Elapsed wall clock time (in seconds):371.613
374.09/371.72	o 211
374.99/372.60	c cleaning 9097 clauses out of 18211 with flag 53669/1327658
376.09/373.78	c cleaning 7531 clauses out of 15113 with flag 182531/1333657
377.50/375.20	c cleaning 7268 clauses out of 14583 with flag 339091/1340658
378.19/375.89	c Got one! Elapsed wall clock time (in seconds):375.788
378.19/375.89	o 210
379.09/376.75	c cleaning 6486 clauses out of 12990 with flag 30147/1346333
380.80/378.44	c cleaning 6240 clauses out of 12504 with flag 142017/1352333
382.79/380.48	c cleaning 6625 clauses out of 13264 with flag 262254/1359333
384.59/382.25	c cleaning 7311 clauses out of 14639 with flag 430342/1367333
386.69/384.34	c cleaning 8157 clauses out of 16329 with flag 620990/1376334
389.33/386.93	c cleaning 9084 clauses out of 18172 with flag 844762/1386334
392.83/390.40	c cleaning 10041 clauses out of 20088 with flag 1091813/1397334
393.43/391.00	c Got one! Elapsed wall clock time (in seconds):390.9
393.43/391.00	o 208
394.63/392.27	c cleaning 7991 clauses out of 15996 with flag 88341/1403283
396.24/393.87	c cleaning 6989 clauses out of 14002 with flag 229753/1409280
398.03/395.64	c cleaning 6994 clauses out of 14013 with flag 380427/1416280
400.13/397.71	c Got one! Elapsed wall clock time (in seconds):397.608
400.13/397.71	o 207
402.13/399.74	c cleaning 9849 clauses out of 19710 with flag 76512/1428971
403.93/401.55	c cleaning 7919 clauses out of 15862 with flag 198549/1434972
405.93/403.51	c cleaning 7449 clauses out of 14943 with flag 347125/1441972
407.93/405.60	c cleaning 7745 clauses out of 15493 with flag 508540/1449971
410.93/408.50	c cleaning 8373 clauses out of 16749 with flag 704058/1458972
413.43/411.03	c cleaning 9182 clauses out of 18376 with flag 921234/1468972
414.23/411.88	c Got one! Elapsed wall clock time (in seconds):411.774
414.23/411.88	o 206
415.03/412.61	c cleaning 7344 clauses out of 14719 with flag 37197/1474497
415.73/413.39	c Got one! Elapsed wall clock time (in seconds):413.283
415.73/413.39	o 205
416.50/414.05	c cleaning 6477 clauses out of 13004 with flag 26687/1480126
417.31/414.85	c Got one! Elapsed wall clock time (in seconds):414.749
417.31/414.85	o 203
417.90/415.41	c cleaning 5851 clauses out of 11735 with flag 34286/1485334
419.10/416.69	c cleaning 5931 clauses out of 11883 with flag 131540/1491333
420.40/417.95	c Got one! Elapsed wall clock time (in seconds):417.85
420.40/417.95	o 201
421.71/419.28	c cleaning 8070 clauses out of 16149 with flag 87307/1501530
423.20/420.71	c cleaning 7032 clauses out of 14079 with flag 198350/1507530
425.20/422.71	c cleaning 7013 clauses out of 14048 with flag 349475/1514531
427.30/424.80	c cleaning 7504 clauses out of 15033 with flag 518681/1522529
428.60/426.15	c Got one! Elapsed wall clock time (in seconds):426.041
428.60/426.15	o 197
428.90/426.47	c Got one! Elapsed wall clock time (in seconds):426.37
428.90/426.47	o 193
430.10/427.65	c Got one! Elapsed wall clock time (in seconds):427.542
430.10/427.65	o 188
431.20/428.75	c cleaning 9627 clauses out of 19259 with flag 52599/1534259
432.10/429.68	c Got one! Elapsed wall clock time (in seconds):429.572
432.10/429.68	o 187
432.80/430.33	c cleaning 7483 clauses out of 14981 with flag 34801/1539608
432.80/430.36	c Got one! Elapsed wall clock time (in seconds):430.256
432.80/430.36	o 176
434.20/431.72	c cleaning 6267 clauses out of 12571 with flag 91228/1544681
435.40/432.99	c cleaning 6131 clauses out of 12304 with flag 198582/1550681
437.40/434.96	c cleaning 6577 clauses out of 13175 with flag 305797/1557683
439.65/437.13	c cleaning 7289 clauses out of 14596 with flag 453791/1565681
441.95/439.45	c cleaning 8150 clauses out of 16308 with flag 617868/1574682
445.25/442.72	c cleaning 9070 clauses out of 18159 with flag 810568/1584683
449.16/446.63	c cleaning 10039 clauses out of 20087 with flag 1056190/1595681
449.95/447.49	c Got one! Elapsed wall clock time (in seconds):447.381
449.95/447.49	o 175
450.75/448.24	c cleaning 7870 clauses out of 15772 with flag 40194/1601405
451.25/448.74	c Got one! Elapsed wall clock time (in seconds):448.635
451.25/448.74	o 174
452.56/450.09	c cleaning 6615 clauses out of 13243 with flag 42207/1606746
453.95/451.40	c cleaning 6302 clauses out of 12628 with flag 153160/1612746
455.86/453.39	c cleaning 6650 clauses out of 13326 with flag 261642/1619746
458.45/455.98	c cleaning 7328 clauses out of 14676 with flag 395023/1627746
461.45/458.92	c cleaning 8169 clauses out of 16349 with flag 553892/1636747
463.86/461.35	c cleaning 9083 clauses out of 18179 with flag 764607/1646746
466.18/463.68	c Got one! Elapsed wall clock time (in seconds):463.578
466.18/463.68	o 172
467.78/465.28	c cleaning 11267 clauses out of 22552 with flag 93644/1660202
469.18/466.68	c cleaning 8631 clauses out of 17281 with flag 225285/1666198
470.78/468.20	c Got one! Elapsed wall clock time (in seconds):468.094
470.78/468.20	o 171
471.68/469.14	c Got one! Elapsed wall clock time (in seconds):469.035
471.68/469.14	o 170
471.98/469.46	c Got one! Elapsed wall clock time (in seconds):469.355
471.98/469.46	o 169
472.88/470.38	c Got one! Elapsed wall clock time (in seconds):470.275
472.88/470.38	o 168
473.28/470.74	c cleaning 11022 clauses out of 22062 with flag 19601/1679610
474.68/472.15	c cleaning 8500 clauses out of 17039 with flag 145010/1685609
476.48/473.96	c Got one! Elapsed wall clock time (in seconds):473.856
476.48/473.96	o 167
478.38/475.88	c cleaning 10258 clauses out of 20529 with flag 101136/1697599
480.68/478.16	c cleaning 8125 clauses out of 16269 with flag 222726/1703597
482.68/480.13	c cleaning 7560 clauses out of 15144 with flag 355426/1710597
483.18/480.63	c Got one! Elapsed wall clock time (in seconds):480.525
483.18/480.63	o 166
484.88/482.36	c cleaning 6709 clauses out of 13432 with flag 61347/1716445
486.83/484.29	c cleaning 6356 clauses out of 12721 with flag 166351/1722443
489.23/486.64	c cleaning 6670 clauses out of 13363 with flag 265434/1729441
491.61/488.98	c cleaning 7340 clauses out of 14701 with flag 408225/1737449
494.31/491.61	c cleaning 8168 clauses out of 16353 with flag 579075/1746441
497.41/494.75	c cleaning 9086 clauses out of 18185 with flag 765070/1756441
500.51/497.83	c cleaning 10037 clauses out of 20101 with flag 998318/1767443
504.20/501.53	c cleaning 11025 clauses out of 22062 with flag 1258970/1779441
507.10/504.50	c Got one! Elapsed wall clock time (in seconds):504.392
507.10/504.50	o 164
508.81/506.18	c cleaning 11910 clauses out of 23843 with flag 93383/1792247
510.80/508.16	c cleaning 8940 clauses out of 17932 with flag 226480/1798246
512.70/510.08	c cleaning 7989 clauses out of 15992 with flag 379802/1805246
512.90/510.29	c Got one! Elapsed wall clock time (in seconds):510.189
512.90/510.29	o 162
513.60/510.98	c Got one! Elapsed wall clock time (in seconds):510.873
513.60/510.98	o 156
514.80/512.13	c cleaning 6849 clauses out of 13723 with flag 45937/1810966
515.96/513.20	c Got one! Elapsed wall clock time (in seconds):513.093
515.96/513.20	o 155
516.16/513.46	c cleaning 6183 clauses out of 12402 with flag 16035/1816494
517.46/514.75	c cleaning 6105 clauses out of 12220 with flag 107701/1822495
518.16/515.41	c Got one! Elapsed wall clock time (in seconds):515.305
518.16/515.41	o 153
518.86/516.18	c cleaning 5723 clauses out of 11448 with flag 22822/1827828
520.56/517.83	c cleaning 5855 clauses out of 11726 with flag 111992/1833829
521.86/519.10	c Got one! Elapsed wall clock time (in seconds):519.0
521.86/519.10	o 150
522.46/519.71	c cleaning 5605 clauses out of 11219 with flag 10968/1839177
524.06/521.36	c cleaning 5777 clauses out of 11612 with flag 91639/1845175
525.86/523.13	c cleaning 6410 clauses out of 12837 with flag 189855/1852177
527.86/525.16	c cleaning 7206 clauses out of 14426 with flag 321178/1860176
530.36/527.66	c cleaning 8101 clauses out of 16219 with flag 467664/1869175
532.96/530.25	c cleaning 9043 clauses out of 18118 with flag 642417/1879175
535.85/533.13	c cleaning 10028 clauses out of 20075 with flag 851666/1890175
536.45/533.73	c Got one! Elapsed wall clock time (in seconds):533.627
536.45/533.73	o 149
536.95/534.21	c Got one! Elapsed wall clock time (in seconds):534.103
536.95/534.21	o 148
538.30/535.58	c cleaning 8274 clauses out of 16553 with flag 63862/1896681
539.80/537.06	c cleaning 7115 clauses out of 14279 with flag 171561/1902681
541.50/538.76	c cleaning 7066 clauses out of 14165 with flag 296317/1909682
543.40/540.67	c cleaning 7545 clauses out of 15101 with flag 452845/1917684
545.60/542.84	c cleaning 8256 clauses out of 16555 with flag 632029/1926683
547.90/545.11	c Got one! Elapsed wall clock time (in seconds):545.002
547.90/545.11	o 147
548.00/545.28	c Got one! Elapsed wall clock time (in seconds):545.171
548.00/545.28	o 143
549.80/547.01	c cleaning 11611 clauses out of 23229 with flag 91609/1941613
551.71/548.98	c cleaning 8802 clauses out of 17618 with flag 217306/1947613
553.70/550.97	c cleaning 7899 clauses out of 15819 with flag 376453/1954616
555.90/553.15	c cleaning 7948 clauses out of 15917 with flag 550634/1962613
556.70/553.95	c Got one! Elapsed wall clock time (in seconds):553.847
556.70/553.95	o 142
556.70/553.99	c Got one! Elapsed wall clock time (in seconds):553.887
556.70/553.99	o 140
558.05/555.28	c cleaning 6976 clauses out of 14005 with flag 48968/1968649
559.75/557.00	c cleaning 6512 clauses out of 13031 with flag 154229/1974651
561.76/558.92	c cleaning 6748 clauses out of 13520 with flag 264323/1981652
562.25/559.44	c Got one! Elapsed wall clock time (in seconds):559.339
562.25/559.44	o 139
563.25/560.45	c cleaning 5962 clauses out of 11994 with flag 42723/1986874
563.75/560.91	c Got one! Elapsed wall clock time (in seconds):560.803
563.75/560.91	o 136
564.45/561.64	c Got one! Elapsed wall clock time (in seconds):561.531
564.45/561.64	o 135
565.35/562.51	c cleaning 6003 clauses out of 12052 with flag 23659/1992894
567.16/564.31	c cleaning 6016 clauses out of 12048 with flag 95440/1998893
567.55/564.71	c Got one! Elapsed wall clock time (in seconds):564.601
567.55/564.71	o 134
569.15/566.30	c cleaning 5669 clauses out of 11372 with flag 47636/2004233
570.85/568.05	c cleaning 5839 clauses out of 11704 with flag 126061/2010234
572.55/569.76	c cleaning 6424 clauses out of 12863 with flag 229205/2017232
574.45/571.68	c cleaning 7206 clauses out of 14441 with flag 358310/2025234
576.65/573.85	c cleaning 8107 clauses out of 16233 with flag 514145/2034232
579.15/576.37	c cleaning 9056 clauses out of 18126 with flag 684066/2044232
582.86/580.03	c cleaning 10034 clauses out of 20070 with flag 870638/2055232
585.66/582.80	c Got one! Elapsed wall clock time (in seconds):582.701
585.66/582.80	o 133
587.15/584.31	c cleaning 11838 clauses out of 23691 with flag 95672/2068887
588.75/585.92	c cleaning 8918 clauses out of 17852 with flag 220582/2074886
590.05/587.27	c Got one! Elapsed wall clock time (in seconds):587.164
590.05/587.27	o 132
591.65/588.86	c cleaning 9872 clauses out of 19770 with flag 80142/2085722
593.56/590.80	c cleaning 7939 clauses out of 15897 with flag 194931/2091721
594.95/592.12	c Got one! Elapsed wall clock time (in seconds):592.02
594.95/592.12	o 131
595.35/592.57	c cleaning 6655 clauses out of 13315 with flag 13151/2097078
596.96/594.17	c cleaning 6307 clauses out of 12660 with flag 104363/2103078
598.35/595.56	c Got one! Elapsed wall clock time (in seconds):595.459
598.35/595.56	o 121
599.85/597.03	c cleaning 8359 clauses out of 16737 with flag 71337/2113462
601.36/598.54	c cleaning 7160 clauses out of 14378 with flag 177265/2119462
603.07/600.27	c cleaning 7104 clauses out of 14220 with flag 292354/2126464
604.57/601.75	c Got one! Elapsed wall clock time (in seconds):601.644
604.57/601.75	o 115
606.07/603.26	c cleaning 8822 clauses out of 17665 with flag 72074/2137013
607.77/604.97	c cleaning 7403 clauses out of 14843 with flag 175301/2143013
609.77/606.95	c cleaning 7213 clauses out of 14440 with flag 298026/2150013
611.67/608.82	c cleaning 7608 clauses out of 15229 with flag 453567/2158015
612.06/609.27	c Got one! Elapsed wall clock time (in seconds):609.164
612.06/609.27	o 105
612.86/610.00	c Got one! Elapsed wall clock time (in seconds):609.899
612.86/610.00	o 103
613.86/611.05	c cleaning 6932 clauses out of 13901 with flag 52191/2164295
615.67/612.83	c cleaning 6485 clauses out of 12969 with flag 148384/2170295
615.86/613.07	c Got one! Elapsed wall clock time (in seconds):612.97
615.86/613.07	o 93
617.16/614.39	c cleaning 6156 clauses out of 12358 with flag 81946/2176169
618.36/615.55	c cleaning 6091 clauses out of 12202 with flag 176356/2182169
619.76/616.92	c cleaning 6546 clauses out of 13111 with flag 276812/2189169
621.71/618.80	c cleaning 7278 clauses out of 14566 with flag 410521/2197170
621.71/618.89	c Got one! Elapsed wall clock time (in seconds):618.784
621.71/618.89	o 92
622.81/619.97	c Got one! Elapsed wall clock time (in seconds):619.87
622.81/619.97	o 89
623.61/620.71	c cleaning 6380 clauses out of 12780 with flag 26363/2202662
625.21/622.32	c cleaning 6187 clauses out of 12399 with flag 115974/2208661
626.61/623.79	c cleaning 6577 clauses out of 13211 with flag 218643/2215660
627.31/624.40	c Got one! Elapsed wall clock time (in seconds):624.293
627.31/624.40	o 85
627.71/624.88	c cleaning 5847 clauses out of 11713 with flag 28397/2220740
629.11/626.27	c cleaning 5922 clauses out of 11863 with flag 113416/2226737
630.71/627.84	c cleaning 6461 clauses out of 12941 with flag 220454/2233737
632.51/629.68	c cleaning 7231 clauses out of 14484 with flag 346969/2241741
634.71/631.80	c cleaning 8115 clauses out of 16249 with flag 487387/2250737
637.21/634.37	c cleaning 9059 clauses out of 18135 with flag 662022/2260738
638.71/635.85	c Got one! Elapsed wall clock time (in seconds):635.746
638.71/635.85	o 84
638.91/636.00	c Got one! Elapsed wall clock time (in seconds):635.898
638.91/636.00	o 77
640.51/637.61	c cleaning 10379 clauses out of 20790 with flag 82257/2272452
642.14/639.21	c cleaning 8198 clauses out of 16410 with flag 186533/2278451
643.83/640.91	c cleaning 7597 clauses out of 15212 with flag 308784/2285451
645.83/642.95	c cleaning 7801 clauses out of 15615 with flag 456501/2293451
647.03/644.16	c Got one! Elapsed wall clock time (in seconds):644.052
647.03/644.16	o 76
647.13/644.20	c Got one! Elapsed wall clock time (in seconds):644.093
647.13/644.20	o 75
647.73/644.88	c Got one! Elapsed wall clock time (in seconds):644.775
647.73/644.88	o 73
648.74/645.87	c cleaning 9296 clauses out of 18617 with flag 54806/2304256
650.43/647.56	c cleaning 7652 clauses out of 15322 with flag 160077/2310257
651.73/648.80	c Got one! Elapsed wall clock time (in seconds):648.7
651.73/648.80	o 66
652.23/649.35	c cleaning 6737 clauses out of 13482 with flag 12783/2316069
654.24/651.31	c cleaning 6366 clauses out of 12746 with flag 101722/2322070
656.03/653.19	c cleaning 6678 clauses out of 13380 with flag 207188/2329070
658.33/655.42	c cleaning 7345 clauses out of 14706 with flag 338997/2337074
659.83/656.93	c Got one! Elapsed wall clock time (in seconds):656.827
659.83/656.93	o 64
661.43/658.56	c cleaning 8856 clauses out of 17729 with flag 80589/2347442
663.23/660.36	c cleaning 7420 clauses out of 14873 with flag 193846/2353442
664.83/661.99	c Got one! Elapsed wall clock time (in seconds):661.882
664.83/661.99	o 60
666.13/663.24	c cleaning 9694 clauses out of 19399 with flag 79298/2365388
667.57/664.66	c cleaning 7841 clauses out of 15703 with flag 187560/2371386
669.27/666.30	c cleaning 7413 clauses out of 14862 with flag 311043/2378386
669.77/666.82	c Got one! Elapsed wall clock time (in seconds):666.715
669.77/666.82	o 58
670.78/667.85	c Got one! Elapsed wall clock time (in seconds):667.747
670.78/667.85	o 57
671.17/668.21	c cleaning 6760 clauses out of 13536 with flag 13651/2384473
671.27/668.38	c Got one! Elapsed wall clock time (in seconds):668.28
671.27/668.38	o 56
672.67/669.76	c cleaning 6277 clauses out of 12583 with flag 81202/2390280
673.87/670.96	c cleaning 6134 clauses out of 12307 with flag 172499/2396281
675.27/672.34	c cleaning 6577 clauses out of 13173 with flag 273696/2403281
677.07/674.15	c cleaning 7294 clauses out of 14595 with flag 409143/2411280
679.07/676.11	c cleaning 8142 clauses out of 16301 with flag 561735/2420280
681.47/678.51	c cleaning 9080 clauses out of 18159 with flag 756092/2430280
683.57/680.64	c Got one! Elapsed wall clock time (in seconds):680.54
683.57/680.64	o 54
685.27/682.33	c cleaning 11495 clauses out of 23006 with flag 95464/2444207
685.47/682.59	c Got one! Elapsed wall clock time (in seconds):682.483
685.47/682.59	o 52
686.77/683.87	c cleaning 8301 clauses out of 16624 with flag 68875/2449321
687.48/684.51	c Got one! Elapsed wall clock time (in seconds):684.409
687.48/684.51	o 51
688.58/685.65	c cleaning 6940 clauses out of 13903 with flag 48757/2454901
688.68/685.70	c Got one! Elapsed wall clock time (in seconds):685.594
688.68/685.70	o 49
689.09/686.12	c Got one! Elapsed wall clock time (in seconds):686.018
689.09/686.12	o 46
690.22/687.27	c cleaning 6331 clauses out of 12677 with flag 59405/2460615
691.82/688.89	c cleaning 6163 clauses out of 12349 with flag 146029/2466618
693.62/690.62	c cleaning 6584 clauses out of 13183 with flag 242426/2473615
695.62/692.67	c cleaning 7285 clauses out of 14600 with flag 369217/2481616
698.12/695.15	c cleaning 8152 clauses out of 16315 with flag 524315/2490616
701.22/698.23	c cleaning 9075 clauses out of 18162 with flag 704178/2500615
703.62/700.62	c Got one! Elapsed wall clock time (in seconds):700.52
703.62/700.62	o 45
705.32/702.37	c cleaning 11017 clauses out of 22047 with flag 88409/2513575
706.62/703.62	c Got one! Elapsed wall clock time (in seconds):703.515
706.62/703.62	o 44
707.03/704.04	c cleaning 8424 clauses out of 16865 with flag 13072/2519410
708.72/705.70	c cleaning 7201 clauses out of 14439 with flag 103520/2525408
710.43/707.47	c cleaning 7104 clauses out of 14238 with flag 214287/2532408
712.62/709.62	c cleaning 7560 clauses out of 15136 with flag 351578/2540410
713.42/710.41	c Got one! Elapsed wall clock time (in seconds):710.305
713.42/710.41	o 43
714.12/711.13	c cleaning 6288 clauses out of 12631 with flag 32219/2545465
716.02/713.00	c cleaning 6156 clauses out of 12341 with flag 127542/2551463
717.72/714.70	c cleaning 6578 clauses out of 13184 with flag 229751/2558462
719.52/716.51	c cleaning 7297 clauses out of 14606 with flag 368938/2566462
720.22/717.21	c Got one! Elapsed wall clock time (in seconds):717.105
720.22/717.21	o 42
720.95/717.93	c cleaning 6318 clauses out of 12645 with flag 30667/2571798
722.34/719.35	c cleaning 6140 clauses out of 12328 with flag 117528/2577799
724.15/721.19	c cleaning 6586 clauses out of 13187 with flag 211987/2584798
726.25/723.29	c cleaning 7290 clauses out of 14601 with flag 329678/2592798
728.55/725.57	c cleaning 8153 clauses out of 16316 with flag 494582/2601803
730.85/727.85	c cleaning 9066 clauses out of 18159 with flag 678915/2611799
734.15/731.14	c cleaning 10039 clauses out of 20093 with flag 881993/2622799
736.25/733.24	c Got one! Elapsed wall clock time (in seconds):733.134
736.25/733.24	o 39
737.75/734.73	c cleaning 11216 clauses out of 22453 with flag 107287/2635198
739.25/736.25	c cleaning 8609 clauses out of 17237 with flag 239056/2641198
740.95/737.90	c cleaning 7794 clauses out of 15629 with flag 372972/2648199
742.35/739.34	c Got one! Elapsed wall clock time (in seconds):739.232
742.35/739.34	o 38
743.85/740.83	c cleaning 9512 clauses out of 19044 with flag 85731/2659408
745.75/742.73	c cleaning 7760 clauses out of 15532 with flag 202707/2665408
747.65/744.61	c cleaning 7362 clauses out of 14770 with flag 334804/2672406
749.05/746.09	c Got one! Elapsed wall clock time (in seconds):745.987
749.05/746.09	o 37
749.55/746.53	c Got one! Elapsed wall clock time (in seconds):746.426
749.55/746.53	o 36
750.89/747.88	c cleaning 9284 clauses out of 18588 with flag 69775/2683586
752.89/749.83	c cleaning 7646 clauses out of 15309 with flag 187017/2689591
754.99/751.93	c cleaning 7325 clauses out of 14658 with flag 318541/2696586
757.19/754.18	c cleaning 7658 clauses out of 15333 with flag 465327/2704586
759.59/756.53	c cleaning 8333 clauses out of 16678 with flag 626464/2713589
762.29/759.23	c cleaning 9158 clauses out of 18341 with flag 816123/2723585
763.40/760.39	c Got one! Elapsed wall clock time (in seconds):760.286
763.40/760.39	o 35
763.80/760.79	c cleaning 7322 clauses out of 14691 with flag 14847/2729093
765.30/762.30	c cleaning 6671 clauses out of 13366 with flag 96960/2735090
767.00/763.97	c cleaning 6835 clauses out of 13697 with flag 212994/2742092
768.81/765.77	c cleaning 7400 clauses out of 14862 with flag 325051/2750092
770.90/767.85	c cleaning 8220 clauses out of 16462 with flag 476659/2759092
773.30/770.24	c cleaning 9109 clauses out of 18240 with flag 659138/2769090
774.31/771.25	c Got one! Elapsed wall clock time (in seconds):771.146
774.31/771.25	o 32
774.60/771.55	c cleaning 7316 clauses out of 14677 with flag 16352/2774636
776.20/773.16	c cleaning 6661 clauses out of 13361 with flag 112951/2780636
778.20/775.17	c cleaning 6839 clauses out of 13700 with flag 210496/2787636
778.40/775.30	c Got one! Elapsed wall clock time (in seconds):775.199
778.40/775.30	o 31
778.50/775.46	c Got one! Elapsed wall clock time (in seconds):775.353
778.50/775.46	o 30
779.60/776.51	c Got one! Elapsed wall clock time (in seconds):776.404
779.60/776.51	o 29
780.60/777.53	c cleaning 6953 clauses out of 13910 with flag 48119/2794685
782.13/779.09	c cleaning 6468 clauses out of 12957 with flag 144824/2800685
784.03/780.91	c cleaning 6739 clauses out of 13489 with flag 245216/2807685
786.34/783.21	c cleaning 7359 clauses out of 14750 with flag 362406/2815685
788.64/785.58	c cleaning 8186 clauses out of 16393 with flag 505900/2824687
789.43/786.30	c Got one! Elapsed wall clock time (in seconds):786.199
789.43/786.30	o 26
790.03/786.98	c cleaning 6709 clauses out of 13466 with flag 27684/2829946
791.73/788.70	c cleaning 6361 clauses out of 12757 with flag 109928/2835946
791.93/788.81	c Got one! Elapsed wall clock time (in seconds):788.709
791.93/788.81	o 25
793.23/790.14	c cleaning 5965 clauses out of 11952 with flag 54892/2841502
793.53/790.42	c Got one! Elapsed wall clock time (in seconds):790.314
793.53/790.42	o 24
794.63/791.53	c cleaning 5637 clauses out of 11308 with flag 41725/2846823
796.43/793.40	c cleaning 5829 clauses out of 11671 with flag 112692/2852823
798.63/795.55	c cleaning 6416 clauses out of 12844 with flag 192515/2859825
800.53/797.49	c cleaning 7208 clauses out of 14428 with flag 286854/2867825
802.83/799.77	c cleaning 8103 clauses out of 16221 with flag 402637/2876826
805.13/802.02	c cleaning 9051 clauses out of 18115 with flag 545465/2886823
807.83/804.71	c cleaning 10023 clauses out of 20067 with flag 723214/2897826
811.23/808.11	c cleaning 11013 clauses out of 22041 with flag 897517/2909823
813.33/810.24	c Got one! Elapsed wall clock time (in seconds):810.135
813.33/810.24	o 23
815.33/812.28	c cleaning 11598 clauses out of 23204 with flag 89867/2921999
817.13/814.03	c cleaning 8795 clauses out of 17603 with flag 202382/2927996
818.86/815.75	c cleaning 7887 clauses out of 15809 with flag 323965/2934997
820.96/817.80	c cleaning 7934 clauses out of 15921 with flag 442162/2942996
822.96/819.82	c Got one! Elapsed wall clock time (in seconds):819.711
822.96/819.82	o 22
824.56/821.41	c cleaning 10286 clauses out of 20579 with flag 74662/2955588
826.26/823.16	c cleaning 8132 clauses out of 16291 with flag 161464/2961586
826.96/823.80	c Got one! Elapsed wall clock time (in seconds):823.7
826.96/823.80	o 21
827.96/824.81	c cleaning 6615 clauses out of 13246 with flag 39064/2966673
828.06/824.99	c Got one! Elapsed wall clock time (in seconds):824.886
828.06/824.99	o 20
828.86/825.70	c Got one! Elapsed wall clock time (in seconds):825.593
828.86/825.70	o 15
829.16/826.05	c Got one! Elapsed wall clock time (in seconds):825.949
829.16/826.05	o 14
829.66/826.51	c cleaning 6644 clauses out of 13302 with flag 20012/2973344
831.06/827.91	c cleaning 6313 clauses out of 12658 with flag 76850/2979344
832.76/829.62	c cleaning 6645 clauses out of 13345 with flag 137221/2986344
834.66/831.56	c cleaning 7344 clauses out of 14701 with flag 209914/2994345
835.46/832.35	c Got one! Elapsed wall clock time (in seconds):832.242
835.46/832.35	o 12
835.96/832.82	c cleaning 6475 clauses out of 12961 with flag 19743/2999949
837.26/834.19	c cleaning 6222 clauses out of 12485 with flag 68118/3005948
839.06/835.94	c cleaning 6618 clauses out of 13263 with flag 122958/3012948
840.96/837.84	c cleaning 7319 clauses out of 14647 with flag 201756/3020950
843.26/840.10	c cleaning 8147 clauses out of 16326 with flag 294349/3029948
845.76/842.66	c cleaning 9073 clauses out of 18179 with flag 393554/3039948
848.25/845.13	c Got one! Elapsed wall clock time (in seconds):845.029
848.25/845.13	o 9
848.45/845.39	c Got one! Elapsed wall clock time (in seconds):845.288
848.45/845.39	o 6
849.75/846.64	c cleaning 12241 clauses out of 24487 with flag 44347/3055329
851.15/848.00	c cleaning 9115 clauses out of 18243 with flag 102838/3061326
852.67/849.57	c cleaning 8051 clauses out of 16125 with flag 170821/3068327
853.07/849.91	c Got one! Elapsed wall clock time (in seconds):849.805
853.07/849.91	o 3
853.87/850.77	c Got one! Elapsed wall clock time (in seconds):850.661
853.87/850.77	o 2
854.17/851.01	c cleaning 7331 clauses out of 14674 with flag 10966/3074928
855.37/852.27	c cleaning 6655 clauses out of 13343 with flag 55420/3080928
856.88/853.80	c cleaning 6836 clauses out of 13689 with flag 94163/3087929
857.77/854.66	c starts		: 4846
857.77/854.66	c conflicts		: 3091951
857.77/854.66	c decisions		: 5634982
857.77/854.66	c propagations		: 1481690955
857.77/854.66	c inspects		: 6816109653
857.77/854.66	c shortcuts		: 0
857.77/854.66	c learnt literals	: 10
857.77/854.66	c learnt binary clauses	: 46
857.77/854.66	c learnt ternary clauses	: 242
857.77/854.66	c learnt constraints	: 3091940
857.77/854.66	c ignored constraints	: 0
857.77/854.66	c root simplifications	: 0
857.77/854.66	c removed literals (reason simplification)	: 0
857.77/854.66	c reason swapping (by a shorter reason)	: 0
857.77/854.66	c Calls to reduceDB	: 404
857.77/854.66	c Number of update (reduction) of LBD	: 1434378
857.77/854.66	c Imported unit clauses	: 0
857.77/854.66	c number of reductions to clauses (during analyze)	: 0
857.77/854.66	c number of learned constraints concerned by reduction	: 0
857.77/854.66	c number of learning phase by resolution	: 0
857.77/854.66	c number of learning phase by cutting planes	: 0
857.77/854.66	c speed (assignments/second)	: 1734763.4516114304
857.77/854.66	c non guided choices	16135
857.77/854.66	c learnt constraints type 
857.77/854.66	s OPTIMUM FOUND
857.77/854.66	c Found 192 solution(s)
857.77/854.67	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 x630 x631 x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 x686 x687 x688 x689 x690 x691 x692 x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 x707 x708 x709 x710 x711 x712 x713 x714 x715 x716 x717 x718 x719 x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 x843 x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 x907 x908 x909 x910 x911 x912 x913 x914 x915 x916 x917 x918 x919 x920 x921 x922 x923 x924 x925 x926 x927 x928 x929 x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 x948 x949 x950 x951 x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 x1014 x1015 x1016 x1017 x1018 x1019 x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 x1036 x1037 x1038 x1039 x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 x1157 x1158 x1159 x1160 x1161 x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 x1251 x1252 x1253 x1254 x1255 x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 x1437 x1438 x1439 x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 x1488 x1489 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 x1498 x1499 x1500 x1501 x1502 x1503 x1504 x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1674 x1675 x1676 x1677 x1678 x1679 x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 x1737 x1738 x1739 x1740 x1741 x1742 x1743 x1744 x1745 x1746 x1747 x1748 x1749 x1750 x1751 x1752 x1753 x1754 x1755 x1756 x1757 x1758 x1759 x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 x1786 x1787 x1788 x1789 x1790 x1791 x1792 x1793 x1794 x1795 x1796 x1797 x1798 x1799 x1800 x1801 x1802 x1803 x1804 x1805 x1806 x1807 x1808 x1809 x1810 x1811 x1812 x1813 x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 x1824 x1825 x1826 x1827 x1828 x1829 x1830 x1831 x1832 x1833 x1834 x1835 x1836 x1837 x1838 x1839 x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 x1896 x1897 x1898 x1899 x1900 x1901 x1902 x1903 x1904 x1905 x1906 x1907 x1908 x1909 x1910 x1911 x1912 x1913 x1914 x1915 x1916 x1917 x1918 x1919 x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 x1984 x1985 x1986 x1987 x1988 x1989 x1990 x1991 x1992 x1993 x1994 x1995 x1996 x1997 x1998 x1999 x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 x2066 x2067 x2068 x2069 x2070 x2071 x2072 x2073 x2074 x2075 x2076 x2077 x2078 x2079 x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 x2152 x2153 x2154 x2155 x2156 x2157 x2158 x2159 x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 x2233 x2234 x2235 x2236 x2237 x2238 x2239 x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 x2315 x2316 x2317 x2318 x2319 x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 x2394 x2395 x2396 x2397 x2398 x2399 x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 x2569 x2570 x2571 x2572 x2573 x2574 x2575 x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 x2642 x2643 x2644 x2645 x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 x2813 x2814 x2815 x2816 x2817 x2818 x2819 x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 x2913 x2914 x2915 x2916 x2917 x2918 x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 x2979 x2980 x2981 x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 x3071 x3072 x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 x3142 x3143 x3144 x3145 x3146 x3147 x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x3230 x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 x3321 x3322 x3323 x3324 x3325 x3326 x3327 x3328 x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 x3384 x3385 x3386 x3387 x3388 x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 x3561 x3562 x3563 x3564 x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635 x3636 x3637 x3638 x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 x3721 x3722 x3723 x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 x3817 x3818 x3819 x3820 x3821 x3822 x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 x3871 x3872 x3873 x3874 x3875 x3876 x3877 x3878 x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 x3967 x3968 x3969 x3970 x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 x4053 x4054 x4055 x4056 x4057 x4058 x4059 x4060 x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 x4144 x4145 x4146 x4147 x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 x4207 x4208 x4209 x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 x4264 x4265 x4266 x4267 x4268 x4269 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 x4374 x4375 x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 x4544 x4545 x4546 x4547 x4548 x4549 x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x4630 x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4711 x4712 x4713 x4714 x4715 x4716 x4717 x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 x4794 x4795 x4796 x4797 x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872 x4873 x4874 x4875 x4876 x4877 x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 x4960 
857.77/854.67	c objective function=2
857.77/854.67	c Total wall clock time (in seconds): 854.57

Verifier Data 

OK	2

Watcher Data 

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

pid=12926
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.43 2.28 2.14 3/185 12929
/proc/meminfo: memFree=30767316/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/12929/stat : 12929 (java) R 12926 12929 8029 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 8592630 2560000 47 33554432000 1073741824 1073778376 140734906401184 140734906398312 214528257319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 625 47 37 9 0 29 0

[startup+0.100111 s]
/proc/loadavg: 2.43 2.28 2.14 3/185 12929
/proc/meminfo: memFree=30767316/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/12929/stat : 12929 (java) S 12926 12929 8029 0 -1 4202496 4476 0 1 0 9 1 0 0 20 0 18 0 8592630 9787879424 5599 33554432000 1073741824 1073778376 140734906401184 140734906392320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 2389619 5599 2147 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200279 s]
/proc/loadavg: 2.43 2.28 2.14 3/185 12929
/proc/meminfo: memFree=30767316/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/12929/stat : 12929 (java) S 12926 12929 8029 0 -1 4202496 4818 0 1 0 25 1 0 0 20 0 18 0 8592630 9787879424 6379 33554432000 1073741824 1073778376 140734906401184 140734906392320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 2389619 6380 2212 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300276 s]
/proc/loadavg: 2.43 2.28 2.14 3/185 12929
/proc/meminfo: memFree=30767316/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/12929/stat : 12929 (java) S 12926 12929 8029 0 -1 4202496 6125 0 1 0 48 1 0 0 20 0 18 0 8592630 9787879424 8711 33554432000 1073741824 1073778376 140734906401184 140734906392320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 2389619 8711 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700265 s]
/proc/loadavg: 2.43 2.28 2.14 3/185 12929
/proc/meminfo: memFree=30767316/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=9625040 CPUtime=1.65 cores=1,3,5,7
/proc/12929/stat : 12929 (java) S 12926 12929 8029 0 -1 4202496 14191 0 1 0 161 4 0 0 20 0 19 0 8592630 9856040960 20139 33554432000 1073741824 1073778376 140734906401184 140734906392320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 2406260 20139 2267 9 0 2396937 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 9625040

[startup+1.5007 s]
/proc/loadavg: 2.48 2.29 2.15 3/213 12957
/proc/meminfo: memFree=30625308/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/12929/stat : 12929 (java) S 12926 12929 8029 0 -1 4202496 16542 0 1 0 278 4 0 0 20 0 19 0 8592630 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 140734906392320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 2406260 21181 2274 9 0 2396937 0
[pid=12929/tid=12933] ppid=12926 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/12929/task/12933/stat : 12933 (java) R 12926 12929 8029 0 -1 4202560 2483 0 1 0 145 2 0 0 20 0 19 0 8592631 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139989151773664 139989092403766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12935] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12935/stat : 12935 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988995619752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12936] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12936/stat : 12936 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988994567208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12937] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12937/stat : 12937 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988993514152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12929/tid=12938] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12938/stat : 12938 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988992461608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12939] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12939/stat : 12939 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988991408552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12940] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12940/stat : 12940 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988990356008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12941] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12941/stat : 12941 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988989302952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12942] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12942/stat : 12942 (java) S 12926 12929 8029 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988988250408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12943] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12943/stat : 12943 (java) S 12926 12929 8029 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988975840104 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12944] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12944/stat : 12944 (java) S 12926 12929 8029 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988974786424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12945] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12945/stat : 12945 (java) S 12926 12929 8029 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988973733256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12951] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12951/stat : 12951 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988972682000 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12952] ppid=12926 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/12929/task/12952/stat : 12952 (java) S 12926 12929 8029 0 -1 4202560 7541 0 0 0 64 0 0 0 20 0 19 0 8592635 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988971628856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12953] ppid=12926 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/12929/task/12953/stat : 12953 (java) S 12926 12929 8029 0 -1 4202560 5241 0 0 0 66 0 0 0 20 0 19 0 8592635 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988970576312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12954] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12954/stat : 12954 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988969523448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12955] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12955/stat : 12955 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988968471112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12956] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12956/stat : 12956 (java) S 12926 12929 8029 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8592685 9856040960 21181 33554432000 1073741824 1073778376 140734906401184 139988967417384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 9625040

[startup+3.10071 s]
/proc/loadavg: 2.48 2.29 2.15 3/213 12957
/proc/meminfo: memFree=30616992/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=9625040 CPUtime=4.48 cores=1,3,5,7
/proc/12929/stat : 12929 (java) S 12926 12929 8029 0 -1 4202496 16697 0 1 0 444 4 0 0 20 0 19 0 8592630 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 140734906392320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 2406260 23748 2274 9 0 2396937 0
[pid=12929/tid=12933] ppid=12926 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/12929/task/12933/stat : 12933 (java) R 12926 12929 8029 0 -1 4202560 2490 0 1 0 304 2 0 0 20 0 19 0 8592631 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139989151771256 139989092188046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12935] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12935/stat : 12935 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988995619752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12936] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12936/stat : 12936 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988994567208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12937] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12937/stat : 12937 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988993514152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12929/tid=12938] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12938/stat : 12938 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988992461608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12939] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12939/stat : 12939 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988991408552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12940] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12940/stat : 12940 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988990356008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12941] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12941/stat : 12941 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988989302952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12942] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12942/stat : 12942 (java) S 12926 12929 8029 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988988250408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12943] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12943/stat : 12943 (java) S 12926 12929 8029 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988975840104 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12944] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12944/stat : 12944 (java) S 12926 12929 8029 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988974786424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12945] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12945/stat : 12945 (java) S 12926 12929 8029 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988973733256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12951] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12951/stat : 12951 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988972682000 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12952] ppid=12926 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/12929/task/12952/stat : 12952 (java) S 12926 12929 8029 0 -1 4202560 7687 0 0 0 70 0 0 0 20 0 19 0 8592635 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988971628856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12953] ppid=12926 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/12929/task/12953/stat : 12953 (java) S 12926 12929 8029 0 -1 4202560 5242 0 0 0 67 0 0 0 20 0 19 0 8592635 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988970576312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12954] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12954/stat : 12954 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988969523448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12955] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12955/stat : 12955 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988968471112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12956] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12956/stat : 12956 (java) S 12926 12929 8029 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8592685 9856040960 23748 33554432000 1073741824 1073778376 140734906401184 139988967417384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 9625040

[startup+6.30076 s]
/proc/loadavg: 2.48 2.29 2.15 3/213 12957
/proc/meminfo: memFree=30579336/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=9625040 CPUtime=7.79 cores=1,3,5,7
/proc/12929/stat : 12929 (java) S 12926 12929 8029 0 -1 4202496 17029 0 1 0 775 4 0 0 20 0 19 0 8592630 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 140734906392320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 2406260 26971 2278 9 0 2396937 0
[pid=12929/tid=12933] ppid=12926 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/12929/task/12933/stat : 12933 (java) R 12926 12929 8029 0 -1 4202560 2499 0 1 0 623 2 0 0 20 0 19 0 8592631 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139989151764192 139989092403869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12935] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12935/stat : 12935 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988995619752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12936] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12936/stat : 12936 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988994567208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12937] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12937/stat : 12937 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988993514152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12929/tid=12938] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12938/stat : 12938 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988992461608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12939] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12939/stat : 12939 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988991408552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12940] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12940/stat : 12940 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988990356008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12941] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12941/stat : 12941 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988989302952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12942] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12942/stat : 12942 (java) S 12926 12929 8029 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8592632 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988988250408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12943] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12943/stat : 12943 (java) S 12926 12929 8029 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988975840104 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12944] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12944/stat : 12944 (java) S 12926 12929 8029 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988974786424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12945] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12945/stat : 12945 (java) S 12926 12929 8029 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988973733256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12951] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12951/stat : 12951 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988972682000 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12952] ppid=12926 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/12929/task/12952/stat : 12952 (java) S 12926 12929 8029 0 -1 4202560 8003 0 0 0 77 0 0 0 20 0 19 0 8592635 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988971628856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12953] ppid=12926 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/12929/task/12953/stat : 12953 (java) S 12926 12929 8029 0 -1 4202560 5249 0 0 0 72 0 0 0 20 0 19 0 8592635 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988970576312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12954] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12954/stat : 12954 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988969523448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12955] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12955/stat : 12955 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988968471112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12956] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12956/stat : 12956 (java) S 12926 12929 8029 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8592685 9856040960 26971 33554432000 1073741824 1073778376 140734906401184 139988967417384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 9625040


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

[pid=12929/tid=12944] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12944/stat : 12944 (java) S 12926 12929 8029 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988974786424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12945] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12945/stat : 12945 (java) S 12926 12929 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988973733256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12951] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12951/stat : 12951 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988972682000 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12952] ppid=12926 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/12929/task/12952/stat : 12952 (java) S 12926 12929 8029 0 -1 4202560 8497 0 0 0 93 1 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988971628856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12953] ppid=12926 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/12929/task/12953/stat : 12953 (java) S 12926 12929 8029 0 -1 4202560 10092 0 0 0 113 2 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988970576312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12954] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12954/stat : 12954 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988969523448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12955] ppid=12926 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/12929/task/12955/stat : 12955 (java) S 12926 12929 8029 0 -1 4202560 49 0 0 0 5 7 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988968471112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12956] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12956/stat : 12956 (java) S 12926 12929 8029 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8592685 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988967417384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 855.97
Current children cumulated vsize (KiB) 9625040

[startup+853.601 s]
/proc/loadavg: 2.01 2.11 2.11 3/213 12977
/proc/meminfo: memFree=29960848/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=9625040 CPUtime=856.78 cores=1,3,5,7
/proc/12929/stat : 12929 (java) S 12926 12929 8029 0 -1 4202496 23260 0 1 0 85632 46 0 0 20 0 19 0 8592630 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 140734906392320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 2406260 104237 2292 9 0 2396937 0
[pid=12929/tid=12933] ppid=12926 vsize=9625040 CPUtime=850.73 cores=1,3,5,7
/proc/12929/task/12933/stat : 12933 (java) R 12926 12929 8029 0 -1 4202560 2569 0 1 0 85057 16 0 0 20 0 19 0 8592631 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139989151764224 139989092187827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12935] ppid=12926 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12929/task/12935/stat : 12935 (java) S 12926 12929 8029 0 -1 4202560 60 0 0 0 15 3 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988995619752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12936] ppid=12926 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12929/task/12936/stat : 12936 (java) S 12926 12929 8029 0 -1 4202560 95 0 0 0 20 5 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988994567208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12929/tid=12937] ppid=12926 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12929/task/12937/stat : 12937 (java) S 12926 12929 8029 0 -1 4202560 77 0 0 0 14 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988993514152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12938] ppid=12926 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/12929/task/12938/stat : 12938 (java) S 12926 12929 8029 0 -1 4202560 111 0 0 0 12 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988992461608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12939] ppid=12926 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/12929/task/12939/stat : 12939 (java) S 12926 12929 8029 0 -1 4202560 64 0 0 0 13 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988991408552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12940] ppid=12926 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/12929/task/12940/stat : 12940 (java) S 12926 12929 8029 0 -1 4202560 113 0 0 0 14 5 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988990356008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12929/tid=12941] ppid=12926 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12929/task/12941/stat : 12941 (java) S 12926 12929 8029 0 -1 4202560 102 0 0 0 14 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988989302952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12942] ppid=12926 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12929/task/12942/stat : 12942 (java) S 12926 12929 8029 0 -1 4202560 103 0 0 0 19 6 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988988250408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12943] ppid=12926 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12929/task/12943/stat : 12943 (java) S 12926 12929 8029 0 -1 4202560 65 0 0 0 0 1 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988975840104 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12944] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12944/stat : 12944 (java) S 12926 12929 8029 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988974786424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12945] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12945/stat : 12945 (java) S 12926 12929 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988973733256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12951] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12951/stat : 12951 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988972682000 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12952] ppid=12926 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/12929/task/12952/stat : 12952 (java) S 12926 12929 8029 0 -1 4202560 8497 0 0 0 93 1 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988971628856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12953] ppid=12926 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/12929/task/12953/stat : 12953 (java) S 12926 12929 8029 0 -1 4202560 10092 0 0 0 113 2 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988970576312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12954] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12954/stat : 12954 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988969523448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12955] ppid=12926 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/12929/task/12955/stat : 12955 (java) S 12926 12929 8029 0 -1 4202560 49 0 0 0 5 7 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988968471112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12956] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12956/stat : 12956 (java) S 12926 12929 8029 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8592685 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988967417384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 856.78
Current children cumulated vsize (KiB) 9625040

[startup+854.401 s]
/proc/loadavg: 2.01 2.11 2.11 3/213 12977
/proc/meminfo: memFree=29960848/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=9625040 CPUtime=857.57 cores=1,3,5,7
/proc/12929/stat : 12929 (java) S 12926 12929 8029 0 -1 4202496 23260 0 1 0 85711 46 0 0 20 0 19 0 8592630 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 140734906392320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 2406260 104237 2292 9 0 2396937 0
[pid=12929/tid=12933] ppid=12926 vsize=9625040 CPUtime=851.53 cores=1,3,5,7
/proc/12929/task/12933/stat : 12933 (java) R 12926 12929 8029 0 -1 4202560 2569 0 1 0 85137 16 0 0 20 0 19 0 8592631 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139989151764224 139989092280373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12935] ppid=12926 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12929/task/12935/stat : 12935 (java) S 12926 12929 8029 0 -1 4202560 60 0 0 0 15 3 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988995619752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12936] ppid=12926 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12929/task/12936/stat : 12936 (java) S 12926 12929 8029 0 -1 4202560 95 0 0 0 20 5 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988994567208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12929/tid=12937] ppid=12926 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12929/task/12937/stat : 12937 (java) S 12926 12929 8029 0 -1 4202560 77 0 0 0 14 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988993514152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12938] ppid=12926 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/12929/task/12938/stat : 12938 (java) S 12926 12929 8029 0 -1 4202560 111 0 0 0 12 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988992461608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12939] ppid=12926 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/12929/task/12939/stat : 12939 (java) S 12926 12929 8029 0 -1 4202560 64 0 0 0 13 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988991408552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12940] ppid=12926 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/12929/task/12940/stat : 12940 (java) S 12926 12929 8029 0 -1 4202560 113 0 0 0 14 5 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988990356008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12929/tid=12941] ppid=12926 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12929/task/12941/stat : 12941 (java) S 12926 12929 8029 0 -1 4202560 102 0 0 0 14 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988989302952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12942] ppid=12926 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12929/task/12942/stat : 12942 (java) S 12926 12929 8029 0 -1 4202560 103 0 0 0 19 6 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988988250408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12943] ppid=12926 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12929/task/12943/stat : 12943 (java) S 12926 12929 8029 0 -1 4202560 65 0 0 0 0 1 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988975840104 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12944] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12944/stat : 12944 (java) S 12926 12929 8029 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988974786424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12945] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12945/stat : 12945 (java) S 12926 12929 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988973733256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12951] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12951/stat : 12951 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988972682000 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12952] ppid=12926 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/12929/task/12952/stat : 12952 (java) S 12926 12929 8029 0 -1 4202560 8497 0 0 0 93 1 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988971628856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12953] ppid=12926 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/12929/task/12953/stat : 12953 (java) S 12926 12929 8029 0 -1 4202560 10092 0 0 0 113 2 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988970576312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12954] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12954/stat : 12954 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988969523448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12955] ppid=12926 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/12929/task/12955/stat : 12955 (java) S 12926 12929 8029 0 -1 4202560 49 0 0 0 5 7 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988968471112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12956] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12956/stat : 12956 (java) S 12926 12929 8029 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8592685 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988967417384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 857.57
Current children cumulated vsize (KiB) 9625040

[startup+854.601 s]
/proc/loadavg: 2.01 2.11 2.11 3/213 12977
/proc/meminfo: memFree=29960848/32872528 swapFree=1190796/1305260
[pid=12929] ppid=12926 vsize=9625040 CPUtime=857.77 cores=1,3,5,7
/proc/12929/stat : 12929 (java) S 12926 12929 8029 0 -1 4202496 23260 0 1 0 85731 46 0 0 20 0 19 0 8592630 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 140734906392320 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12929/statm: 2406260 104237 2292 9 0 2396937 0
[pid=12929/tid=12933] ppid=12926 vsize=9625040 CPUtime=851.73 cores=1,3,5,7
/proc/12929/task/12933/stat : 12933 (java) R 12926 12929 8029 0 -1 4202560 2569 0 1 0 85157 16 0 0 20 0 19 0 8592631 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139989151764224 139989092187906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12935] ppid=12926 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12929/task/12935/stat : 12935 (java) S 12926 12929 8029 0 -1 4202560 60 0 0 0 15 3 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988995619752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12936] ppid=12926 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12929/task/12936/stat : 12936 (java) S 12926 12929 8029 0 -1 4202560 95 0 0 0 20 5 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988994567208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12929/tid=12937] ppid=12926 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12929/task/12937/stat : 12937 (java) S 12926 12929 8029 0 -1 4202560 77 0 0 0 14 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988993514152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12938] ppid=12926 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/12929/task/12938/stat : 12938 (java) S 12926 12929 8029 0 -1 4202560 111 0 0 0 12 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988992461608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12939] ppid=12926 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/12929/task/12939/stat : 12939 (java) S 12926 12929 8029 0 -1 4202560 64 0 0 0 13 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988991408552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12940] ppid=12926 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/12929/task/12940/stat : 12940 (java) S 12926 12929 8029 0 -1 4202560 113 0 0 0 14 5 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988990356008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12929/tid=12941] ppid=12926 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/12929/task/12941/stat : 12941 (java) S 12926 12929 8029 0 -1 4202560 102 0 0 0 14 4 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988989302952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12942] ppid=12926 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/12929/task/12942/stat : 12942 (java) S 12926 12929 8029 0 -1 4202560 103 0 0 0 19 6 0 0 20 0 19 0 8592632 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988988250408 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12943] ppid=12926 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/12929/task/12943/stat : 12943 (java) S 12926 12929 8029 0 -1 4202560 65 0 0 0 0 1 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988975840104 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12944] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12944/stat : 12944 (java) S 12926 12929 8029 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988974786424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12945] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12945/stat : 12945 (java) S 12926 12929 8029 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8592633 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988973733256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12951] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12951/stat : 12951 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988972682000 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12952] ppid=12926 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/12929/task/12952/stat : 12952 (java) S 12926 12929 8029 0 -1 4202560 8497 0 0 0 93 1 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988971628856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12929/tid=12953] ppid=12926 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/12929/task/12953/stat : 12953 (java) S 12926 12929 8029 0 -1 4202560 10092 0 0 0 113 2 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988970576312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12954] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12954/stat : 12954 (java) S 12926 12929 8029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988969523448 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12929/tid=12955] ppid=12926 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/12929/task/12955/stat : 12955 (java) S 12926 12929 8029 0 -1 4202560 49 0 0 0 5 7 0 0 20 0 19 0 8592635 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988968471112 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12929/tid=12956] ppid=12926 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12929/task/12956/stat : 12956 (java) S 12926 12929 8029 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8592685 9856040960 104237 33554432000 1073741824 1073778376 140734906401184 139988967417384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 857.77
Current children cumulated vsize (KiB) 9625040

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12929 and gives
#  childrusage.ru_utime.tv_sec=855
#  childrusage.ru_utime.tv_usec=101004
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=760884
# CPU time returned by wait4() is 855.862
# while last known CPU time is 857.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 854.692
CPU time (s): 857.77
CPU user time (s): 857.31
CPU system time (s): 0.46
CPU usage (%): 100.36
Max. virtual memory (cumulated for all children) (KiB): 9626660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 855.101
system time used= 0.760884
maximum resident set size= 417268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23279
page faults= 1
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19205
involuntary context switches= 9717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.76958 second user time and 3.2575 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-16 10:24:20
IDJOB=4090682
IDBENCH=79065
IDSOLVER=2551
FILE ID=node127/4090682-1466065460
RUNJOBID= node127-1466062123-8046
PBS_JOBID= 19904012
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3029_8-unsat--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090682-1466065460/watcher-4090682-1466065460 -o /tmp/evaluation-result-4090682-1466065460/solver-4090682-1466065460 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466062123-8046 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090682-1466065460.wbo

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

MD5SUM BENCH= 114c0408840a95cae960ebc399875ecb
RANDOM SEED=1220078697

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.56
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.769
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.55
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.769
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.769
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.769
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:        30774832 kB
Buffers:            9380 kB
Cached:            45820 kB
SwapCached:        34620 kB
Active:            28812 kB
Inactive:          63412 kB
Active(anon):       4388 kB
Inactive(anon):    35536 kB
Active(file):      24424 kB
Inactive(file):    27876 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066068 kB
Dirty:              3144 kB
Writeback:             0 kB
AnonPages:       1309484 kB
Mapped:             7956 kB
Shmem:                 0 kB
Slab:             567652 kB
SReclaimable:       9556 kB
SUnreclaim:       558096 kB
KernelStack:        1448 kB
PageTables:         6300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1417252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 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= 71736 MiB
End job on node127 at 2016-06-16 10:38:35