Trace number 4111381

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)134214653 1800.59 900.869

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-1-irEDCBA.opb
MD5SUMe62090acedd5c6ce3bff1a8cc1c2032d
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 benchmark214.725
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3564
Total number of constraints11685
Number of constraints which are clauses11625
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@53ef9f1d
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@75786e64
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@3597a37c
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	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.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@75786e64
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4111381-1466408667.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.76/0.49	c ... done. Wall clock time 0.384s.
0.76/0.49	c declared #vars     3564
0.76/0.49	c #constraints  11685
0.76/0.50	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.76/0.50	c constraints type 
1.06/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2702
1.06/0.50	c org.sat4j.specs.Constr$1 => 1669
1.06/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
1.06/0.50	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7123
1.06/0.50	c org.sat4j.minisat.constraints.cnf.UnitClause => 176
1.06/0.50	c 11685 constraints processed.
1.06/0.50	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.06/0.50	c constraints type 
1.06/0.50	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7123
1.06/0.50	c org.sat4j.specs.Constr$1 => 1669
1.06/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2702
1.06/0.50	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15
1.06/0.50	c org.sat4j.pb.constraints.pb.UnitClausePB => 176
1.06/0.50	c 11685 constraints processed.
1.06/0.50	c objective function length is 166 literals
1.06/0.58	c And the winner is solver0
2.01/1.00	c SATISFIABLE
2.01/1.00	c OPTIMIZING...
2.01/1.00	c Got one! Elapsed wall clock time (in seconds):0.892
2.01/1.00	o 165672188
3.17/1.31	c And the winner is solver0
3.43/1.50	c Got one! Elapsed wall clock time (in seconds):1.397
3.43/1.50	o 165672173
4.58/1.95	c And the winner is solver1
4.77/2.01	c Got one! Elapsed wall clock time (in seconds):1.9
4.77/2.01	o 165671933
5.77/2.48	c cleaning 3097 clauses out of 6195 with flag 12488/6195
8.34/3.60	c cleaning 4544 clauses out of 9098 with flag 31310/12195
10.88/4.85	c cleaning 5775 clauses out of 11554 with flag 51866/19195
13.48/6.15	c cleaning 6889 clauses out of 13779 with flag 81506/27195
16.46/7.54	c cleaning 7943 clauses out of 15890 with flag 114970/36195
18.53/8.55	c cleaning 8973 clauses out of 17947 with flag 147392/46195
19.17/8.73	c And the winner is solver1
19.51/9.01	c Got one! Elapsed wall clock time (in seconds):8.903
19.51/9.01	o 160430568
19.68/9.14	c And the winner is solver0
19.85/9.51	c Got one! Elapsed wall clock time (in seconds):9.404
19.85/9.51	o 160429308
20.02/9.67	c cleaning 7203 clauses out of 14407 with flag 7839/51628
21.45/10.15	c cleaning 6601 clauses out of 13206 with flag 28578/57630
22.71/10.71	c cleaning 6800 clauses out of 13604 with flag 50224/64629
23.91/11.32	c cleaning 7400 clauses out of 14804 with flag 74636/72629
25.10/11.97	c cleaning 8202 clauses out of 16403 with flag 100382/81628
26.58/12.69	c cleaning 9101 clauses out of 18202 with flag 128449/91629
28.38/13.59	c cleaning 10046 clauses out of 20100 with flag 158558/102628
28.98/13.81	c And the winner is solver1
29.02/14.01	c Got one! Elapsed wall clock time (in seconds):13.906
29.02/14.01	o 155187943
29.38/14.25	c cleaning 8009 clauses out of 16021 with flag 8892/108595
29.98/14.55	c And the winner is solver0
30.17/15.02	c Got one! Elapsed wall clock time (in seconds):14.907
30.17/15.02	o 155186683
30.33/15.11	c cleaning 6859 clauses out of 13726 with flag 2924/114309
30.94/15.50	c cleaning 6433 clauses out of 12868 with flag 20405/120310
31.92/15.95	c cleaning 6708 clauses out of 13434 with flag 40207/127309
32.92/16.48	c cleaning 7361 clauses out of 14727 with flag 62413/135310
34.37/17.17	c cleaning 8182 clauses out of 16366 with flag 87369/144310
35.17/17.58	c And the winner is solver1
35.36/18.02	c Got one! Elapsed wall clock time (in seconds):17.909
35.36/18.02	o 149945018
36.11/18.47	c cleaning 9330 clauses out of 18660 with flag 13840/154786
36.93/18.88	c cleaning 7662 clauses out of 15330 with flag 29756/160786
37.91/19.35	c cleaning 7334 clauses out of 14668 with flag 49538/167786
38.92/19.88	c cleaning 7667 clauses out of 15334 with flag 71511/175786
40.12/20.46	c cleaning 8334 clauses out of 16668 with flag 95301/184787
41.77/21.22	c cleaning 9165 clauses out of 18333 with flag 121467/194786
43.39/22.05	c cleaning 10084 clauses out of 20169 with flag 151932/205787
45.17/22.99	c cleaning 11039 clauses out of 22084 with flag 184080/217786
47.37/24.06	c cleaning 12021 clauses out of 24045 with flag 219116/230786
49.78/25.20	c cleaning 13009 clauses out of 26024 with flag 256060/244786
52.40/26.55	c cleaning 14008 clauses out of 28016 with flag 295253/259787
55.65/28.18	c cleaning 15003 clauses out of 30007 with flag 338081/275786
56.87/28.73	c And the winner is solver1
56.93/29.02	c Got one! Elapsed wall clock time (in seconds):28.912
56.93/29.02	o 139459513
57.69/29.48	c cleaning 13419 clauses out of 26837 with flag 13257/287619
58.69/29.92	c cleaning 9708 clauses out of 19418 with flag 28730/293619
59.49/30.36	c cleaning 8356 clauses out of 16711 with flag 46641/300620
60.50/30.89	c cleaning 8176 clauses out of 16354 with flag 67169/308619
61.89/31.54	c cleaning 8589 clauses out of 17178 with flag 92241/317619
63.29/32.25	c cleaning 9290 clauses out of 18590 with flag 118130/327620
65.10/33.13	c cleaning 10145 clauses out of 20299 with flag 147819/338619
67.00/34.07	c cleaning 11077 clauses out of 22155 with flag 179344/350620
69.17/35.16	c cleaning 12032 clauses out of 24078 with flag 215336/363620
71.37/36.29	c cleaning 13023 clauses out of 26046 with flag 254503/377620
74.16/37.68	c cleaning 14011 clauses out of 28022 with flag 295950/392619
77.36/39.24	c cleaning 15005 clauses out of 30011 with flag 340336/408619
80.76/40.99	c cleaning 16003 clauses out of 32006 with flag 387193/425619
85.04/43.06	c cleaning 17000 clauses out of 34003 with flag 438710/443619
89.63/45.31	c cleaning 17995 clauses out of 36003 with flag 490710/462619
94.42/47.78	c cleaning 19002 clauses out of 38008 with flag 548673/482619
99.70/50.39	c cleaning 20004 clauses out of 40007 with flag 609741/503620
100.10/50.54	c And the winner is solver1
100.20/51.02	c Got one! Elapsed wall clock time (in seconds):50.917
100.20/51.02	o 139459498
101.01/51.48	c cleaning 12917 clauses out of 25844 with flag 10786/509461
102.00/51.98	c cleaning 9457 clauses out of 18926 with flag 26436/515460
103.20/52.50	c cleaning 8229 clauses out of 16469 with flag 44386/522460
104.40/53.11	c cleaning 8116 clauses out of 16241 with flag 65907/530461
105.60/53.74	c cleaning 8558 clauses out of 17125 with flag 90823/539461
107.20/54.54	c cleaning 9282 clauses out of 18566 with flag 117964/549460
109.00/55.45	c cleaning 10138 clauses out of 20285 with flag 148008/560461
111.29/56.54	c cleaning 11071 clauses out of 22146 with flag 180524/572460
113.46/57.68	c cleaning 12037 clauses out of 24075 with flag 216451/585460
115.86/58.87	c cleaning 13019 clauses out of 26039 with flag 254725/599461
119.06/60.49	c cleaning 14009 clauses out of 28020 with flag 293034/614461
123.07/62.41	c cleaning 15003 clauses out of 30010 with flag 334826/630460
126.51/64.13	c cleaning 16001 clauses out of 32007 with flag 378379/647460
130.71/66.20	c cleaning 17003 clauses out of 34007 with flag 425095/665461
135.31/68.57	c cleaning 17997 clauses out of 36004 with flag 478069/684461
140.13/70.95	c And the winner is solver0
140.48/71.13	c Got one! Elapsed wall clock time (in seconds):71.027
140.48/71.13	o 139458538
142.04/71.95	c cleaning 20664 clauses out of 41336 with flag 13090/707790
143.24/72.50	c cleaning 13334 clauses out of 26673 with flag 29175/713791
144.24/73.04	c cleaning 10163 clauses out of 20338 with flag 47212/720790
145.44/73.64	c cleaning 9088 clauses out of 18176 with flag 68324/728791
146.84/74.30	c cleaning 9038 clauses out of 18089 with flag 93547/737792
148.24/75.03	c cleaning 9522 clauses out of 19049 with flag 123051/747790
150.12/75.93	c cleaning 10262 clauses out of 20528 with flag 153334/758791
151.91/76.83	c cleaning 11129 clauses out of 22265 with flag 186685/770790
154.10/77.92	c cleaning 12063 clauses out of 24136 with flag 224882/783790
156.50/79.12	c cleaning 13031 clauses out of 26074 with flag 261718/797791
159.12/80.48	c cleaning 14022 clauses out of 28043 with flag 302963/812791
162.36/82.02	c cleaning 15010 clauses out of 30024 with flag 346482/828794
165.77/83.74	c cleaning 16001 clauses out of 32010 with flag 395342/845790
169.97/85.87	c cleaning 17006 clauses out of 34012 with flag 445963/863793
174.75/88.25	c cleaning 18000 clauses out of 36004 with flag 498044/882791
179.40/90.53	c cleaning 18998 clauses out of 38004 with flag 554455/902791
184.60/93.14	c cleaning 19999 clauses out of 40005 with flag 615175/923790
190.08/95.87	c cleaning 21001 clauses out of 42007 with flag 675526/945791
193.86/97.73	c And the winner is solver1
193.93/98.14	c Got one! Elapsed wall clock time (in seconds):98.032
193.93/98.14	o 139458523
195.65/99.10	c cleaning 21380 clauses out of 42767 with flag 14498/967552
197.24/99.80	c cleaning 13687 clauses out of 27385 with flag 31676/973550
198.44/100.46	c cleaning 10344 clauses out of 20699 with flag 50790/980551
199.87/101.14	c cleaning 9164 clauses out of 18355 with flag 72696/988551
201.27/101.80	c cleaning 9091 clauses out of 18190 with flag 98396/997550
202.67/102.53	c cleaning 9548 clauses out of 19100 with flag 129048/1007551
204.27/103.36	c cleaning 10271 clauses out of 20553 with flag 161768/1018552
206.07/104.23	c cleaning 11138 clauses out of 22281 with flag 197547/1030551
208.27/105.34	c cleaning 12068 clauses out of 24142 with flag 235950/1043550
210.51/106.49	c cleaning 13037 clauses out of 26074 with flag 277276/1057550
213.32/107.88	c cleaning 14019 clauses out of 28037 with flag 317467/1072550
216.51/109.43	c cleaning 15006 clauses out of 30018 with flag 363245/1088550
220.54/111.45	c cleaning 16003 clauses out of 32013 with flag 410591/1105551
224.74/113.50	c cleaning 17005 clauses out of 34009 with flag 461091/1123550
228.82/115.55	c cleaning 18001 clauses out of 36005 with flag 514504/1142551
233.00/117.64	c cleaning 19000 clauses out of 38003 with flag 572437/1162550
237.40/119.85	c cleaning 19998 clauses out of 40003 with flag 630541/1183550
242.63/122.44	c cleaning 21004 clauses out of 42007 with flag 690914/1205552
248.47/125.39	c cleaning 21999 clauses out of 44001 with flag 757096/1228550
254.86/128.50	c cleaning 23000 clauses out of 46003 with flag 828208/1252551
261.51/131.85	c cleaning 23996 clauses out of 48002 with flag 907178/1277550
268.76/135.46	c cleaning 24999 clauses out of 50006 with flag 982873/1303550
273.15/137.64	c And the winner is solver0
273.38/137.80	c Got one! Elapsed wall clock time (in seconds):137.691
273.38/137.80	o 139458298
275.03/138.66	c cleaning 23408 clauses out of 46819 with flag 15291/1325362
276.62/139.42	c cleaning 14703 clauses out of 29413 with flag 35100/1331364
277.81/140.07	c cleaning 10847 clauses out of 21708 with flag 56997/1338362
279.01/140.63	c cleaning 9427 clauses out of 18861 with flag 77991/1346362
280.21/141.25	c cleaning 9214 clauses out of 18436 with flag 103691/1355364
281.63/141.99	c cleaning 9606 clauses out of 19220 with flag 131784/1365362
283.66/142.90	c cleaning 10306 clauses out of 20614 with flag 164144/1376362
283.87/143.01	c And the winner is solver0
284.12/143.30	c Got one! Elapsed wall clock time (in seconds):143.193
284.12/143.30	o 139458253
284.51/143.60	c cleaning 7943 clauses out of 15893 with flag 12187/1381947
285.30/143.97	c cleaning 6972 clauses out of 13951 with flag 30123/1387948
285.72/144.17	c And the winner is solver0
286.06/144.40	c Got one! Elapsed wall clock time (in seconds):144.295
286.06/144.40	o 139457788
286.24/144.55	c cleaning 6239 clauses out of 12487 with flag 6210/1393456
287.04/144.92	c cleaning 6120 clauses out of 12248 with flag 23703/1399456
288.04/145.41	c cleaning 6561 clauses out of 13129 with flag 45201/1406457
289.25/146.04	c cleaning 7280 clauses out of 14567 with flag 71147/1414456
290.45/146.66	c cleaning 8145 clauses out of 16290 with flag 98227/1423459
291.85/147.34	c cleaning 9071 clauses out of 18143 with flag 126410/1433457
293.45/148.14	c cleaning 10034 clauses out of 20071 with flag 158080/1444456
295.70/149.25	c cleaning 11019 clauses out of 22037 with flag 196956/1456456
297.70/150.28	c cleaning 12001 clauses out of 24018 with flag 234579/1469456
300.10/151.47	c cleaning 13006 clauses out of 26019 with flag 275689/1483458
302.91/152.88	c cleaning 14006 clauses out of 28011 with flag 324004/1498456
305.91/154.31	c cleaning 15002 clauses out of 30005 with flag 371233/1514456
309.16/155.94	c cleaning 16001 clauses out of 32004 with flag 422523/1531457
313.16/157.98	c cleaning 17002 clauses out of 34003 with flag 478408/1549457
317.59/160.19	c cleaning 17998 clauses out of 36001 with flag 533626/1568457
322.21/162.40	c cleaning 18999 clauses out of 38002 with flag 589652/1588456
327.23/164.91	c cleaning 19999 clauses out of 40004 with flag 655691/1609457
332.27/167.45	c cleaning 20999 clauses out of 42005 with flag 722368/1631457
337.50/170.09	c And the winner is solver0
337.98/170.43	c Got one! Elapsed wall clock time (in seconds):170.323
337.98/170.43	o 139457773
339.70/171.34	c cleaning 24288 clauses out of 48584 with flag 14931/1659035
341.14/172.07	c cleaning 15144 clauses out of 30297 with flag 32369/1665036
342.56/172.71	c cleaning 11073 clauses out of 22153 with flag 53517/1672036
343.74/173.32	c cleaning 9537 clauses out of 19080 with flag 76988/1680036
344.99/173.99	c cleaning 9264 clauses out of 18542 with flag 102006/1689035
346.37/174.69	c cleaning 9638 clauses out of 19279 with flag 129799/1699036
348.17/175.53	c cleaning 10318 clauses out of 20640 with flag 162042/1710035
350.19/176.52	c cleaning 11160 clauses out of 22322 with flag 195881/1722035
352.39/177.66	c cleaning 12077 clauses out of 24162 with flag 233769/1735035
353.42/178.17	c And the winner is solver0
353.79/178.49	c Got one! Elapsed wall clock time (in seconds):178.38
353.79/178.49	o 139457533
354.66/178.95	c cleaning 11510 clauses out of 23026 with flag 14974/1745976
355.68/179.41	c cleaning 8753 clauses out of 17517 with flag 33071/1751977
356.46/179.88	c cleaning 7877 clauses out of 15762 with flag 53100/1758975
357.49/180.38	c cleaning 7936 clauses out of 15885 with flag 76214/1766975
358.69/180.91	c cleaning 8470 clauses out of 16949 with flag 100336/1775975
360.10/181.65	c cleaning 9240 clauses out of 18482 with flag 130771/1785978
361.91/182.51	c cleaning 10116 clauses out of 20240 with flag 162391/1796976
363.71/183.44	c cleaning 11062 clauses out of 22123 with flag 196355/1808975
365.93/184.52	c cleaning 12031 clauses out of 24062 with flag 233606/1821976
368.35/185.77	c cleaning 13015 clauses out of 26030 with flag 274735/1835975
371.37/187.29	c cleaning 14004 clauses out of 28016 with flag 322165/1850976
374.79/188.92	c cleaning 15001 clauses out of 30011 with flag 371928/1866975
378.42/190.77	c cleaning 16006 clauses out of 32011 with flag 422725/1883976
382.26/192.69	c cleaning 16999 clauses out of 34005 with flag 474375/1901976
387.10/195.07	c And the winner is solver1
387.29/195.15	c cleaning 18000 clauses out of 36007 with flag 531035/1920977
387.34/195.49	c Got one! Elapsed wall clock time (in seconds):195.384
387.34/195.49	o 134216333
388.32/195.98	c cleaning 11500 clauses out of 23008 with flag 16087/1925978
389.30/196.45	c cleaning 8751 clauses out of 17507 with flag 34842/1931977
390.31/196.95	c cleaning 7873 clauses out of 15756 with flag 56215/1938977
391.32/197.49	c cleaning 7937 clauses out of 15883 with flag 78317/1946977
392.53/198.07	c cleaning 8471 clauses out of 16946 with flag 104115/1955977
393.92/198.77	c cleaning 9236 clauses out of 18476 with flag 133724/1965978
395.54/199.57	c cleaning 10115 clauses out of 20240 with flag 166703/1976978
397.34/200.46	c cleaning 11061 clauses out of 22125 with flag 200816/1988978
399.58/201.54	c cleaning 12032 clauses out of 24063 with flag 241005/2001977
401.98/202.77	c cleaning 13015 clauses out of 26031 with flag 287425/2015977
404.79/204.13	c cleaning 14006 clauses out of 28016 with flag 334351/2030977
407.82/205.65	c cleaning 15003 clauses out of 30010 with flag 381755/2046977
411.05/207.29	c cleaning 16001 clauses out of 32007 with flag 434685/2063977
414.69/209.02	c cleaning 17002 clauses out of 34007 with flag 486915/2081978
414.69/209.07	c And the winner is solver0
415.10/209.50	c Got one! Elapsed wall clock time (in seconds):209.395
415.10/209.50	o 134215853
415.87/209.92	c cleaning 11371 clauses out of 22745 with flag 13772/2087718
416.69/210.37	c cleaning 8683 clauses out of 17373 with flag 32302/2093717
417.69/210.83	c cleaning 7841 clauses out of 15693 with flag 53854/2100720
418.70/211.33	c cleaning 7921 clauses out of 15849 with flag 78335/2108717
419.89/211.98	c cleaning 8465 clauses out of 16931 with flag 107932/2117720
421.31/212.68	c cleaning 9228 clauses out of 18463 with flag 139793/2127717
422.92/213.48	c cleaning 10113 clauses out of 20236 with flag 172411/2138718
424.93/214.45	c cleaning 11057 clauses out of 22122 with flag 210177/2150717
427.13/215.57	c cleaning 12033 clauses out of 24066 with flag 252789/2163718
429.35/216.68	c cleaning 13017 clauses out of 26033 with flag 293470/2177718
431.98/217.99	c cleaning 14007 clauses out of 28015 with flag 334780/2192717
435.01/219.49	c cleaning 15002 clauses out of 30008 with flag 381541/2208717
438.23/221.07	c cleaning 15999 clauses out of 32006 with flag 429530/2225717
441.85/222.86	c cleaning 17001 clauses out of 34008 with flag 484483/2243718
445.67/224.78	c cleaning 17999 clauses out of 36007 with flag 542961/2262718
450.50/227.13	c cleaning 19002 clauses out of 38008 with flag 605389/2282718
455.31/229.57	c cleaning 19998 clauses out of 40005 with flag 670088/2303717
460.32/232.10	c cleaning 21003 clauses out of 42008 with flag 739985/2325718
465.97/234.86	c cleaning 22000 clauses out of 44005 with flag 805285/2348718
471.82/237.79	c cleaning 23002 clauses out of 46004 with flag 875016/2372717
478.23/240.99	c cleaning 23999 clauses out of 48002 with flag 945942/2397717
485.29/244.50	c cleaning 24998 clauses out of 50003 with flag 1018905/2423717
492.73/248.16	c cleaning 25995 clauses out of 52006 with flag 1094689/2450718
500.20/251.81	c cleaning 27006 clauses out of 54011 with flag 1170762/2478718
508.25/255.84	c cleaning 27998 clauses out of 56004 with flag 1254938/2507717
517.35/260.32	c cleaning 28998 clauses out of 58006 with flag 1342643/2537717
526.80/265.10	c cleaning 30002 clauses out of 60008 with flag 1431865/2568717
537.29/270.26	c cleaning 30998 clauses out of 62006 with flag 1529998/2600717
546.75/274.94	c cleaning 32001 clauses out of 64009 with flag 1622532/2633718
559.32/281.53	c cleaning 33004 clauses out of 66007 with flag 1727545/2667717
568.95/286.39	c And the winner is solver0
569.47/286.83	c Got one! Elapsed wall clock time (in seconds):286.721
569.47/286.83	o 134215613
571.63/287.99	c cleaning 34388 clauses out of 68789 with flag 14618/2703503
573.23/288.77	c cleaning 20197 clauses out of 40400 with flag 31581/2709502
574.67/289.49	c cleaning 13595 clauses out of 27203 with flag 50556/2716502
575.86/290.06	c cleaning 10798 clauses out of 21609 with flag 71931/2724503
577.26/290.76	c cleaning 9900 clauses out of 19812 with flag 98628/2733504
578.66/291.44	c cleaning 9950 clauses out of 19911 with flag 125761/2743503
580.29/292.23	c cleaning 10473 clauses out of 20960 with flag 157448/2754502
580.69/292.41	c And the winner is solver0
581.04/292.83	c Got one! Elapsed wall clock time (in seconds):292.724
581.04/292.83	o 134215373
581.16/292.99	c cleaning 7891 clauses out of 15787 with flag 5646/2759802
582.16/293.42	c cleaning 6939 clauses out of 13896 with flag 24255/2765802
582.98/293.88	c cleaning 6977 clauses out of 13959 with flag 44071/2772804
583.96/294.38	c cleaning 7487 clauses out of 14980 with flag 66349/2780802
585.37/295.07	c cleaning 8244 clauses out of 16493 with flag 93447/2789802
586.78/295.76	c cleaning 9120 clauses out of 18250 with flag 122175/2799803
588.37/296.56	c cleaning 10063 clauses out of 20129 with flag 153999/2810802
590.40/297.50	c cleaning 11032 clauses out of 22066 with flag 190069/2822802
592.40/298.53	c cleaning 12013 clauses out of 24034 with flag 226905/2835802
594.61/299.68	c cleaning 13010 clauses out of 26023 with flag 263831/2849804
597.62/301.10	c cleaning 14003 clauses out of 28011 with flag 305520/2864802
600.44/302.51	c cleaning 15005 clauses out of 30009 with flag 350992/2880803
603.66/304.10	c cleaning 15997 clauses out of 32004 with flag 396371/2897803
606.88/305.78	c cleaning 17000 clauses out of 34006 with flag 443613/2915802
610.71/307.61	c cleaning 18002 clauses out of 36006 with flag 495056/2934802
615.72/310.13	c cleaning 18996 clauses out of 38006 with flag 550699/2954804
616.92/310.71	c And the winner is solver0
617.25/311.04	c Got one! Elapsed wall clock time (in seconds):310.929
617.25/311.04	o 134215133
618.41/311.61	c cleaning 15169 clauses out of 30343 with flag 14510/2966137
619.21/312.05	c cleaning 10584 clauses out of 21175 with flag 30704/2972138
620.22/312.51	c cleaning 8790 clauses out of 17590 with flag 50243/2979137
621.00/312.99	c cleaning 8396 clauses out of 16800 with flag 71800/2987137
622.22/313.55	c cleaning 8701 clauses out of 17406 with flag 96186/2996139
623.62/314.26	c cleaning 9350 clauses out of 18705 with flag 124875/3006139
625.22/315.06	c cleaning 10176 clauses out of 20354 with flag 160065/3017138
627.02/315.93	c cleaning 11086 clauses out of 22178 with flag 196740/3029138
629.05/316.93	c cleaning 12043 clauses out of 24093 with flag 233659/3042139
631.25/318.05	c cleaning 13021 clauses out of 26048 with flag 276261/3056137
633.86/319.36	c cleaning 14013 clauses out of 28027 with flag 321691/3071137
637.27/321.05	c cleaning 15008 clauses out of 30015 with flag 372941/3087138
640.47/322.64	c cleaning 15999 clauses out of 32007 with flag 421397/3104138
644.32/324.59	c cleaning 17003 clauses out of 34008 with flag 475272/3122138
648.94/326.82	c cleaning 18000 clauses out of 36005 with flag 534633/3141138
653.16/328.97	c cleaning 18999 clauses out of 38004 with flag 595048/3161137
657.79/331.22	c cleaning 20003 clauses out of 40007 with flag 657691/3182139
662.80/333.74	c cleaning 20997 clauses out of 42002 with flag 720393/3204137
668.23/336.49	c cleaning 21998 clauses out of 44006 with flag 787481/3227138
674.26/339.47	c cleaning 23001 clauses out of 46007 with flag 860192/3251137
681.14/342.81	c cleaning 24000 clauses out of 48006 with flag 944264/3276137
688.37/346.42	c cleaning 24999 clauses out of 50007 with flag 1019507/3302138
696.19/350.34	c cleaning 26002 clauses out of 52007 with flag 1101090/3329137
704.46/354.44	c cleaning 27001 clauses out of 54006 with flag 1183154/3357138
713.49/358.94	c cleaning 27999 clauses out of 56004 with flag 1270328/3386137
722.74/363.57	c cleaning 28998 clauses out of 58006 with flag 1361434/3416138
733.02/368.66	c cleaning 30003 clauses out of 60007 with flag 1456409/3447137
744.67/374.41	c cleaning 30999 clauses out of 62005 with flag 1553276/3479138
757.13/380.66	c cleaning 31999 clauses out of 64006 with flag 1659184/3512138
769.34/386.73	c cleaning 32999 clauses out of 66006 with flag 1769148/3546137
781.44/392.74	c cleaning 34001 clauses out of 68008 with flag 1873536/3581138
795.31/399.65	c cleaning 34998 clauses out of 70006 with flag 1986755/3617137
811.18/407.52	c cleaning 36005 clauses out of 72009 with flag 2110533/3654138
827.29/415.56	c cleaning 36999 clauses out of 74003 with flag 2226766/3692137
843.19/423.47	c cleaning 38000 clauses out of 76004 with flag 2348611/3731137
861.51/432.58	c cleaning 38998 clauses out of 78004 with flag 2474372/3771137
881.38/442.44	c cleaning 39999 clauses out of 80006 with flag 2606239/3812137
902.66/453.05	c cleaning 41003 clauses out of 82008 with flag 2740814/3854138
925.22/464.27	c cleaning 41994 clauses out of 84004 with flag 2882489/3897137
942.50/472.85	c cleaning 43001 clauses out of 86011 with flag 3003901/3941138
961.05/482.04	c cleaning 44000 clauses out of 88010 with flag 3127665/3986138
983.55/493.27	c cleaning 45002 clauses out of 90009 with flag 3268788/4032137
1004.26/503.50	c cleaning 46003 clauses out of 92008 with flag 3409684/4079138
1025.98/514.36	c cleaning 46999 clauses out of 94004 with flag 3551880/4127137
1049.49/526.42	c cleaning 48000 clauses out of 96005 with flag 3697539/4176137
1073.61/538.43	c cleaning 48994 clauses out of 98006 with flag 3851627/4226138
1081.67/542.50	c cleaning 0 clauses out of 11536 with flag 0/11541
1098.59/550.71	c cleaning 50003 clauses out of 100011 with flag 4000440/4277137
1122.12/562.48	c cleaning 50998 clauses out of 102008 with flag 4150603/4329137
1149.23/575.95	c cleaning 52003 clauses out of 104011 with flag 4307656/4382138
1176.60/589.50	c cleaning 52998 clauses out of 106007 with flag 4468034/4436137
1197.50/599.90	c And the winner is solver0
1198.04/600.49	c Got one! Elapsed wall clock time (in seconds):600.386
1198.04/600.49	o 134214893
1202.01/602.43	c cleaning 50320 clauses out of 100647 with flag 13930/4483775
1204.61/603.78	c cleaning 28160 clauses out of 56327 with flag 30474/4489775
1206.41/604.68	c cleaning 17579 clauses out of 35167 with flag 49009/4496775
1207.83/605.39	c cleaning 12792 clauses out of 25590 with flag 69623/4504777
1209.44/606.11	c cleaning 10894 clauses out of 21795 with flag 93127/4513774
1210.83/606.84	c cleaning 10448 clauses out of 20901 with flag 119451/4523774
1212.46/607.65	c cleaning 10724 clauses out of 21453 with flag 147606/4534774
1214.25/608.57	c cleaning 11359 clauses out of 22730 with flag 179989/4546775
1216.70/609.78	c cleaning 12181 clauses out of 24370 with flag 219656/4559774
1219.29/611.04	c cleaning 13094 clauses out of 26191 with flag 261180/4573776
1222.29/612.53	c cleaning 14047 clauses out of 28097 with flag 309758/4588776
1225.52/614.12	c cleaning 15021 clauses out of 30048 with flag 359537/4604774
1229.38/616.04	c cleaning 16013 clauses out of 32028 with flag 414855/4621775
1233.36/618.02	c cleaning 17007 clauses out of 34014 with flag 471915/4639774
1237.78/620.22	c cleaning 18004 clauses out of 36007 with flag 531758/4658774
1242.59/622.60	c cleaning 19000 clauses out of 38004 with flag 595359/4678775
1247.42/625.03	c cleaning 19997 clauses out of 40004 with flag 653257/4699775
1253.05/627.87	c cleaning 20998 clauses out of 42006 with flag 714952/4721774
1258.65/630.63	c cleaning 22003 clauses out of 44008 with flag 776287/4744774
1265.09/633.83	c cleaning 23002 clauses out of 46005 with flag 845966/4768774
1271.31/636.91	c cleaning 24001 clauses out of 48005 with flag 910864/4793776
1278.54/640.55	c cleaning 24999 clauses out of 50003 with flag 987516/4819775
1285.59/644.05	c cleaning 25998 clauses out of 52004 with flag 1068059/4846775
1293.24/647.87	c cleaning 27001 clauses out of 54006 with flag 1148175/4874775
1302.50/652.46	c cleaning 27999 clauses out of 56004 with flag 1226635/4903774
1312.34/657.31	c cleaning 28998 clauses out of 58005 with flag 1314935/4933774
1321.81/662.01	c cleaning 29998 clauses out of 60007 with flag 1400665/4964774
1332.26/667.28	c cleaning 31005 clauses out of 62009 with flag 1489474/4996774
1342.49/672.37	c cleaning 31998 clauses out of 64004 with flag 1578642/5029774
1354.58/678.35	c cleaning 33002 clauses out of 66007 with flag 1680980/5063775
1368.23/685.14	c cleaning 33999 clauses out of 68007 with flag 1789109/5098777
1380.31/691.12	c cleaning 35003 clauses out of 70005 with flag 1892655/5134774
1391.53/696.76	c cleaning 36001 clauses out of 72002 with flag 1999065/5171774
1407.05/704.45	c cleaning 36998 clauses out of 74001 with flag 2115487/5209774
1422.36/712.00	c cleaning 37999 clauses out of 76004 with flag 2229663/5248775
1437.44/719.53	c cleaning 38995 clauses out of 78004 with flag 2339742/5288774
1454.95/728.28	c cleaning 40005 clauses out of 80009 with flag 2457984/5329774
1473.17/737.34	c cleaning 40995 clauses out of 82004 with flag 2581073/5371774
1491.48/746.44	c cleaning 42000 clauses out of 84009 with flag 2704616/5414774
1513.23/757.29	c cleaning 43006 clauses out of 86011 with flag 2841900/5458776
1532.54/766.83	c cleaning 43997 clauses out of 88003 with flag 2972032/5503774
1556.59/779.33	c cleaning 44998 clauses out of 90006 with flag 3112763/5549774
1578.28/790.12	c cleaning 46002 clauses out of 92010 with flag 3252023/5596776
1599.79/800.88	c cleaning 46999 clauses out of 94006 with flag 3395106/5644774
1625.15/813.40	c cleaning 48000 clauses out of 96007 with flag 3534857/5693774
1649.27/825.45	c cleaning 49003 clauses out of 98007 with flag 3671822/5743774
1674.16/837.81	c cleaning 50001 clauses out of 100004 with flag 3811986/5794774
1698.69/850.03	c And the winner is solver0
1699.45/850.76	c Got one! Elapsed wall clock time (in seconds):850.656
1699.45/850.76	o 134214653
1704.38/853.29	c cleaning 52649 clauses out of 105305 with flag 16344/5850076
1707.82/854.98	c cleaning 29323 clauses out of 58654 with flag 34163/5856074
1710.42/856.23	c cleaning 18164 clauses out of 36332 with flag 55693/5863075
1712.03/857.04	c cleaning 13081 clauses out of 26167 with flag 77984/5871074
1713.47/857.77	c cleaning 11038 clauses out of 22087 with flag 103271/5880075
1715.07/858.51	c cleaning 10518 clauses out of 21048 with flag 131182/5890074
1716.48/859.29	c cleaning 10761 clauses out of 21530 with flag 162323/5901074
1718.27/860.17	c cleaning 11382 clauses out of 22770 with flag 198449/5913075
1720.27/861.14	c cleaning 12191 clauses out of 24387 with flag 238088/5926074
1722.72/862.35	c cleaning 13096 clauses out of 26197 with flag 278307/5940075
1725.52/863.71	c cleaning 14046 clauses out of 28100 with flag 323076/5955074
1728.32/865.13	c cleaning 15021 clauses out of 30054 with flag 368189/5971074
1731.16/866.59	c cleaning 16015 clauses out of 32034 with flag 411452/5988075
1734.56/868.29	c cleaning 17010 clauses out of 34019 with flag 455450/6006075
1738.57/870.27	c cleaning 18004 clauses out of 36008 with flag 500930/6025074
1743.20/872.53	c cleaning 19000 clauses out of 38005 with flag 552286/6045075
1747.86/874.86	c cleaning 19996 clauses out of 40004 with flag 605953/6066074
1752.86/877.39	c cleaning 21001 clauses out of 42008 with flag 664970/6088074
1758.89/880.36	c cleaning 22003 clauses out of 44007 with flag 730659/6111074
1764.73/883.24	c cleaning 23001 clauses out of 46004 with flag 794039/6135074
1771.00/886.36	c cleaning 23997 clauses out of 48003 with flag 859063/6160074
1777.40/889.59	c cleaning 25004 clauses out of 50007 with flag 923968/6186075
1784.06/892.80	c cleaning 25997 clauses out of 52003 with flag 999905/6213075
1791.30/896.50	c cleaning 26993 clauses out of 54005 with flag 1084855/6241074
1799.29/900.42	c cleaning 28004 clauses out of 56012 with flag 1168509/6270074
1800.13/900.80	c >>>>>>>>>> Solver number 0 (16 answers) <<<<<<<<<<<<<<<<<<
1800.13/900.80	c starts		: 118070
1800.13/900.80	c conflicts		: 6274207
1800.13/900.80	c decisions		: 10424077
1800.13/900.80	c propagations		: 325548500
1800.13/900.80	c inspects		: 14092434934
1800.13/900.80	c shortcuts		: 0
1800.13/900.80	c learnt literals	: 0
1800.13/900.80	c learnt binary clauses	: 6
1800.13/900.80	c learnt ternary clauses	: 3
1800.13/900.80	c learnt constraints	: 6274207
1800.13/900.80	c ignored constraints	: 0
1800.13/900.80	c root simplifications	: 0
1800.13/900.80	c removed literals (reason simplification)	: 40152238
1800.13/900.80	c reason swapping (by a shorter reason)	: 0
1800.13/900.80	c Calls to reduceDB	: 343
1800.13/900.80	c Number of update (reduction) of LBD	: 561849
1800.13/900.80	c Imported unit clauses	: 0
1800.13/900.80	c number of reductions to clauses (during analyze)	: 0
1800.13/900.80	c number of learned constraints concerned by reduction	: 0
1800.13/900.80	c number of learning phase by resolution	: 0
1800.13/900.80	c number of learning phase by cutting planes	: 0
1800.13/900.80	c speed (assignments/second)	: 461569.9262874181
1800.13/900.80	c non guided choices	1672
1800.13/900.82	c learnt constraints type 
1800.13/900.82	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 6
1800.13/900.82	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 32135
1800.13/900.82	c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<<
1800.13/900.82	c starts		: 111
1800.13/900.82	c conflicts		: 14805
1800.13/900.82	c decisions		: 41658
1800.13/900.82	c propagations		: 2794256
1800.13/900.82	c inspects		: 858361231
1800.13/900.82	c shortcuts		: 0
1800.13/900.82	c learnt literals	: 0
1800.13/900.82	c learnt binary clauses	: 0
1800.13/900.82	c learnt ternary clauses	: 0
1800.13/900.82	c learnt constraints	: 14798
1800.13/900.82	c ignored constraints	: 0
1800.13/900.82	c root simplifications	: 0
1800.13/900.82	c removed literals (reason simplification)	: 0
1800.13/900.82	c reason swapping (by a shorter reason)	: 0
1800.13/900.82	c Calls to reduceDB	: 1
1800.13/900.82	c Number of update (reduction) of LBD	: 0
1800.13/900.82	c Imported unit clauses	: 0
1800.13/900.82	c number of reductions to clauses (during analyze)	: 0
1800.13/900.82	c number of learned constraints concerned by reduction	: 0
1800.13/900.82	c number of learning phase by resolution	: 0
1800.13/900.82	c number of learning phase by cutting planes	: 0
1800.13/900.82	c speed (assignments/second)	: 55926.50561415447
1800.13/900.82	c non guided choices	119
1800.13/900.83	c learnt constraints type 
1800.13/900.83	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 771
1800.13/900.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14027
1800.13/900.83	s SATISFIABLE
1800.13/900.83	c Found 24 solution(s)
1800.13/900.84	v x1 x2 -x3 -x4 x5 x6 x7 -x8 -x9 x10 x11 x12 -x13 -x14 x15 x16 x17 -x18 -x19 x20 x21 x22 -x23 -x24 x25 x26 x27 -x28 -x29 x30 x31 x32 x33 x34 x35 x36 x37 -x38 -x39 x40 x41 x42 x43 x44 x45 x46 x47 -x48 -x49 x50 x51 x52 x53 x54 x55 x56 x57 -x58 -x59 x60 x61 x62 -x63 -x64 x65 x66 x67 -x68 -x69 x70 x71 x72 -x73 -x74 x75 x76 -x77 -x78 -x79 x80 x81 x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 x785 x786 x787 x788 -x789 x790 -x791 x792 x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 x815 x816 x817 -x818 -x819 -x820 -x821 -x822 x823 x824 x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 x833 x834 x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 x1192 x1193 x1194 x1195 -x1196 -x1197 x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 x1249 x1250 x1251 x1252 -x1253 -x1254 -x1255 x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297 -x1298 x1299 x1300 x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1314 x1315 x1316 x1317 x1318 -x1319 -x1320 -x1321 x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 x1356 x1357 x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 x1615 x1616 x1617 x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 x1747 x1748 x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 x1800 x1801 x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 x2072 x2073 x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 x2309 x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 x2343 x2344 x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 x2420 x2421 x2422 x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 x2438 x2439 x2440 x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 x2677 -x2678 x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 x3110 -x3111 -x3112 -x3113 x3114 x3115 x3116 x3117 x3118 x3119 -x3120 -x3121 x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 x3131 x3132 x3133 x3134 x3135 x3136 x3137 x3138 x3139 x3140 x3141 x3142 x3143 x3144 x3145 x3146 x3147 x3148 x3149 x3150 x3151 x3152 x3153 x3154 x3155 x3156 x3157 x3158 x3159 x3160 x3161 x3162 x3163 x3164 x3165 x3166 x3167 x3168 x3169 x3170 x3171 x3172 x3173 x3174 x3175 x3176 x3177 x3178 x3179 x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 x3254 x3255 -x3256 x3257 -x3258 x3259 -x3260 -x3261 -x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x3337 -x3338 -x3339 x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 x3492 -x3493 -x3494 -x3495 -x3496 x3497 x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 x3510 -x3511 -x3512 -x3513 -x3514 x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 x3528 -x3529 -x3530 -x3531 -x3532 x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 x3561 -x3562 -x3563 -x3564 
1800.13/900.84	c objective function=134214653
1800.13/900.84	c Total wall clock time (in seconds): 900.733

Verifier Data 

OK	134214653

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-4111381-1466408667/watcher-4111381-1466408667 -o /tmp/evaluation-result-4111381-1466408667/solver-4111381-1466408667 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466406860-4856 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4111381-1466408667.opb 

pid=5431
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: 4.43 4.29 3.85 5/197 5434
/proc/meminfo: memFree=30184916/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=96272 CPUtime=0 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 1359 0 0 0 0 0 0 0 20 0 2 0 42913188 98582528 983 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 24068 984 749 9 0 16774 0
[pid=5434/tid=5435] ppid=5431 vsize=96272 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) R 5431 5434 1977 0 -1 4202560 137 0 0 0 0 0 0 0 20 0 2 0 42913189 98582528 985 33554432000 1073741824 1073778376 140736952002304 139784560082472 229355898269 0 0 0 16784584 0 0 0 -1 4 0 0 0 0 0

[startup+0.100066 s]
/proc/loadavg: 4.43 4.29 3.85 5/197 5434
/proc/meminfo: memFree=30184916/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 4470 0 1 0 10 1 0 0 20 0 18 0 42913188 9787879424 6090 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 2389619 6090 2155 9 0 2380296 0
[pid=5434/tid=5435] ppid=5431 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) R 5431 5434 1977 0 -1 4202560 2383 0 1 0 8 0 0 0 20 0 18 0 42913189 9787879424 6090 33554432000 1073741824 1073778376 140736952002304 139784560085920 139784567514984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200284 s]
/proc/loadavg: 4.43 4.29 3.85 5/197 5434
/proc/meminfo: memFree=30184916/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 4716 0 1 0 25 1 0 0 20 0 18 0 42913188 9787879424 7306 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 2389619 7306 2202 9 0 2380296 0
[pid=5434/tid=5435] ppid=5431 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) R 5431 5434 1977 0 -1 4202560 2403 0 1 0 18 0 0 0 20 0 18 0 42913189 9787879424 7306 33554432000 1073741824 1073778376 140736952002304 139784560078408 229359270968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300258 s]
/proc/loadavg: 4.43 4.29 3.85 5/197 5434
/proc/meminfo: memFree=30184916/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 6215 0 1 0 48 2 0 0 20 0 18 0 42913188 9787879424 9336 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 2389619 9336 2233 9 0 2380296 0
[pid=5434/tid=5435] ppid=5431 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) R 5431 5434 1977 0 -1 4202560 2405 0 1 0 28 0 0 0 20 0 18 0 42913189 9787879424 9336 33554432000 1073741824 1073778376 140736952002304 139784560078408 139784425108912 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.70021 s]
/proc/loadavg: 4.43 4.29 3.85 5/197 5434
/proc/meminfo: memFree=30184916/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 21406 0 1 0 157 7 0 0 20 0 19 0 42913188 10060525568 24876 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 2456183 24876 2258 9 0 2446860 0
[pid=5434/tid=5435] ppid=5431 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) S 5431 5434 1977 0 -1 4202560 2474 0 1 0 46 2 0 0 20 0 19 0 42913189 10060525568 24876 33554432000 1073741824 1073778376 140736952002304 139784560087928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9824732

[startup+1.50088 s]
/proc/loadavg: 4.43 4.29 3.85 7/219 5459
/proc/meminfo: memFree=30056752/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=9824732 CPUtime=3.43 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 23977 0 1 0 334 9 0 0 20 0 19 0 42913188 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 2456183 29018 2269 9 0 2446860 0
[pid=5434/tid=5435] ppid=5431 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) S 5431 5434 1977 0 -1 4202560 2475 0 1 0 47 2 0 0 20 0 19 0 42913189 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784560087928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5437] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5437/stat : 5437 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42913189 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784549149480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5438] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5438/stat : 5438 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42913189 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784548096680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5439] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5439/stat : 5439 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42913189 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784547044392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5440] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5440/stat : 5440 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42913189 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784545991592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5441] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5441/stat : 5441 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42913189 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784544938280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5442] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5442/stat : 5442 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42913189 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784543885480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5443] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5443/stat : 5443 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42913189 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784397470248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5444] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5444/stat : 5444 (java) S 5431 5434 1977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 42913189 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784396417448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5445] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5445/stat : 5445 (java) S 5431 5434 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 42913190 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784384219880 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5446] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5446/stat : 5446 (java) S 5431 5434 1977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 42913191 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784383165944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5447] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5447/stat : 5447 (java) S 5431 5434 1977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42913191 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784382113544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5448] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5448/stat : 5448 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42913193 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784381062032 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5449] ppid=5431 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/5434/task/5449/stat : 5449 (java) S 5431 5434 1977 0 -1 4202560 8944 0 0 0 107 2 0 0 20 0 19 0 42913193 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784380008632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5450] ppid=5431 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/5434/task/5450/stat : 5450 (java) S 5431 5434 1977 0 -1 4202560 11210 0 0 0 102 2 0 0 20 0 19 0 42913193 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784378955832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5451] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5451/stat : 5451 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42913193 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784377903736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5452] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5452/stat : 5452 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 42913193 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784376851144 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5456] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5456/stat : 5456 (java) S 5431 5434 1977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 42913239 10060525568 29018 33554432000 1073741824 1073778376 140736952002304 139784372639272 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 9824732

[startup+3.10092 s]
/proc/loadavg: 4.43 4.29 3.85 5/219 5465
/proc/meminfo: memFree=29813220/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=9824732 CPUtime=7.25 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 26442 0 1 0 708 17 0 0 20 0 22 0 42913188 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 2456183 56260 2292 9 0 2446860 0
[pid=5434/tid=5435] ppid=5431 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) S 5431 5434 1977 0 -1 4202560 2475 0 1 0 47 2 0 0 20 0 22 0 42913189 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784560087928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5437] ppid=5431 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/5434/task/5437/stat : 5437 (java) S 5431 5434 1977 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 42913189 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784549149480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5438] ppid=5431 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/5434/task/5438/stat : 5438 (java) S 5431 5434 1977 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 42913189 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784548096680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5439] ppid=5431 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/5434/task/5439/stat : 5439 (java) S 5431 5434 1977 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 42913189 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784547044392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5440] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5440/stat : 5440 (java) S 5431 5434 1977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 42913189 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784545991592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5441] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5441/stat : 5441 (java) S 5431 5434 1977 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 42913189 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784544938280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5442] ppid=5431 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/5434/task/5442/stat : 5442 (java) S 5431 5434 1977 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 42913189 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784543885480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5443] ppid=5431 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/5434/task/5443/stat : 5443 (java) S 5431 5434 1977 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 42913189 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784397470248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5444] ppid=5431 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/5434/task/5444/stat : 5444 (java) S 5431 5434 1977 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 42913189 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784396417448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5445] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5445/stat : 5445 (java) S 5431 5434 1977 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 42913190 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784384219880 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5446] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5446/stat : 5446 (java) S 5431 5434 1977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 42913191 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784383165944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5447] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5447/stat : 5447 (java) S 5431 5434 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 42913191 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784382113544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5448] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5448/stat : 5448 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42913193 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784381062032 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5449] ppid=5431 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/5434/task/5449/stat : 5449 (java) S 5431 5434 1977 0 -1 4202560 8948 0 0 0 140 2 0 0 20 0 22 0 42913193 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784380008632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5450] ppid=5431 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/5434/task/5450/stat : 5450 (java) S 5431 5434 1977 0 -1 4202560 13471 0 0 0 135 3 0 0 20 0 22 0 42913193 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784378955832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5451] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5451/stat : 5451 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42913193 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784377903736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5452] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5452/stat : 5452 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42913193 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784376851144 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5462] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5462/stat : 5462 (java) S 5431 5434 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 42913339 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784373691688 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5463] ppid=5431 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/5434/task/5463/stat : 5463 (java) R 5431 5434 1977 0 -1 4202560 3 0 0 0 102 0 0 0 20 0 22 0 42913390 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784375794848 139784426078436 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5464] ppid=5431 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/5434/task/5464/stat : 5464 (java) R 5431 5434 1977 0 -1 4202560 4 0 0 0 103 0 0 0 20 0 22 0 42913390 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784374742928 139784426246682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5465] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5465/stat : 5465 (java) S 5431 5434 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 42913390 10060525568 56260 33554432000 1073741824 1073778376 140736952002304 139784372638632 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 9824732

[startup+6.30092 s]
/proc/loadavg: 4.72 4.35 3.87 5/219 5465
/proc/meminfo: memFree=29465200/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=9824732 CPUtime=14 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 27508 0 1 0 1366 34 0 0 20 0 22 0 42913188 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 2456183 158906 2292 9 0 2446860 0
[pid=5434/tid=5435] ppid=5431 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) S 5431 5434 1977 0 -1 4202560 2475 0 1 0 47 2 0 0 20 0 22 0 42913189 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784560087928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5437] ppid=5431 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/5434/task/5437/stat : 5437 (java) S 5431 5434 1977 0 -1 4202560 140 0 0 0 7 2 0 0 20 0 22 0 42913189 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784549149480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5438] ppid=5431 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/5434/task/5438/stat : 5438 (java) S 5431 5434 1977 0 -1 4202560 30 0 0 0 5 2 0 0 20 0 22 0 42913189 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784548096680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5439] ppid=5431 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/5434/task/5439/stat : 5439 (java) S 5431 5434 1977 0 -1 4202560 135 0 0 0 7 3 0 0 20 0 22 0 42913189 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784547044392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5440] ppid=5431 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/5434/task/5440/stat : 5440 (java) S 5431 5434 1977 0 -1 4202560 92 0 0 0 7 3 0 0 20 0 22 0 42913189 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784545991592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5441] ppid=5431 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/5434/task/5441/stat : 5441 (java) S 5431 5434 1977 0 -1 4202560 30 0 0 0 5 0 0 0 20 0 22 0 42913189 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784544938280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5442] ppid=5431 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/5434/task/5442/stat : 5442 (java) S 5431 5434 1977 0 -1 4202560 88 0 0 0 5 2 0 0 20 0 22 0 42913189 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784543885480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5443] ppid=5431 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/5434/task/5443/stat : 5443 (java) S 5431 5434 1977 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 22 0 42913189 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784397470248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5444] ppid=5431 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/5434/task/5444/stat : 5444 (java) S 5431 5434 1977 0 -1 4202560 65 0 0 0 8 3 0 0 20 0 22 0 42913189 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784396417448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5445] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5445/stat : 5445 (java) S 5431 5434 1977 0 -1 4202560 453 0 0 0 0 0 0 0 20 0 22 0 42913190 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784384219880 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5446] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5446/stat : 5446 (java) S 5431 5434 1977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 42913191 10060525568 158906 33554432000 1073741824 1073778376 140736952002304 139784383165944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5447] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6

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


[startup+822.301 s]
/proc/loadavg: 4.70 4.43 4.13 5/219 5544
/proc/meminfo: memFree=24721948/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=9824732 CPUtime=1643.03 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 44990 0 1 0 164100 203 0 0 20 0 22 0 42913188 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 2456183 578525 2302 9 0 2446860 0
[pid=5434/tid=5435] ppid=5431 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) S 5431 5434 1977 0 -1 4202560 2486 0 1 0 53 3 0 0 20 0 22 0 42913189 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784560087928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5437] ppid=5431 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/5434/task/5437/stat : 5437 (java) S 5431 5434 1977 0 -1 4202560 457 0 0 0 248 9 0 0 20 0 22 0 42913189 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784549149480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5438] ppid=5431 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/5434/task/5438/stat : 5438 (java) S 5431 5434 1977 0 -1 4202560 397 0 0 0 261 9 0 0 20 0 22 0 42913189 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784548096680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5439] ppid=5431 vsize=9824732 CPUtime=2.76 cores=0,2,4,6
/proc/5434/task/5439/stat : 5439 (java) S 5431 5434 1977 0 -1 4202560 606 0 0 0 267 9 0 0 20 0 22 0 42913189 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784547044392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5440] ppid=5431 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/5434/task/5440/stat : 5440 (java) S 5431 5434 1977 0 -1 4202560 520 0 0 0 279 11 0 0 20 0 22 0 42913189 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784545991592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5441] ppid=5431 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/5434/task/5441/stat : 5441 (java) S 5431 5434 1977 0 -1 4202560 360 0 0 0 244 7 0 0 20 0 22 0 42913189 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784544938280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5442] ppid=5431 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/5434/task/5442/stat : 5442 (java) S 5431 5434 1977 0 -1 4202560 480 0 0 0 264 9 0 0 20 0 22 0 42913189 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784543885480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5443] ppid=5431 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/5434/task/5443/stat : 5443 (java) S 5431 5434 1977 0 -1 4202560 439 0 0 0 268 9 0 0 20 0 22 0 42913189 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784397470248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5444] ppid=5431 vsize=9824732 CPUtime=2.64 cores=0,2,4,6
/proc/5434/task/5444/stat : 5444 (java) S 5431 5434 1977 0 -1 4202560 551 0 0 0 255 9 0 0 20 0 22 0 42913189 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784396417448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5445] ppid=5431 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/5434/task/5445/stat : 5445 (java) S 5431 5434 1977 0 -1 4202560 2071 0 0 0 267 21 0 0 20 0 22 0 42913190 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784384219880 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5446] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5446/stat : 5446 (java) S 5431 5434 1977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 42913191 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784383165944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5447] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5447/stat : 5447 (java) S 5431 5434 1977 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 22 0 42913191 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784382113544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5448] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5448/stat : 5448 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42913193 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784381062032 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5449] ppid=5431 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/5434/task/5449/stat : 5449 (java) S 5431 5434 1977 0 -1 4202560 16650 0 0 0 260 3 0 0 20 0 22 0 42913193 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784380008632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5450] ppid=5431 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/5434/task/5450/stat : 5450 (java) S 5431 5434 1977 0 -1 4202560 16710 0 0 0 191 3 0 0 20 0 22 0 42913193 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784378955832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5451] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5451/stat : 5451 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42913193 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784377903736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5452] ppid=5431 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/5434/task/5452/stat : 5452 (java) S 5431 5434 1977 0 -1 4202560 47 0 0 0 12 18 0 0 20 0 22 0 42913193 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784376851144 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5513] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5513/stat : 5513 (java) S 5431 5434 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 42932738 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784372639016 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5538] ppid=5431 vsize=9824732 CPUtime=219.08 cores=0,2,4,6
/proc/5434/task/5538/stat : 5538 (java) R 5431 5434 1977 0 -1 4202560 28 0 0 0 21905 3 0 0 20 0 22 0 42973238 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784374742576 139784425978015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5539] ppid=5431 vsize=9824732 CPUtime=219.1 cores=0,2,4,6
/proc/5434/task/5539/stat : 5539 (java) R 5431 5434 1977 0 -1 4202560 29 0 0 0 21907 3 0 0 20 0 22 0 42973238 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784373688896 139784426246452 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5540] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5540/stat : 5540 (java) S 5431 5434 1977 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 42973246 10060525568 578525 33554432000 1073741824 1073778376 140736952002304 139784375797160 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1643.03
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.51 4.43 4.15 6/219 5548
/proc/meminfo: memFree=24764992/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=9824732 CPUtime=1762.9 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 45095 0 1 0 176076 214 0 0 20 0 22 0 42913188 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 2456183 566464 2302 9 0 2446860 0
[pid=5434/tid=5435] ppid=5431 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) S 5431 5434 1977 0 -1 4202560 2487 0 1 0 53 3 0 0 20 0 22 0 42913189 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784560087928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5437] ppid=5431 vsize=9824732 CPUtime=2.75 cores=0,2,4,6
/proc/5434/task/5437/stat : 5437 (java) S 5431 5434 1977 0 -1 4202560 466 0 0 0 266 9 0 0 20 0 22 0 42913189 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784549149480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5438] ppid=5431 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/5434/task/5438/stat : 5438 (java) S 5431 5434 1977 0 -1 4202560 397 0 0 0 276 9 0 0 20 0 22 0 42913189 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784548096680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5439] ppid=5431 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/5434/task/5439/stat : 5439 (java) S 5431 5434 1977 0 -1 4202560 634 0 0 0 284 9 0 0 20 0 22 0 42913189 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784547044392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5440] ppid=5431 vsize=9824732 CPUtime=3.04 cores=0,2,4,6
/proc/5434/task/5440/stat : 5440 (java) S 5431 5434 1977 0 -1 4202560 520 0 0 0 293 11 0 0 20 0 22 0 42913189 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784545991592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5441] ppid=5431 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/5434/task/5441/stat : 5441 (java) S 5431 5434 1977 0 -1 4202560 367 0 0 0 259 7 0 0 20 0 22 0 42913189 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784544938280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5442] ppid=5431 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/5434/task/5442/stat : 5442 (java) S 5431 5434 1977 0 -1 4202560 496 0 0 0 286 9 0 0 20 0 22 0 42913189 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784543885480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5443] ppid=5431 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/5434/task/5443/stat : 5443 (java) S 5431 5434 1977 0 -1 4202560 442 0 0 0 283 9 0 0 20 0 22 0 42913189 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784397470248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5444] ppid=5431 vsize=9824732 CPUtime=2.81 cores=0,2,4,6
/proc/5434/task/5444/stat : 5444 (java) S 5431 5434 1977 0 -1 4202560 564 0 0 0 272 9 0 0 20 0 22 0 42913189 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784396417448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5445] ppid=5431 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/5434/task/5445/stat : 5445 (java) S 5431 5434 1977 0 -1 4202560 2075 0 0 0 268 22 0 0 20 0 22 0 42913190 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784384219880 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5446] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5446/stat : 5446 (java) S 5431 5434 1977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 42913191 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784383165944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5447] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5447/stat : 5447 (java) S 5431 5434 1977 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 22 0 42913191 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784382113544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5448] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5448/stat : 5448 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42913193 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784381062032 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5449] ppid=5431 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/5434/task/5449/stat : 5449 (java) S 5431 5434 1977 0 -1 4202560 16650 0 0 0 260 3 0 0 20 0 22 0 42913193 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784380008632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5450] ppid=5431 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/5434/task/5450/stat : 5450 (java) S 5431 5434 1977 0 -1 4202560 16710 0 0 0 191 3 0 0 20 0 22 0 42913193 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784378955832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5451] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5451/stat : 5451 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42913193 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784377903736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5452] ppid=5431 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/5434/task/5452/stat : 5452 (java) S 5431 5434 1977 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 42913193 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784376851144 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5513] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5513/stat : 5513 (java) S 5431 5434 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 42932738 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784372639016 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5546] ppid=5431 vsize=9824732 CPUtime=31.32 cores=0,2,4,6
/proc/5434/task/5546/stat : 5546 (java) R 5431 5434 1977 0 -1 4202560 4 0 0 0 3132 0 0 0 20 0 22 0 42998265 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784373682336 139784426071214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5547] ppid=5431 vsize=9824732 CPUtime=31.32 cores=0,2,4,6
/proc/5434/task/5547/stat : 5547 (java) R 5431 5434 1977 0 -1 4202560 7 0 0 0 3132 0 0 0 20 0 22 0 42998265 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784374743040 139784426613640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5548] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5548/stat : 5548 (java) S 5431 5434 1977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 42998274 10060525568 566464 33554432000 1073741824 1073778376 140736952002304 139784375797288 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1762.9
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.801 s]
/proc/loadavg: 4.46 4.42 4.15 9/219 5636
/proc/meminfo: memFree=27915588/32872528 swapFree=1370848/1518016
[pid=5434] ppid=5431 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/5434/stat : 5434 (java) S 5431 5434 1977 0 -1 4202496 45135 0 1 0 179798 215 0 0 20 0 22 0 42913188 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 140736951993440 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5434/statm: 2456183 563016 2302 9 0 2446860 0
[pid=5434/tid=5435] ppid=5431 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/5434/task/5435/stat : 5435 (java) S 5431 5434 1977 0 -1 4202560 2487 0 1 0 53 3 0 0 20 0 22 0 42913189 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784560087928 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5437] ppid=5431 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/5434/task/5437/stat : 5437 (java) S 5431 5434 1977 0 -1 4202560 470 0 0 0 273 9 0 0 20 0 22 0 42913189 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784549149480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5438] ppid=5431 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/5434/task/5438/stat : 5438 (java) S 5431 5434 1977 0 -1 4202560 397 0 0 0 282 9 0 0 20 0 22 0 42913189 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784548096680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5439] ppid=5431 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/5434/task/5439/stat : 5439 (java) S 5431 5434 1977 0 -1 4202560 634 0 0 0 287 9 0 0 20 0 22 0 42913189 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784547044392 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5440] ppid=5431 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/5434/task/5440/stat : 5440 (java) S 5431 5434 1977 0 -1 4202560 520 0 0 0 302 11 0 0 20 0 22 0 42913189 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784545991592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5441] ppid=5431 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/5434/task/5441/stat : 5441 (java) S 5431 5434 1977 0 -1 4202560 385 0 0 0 266 7 0 0 20 0 22 0 42913189 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784544938280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5442] ppid=5431 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/5434/task/5442/stat : 5442 (java) S 5431 5434 1977 0 -1 4202560 501 0 0 0 293 9 0 0 20 0 22 0 42913189 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784543885480 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5443] ppid=5431 vsize=9824732 CPUtime=2.99 cores=0,2,4,6
/proc/5434/task/5443/stat : 5443 (java) S 5431 5434 1977 0 -1 4202560 442 0 0 0 290 9 0 0 20 0 22 0 42913189 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784397470248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5444] ppid=5431 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/5434/task/5444/stat : 5444 (java) S 5431 5434 1977 0 -1 4202560 568 0 0 0 279 9 0 0 20 0 22 0 42913189 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784396417448 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5445] ppid=5431 vsize=9824732 CPUtime=2.91 cores=0,2,4,6
/proc/5434/task/5445/stat : 5445 (java) S 5431 5434 1977 0 -1 4202560 2077 0 0 0 268 23 0 0 20 0 22 0 42913190 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784384219880 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5446] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5446/stat : 5446 (java) S 5431 5434 1977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 42913191 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784383165944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5447] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5447/stat : 5447 (java) S 5431 5434 1977 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 22 0 42913191 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784382113544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5448] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5448/stat : 5448 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42913193 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784381062032 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5449] ppid=5431 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/5434/task/5449/stat : 5449 (java) S 5431 5434 1977 0 -1 4202560 16650 0 0 0 260 3 0 0 20 0 22 0 42913193 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784380008632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5450] ppid=5431 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/5434/task/5450/stat : 5450 (java) S 5431 5434 1977 0 -1 4202560 16710 0 0 0 191 3 0 0 20 0 22 0 42913193 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784378955832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5451] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5451/stat : 5451 (java) S 5431 5434 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 42913193 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784377903736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5434/tid=5452] ppid=5431 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/5434/task/5452/stat : 5452 (java) S 5431 5434 1977 0 -1 4202560 53 0 0 0 13 20 0 0 20 0 22 0 42913193 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784376851144 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5513] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5513/stat : 5513 (java) S 5431 5434 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 42932738 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784372639016 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5434/tid=5546] ppid=5431 vsize=9824732 CPUtime=49.67 cores=0,2,4,6
/proc/5434/task/5546/stat : 5546 (java) R 5431 5434 1977 0 -1 4202560 7 0 0 0 4967 0 0 0 20 0 22 0 42998265 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784373690152 139784425618552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5434/tid=5547] ppid=5431 vsize=9824732 CPUtime=49.67 cores=0,2,4,6
/proc/5434/task/5547/stat : 5547 (java) R 5431 5434 1977 0 -1 4202560 9 0 0 0 4967 0 0 0 20 0 22 0 42998265 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784374742208 139784426246576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5434/tid=5548] ppid=5431 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5434/task/5548/stat : 5548 (java) S 5431 5434 1977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 42998274 10060525568 563016 33554432000 1073741824 1073778376 140736952002304 139784375797288 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
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 5434 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 900.869
CPU time (s): 1800.59
CPU user time (s): 1798.22
CPU system time (s): 2.37264
CPU usage (%): 199.873
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.22
system time used= 2.37264
maximum resident set size= 2924232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45173
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30203
involuntary context switches= 52312

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61115 second user time and 8.94964 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-20 09:44:27
IDJOB=4111381
IDBENCH=109214
IDSOLVER=2543
FILE ID=node129/4111381-1466408667
RUNJOBID= node129-1466406860-4856
PBS_JOBID= 19923266
Free space on /tmp= 71736 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-1-irEDCBA.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111381-1466408667/watcher-4111381-1466408667 -o /tmp/evaluation-result-4111381-1466408667/solver-4111381-1466408667 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466406860-4856 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4111381-1466408667.opb

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

MD5SUM BENCH= e62090acedd5c6ce3bff1a8cc1c2032d
RANDOM SEED=620330412

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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		: 2666.143
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		: 2666.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30184924 kB
Buffers:            4184 kB
Cached:            52084 kB
SwapCached:         2672 kB
Active:           385088 kB
Inactive:          35416 kB
Active(anon):     365016 kB
Inactive(anon):     1968 kB
Active(file):      20072 kB
Inactive(file):    33448 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67097264 kB
Dirty:              2816 kB
Writeback:             8 kB
AnonPages:       1903740 kB
Mapped:            15044 kB
Shmem:                 0 kB
Slab:             591268 kB
SReclaimable:      34636 kB
SUnreclaim:       556632 kB
KernelStack:        1608 kB
PageTables:         7812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2628868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    475136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node129 at 2016-06-20 09:59:28