Trace number 4110717

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)139457533 1800.03 904.98

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-irEDCBA.opb
MD5SUM60001e0f890cb217b1db9e8508157bc2
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark134214653
Best CPU time to get the best result obtained on this benchmark77.5152
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4308
Total number of constraints15405
Number of constraints which are clauses15345
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 166
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 461373439
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 461373439
Number of bits of the biggest sum of numbers29
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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4110717-1466386803.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
1.01/0.58	c ... done. Wall clock time 0.461s.
1.01/0.58	c declared #vars     4308
1.01/0.58	c #constraints  15405
1.01/0.58	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.01/0.58	c constraints type 
1.01/0.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3446
1.01/0.58	c org.sat4j.specs.Constr$1 => 2413
1.01/0.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
1.01/0.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9355
1.01/0.58	c org.sat4j.minisat.constraints.cnf.UnitClause => 176
1.01/0.58	c 15405 constraints processed.
1.01/0.58	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.01/0.58	c constraints type 
1.01/0.58	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9355
1.01/0.58	c org.sat4j.specs.Constr$1 => 2413
1.01/0.58	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3446
1.01/0.58	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15
1.01/0.58	c org.sat4j.pb.constraints.pb.UnitClausePB => 176
1.01/0.58	c 15405 constraints processed.
1.01/0.58	c objective function length is 166 literals
1.69/0.79	c And the winner is solver0
2.38/1.10	c SATISFIABLE
2.38/1.10	c OPTIMIZING...
2.38/1.10	c Got one! Elapsed wall clock time (in seconds):0.985
2.38/1.10	o 192935674
2.39/1.14	c And the winner is solver0
2.67/1.61	c Got one! Elapsed wall clock time (in seconds):1.49
2.67/1.61	o 192935659
2.67/1.63	c And the winner is solver0
2.81/2.11	c Got one! Elapsed wall clock time (in seconds):1.994
2.81/2.11	o 192935644
3.16/2.27	c And the winner is solver1
3.82/2.61	c Got one! Elapsed wall clock time (in seconds):2.497
3.82/2.61	o 192935419
4.36/2.89	c And the winner is solver1
4.57/3.12	c Got one! Elapsed wall clock time (in seconds):2.999
4.57/3.12	o 187693289
4.57/3.12	c And the winner is solver0
4.58/3.62	c Got one! Elapsed wall clock time (in seconds):3.5
4.58/3.62	o 187692539
6.31/4.30	c And the winner is solver1
6.33/4.62	c Got one! Elapsed wall clock time (in seconds):4.502
6.33/4.62	o 171964379
6.48/4.74	c And the winner is solver1
6.59/5.12	c Got one! Elapsed wall clock time (in seconds):5.003
6.59/5.12	o 171964154
6.59/5.13	c And the winner is solver0
6.62/5.62	c Got one! Elapsed wall clock time (in seconds):5.505
6.62/5.62	o 171964139
6.80/5.74	c And the winner is solver0
6.91/6.12	c Got one! Elapsed wall clock time (in seconds):6.006
6.91/6.12	o 171963899
7.08/6.24	c cleaning 3892 clauses out of 7784 with flag 4297/7784
7.45/6.38	c And the winner is solver0
7.96/6.62	c Got one! Elapsed wall clock time (in seconds):6.507
7.96/6.62	o 171963644
8.94/7.18	c And the winner is solver1
9.12/7.63	c Got one! Elapsed wall clock time (in seconds):7.508
9.12/7.63	o 170916598
9.12/7.70	c And the winner is solver0
9.31/8.13	c Got one! Elapsed wall clock time (in seconds):8.009
9.31/8.13	o 166720509
9.70/8.32	c cleaning 5737 clauses out of 11474 with flag 5872/15366
10.72/8.84	c cleaning 5868 clauses out of 11739 with flag 22761/21368
12.42/9.67	c cleaning 6433 clauses out of 12871 with flag 50441/28368
13.89/10.39	c And the winner is solver0
14.09/10.63	c Got one! Elapsed wall clock time (in seconds):10.511
14.09/10.63	o 165672908
14.09/10.64	c And the winner is solver0
14.14/11.13	c Got one! Elapsed wall clock time (in seconds):11.012
14.14/11.13	o 165672188
15.02/11.53	c cleaning 5982 clauses out of 11982 with flag 3327/33912
17.48/12.75	c cleaning 5993 clauses out of 11999 with flag 27260/39911
18.88/13.44	c And the winner is solver1
18.98/13.63	c Got one! Elapsed wall clock time (in seconds):13.514
18.98/13.63	o 160431228
19.11/13.70	c cleaning 5885 clauses out of 11776 with flag 3555/45681
20.11/14.23	c cleaning 5946 clauses out of 11892 with flag 24578/51682
21.31/14.83	c cleaning 6471 clauses out of 12948 with flag 50305/58684
22.78/15.56	c cleaning 7235 clauses out of 14474 with flag 78099/66681
24.17/16.25	c cleaning 8120 clauses out of 16240 with flag 107779/75682
25.58/16.99	c cleaning 9061 clauses out of 18121 with flag 136917/85683
27.37/17.84	c cleaning 10026 clauses out of 20058 with flag 168141/96681
29.19/18.76	c cleaning 11015 clauses out of 22033 with flag 202580/108682
31.59/19.94	c cleaning 12008 clauses out of 24017 with flag 238563/121681
34.66/21.44	c cleaning 13004 clauses out of 26009 with flag 280200/135681
34.88/21.56	c And the winner is solver0
35.03/21.68	c Got one! Elapsed wall clock time (in seconds):21.566
35.03/21.68	o 156235214
35.49/21.96	c cleaning 9335 clauses out of 18671 with flag 11656/141347
36.29/22.37	c cleaning 7665 clauses out of 15336 with flag 27882/147347
37.29/22.87	c cleaning 7337 clauses out of 14673 with flag 48060/154349
38.49/23.40	c cleaning 7664 clauses out of 15333 with flag 70382/162346
38.89/23.62	c And the winner is solver0
38.89/23.68	c Got one! Elapsed wall clock time (in seconds):23.568
38.89/23.68	o 156234989
39.30/23.82	c cleaning 6408 clauses out of 12819 with flag 5974/167496
39.90/24.15	c cleaning 6201 clauses out of 12411 with flag 21543/173496
40.70/24.57	c cleaning 6598 clauses out of 13210 with flag 41580/180496
41.97/25.16	c cleaning 7302 clauses out of 14612 with flag 65498/188496
43.17/25.72	c cleaning 8154 clauses out of 16312 with flag 92136/197498
44.58/26.46	c cleaning 9077 clauses out of 18157 with flag 123225/207497
45.97/27.11	c And the winner is solver0
46.06/27.24	c Got one! Elapsed wall clock time (in seconds):27.119
46.06/27.24	o 156234749
46.81/27.66	c cleaning 10718 clauses out of 21445 with flag 14201/219862
47.59/28.04	c cleaning 8364 clauses out of 16727 with flag 29657/225862
48.59/28.57	c cleaning 7679 clauses out of 15364 with flag 48507/232863
50.05/29.26	c cleaning 7831 clauses out of 15686 with flag 68321/240864
51.45/29.96	c cleaning 8425 clauses out of 16853 with flag 94056/249862
53.05/30.80	c cleaning 9212 clauses out of 18430 with flag 121612/259864
53.85/31.19	c And the winner is solver1
54.02/31.24	c Got one! Elapsed wall clock time (in seconds):31.121
54.02/31.24	o 155187133
54.74/31.64	c cleaning 9878 clauses out of 19770 with flag 14233/270416
55.56/32.03	c cleaning 7942 clauses out of 15891 with flag 30303/276415
56.34/32.44	c cleaning 7472 clauses out of 14949 with flag 49182/283415
57.34/32.94	c cleaning 7735 clauses out of 15477 with flag 70438/291415
58.14/33.34	c And the winner is solver1
58.23/33.74	c Got one! Elapsed wall clock time (in seconds):33.623
58.23/33.74	o 150992844
58.95/34.14	c cleaning 9669 clauses out of 19347 with flag 12744/303020
59.74/34.54	c cleaning 7840 clauses out of 15679 with flag 28654/309021
60.53/34.97	c cleaning 7417 clauses out of 14838 with flag 47396/316020
61.80/35.51	c cleaning 7707 clauses out of 15421 with flag 68898/324020
63.00/36.11	c cleaning 8355 clauses out of 16716 with flag 93243/333022
64.20/36.77	c cleaning 9178 clauses out of 18360 with flag 121359/343021
65.61/37.48	c cleaning 10088 clauses out of 20182 with flag 153196/354021
67.20/38.25	c cleaning 11046 clauses out of 22095 with flag 185356/366022
68.80/39.07	c And the winner is solver0
68.99/39.24	c Got one! Elapsed wall clock time (in seconds):39.125
68.99/39.24	o 150992319
69.91/39.72	c cleaning 13143 clauses out of 26288 with flag 14020/381261
70.90/40.28	c cleaning 9567 clauses out of 19144 with flag 32362/387260
72.12/40.85	c cleaning 8284 clauses out of 16577 with flag 54164/394260
72.91/41.26	c And the winner is solver0
73.12/41.74	c Got one! Elapsed wall clock time (in seconds):41.627
73.12/41.74	o 149943758
73.63/42.09	c cleaning 9230 clauses out of 18467 with flag 12457/404434
74.49/42.48	c cleaning 7615 clauses out of 15237 with flag 28459/410434
75.50/42.95	c cleaning 7311 clauses out of 14625 with flag 49992/417437
76.68/43.53	c cleaning 7653 clauses out of 15311 with flag 73251/425434
78.08/44.21	c cleaning 8328 clauses out of 16660 with flag 98996/434436
79.68/45.00	c cleaning 9166 clauses out of 18331 with flag 129392/444435
81.28/45.83	c cleaning 10079 clauses out of 20165 with flag 161194/455435
83.28/46.84	c cleaning 11038 clauses out of 22085 with flag 195565/467434
85.88/48.11	c cleaning 12017 clauses out of 24047 with flag 236237/480434
88.53/49.48	c cleaning 13010 clauses out of 26030 with flag 280878/494434
91.33/50.87	c cleaning 14011 clauses out of 28023 with flag 325692/509437
94.52/52.44	c cleaning 15006 clauses out of 30011 with flag 373427/525436
97.74/54.07	c cleaning 16001 clauses out of 32005 with flag 421801/542436
99.32/54.85	c And the winner is solver0
99.48/55.25	c Got one! Elapsed wall clock time (in seconds):55.13
99.48/55.25	o 149943293
100.38/55.72	c cleaning 14450 clauses out of 28903 with flag 13397/555335
101.26/56.18	c cleaning 10222 clauses out of 20453 with flag 30302/561335
102.24/56.69	c cleaning 8612 clauses out of 17231 with flag 49485/568335
103.66/57.31	c cleaning 8307 clauses out of 16618 with flag 73286/576334
104.84/57.94	c cleaning 8650 clauses out of 17311 with flag 100109/585334
107.04/59.02	c cleaning 9322 clauses out of 18661 with flag 132449/595334
110.44/60.74	c cleaning 10168 clauses out of 20339 with flag 161422/606334
114.51/62.78	c cleaning 11083 clauses out of 22174 with flag 191720/618337
118.11/64.60	c cleaning 12042 clauses out of 24088 with flag 227525/631334
123.33/67.12	c cleaning 13024 clauses out of 26047 with flag 265329/645335
127.99/69.44	c cleaning 14011 clauses out of 28022 with flag 311978/660334
132.57/71.70	c cleaning 15006 clauses out of 30012 with flag 366795/676335
135.57/73.24	c cleaning 16002 clauses out of 32005 with flag 419993/693334
139.37/75.18	c cleaning 17002 clauses out of 34003 with flag 476069/711334
143.65/77.24	c cleaning 17999 clauses out of 36001 with flag 534094/730334
148.25/79.53	c cleaning 18997 clauses out of 38002 with flag 592602/750334
153.65/82.20	c cleaning 20003 clauses out of 40006 with flag 655321/771335
159.49/85.19	c cleaning 20999 clauses out of 42002 with flag 722062/793334
159.89/85.36	c And the winner is solver0
160.07/85.75	c Got one! Elapsed wall clock time (in seconds):85.636
160.07/85.75	o 145750009
160.76/86.16	c cleaning 13444 clauses out of 26893 with flag 10659/799224
161.76/86.64	c cleaning 9725 clauses out of 19449 with flag 29312/805224
162.76/87.12	c cleaning 8360 clauses out of 16724 with flag 50080/812224
163.76/87.60	c cleaning 8179 clauses out of 16363 with flag 72200/820223
164.77/88.18	c cleaning 8592 clauses out of 17186 with flag 98648/829225
166.41/88.92	c cleaning 9290 clauses out of 18592 with flag 129054/839223
168.01/89.76	c cleaning 10151 clauses out of 20303 with flag 161178/850224
170.01/90.73	c cleaning 11076 clauses out of 22151 with flag 197597/862223
172.01/91.78	c cleaning 12038 clauses out of 24075 with flag 236106/875223
174.61/93.05	c cleaning 13018 clauses out of 26038 with flag 278190/889224
177.41/94.47	c cleaning 14006 clauses out of 28020 with flag 322206/904224
180.47/95.94	c cleaning 15004 clauses out of 30013 with flag 367522/920223
183.67/97.60	c cleaning 16003 clauses out of 32009 with flag 414396/937223
187.27/99.34	c cleaning 17001 clauses out of 34007 with flag 465921/955224
191.31/101.34	c cleaning 18000 clauses out of 36006 with flag 520457/974224
192.09/101.75	c And the winner is solver0
192.32/101.96	c Got one! Elapsed wall clock time (in seconds):101.84
192.32/101.96	o 144701133
192.42/102.08	c cleaning 11632 clauses out of 23272 with flag 2784/979490
193.43/102.50	c cleaning 8815 clauses out of 17639 with flag 19038/985489
194.03/102.88	c cleaning 7907 clauses out of 15825 with flag 38432/992490
195.03/103.34	c cleaning 7953 clauses out of 15917 with flag 60102/1000489
195.83/103.74	c And the winner is solver0
196.06/103.96	c Got one! Elapsed wall clock time (in seconds):103.841
196.06/103.96	o 144700413
196.73/104.33	c cleaning 9559 clauses out of 19124 with flag 12299/1011649
197.73/104.80	c cleaning 7774 clauses out of 15563 with flag 28744/1017647
198.73/105.32	c cleaning 7392 clauses out of 14791 with flag 47628/1024649
199.97/105.90	c cleaning 7699 clauses out of 15397 with flag 68322/1032647
201.17/106.53	c cleaning 8349 clauses out of 16698 with flag 92033/1041647
202.57/107.23	c cleaning 9174 clauses out of 18349 with flag 118588/1051647
204.17/108.09	c cleaning 10085 clauses out of 20177 with flag 148222/1062649
206.37/109.13	c cleaning 11045 clauses out of 22092 with flag 180468/1074649
208.38/110.15	c cleaning 12015 clauses out of 24045 with flag 214162/1087647
212.38/112.19	c cleaning 13008 clauses out of 26030 with flag 255372/1101647
218.58/115.28	c cleaning 14007 clauses out of 28022 with flag 305831/1116647
224.84/118.37	c cleaning 15008 clauses out of 30015 with flag 360635/1132647
231.28/121.51	c cleaning 16003 clauses out of 32007 with flag 424511/1149647
239.09/125.45	c cleaning 16999 clauses out of 34005 with flag 502091/1167648
247.29/129.53	c cleaning 17997 clauses out of 36005 with flag 585393/1186647
255.52/133.67	c cleaning 18999 clauses out of 38008 with flag 670897/1206647
265.36/138.60	c cleaning 20001 clauses out of 40009 with flag 765675/1227647
276.41/144.09	c cleaning 21003 clauses out of 42009 with flag 872717/1249648
288.91/150.24	c cleaning 22003 clauses out of 44005 with flag 986352/1272647
299.92/155.78	c cleaning 23002 clauses out of 46003 with flag 1111101/1296648
312.59/162.08	c cleaning 23998 clauses out of 48000 with flag 1208023/1321647
330.91/171.12	c cleaning 24996 clauses out of 50003 with flag 1311316/1347648
349.02/180.18	c cleaning 26003 clauses out of 52006 with flag 1409374/1374647
367.95/189.59	c cleaning 27001 clauses out of 54003 with flag 1514270/1402647
390.47/200.79	c cleaning 27996 clauses out of 56003 with flag 1613358/1431648
414.24/212.52	c cleaning 29001 clauses out of 58007 with flag 1721299/1461648
442.77/226.71	c cleaning 30000 clauses out of 60005 with flag 1828008/1492647
468.33/239.40	c cleaning 31001 clauses out of 62005 with flag 1939778/1524647
498.66/254.81	c cleaning 31999 clauses out of 64005 with flag 2091184/1557648
530.80/270.81	c cleaning 32999 clauses out of 66005 with flag 2251636/1591647
565.76/288.29	c cleaning 34003 clauses out of 68006 with flag 2412924/1626647
605.13/307.86	c cleaning 34997 clauses out of 70004 with flag 2579947/1662648
647.31/328.85	c cleaning 35999 clauses out of 72006 with flag 2751389/1699647
655.95/333.18	c cleaning 0 clauses out of 9541 with flag 0/9546
691.60/350.71	c cleaning 36996 clauses out of 74007 with flag 2926276/1737647
738.48/374.01	c cleaning 38006 clauses out of 76011 with flag 3108126/1776647
792.90/401.18	c cleaning 39001 clauses out of 78005 with flag 3270436/1816647
817.86/413.52	c cleaning 39996 clauses out of 80004 with flag 3429378/1857647
841.12/425.10	c cleaning 40997 clauses out of 82008 with flag 3610913/1899647
881.85/445.42	c cleaning 42003 clauses out of 84012 with flag 3831956/1942648
922.42/465.68	c And the winner is solver1
922.42/465.68	c Got one! Elapsed wall clock time (in seconds):465.567
922.42/465.68	o 139458253
924.04/466.55	c cleaning 45008 clauses out of 90015 with flag 14098/1990654
925.47/467.26	c cleaning 25504 clauses out of 51007 with flag 32836/1996654
926.86/467.95	c cleaning 16252 clauses out of 32504 with flag 53102/2003655
928.07/468.60	c cleaning 12126 clauses out of 24251 with flag 76415/2011654
929.46/469.23	c cleaning 10562 clauses out of 21125 with flag 103855/2020654
930.87/469.91	c cleaning 10278 clauses out of 20564 with flag 135569/2030655
932.28/470.69	c cleaning 10638 clauses out of 21285 with flag 169810/2041654
934.28/471.60	c cleaning 11322 clauses out of 22649 with flag 206403/2053656
936.08/472.57	c cleaning 12159 clauses out of 24325 with flag 245931/2066654
938.49/473.73	c cleaning 13082 clauses out of 26168 with flag 287501/2080656
940.89/474.96	c cleaning 14040 clauses out of 28085 with flag 334110/2095655
943.73/476.37	c cleaning 15018 clauses out of 30044 with flag 384516/2111654
947.18/478.04	c cleaning 16010 clauses out of 32026 with flag 432591/2128654
950.59/479.76	c cleaning 17003 clauses out of 34017 with flag 486588/2146655
955.01/481.92	c cleaning 18007 clauses out of 36014 with flag 546597/2165655
956.40/482.68	c And the winner is solver0
956.86/483.04	c Got one! Elapsed wall clock time (in seconds):482.922
956.86/483.04	o 139458238
957.73/483.58	c cleaning 15824 clauses out of 31657 with flag 12587/2179305
958.74/484.05	c cleaning 10915 clauses out of 21834 with flag 27637/2185306
959.76/484.58	c cleaning 8956 clauses out of 17918 with flag 47833/2192305
960.97/485.11	c cleaning 8481 clauses out of 16962 with flag 71844/2200305
962.15/485.75	c cleaning 8737 clauses out of 17482 with flag 99081/2209306
962.55/485.99	c And the winner is solver0
962.95/486.29	c Got one! Elapsed wall clock time (in seconds):486.175
962.95/486.29	o 139458028
963.03/486.37	c cleaning 6905 clauses out of 13827 with flag 2838/2214388
963.81/486.71	c cleaning 6457 clauses out of 12923 with flag 19975/2220389
964.61/487.10	c cleaning 6731 clauses out of 13465 with flag 40567/2227388
966.27/488.36	c cleaning 7368 clauses out of 14735 with flag 65188/2235389
967.27/488.89	c cleaning 8181 clauses out of 16366 with flag 92197/2244388
968.68/489.54	c cleaning 9091 clauses out of 18185 with flag 120435/2254388
970.27/490.38	c cleaning 10046 clauses out of 20095 with flag 152731/2265389
972.06/491.28	c cleaning 11023 clauses out of 22049 with flag 188568/2277389
974.08/492.26	c cleaning 12013 clauses out of 24026 with flag 229391/2290389
976.28/493.39	c cleaning 13005 clauses out of 26012 with flag 270938/2304388
978.88/494.67	c cleaning 14003 clauses out of 28007 with flag 317834/2319388
982.13/496.22	c cleaning 15001 clauses out of 30004 with flag 370657/2335388
985.12/497.78	c cleaning 16003 clauses out of 32005 with flag 424234/2352390
988.56/499.46	c cleaning 16998 clauses out of 34001 with flag 476157/2370389
991.94/501.19	c cleaning 17996 clauses out of 36002 with flag 530259/2389388
995.78/503.08	c cleaning 19004 clauses out of 38007 with flag 590689/2409389
1000.01/505.18	c cleaning 20000 clauses out of 40003 with flag 656025/2430389
1004.66/507.47	c cleaning 20997 clauses out of 42002 with flag 727345/2452388
1010.67/510.41	c cleaning 22000 clauses out of 44007 with flag 799925/2475390
1014.29/512.23	c And the winner is solver0
1014.77/512.75	c Got one! Elapsed wall clock time (in seconds):512.632
1014.77/512.75	o 139458013
1016.03/513.41	c cleaning 21436 clauses out of 42876 with flag 13860/2496259
1017.03/513.99	c cleaning 13711 clauses out of 27439 with flag 30363/2502258
1018.07/514.45	c cleaning 10361 clauses out of 20728 with flag 51133/2509258
1019.09/514.95	c cleaning 9180 clauses out of 18367 with flag 73907/2517258
1020.27/515.51	c cleaning 9089 clauses out of 18188 with flag 99037/2526259
1021.67/516.29	c cleaning 9544 clauses out of 19098 with flag 129629/2536258
1023.49/517.16	c cleaning 10276 clauses out of 20555 with flag 163332/2547259
1025.53/518.15	c cleaning 11139 clauses out of 22278 with flag 201528/2559258
1027.51/519.16	c cleaning 12066 clauses out of 24140 with flag 242909/2572259
1029.71/520.25	c cleaning 13036 clauses out of 26073 with flag 284180/2586258
1032.16/521.46	c cleaning 14016 clauses out of 28038 with flag 330522/2601259
1034.95/522.83	c cleaning 15007 clauses out of 30021 with flag 380151/2617258
1037.75/524.28	c cleaning 16004 clauses out of 32014 with flag 433356/2634258
1041.39/526.04	c cleaning 17003 clauses out of 34010 with flag 491954/2652258
1045.62/528.15	c cleaning 18001 clauses out of 36007 with flag 555928/2671258
1050.21/530.43	c cleaning 19002 clauses out of 38006 with flag 617229/2691258
1055.25/532.93	c cleaning 19999 clauses out of 40004 with flag 685005/2712258
1060.26/535.45	c cleaning 20999 clauses out of 42006 with flag 755700/2734259
1066.09/538.34	c cleaning 22000 clauses out of 44007 with flag 827067/2757259
1066.29/538.48	c And the winner is solver0
1066.81/538.97	c Got one! Elapsed wall clock time (in seconds):538.85
1066.81/538.97	o 139457983
1067.46/539.37	c cleaning 13755 clauses out of 27518 with flag 10504/2762770
1068.48/539.83	c cleaning 9879 clauses out of 19764 with flag 27602/2768771
1069.29/540.26	c cleaning 8440 clauses out of 16885 with flag 48339/2775771
1070.28/540.77	c cleaning 8214 clauses out of 16444 with flag 71452/2783770
1071.49/541.35	c cleaning 8614 clauses out of 17230 with flag 98044/2792770
1072.87/542.06	c cleaning 9307 clauses out of 18616 with flag 127667/2802770
1074.49/542.87	c cleaning 10152 clauses out of 20311 with flag 161964/2813772
1076.30/543.75	c cleaning 11078 clauses out of 22157 with flag 201345/2825770
1078.30/544.74	c cleaning 12036 clauses out of 24079 with flag 243653/2838770
1080.74/545.90	c cleaning 13019 clauses out of 26043 with flag 287453/2852770
1083.34/547.22	c cleaning 14007 clauses out of 28024 with flag 337006/2867770
1085.94/548.58	c cleaning 15002 clauses out of 30018 with flag 386744/2883771
1089.38/550.23	c cleaning 16005 clauses out of 32016 with flag 435875/2900771
1092.78/551.91	c cleaning 17001 clauses out of 34010 with flag 489912/2918770
1094.43/552.77	c And the winner is solver0
1094.98/553.27	c Got one! Elapsed wall clock time (in seconds):553.155
1094.98/553.27	o 139457773
1095.84/553.78	c cleaning 15853 clauses out of 31710 with flag 14222/2933471
1096.84/554.22	c cleaning 10925 clauses out of 21857 with flag 32341/2939471
1097.65/554.64	c cleaning 8959 clauses out of 17930 with flag 53675/2946469
1098.65/555.12	c cleaning 8478 clauses out of 16971 with flag 76870/2954469
1099.85/555.71	c cleaning 8746 clauses out of 17493 with flag 101649/2963469
1101.31/556.41	c cleaning 9375 clauses out of 18749 with flag 131730/2973471
1102.71/557.18	c cleaning 10184 clauses out of 20372 with flag 163082/2984469
1104.51/558.02	c cleaning 11092 clauses out of 22189 with flag 200885/2996470
1106.32/558.97	c cleaning 12046 clauses out of 24096 with flag 243016/3009469
1108.52/560.06	c cleaning 13019 clauses out of 26051 with flag 287514/3023470
1110.94/561.28	c cleaning 14012 clauses out of 28031 with flag 334104/3038469
1113.74/562.70	c cleaning 15007 clauses out of 30021 with flag 385349/3054471
1116.73/564.15	c cleaning 16005 clauses out of 32015 with flag 438206/3071472
1120.36/565.96	c cleaning 17001 clauses out of 34008 with flag 500193/3089470
1123.78/567.68	c cleaning 17999 clauses out of 36006 with flag 555901/3108469
1127.60/569.58	c cleaning 18998 clauses out of 38008 with flag 616981/3128470
1132.00/571.77	c cleaning 20004 clauses out of 40009 with flag 684155/3149469
1136.84/574.18	c cleaning 21000 clauses out of 42006 with flag 752317/3171470
1142.46/576.91	c cleaning 21997 clauses out of 44005 with flag 826379/3194469
1148.69/580.04	c cleaning 23003 clauses out of 46008 with flag 902559/3218469
1154.91/583.12	c cleaning 23999 clauses out of 48006 with flag 979049/3243470
1161.72/586.54	c cleaning 25001 clauses out of 50008 with flag 1057858/3269471
1170.02/590.69	c cleaning 25998 clauses out of 52005 with flag 1138119/3296469
1178.67/594.99	c cleaning 27003 clauses out of 54007 with flag 1223277/3324469
1186.51/598.81	c cleaning 28002 clauses out of 56004 with flag 1310227/3353469
1195.96/603.52	c cleaning 29001 clauses out of 58003 with flag 1404000/3383470
1196.16/603.64	c And the winner is solver0
1196.68/604.23	c Got one! Elapsed wall clock time (in seconds):604.114
1196.68/604.23	o 139457533
1197.49/604.78	c cleaning 17136 clauses out of 34287 with flag 10559/3388755
1198.73/605.30	c cleaning 11570 clauses out of 23151 with flag 26011/3394755
1199.53/605.80	c cleaning 9283 clauses out of 18581 with flag 44726/3401755
1200.73/606.33	c cleaning 8642 clauses out of 17300 with flag 67948/3409757
1201.93/606.93	c cleaning 8825 clauses out of 17657 with flag 93923/3418756
1203.33/607.63	c cleaning 9412 clauses out of 18831 with flag 121828/3428755
1204.94/608.42	c cleaning 10206 clauses out of 20419 with flag 152538/3439755
1206.73/609.31	c cleaning 11105 clauses out of 22213 with flag 188301/3451755
1208.97/610.40	c cleaning 12051 clauses out of 24108 with flag 228649/3464755
1210.97/611.44	c cleaning 13025 clauses out of 26057 with flag 269378/3478755
1213.37/612.69	c cleaning 14011 clauses out of 28033 with flag 318615/3493756
1216.63/614.24	c cleaning 15009 clauses out of 30021 with flag 376964/3509755
1219.83/615.82	c cleaning 16000 clauses out of 32012 with flag 433153/3526755
1223.42/617.68	c cleaning 16996 clauses out of 34013 with flag 488343/3544756
1229.27/620.58	c cleaning 18003 clauses out of 36016 with flag 543469/3563755
1237.92/624.89	c cleaning 19000 clauses out of 38013 with flag 602234/3583755
1244.55/628.17	c cleaning 20007 clauses out of 40013 with flag 665453/3604755
1249.58/630.61	c cleaning 21002 clauses out of 42006 with flag 732149/3626755
1254.60/633.18	c cleaning 22002 clauses out of 44004 with flag 797128/3649755
1260.24/635.95	c cleaning 22999 clauses out of 46004 with flag 867829/3673757
1266.69/639.11	c cleaning 24000 clauses out of 48006 with flag 947905/3698758
1273.51/642.58	c cleaning 25001 clauses out of 50003 with flag 1031030/3724755
1282.94/647.23	c cleaning 26002 clauses out of 52003 with flag 1121998/3751756
1291.23/651.37	c cleaning 26995 clauses out of 54000 with flag 1204902/3779755
1299.68/655.59	c cleaning 27996 clauses out of 56005 with flag 1294626/3808755
1307.93/659.62	c cleaning 28998 clauses out of 58009 with flag 1380295/3838755
1318.77/665.09	c cleaning 30004 clauses out of 60012 with flag 1492187/3869756
1328.83/670.06	c cleaning 31005 clauses out of 62009 with flag 1589629/3901757
1339.68/675.47	c cleaning 31992 clauses out of 64003 with flag 1691780/3934756
1355.10/683.16	c cleaning 33000 clauses out of 66011 with flag 1797960/3968756
1375.05/693.05	c cleaning 34005 clauses out of 68010 with flag 1904971/4003755
1401.40/706.20	c cleaning 34996 clauses out of 70005 with flag 2011930/4039755
1426.07/718.48	c cleaning 36003 clauses out of 72009 with flag 2124584/4076755
1451.02/730.80	c cleaning 37003 clauses out of 74007 with flag 2245805/4114756
1481.76/746.17	c cleaning 37994 clauses out of 76003 with flag 2372636/4153755
1511.61/760.91	c cleaning 39002 clauses out of 78009 with flag 2502934/4193755
1547.34/778.76	c cleaning 40000 clauses out of 80007 with flag 2636703/4234755
1584.16/797.09	c cleaning 41000 clauses out of 82009 with flag 2776133/4276757
1613.13/811.46	c cleaning 42004 clauses out of 84007 with flag 2921652/4319755
1637.89/823.70	c cleaning 42994 clauses out of 86004 with flag 3071202/4363756
1661.14/835.85	c cleaning 44005 clauses out of 88010 with flag 3223181/4408756
1679.44/844.95	c cleaning 44995 clauses out of 90005 with flag 3349779/4454756
1708.01/859.17	c cleaning 45999 clauses out of 92010 with flag 3523177/4501756
1757.64/883.89	c cleaning 47001 clauses out of 94010 with flag 3704332/4549755
1779.93/894.92	c cleaning 48000 clauses out of 96011 with flag 3867127/4598757
1800.03/904.90	c >>>>>>>>>> Solver number 0 (25 answers) <<<<<<<<<<<<<<<<<<
1800.03/904.90	c starts		: 85446
1800.03/904.90	c conflicts		: 4633741
1800.03/904.90	c decisions		: 8254002
1800.03/904.90	c propagations		: 489456584
1800.03/904.90	c inspects		: 13765524045
1800.03/904.90	c shortcuts		: 0
1800.03/904.90	c learnt literals	: 0
1800.03/904.90	c learnt binary clauses	: 5
1800.03/904.90	c learnt ternary clauses	: 8
1800.03/904.90	c learnt constraints	: 4633741
1800.03/904.90	c ignored constraints	: 0
1800.03/904.90	c root simplifications	: 0
1800.03/904.90	c removed literals (reason simplification)	: 37122467
1800.03/904.90	c reason swapping (by a shorter reason)	: 0
1800.03/904.90	c Calls to reduceDB	: 279
1800.03/904.90	c Number of update (reduction) of LBD	: 348068
1800.03/904.90	c Imported unit clauses	: 0
1800.03/904.90	c number of reductions to clauses (during analyze)	: 0
1800.03/904.90	c number of learned constraints concerned by reduction	: 0
1800.03/904.90	c number of learning phase by resolution	: 0
1800.03/904.90	c number of learning phase by cutting planes	: 0
1800.03/904.90	c speed (assignments/second)	: 1114386.9622235985
1800.03/904.90	c non guided choices	1160
1800.03/904.93	c learnt constraints type 
1800.03/904.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.03/904.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 82990
1800.03/904.93	c >>>>>>>>>> Solver number 1 (9 answers) <<<<<<<<<<<<<<<<<<
1800.03/904.93	c starts		: 119
1800.03/904.93	c conflicts		: 15423
1800.03/904.93	c decisions		: 46226
1800.03/904.93	c propagations		: 3852253
1800.03/904.93	c inspects		: 853818196
1800.03/904.93	c shortcuts		: 0
1800.03/904.93	c learnt literals	: 0
1800.03/904.93	c learnt binary clauses	: 0
1800.03/904.93	c learnt ternary clauses	: 1
1800.03/904.93	c learnt constraints	: 15414
1800.03/904.93	c ignored constraints	: 0
1800.03/904.93	c root simplifications	: 0
1800.03/904.93	c removed literals (reason simplification)	: 0
1800.03/904.93	c reason swapping (by a shorter reason)	: 0
1800.03/904.93	c Calls to reduceDB	: 1
1800.03/904.93	c Number of update (reduction) of LBD	: 0
1800.03/904.93	c Imported unit clauses	: 0
1800.03/904.93	c number of reductions to clauses (during analyze)	: 0
1800.03/904.93	c number of learned constraints concerned by reduction	: 0
1800.03/904.93	c number of learning phase by resolution	: 0
1800.03/904.93	c number of learning phase by cutting planes	: 0
1800.03/904.93	c speed (assignments/second)	: 12814.147193347193
1800.03/904.93	c non guided choices	288
1800.03/904.94	c learnt constraints type 
1800.03/904.94	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1071
1800.03/904.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14343
1800.03/904.94	s SATISFIABLE
1800.03/904.94	c Found 34 solution(s)
1800.03/904.95	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 
1800.03/904.95	c objective function=139457533
1800.03/904.95	c Total wall clock time (in seconds): 904.835

Verifier Data 

OK	139457533

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-4110717-1466386803/watcher-4110717-1466386803 -o /tmp/evaluation-result-4110717-1466386803/solver-4110717-1466386803 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466384098-9632 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110717-1466386803.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.85 4.04 3.93 4/197 10477
/proc/meminfo: memFree=31405524/32872528 swapFree=447868/480572
[pid=10477] ppid=10474 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10477/stat : 10477 (java) D 10474 10477 9616 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 40730449 9515008 175 33554432000 1073741824 1073778376 140736141867152 140736141849880 235374723984 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/10477/statm: 2323 175 133 9 0 71 0

[startup+0.100113 s]
/proc/loadavg: 3.85 4.04 3.93 4/197 10477
/proc/meminfo: memFree=31405524/32872528 swapFree=447868/480572
[pid=10477] ppid=10474 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10477/stat : 10477 (java) S 10474 10477 9616 0 -1 4202496 4444 0 1 0 8 1 0 0 20 0 18 0 40730449 9787879424 6080 33554432000 1073741824 1073778376 140735974866480 140735974857616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10477/statm: 2389619 6080 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200271 s]
/proc/loadavg: 3.85 4.04 3.93 4/197 10477
/proc/meminfo: memFree=31405524/32872528 swapFree=447868/480572
[pid=10477] ppid=10474 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/10477/stat : 10477 (java) S 10474 10477 9616 0 -1 4202496 4690 0 1 0 22 1 0 0 20 0 18 0 40730449 9787879424 7307 33554432000 1073741824 1073778376 140735974866480 140735974857616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10477/statm: 2389619 7307 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300293 s]
/proc/loadavg: 3.85 4.04 3.93 4/197 10477
/proc/meminfo: memFree=31405524/32872528 swapFree=447868/480572
[pid=10477] ppid=10474 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/10477/stat : 10477 (java) S 10474 10477 9616 0 -1 4202496 5868 0 1 0 45 1 0 0 20 0 18 0 40730449 9787879424 9114 33554432000 1073741824 1073778376 140735974866480 140735974857616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10477/statm: 2389619 9114 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700189 s]
/proc/loadavg: 3.85 4.04 3.93 4/197 10477
/proc/meminfo: memFree=31405524/32872528 swapFree=447868/480572
[pid=10477] ppid=10474 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/10477/stat : 10477 (java) S 10474 10477 9616 0 -1 4202496 21256 0 1 0 165 4 0 0 20 0 22 0 40730449 10060525568 27811 33554432000 1073741824 1073778376 140735974866480 140735974857616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10477/statm: 2456183 27811 2251 9 0 2446860 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9824732

[startup+1.50076 s]
/proc/loadavg: 3.85 4.04 3.93 3/216 10502
/proc/meminfo: memFree=31304428/32872528 swapFree=447868/480572
[pid=10477] ppid=10474 vsize=9824732 CPUtime=2.67 cores=0,2,4,6
/proc/10477/stat : 10477 (java) S 10474 10477 9616 0 -1 4202496 23944 0 1 0 258 9 0 0 20 0 19 0 40730449 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 140735974857616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10477/statm: 2456183 28399 2268 9 0 2446860 0
[pid=10477/tid=10479] ppid=10474 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/10477/task/10479/stat : 10479 (java) S 10474 10477 9616 0 -1 4202560 2469 0 1 0 54 2 0 0 20 0 19 0 40730450 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658919076728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10480] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10480/stat : 10480 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658763159976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10481] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10481/stat : 10481 (java) S 10474 10477 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658762107432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10482] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10482/stat : 10482 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658761054376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=10483] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10483/stat : 10483 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658760001832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10484] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10484/stat : 10484 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658758949800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10485] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10485/stat : 10485 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658757897256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10486] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10486/stat : 10486 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658756844200 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10487] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10487/stat : 10487 (java) S 10474 10477 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658755791656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10488] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10488/stat : 10488 (java) S 10474 10477 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 40730451 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658743380328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10489] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10489/stat : 10489 (java) S 10474 10477 9616 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40730452 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658742326648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10490] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10490/stat : 10490 (java) S 10474 10477 9616 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40730452 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658741273480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10491] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10491/stat : 10491 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730454 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658740222224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10492] ppid=10474 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/10477/task/10492/stat : 10492 (java) S 10474 10477 9616 0 -1 4202560 9244 0 0 0 74 2 0 0 20 0 19 0 40730454 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658739170104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=10493] ppid=10474 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/10477/task/10493/stat : 10493 (java) S 10474 10477 9616 0 -1 4202560 10895 0 0 0 80 2 0 0 20 0 19 0 40730454 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658738117560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10494] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10494/stat : 10494 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730454 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658737064696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10495] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10495/stat : 10495 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730454 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658736012360 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10498] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10498/stat : 10498 (java) S 10474 10477 9616 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40730509 10060525568 28399 33554432000 1073741824 1073778376 140735974866480 139658732753704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 9824732

[startup+3.1008 s]
/proc/loadavg: 3.70 4.00 3.92 7/219 10511
/proc/meminfo: memFree=31288384/32872528 swapFree=447868/480572
[pid=10477] ppid=10474 vsize=9824732 CPUtime=4.57 cores=0,2,4,6
/proc/10477/stat : 10477 (java) S 10474 10477 9616 0 -1 4202496 27656 0 1 0 442 15 0 0 20 0 19 0 40730449 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 140735974857616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10477/statm: 2456183 44462 2275 9 0 2446860 0
[pid=10477/tid=10479] ppid=10474 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/10477/task/10479/stat : 10479 (java) S 10474 10477 9616 0 -1 4202560 2470 0 1 0 55 2 0 0 20 0 19 0 40730450 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658919076728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10480] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10480/stat : 10480 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658763159976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10481] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10481/stat : 10481 (java) S 10474 10477 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658762107432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10482] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10482/stat : 10482 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658761054376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=10483] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10483/stat : 10483 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658760001832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10484] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10484/stat : 10484 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658758949800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10485] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10485/stat : 10485 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658757897256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10486] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10486/stat : 10486 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658756844200 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10487] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10487/stat : 10487 (java) S 10474 10477 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40730450 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658755791656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10488] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10488/stat : 10488 (java) S 10474 10477 9616 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 40730451 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658743380328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10489] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10489/stat : 10489 (java) S 10474 10477 9616 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40730452 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658742326648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10490] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10490/stat : 10490 (java) S 10474 10477 9616 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40730452 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658741273480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10491] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10491/stat : 10491 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730454 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658740222224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10492] ppid=10474 vsize=9824732 CPUtime=1.26 cores=0,2,4,6
/proc/10477/task/10492/stat : 10492 (java) S 10474 10477 9616 0 -1 4202560 9822 0 0 0 124 2 0 0 20 0 19 0 40730454 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658739170104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=10493] ppid=10474 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/10477/task/10493/stat : 10493 (java) S 10474 10477 9616 0 -1 4202560 13972 0 0 0 127 2 0 0 20 0 19 0 40730454 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658738117560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10494] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10494/stat : 10494 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730454 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658737064696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10495] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10495/stat : 10495 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40730454 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658736012360 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10511] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10511/stat : 10511 (java) S 10474 10477 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 40730660 10060525568 44462 33554432000 1073741824 1073778376 140735974866480 139658734859816 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 9824732

[startup+6.30084 s]
/proc/loadavg: 3.70 4.00 3.92 3/216 10526
/proc/meminfo: memFree=31107444/32872528 swapFree=447868/480572
[pid=10477] ppid=10474 vsize=9824732 CPUtime=7.45 cores=0,2,4,6
/proc/10477/stat : 10477 (java) S 10474 10477 9616 0 -1 4202496 30618 0 1 0 719 26 0 0 20 0 22 0 40730449 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 140735974857616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10477/statm: 2456183 53235 2295 9 0 2446860 0
[pid=10477/tid=10479] ppid=10474 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/10477/task/10479/stat : 10479 (java) S 10474 10477 9616 0 -1 4202560 2472 0 1 0 56 2 0 0 20 0 22 0 40730450 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658919076728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10480] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10480/stat : 10480 (java) S 10474 10477 9616 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 40730450 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658763159976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10481] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10481/stat : 10481 (java) S 10474 10477 9616 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 40730450 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658762107432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10482] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10482/stat : 10482 (java) S 10474 10477 9616 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 40730450 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658761054376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10483] ppid=10474 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10477/task/10483/stat : 10483 (java) S 10474 10477 9616 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 40730450 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658760001832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10484] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10484/stat : 10484 (java) S 10474 10477 9616 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 40730450 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658758949800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10485] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10485/stat : 10485 (java) S 10474 10477 9616 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 40730450 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658757897256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10486] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10486/stat : 10486 (java) S 10474 10477 9616 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 40730450 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658756844200 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10487] ppid=10474 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10477/task/10487/stat : 10487 (java) S 10474 10477 9616 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 40730450 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658755791656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10488] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10488/stat : 10488 (java) S 10474 10477 9616 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 40730451 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658743380328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=10489] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10489/stat : 10489 (java) S 10474 10477 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 40730452 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658742326648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10490] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10490/stat : 10490 (java) S 10474 10477 9616 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 40730452 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658741273480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10491] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10491/stat : 10491 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40730454 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658740222224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10492] ppid=10474 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/10477/task/10492/stat : 10492 (java) S 10474 10477 9616 0 -1 4202560 9865 0 0 0 145 2 0 0 20 0 22 0 40730454 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658739170104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=10493] ppid=10474 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/10477/task/10493/stat : 10493 (java) R 10474 10477 9616 0 -1 4202560 16692 0 0 0 162 2 0 0 20 0 22 0 40730454 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658738117440 139658925033693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10494] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10494/stat : 10494 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40730454 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658737064696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10495] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10495/stat : 10495 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40730454 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658736012360 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10526] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10526/stat : 10526 (java) S 10474 10477 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 40730961 10060525568 53235 33554432000 1073741824 1073778376 140735974866480 139658731701160 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9824732


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

[pid=10477/tid=10487] ppid=10474 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/10477/task/10487/stat : 10487 (java) S 10474 10477 9616 0 -1 4202560 400 0 0 0 257 9 0 0 20 0 22 0 40730450 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658755791656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10488] ppid=10474 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/10477/task/10488/stat : 10488 (java) S 10474 10477 9616 0 -1 4202560 1661 0 0 0 255 22 0 0 20 0 22 0 40730451 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658743380328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10489] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10489/stat : 10489 (java) S 10474 10477 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 40730452 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658742326648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10490] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10490/stat : 10490 (java) S 10474 10477 9616 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 40730452 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658741273480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10491] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10491/stat : 10491 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40730454 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658740222224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10492] ppid=10474 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/10477/task/10492/stat : 10492 (java) S 10474 10477 9616 0 -1 4202560 9881 0 0 0 204 2 0 0 20 0 22 0 40730454 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658739170104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10493] ppid=10474 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/10477/task/10493/stat : 10493 (java) S 10474 10477 9616 0 -1 4202560 18706 0 0 0 210 3 0 0 20 0 22 0 40730454 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658738117560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10494] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10494/stat : 10494 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40730454 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658737064696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10495] ppid=10474 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/10477/task/10495/stat : 10495 (java) S 10474 10477 9616 0 -1 4202560 51 0 0 0 14 15 0 0 20 0 22 0 40730454 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658736012360 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=12243] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/12243/stat : 12243 (java) S 10474 10477 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 40777018 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658733807016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=12337] ppid=10474 vsize=9824732 CPUtime=274.39 cores=0,2,4,6
/proc/10477/task/12337/stat : 12337 (java) R 10474 10477 9616 0 -1 4202560 36 0 0 0 27435 4 0 0 20 0 22 0 40790872 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658731699984 139658791674463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=12338] ppid=10474 vsize=9824732 CPUtime=274.38 cores=0,2,4,6
/proc/10477/task/12338/stat : 12338 (java) R 10474 10477 9616 0 -1 4202560 35 0 0 0 27434 4 0 0 20 0 22 0 40790872 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658734856736 139658791964819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=12339] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/12339/stat : 12339 (java) S 10474 10477 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 40790879 10060525568 594482 33554432000 1073741824 1073778376 140735974866480 139658732754088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1753.06
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.901 s]
/proc/loadavg: 4.09 4.22 4.09 5/217 12428
/proc/meminfo: memFree=28340528/32872528 swapFree=447868/480572
[pid=10477] ppid=10474 vsize=9824732 CPUtime=1798.48 cores=0,2,4,6
/proc/10477/stat : 10477 (java) S 10474 10477 9616 0 -1 4202496 39376 0 1 0 179619 229 0 0 20 0 22 0 40730449 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 140735974857616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10477/statm: 2456183 590287 2303 9 0 2446860 0
[pid=10477/tid=10479] ppid=10474 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/10477/task/10479/stat : 10479 (java) S 10474 10477 9616 0 -1 4202560 2483 0 1 0 62 3 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658919076728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10480] ppid=10474 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/10477/task/10480/stat : 10480 (java) S 10474 10477 9616 0 -1 4202560 363 0 0 0 260 10 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658763159976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10481] ppid=10474 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/10477/task/10481/stat : 10481 (java) S 10474 10477 9616 0 -1 4202560 403 0 0 0 282 8 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658762107432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10482] ppid=10474 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/10477/task/10482/stat : 10482 (java) S 10474 10477 9616 0 -1 4202560 437 0 0 0 270 9 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658761054376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10483] ppid=10474 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/10477/task/10483/stat : 10483 (java) S 10474 10477 9616 0 -1 4202560 457 0 0 0 246 9 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658760001832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=10484] ppid=10474 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/10477/task/10484/stat : 10484 (java) S 10474 10477 9616 0 -1 4202560 440 0 0 0 255 7 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658758949800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10485] ppid=10474 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/10477/task/10485/stat : 10485 (java) S 10474 10477 9616 0 -1 4202560 399 0 0 0 270 9 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658757897256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10486] ppid=10474 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/10477/task/10486/stat : 10486 (java) S 10474 10477 9616 0 -1 4202560 400 0 0 0 262 8 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658756844200 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10487] ppid=10474 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/10477/task/10487/stat : 10487 (java) S 10474 10477 9616 0 -1 4202560 400 0 0 0 262 9 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658755791656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10488] ppid=10474 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/10477/task/10488/stat : 10488 (java) S 10474 10477 9616 0 -1 4202560 1663 0 0 0 255 22 0 0 20 0 22 0 40730451 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658743380328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10489] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10489/stat : 10489 (java) S 10474 10477 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 40730452 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658742326648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10490] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10490/stat : 10490 (java) S 10474 10477 9616 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 40730452 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658741273480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10491] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10491/stat : 10491 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40730454 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658740222224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10492] ppid=10474 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/10477/task/10492/stat : 10492 (java) S 10474 10477 9616 0 -1 4202560 9881 0 0 0 204 2 0 0 20 0 22 0 40730454 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658739170104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10493] ppid=10474 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/10477/task/10493/stat : 10493 (java) S 10474 10477 9616 0 -1 4202560 18706 0 0 0 210 3 0 0 20 0 22 0 40730454 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658738117560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10494] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10494/stat : 10494 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40730454 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658737064696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10495] ppid=10474 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/10477/task/10495/stat : 10495 (java) S 10474 10477 9616 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 40730454 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658736012360 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=12243] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/12243/stat : 12243 (java) S 10474 10477 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 40777018 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658733807016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=12337] ppid=10474 vsize=9824732 CPUtime=296.78 cores=0,2,4,6
/proc/10477/task/12337/stat : 12337 (java) R 10474 10477 9616 0 -1 4202560 37 0 0 0 29674 4 0 0 20 0 22 0 40790872 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658731699216 139658791682474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=12338] ppid=10474 vsize=9824732 CPUtime=296.78 cores=0,2,4,6
/proc/10477/task/12338/stat : 12338 (java) R 10474 10477 9616 0 -1 4202560 39 0 0 0 29674 4 0 0 20 0 22 0 40790872 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658734857616 139658792036226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=12339] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/12339/stat : 12339 (java) S 10474 10477 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 40790879 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658732754088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (KiB) 9824732

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

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

[startup+904.901 s]
/proc/loadavg: 4.09 4.22 4.09 5/217 12428
/proc/meminfo: memFree=28340528/32872528 swapFree=447868/480572
[pid=10477] ppid=10474 vsize=9824732 CPUtime=1798.48 cores=0,2,4,6
/proc/10477/stat : 10477 (java) S 10474 10477 9616 0 -1 4202496 39376 0 1 0 179619 229 0 0 20 0 22 0 40730449 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 140735974857616 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10477/statm: 2456183 590287 2303 9 0 2446860 0
[pid=10477/tid=10479] ppid=10474 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/10477/task/10479/stat : 10479 (java) S 10474 10477 9616 0 -1 4202560 2483 0 1 0 62 3 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658919076728 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10480] ppid=10474 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/10477/task/10480/stat : 10480 (java) S 10474 10477 9616 0 -1 4202560 363 0 0 0 260 10 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658763159976 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10481] ppid=10474 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/10477/task/10481/stat : 10481 (java) S 10474 10477 9616 0 -1 4202560 403 0 0 0 282 8 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658762107432 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10482] ppid=10474 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/10477/task/10482/stat : 10482 (java) S 10474 10477 9616 0 -1 4202560 437 0 0 0 270 9 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658761054376 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10483] ppid=10474 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/10477/task/10483/stat : 10483 (java) S 10474 10477 9616 0 -1 4202560 457 0 0 0 246 9 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658760001832 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=10484] ppid=10474 vsize=9824732 CPUtime=2.62 cores=0,2,4,6
/proc/10477/task/10484/stat : 10484 (java) S 10474 10477 9616 0 -1 4202560 440 0 0 0 255 7 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658758949800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10485] ppid=10474 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/10477/task/10485/stat : 10485 (java) S 10474 10477 9616 0 -1 4202560 399 0 0 0 270 9 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658757897256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10486] ppid=10474 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/10477/task/10486/stat : 10486 (java) S 10474 10477 9616 0 -1 4202560 400 0 0 0 262 8 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658756844200 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10487] ppid=10474 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/10477/task/10487/stat : 10487 (java) S 10474 10477 9616 0 -1 4202560 400 0 0 0 262 9 0 0 20 0 22 0 40730450 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658755791656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10488] ppid=10474 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/10477/task/10488/stat : 10488 (java) S 10474 10477 9616 0 -1 4202560 1663 0 0 0 255 22 0 0 20 0 22 0 40730451 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658743380328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10489] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10489/stat : 10489 (java) S 10474 10477 9616 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 40730452 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658742326648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10490] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10490/stat : 10490 (java) S 10474 10477 9616 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 40730452 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658741273480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=10491] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10491/stat : 10491 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40730454 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658740222224 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=10492] ppid=10474 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/10477/task/10492/stat : 10492 (java) S 10474 10477 9616 0 -1 4202560 9881 0 0 0 204 2 0 0 20 0 22 0 40730454 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658739170104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10493] ppid=10474 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/10477/task/10493/stat : 10493 (java) S 10474 10477 9616 0 -1 4202560 18706 0 0 0 210 3 0 0 20 0 22 0 40730454 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658738117560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10494] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/10494/stat : 10494 (java) S 10474 10477 9616 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 40730454 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658737064696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=10495] ppid=10474 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/10477/task/10495/stat : 10495 (java) S 10474 10477 9616 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 40730454 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658736012360 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10477/tid=12243] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/12243/stat : 12243 (java) S 10474 10477 9616 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 40777018 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658733807016 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10477/tid=12337] ppid=10474 vsize=9824732 CPUtime=296.78 cores=0,2,4,6
/proc/10477/task/12337/stat : 12337 (java) R 10474 10477 9616 0 -1 4202560 37 0 0 0 29674 4 0 0 20 0 22 0 40790872 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658731699216 139658791682474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10477/tid=12338] ppid=10474 vsize=9824732 CPUtime=296.78 cores=0,2,4,6
/proc/10477/task/12338/stat : 12338 (java) R 10474 10477 9616 0 -1 4202560 39 0 0 0 29674 4 0 0 20 0 22 0 40790872 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658734857616 139658792036226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10477/tid=12339] ppid=10474 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10477/task/12339/stat : 12339 (java) S 10474 10477 9616 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 40790879 10060525568 590287 33554432000 1073741824 1073778376 140735974866480 139658732754088 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10477 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=819146
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=581607
# CPU time returned by wait4() is 1797.4
# while last known CPU time is 1798.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.55
#  lost CPU user time (s): 1.68001
#  lost CPU system time (s): -0.13

Real time (s): 904.98
CPU time (s): 1800.03
CPU user time (s): 1797.87
CPU system time (s): 2.16
CPU usage (%): 198.903
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.82
system time used= 2.58161
maximum resident set size= 2891452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39414
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29988
involuntary context switches= 53044

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67014 second user time and 7.04693 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-20 03:40:03
IDJOB=4110717
IDBENCH=108295
IDSOLVER=2543
FILE ID=node104/4110717-1466386803
RUNJOBID= node104-1466384098-9632
PBS_JOBID= 19923270
Free space on /tmp= 71668 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-irEDCBA.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110717-1466386803/watcher-4110717-1466386803 -o /tmp/evaluation-result-4110717-1466386803/solver-4110717-1466386803 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466384098-9632 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4110717-1466386803.opb

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

MD5SUM BENCH= 60001e0f890cb217b1db9e8508157bc2
RANDOM SEED=1969799996

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.035
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		: 2667.035
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.54
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		: 2667.035
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.55
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		: 2667.035
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:        31405796 kB
Buffers:            5312 kB
Cached:            40400 kB
SwapCached:         1280 kB
Active:           256688 kB
Inactive:          22744 kB
Active(anon):     234512 kB
Inactive(anon):     1564 kB
Active(file):      22176 kB
Inactive(file):    21180 kB
Unevictable:      480572 kB
Mlocked:          447868 kB
SwapTotal:      67108856 kB
SwapFree:       67098472 kB
Dirty:              4100 kB
Writeback:             0 kB
AnonPages:        699132 kB
Mapped:            15396 kB
Shmem:                 0 kB
Slab:             571772 kB
SReclaimable:      15484 kB
SUnreclaim:       556288 kB
KernelStack:        1800 kB
PageTables:         5524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1291652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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= 71668 MiB
End job on node104 at 2016-06-20 03:55:08