Trace number 3690180

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO) 1800.76 924.478

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_6.opb
MD5SUM5083e4e53b2d6b5d7b03dffa57422dcf
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5473551
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 54947189218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 54947189218
Number of bits of the biggest sum of numbers36
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3690180-1337888707.opb
0.09/0.12	c reading problem ... 
1.40/0.60	c ... done. Wall clock time 0.48s.
1.40/0.60	c declared #vars     5100
1.40/0.60	c #constraints  12510
1.40/0.60	c constraints type 
1.40/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1.40/0.60	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.40/0.60	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.40/0.60	c ignored satisfied constraints => 2
1.40/0.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1.40/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
1.40/0.60	c 12512 constraints processed.
1.40/0.60	c constraints type 
1.40/0.60	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1.40/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1.40/0.60	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.40/0.60	c ignored satisfied constraints => 2
1.40/0.60	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1.40/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375
1.40/0.60	c 12512 constraints processed.
1.40/0.61	c objective function length is 4950 literals
2.58/0.95	c  And the winner is solver0
2.91/1.11	c SATISFIABLE
2.91/1.11	c OPTIMIZING...
2.91/1.11	c Got one! Elapsed wall clock time (in seconds):0.987
2.91/1.11	o 5926973
3.23/1.20	c  And the winner is solver0
3.31/1.63	c Got one! Elapsed wall clock time (in seconds):1.505
3.31/1.63	o 5921953
5.91/2.75	c  And the winner is solver1
6.06/3.15	c Got one! Elapsed wall clock time (in seconds):3.023
6.06/3.15	o 5912661
7.55/3.82	c cleaning 2574 clauses out of 5147 with flag 2001/5147
11.45/5.74	c cleaning 4283 clauses out of 8572 with flag 8000/11146
15.78/7.92	c cleaning 5642 clauses out of 11292 with flag 15003/18149
20.59/10.36	c cleaning 6821 clauses out of 13648 with flag 23001/26147
21.53/10.83	c  And the winner is solver1
21.59/11.16	c Got one! Elapsed wall clock time (in seconds):11.037
21.59/11.16	o 5910773
22.28/11.54	c  And the winner is solver0
22.41/11.67	c Got one! Elapsed wall clock time (in seconds):11.547
22.41/11.67	o 5909075
22.66/11.86	c  And the winner is solver1
22.81/12.18	c Got one! Elapsed wall clock time (in seconds):12.057
22.81/12.18	o 5908501
22.83/12.29	c  And the winner is solver0
23.05/12.69	c Got one! Elapsed wall clock time (in seconds):12.565
23.05/12.69	o 5905019
25.07/13.78	c cleaning 7006 clauses out of 14016 with flag 4001/33336
27.58/15.09	c cleaning 6503 clauses out of 13009 with flag 10000/39335
30.31/16.45	c cleaning 6753 clauses out of 13506 with flag 17000/46335
32.81/17.76	c cleaning 7376 clauses out of 14753 with flag 25000/54335
35.68/19.23	c cleaning 8185 clauses out of 16378 with flag 34001/63336
38.58/20.78	c cleaning 9096 clauses out of 18192 with flag 44000/73335
40.29/21.61	c  And the winner is solver1
40.32/21.70	c Got one! Elapsed wall clock time (in seconds):21.575
40.32/21.70	o 5894763
40.32/21.73	c  And the winner is solver0
41.42/22.81	c Got one! Elapsed wall clock time (in seconds):22.685
41.42/22.81	o 5577959
43.19/23.76	c cleaning 9574 clauses out of 19147 with flag 5000/83386
45.28/24.82	c cleaning 7785 clauses out of 15573 with flag 11000/89386
47.52/26.08	c cleaning 7395 clauses out of 14790 with flag 18002/96388
50.22/27.47	c cleaning 7695 clauses out of 15393 with flag 26000/104386
53.29/29.00	c cleaning 8350 clauses out of 16699 with flag 35001/113387
56.37/30.67	c cleaning 9175 clauses out of 18349 with flag 45001/123387
60.21/32.61	c cleaning 10085 clauses out of 20173 with flag 56000/134386
64.29/34.79	c cleaning 11041 clauses out of 22090 with flag 68002/146388
68.97/37.17	c cleaning 12019 clauses out of 24048 with flag 81001/159387
73.42/39.47	c cleaning 13012 clauses out of 26028 with flag 95000/173386
78.02/41.87	c cleaning 14005 clauses out of 28017 with flag 110001/188387
83.27/44.54	c cleaning 15005 clauses out of 30011 with flag 126000/204386
89.12/47.51	c cleaning 16001 clauses out of 32007 with flag 143001/221387
95.57/50.80	c cleaning 16998 clauses out of 34006 with flag 161001/239387
102.32/54.34	c cleaning 18002 clauses out of 36008 with flag 180001/258387
109.54/58.09	c cleaning 19000 clauses out of 38005 with flag 200000/278386
117.03/61.80	c cleaning 20001 clauses out of 40005 with flag 221000/299386
124.88/65.87	c cleaning 20997 clauses out of 42004 with flag 243000/321386
132.98/70.05	c cleaning 22003 clauses out of 44007 with flag 266000/344386
140.76/74.02	c cleaning 23002 clauses out of 46004 with flag 290000/368386
148.77/78.14	c cleaning 23997 clauses out of 48002 with flag 315000/393386
156.94/82.30	c cleaning 25000 clauses out of 50005 with flag 341000/419386
165.21/86.62	c cleaning 26001 clauses out of 52006 with flag 368001/446387
174.02/91.14	c cleaning 27003 clauses out of 54005 with flag 396001/474387
183.40/95.94	c cleaning 27998 clauses out of 56001 with flag 425000/503386
193.78/101.28	c cleaning 29001 clauses out of 58003 with flag 455000/533386
203.58/106.39	c cleaning 30001 clauses out of 60002 with flag 486000/564386
214.35/111.83	c cleaning 31000 clauses out of 62002 with flag 518001/596387
225.10/117.32	c cleaning 31993 clauses out of 64001 with flag 551000/629386
236.66/123.23	c cleaning 33001 clauses out of 66008 with flag 585000/663386
248.66/129.46	c cleaning 33999 clauses out of 68007 with flag 620000/698386
260.41/135.47	c cleaning 35000 clauses out of 70008 with flag 656000/734386
272.36/141.56	c cleaning 36005 clauses out of 72009 with flag 693001/771387
284.93/147.96	c cleaning 37001 clauses out of 74003 with flag 731000/809386
297.90/154.60	c cleaning 37998 clauses out of 76002 with flag 770000/848386
310.86/161.27	c cleaning 38997 clauses out of 78004 with flag 810000/888386
324.41/168.11	c cleaning 40004 clauses out of 80008 with flag 851001/929387
338.18/175.12	c cleaning 40999 clauses out of 82004 with flag 893001/971387
351.96/182.23	c cleaning 42000 clauses out of 84004 with flag 936000/1014386
365.44/189.17	c cleaning 42996 clauses out of 86005 with flag 980001/1058387
379.34/196.22	c cleaning 44004 clauses out of 88009 with flag 1025001/1103387
393.81/203.66	c cleaning 45002 clauses out of 90004 with flag 1071000/1149386
408.68/211.39	c cleaning 45997 clauses out of 92002 with flag 1118000/1196386
424.24/219.29	c cleaning 46999 clauses out of 94006 with flag 1166001/1244387
439.97/227.25	c cleaning 48001 clauses out of 96007 with flag 1215001/1293387
456.26/235.54	c cleaning 48999 clauses out of 98006 with flag 1265001/1343387
473.53/244.49	c cleaning 49995 clauses out of 100006 with flag 1316000/1394386
490.66/253.11	c cleaning 51000 clauses out of 102012 with flag 1368001/1446387
507.63/261.79	c cleaning 51999 clauses out of 104011 with flag 1421000/1499386
526.19/271.11	c cleaning 53004 clauses out of 106013 with flag 1475001/1553387
544.26/280.46	c cleaning 54002 clauses out of 108008 with flag 1530000/1608386
562.88/289.90	c cleaning 55002 clauses out of 110007 with flag 1586001/1664387
581.57/299.47	c cleaning 55999 clauses out of 112005 with flag 1643001/1721387
601.16/309.41	c cleaning 56999 clauses out of 114005 with flag 1701000/1779386
621.89/320.14	c cleaning 58004 clauses out of 116007 with flag 1760001/1838387
641.65/330.28	c cleaning 58995 clauses out of 118002 with flag 1820000/1898386
662.29/340.75	c cleaning 59996 clauses out of 120008 with flag 1881001/1959387
683.73/351.60	c cleaning 60997 clauses out of 122011 with flag 1943000/2021386
704.78/362.55	c cleaning 62001 clauses out of 124014 with flag 2006000/2084386
726.20/373.44	c cleaning 63007 clauses out of 126013 with flag 2070000/2148386
749.96/385.52	c cleaning 64001 clauses out of 128007 with flag 2135001/2213387
772.78/397.12	c cleaning 64998 clauses out of 130005 with flag 2201000/2279386
795.79/409.03	c cleaning 66000 clauses out of 132008 with flag 2268001/2346387
818.90/421.18	c cleaning 66998 clauses out of 134009 with flag 2336002/2414388
843.12/433.41	c cleaning 68004 clauses out of 136009 with flag 2405000/2483386
866.88/445.73	c cleaning 69002 clauses out of 138005 with flag 2475000/2553386
891.41/458.29	c cleaning 70000 clauses out of 140005 with flag 2546002/2624388
916.74/471.12	c cleaning 70998 clauses out of 142004 with flag 2618001/2696387
940.20/483.18	c cleaning 71999 clauses out of 144006 with flag 2691001/2769387
965.64/496.37	c cleaning 73000 clauses out of 146007 with flag 2765001/2843387
992.05/509.74	c cleaning 73998 clauses out of 148006 with flag 2840000/2918386
1018.94/523.43	c cleaning 74996 clauses out of 150008 with flag 2916000/2994386
1046.16/537.33	c cleaning 76002 clauses out of 152013 with flag 2993001/3071387
1074.51/551.92	c cleaning 76997 clauses out of 154010 with flag 3071000/3149386
1101.29/565.67	c cleaning 77999 clauses out of 156014 with flag 3150001/3228387
1129.44/579.96	c cleaning 79003 clauses out of 158015 with flag 3230001/3308387
1159.00/594.98	c cleaning 80004 clauses out of 160011 with flag 3311000/3389386
1189.14/610.58	c cleaning 81002 clauses out of 162008 with flag 3393001/3471387
1218.15/625.39	c cleaning 81997 clauses out of 164005 with flag 3476000/3554386
1250.44/641.77	c cleaning 83000 clauses out of 166009 with flag 3560001/3638387
1282.52/658.05	c cleaning 84003 clauses out of 168008 with flag 3645000/3723386
1313.31/674.01	c cleaning 84998 clauses out of 170005 with flag 3731000/3809386
1346.20/690.88	c cleaning 85999 clauses out of 172008 with flag 3818001/3896387
1378.42/707.31	c cleaning 86999 clauses out of 174008 with flag 3906000/3984386
1410.63/723.83	c cleaning 87997 clauses out of 176010 with flag 3995001/4073387
1443.82/741.13	c cleaning 89004 clauses out of 178013 with flag 4085001/4163387
1475.19/757.25	c cleaning 90002 clauses out of 180009 with flag 4176001/4254387
1510.22/775.15	c cleaning 91000 clauses out of 182007 with flag 4268001/4346387
1546.02/793.43	c cleaning 91996 clauses out of 184007 with flag 4361001/4439387
1583.11/812.65	c cleaning 93000 clauses out of 186011 with flag 4455001/4533387
1617.27/830.18	c cleaning 94000 clauses out of 188010 with flag 4550000/4628386
1653.09/848.94	c cleaning 95002 clauses out of 190011 with flag 4646001/4724387
1689.75/867.94	c cleaning 95999 clauses out of 192009 with flag 4743001/4821387
1728.88/887.99	c cleaning 97000 clauses out of 194010 with flag 4841001/4919387
1766.85/907.32	c cleaning 98004 clauses out of 196010 with flag 4940001/5018387
1800.05/924.41	c starts		: 426
1800.05/924.41	c conflicts		: 5115377
1800.05/924.41	c decisions		: 5611711
1800.05/924.41	c propagations		: 56615820
1800.05/924.41	c inspects		: 1989192071
1800.05/924.41	c shortcuts		: 0
1800.05/924.41	c learnt literals	: 0
1800.05/924.41	c learnt binary clauses	: 0
1800.05/924.41	c learnt ternary clauses	: 74
1800.05/924.41	c learnt constraints	: 5115378
1800.05/924.41	c ignored constraints	: 0
1800.05/924.41	c root simplifications	: 0
1800.05/924.41	c removed literals (reason simplification)	: 393925236
1800.05/924.41	c reason swapping (by a shorter reason)	: 0
1800.05/924.41	c Calls to reduceDB	: 105
1800.05/924.41	c number of reductions to clauses (during analyze)	: 0
1800.05/924.41	c number of learned constraints concerned by reduction	: 0
1800.05/924.41	c number of learning phase by resolution	: 0
1800.05/924.41	c number of learning phase by cutting planes	: 0
1800.05/924.41	c speed (assignments/second)	: 62718.186068049035
1800.05/924.41	c non guided choices	35
1800.05/924.44	c learnt constraints type 
1800.05/924.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 195114
1800.05/924.44	c constraints type 
1800.05/924.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1800.05/924.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.05/924.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.05/924.44	c ignored satisfied constraints => 2
1800.05/924.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1800.05/924.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376
1800.05/924.44	c 12513 constraints processed.
1800.05/924.44	c constraints type 
1800.05/924.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1800.05/924.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1800.05/924.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1800.05/924.44	c ignored satisfied constraints => 2
1800.05/924.44	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1800.05/924.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376
1800.05/924.44	c 12513 constraints processed.
1800.05/924.44	s SATISFIABLE
1800.05/924.45	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 x455 -x456 -x457 -x458 x459 -x460 x461 -x462 -x463 x464 -x465 x466 -x467 -x468 x469 x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 x493 x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 x980 x981 x982 x983 -x984 -x985 -x986 x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 x995 -x996 x997 x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 x1110 -x1111 -x1112 x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 x1136 -x1137 x1138 x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 x3518 -x3519 -x3520 -x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 -x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.05/924.46	c objective function=5577959
1800.05/924.46	c Total wall clock time (in seconds): 924.339

Verifier Data 

OK	5577959

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3690180-1337888707/watcher-3690180-1337888707 -o /tmp/evaluation-result-3690180-1337888707/solver-3690180-1337888707 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690180-1337888707.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.86 3.02 3.34 3/198 30734
/proc/meminfo: memFree=27661364/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=8 CPUtime=0 cores=1,3,5,7
/proc/30734/stat : 30734 (java) R 30732 30734 26250 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 254995532 8192 1 33554432000 0 0 0 140737453512792 215143312823 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2 1 0 0 0 2 0

[startup+0.031992 s]
/proc/loadavg: 2.86 3.02 3.34 3/198 30734
/proc/meminfo: memFree=27661364/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/30734/stat : 30734 (java) S 30732 30734 26250 0 -1 4202496 2777 0 1 0 0 0 0 0 20 0 10 0 254995532 9233014784 3478 33554432000 1073741824 1073778376 140737040330128 140737040321264 215146856509 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2254154 3478 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100225 s]
/proc/loadavg: 2.86 3.02 3.34 3/198 30734
/proc/meminfo: memFree=27661364/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/30734/stat : 30734 (java) S 30732 30734 26250 0 -1 4202496 4218 0 1 0 8 1 0 0 20 0 18 0 254995532 9787813888 5422 33554432000 1073741824 1073778376 140737040330128 140737040321264 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2389603 5423 2099 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300176 s]
/proc/loadavg: 2.86 3.02 3.34 3/198 30734
/proc/meminfo: memFree=27661364/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/30734/stat : 30734 (java) S 30732 30734 26250 0 -1 4202496 7287 0 1 0 48 2 0 0 20 0 18 0 254995532 9787813888 10299 33554432000 1073741824 1073778376 140737040330128 140737040321264 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2389603 10299 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412

[startup+0.700216 s]
/proc/loadavg: 2.86 3.02 3.34 3/198 30734
/proc/meminfo: memFree=27661364/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/30734/stat : 30734 (java) S 30732 30734 26250 0 -1 4202496 19222 0 1 0 173 5 0 0 20 0 22 0 254995532 10060460032 23840 33554432000 1073741824 1073778376 140737040330128 140737040321264 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2456167 23840 2241 9 0 2446860 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 9824668

[startup+1.50066 s]
/proc/loadavg: 2.86 3.02 3.34 2/217 30756
/proc/meminfo: memFree=27570672/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=9824668 CPUtime=3.31 cores=1,3,5,7
/proc/30734/stat : 30734 (java) S 30732 30734 26250 0 -1 4202496 19539 0 1 0 322 9 0 0 20 0 19 0 254995532 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140737040321264 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2456167 27207 2258 9 0 2446860 0
[pid=30734/tid=30736] ppid=30732 vsize=9824668 CPUtime=0.59 cores=1,3,5,7
/proc/30734/task/30736/stat : 30736 (java) S 30732 30734 26250 0 -1 4202560 2479 0 1 0 57 2 0 0 20 0 19 0 254995533 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624781710328 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30737] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624754161960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30738] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624753109160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30739] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624752056872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30740] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624751004072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30741] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624749951784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30742] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624748898984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30743] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624747846696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30744] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30744/stat : 30744 (java) S 30732 30734 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624746793896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30745] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30745/stat : 30745 (java) S 30732 30734 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254995535 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624135162088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30746] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30746/stat : 30746 (java) S 30732 30734 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254995536 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624134108152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30747] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30747/stat : 30747 (java) S 30732 30734 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254995536 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624133055752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30748] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30748/stat : 30748 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995538 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624132004240 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30749] ppid=30732 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/30734/task/30749/stat : 30749 (java) S 30732 30734 26250 0 -1 4202560 10332 0 0 0 89 3 0 0 20 0 19 0 254995538 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624130951864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30750] ppid=30732 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/30734/task/30750/stat : 30750 (java) S 30732 30734 26250 0 -1 4202560 5411 0 0 0 89 1 0 0 20 0 19 0 254995538 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624129899064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30751] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30751/stat : 30751 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995538 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624128846968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30752] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30752/stat : 30752 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995538 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624127794376 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30756] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30756/stat : 30756 (java) S 30732 30734 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254995599 10060460032 27207 33554432000 1073741824 1073778376 140737040330128 140624123581480 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 9824668

[startup+3.10066 s]
/proc/loadavg: 2.86 3.02 3.34 5/220 30762
/proc/meminfo: memFree=27516664/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=9824668 CPUtime=6.06 cores=1,3,5,7
/proc/30734/stat : 30734 (java) S 30732 30734 26250 0 -1 4202496 20343 0 1 0 592 14 0 0 20 0 19 0 254995532 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140737040321264 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2456167 47776 2275 9 0 2446860 0
[pid=30734/tid=30736] ppid=30732 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/30734/task/30736/stat : 30736 (java) S 30732 30734 26250 0 -1 4202560 2480 0 1 0 59 2 0 0 20 0 19 0 254995533 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624781710328 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30737] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624754161960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30738] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624753109160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30739] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624752056872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30740] ppid=30732 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 26250 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 254995534 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624751004072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30741] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 26250 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624749951784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30742] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624748898984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30743] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624747846696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30744] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30744/stat : 30744 (java) S 30732 30734 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254995534 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624746793896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30745] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30745/stat : 30745 (java) S 30732 30734 26250 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 254995535 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624135162088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30746] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30746/stat : 30746 (java) S 30732 30734 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254995536 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624134108152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30747] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30747/stat : 30747 (java) S 30732 30734 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254995536 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624133055752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30748] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30748/stat : 30748 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995538 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624132004240 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30749] ppid=30732 vsize=9824668 CPUtime=1.13 cores=1,3,5,7
/proc/30734/task/30749/stat : 30749 (java) S 30732 30734 26250 0 -1 4202560 10336 0 0 0 110 3 0 0 20 0 19 0 254995538 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624130951864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30750] ppid=30732 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/30734/task/30750/stat : 30750 (java) S 30732 30734 26250 0 -1 4202560 6054 0 0 0 115 2 0 0 20 0 19 0 254995538 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624129899064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30751] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30751/stat : 30751 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995538 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624128846968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30752] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30752/stat : 30752 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254995538 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624127794376 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30762] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30762/stat : 30762 (java) S 30732 30734 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254995697 10060460032 47776 33554432000 1073741824 1073778376 140737040330128 140624124633896 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 9824668

[startup+6.30073 s]
/proc/loadavg: 2.87 3.02 3.33 6/220 30765
/proc/meminfo: memFree=27431472/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=9824668 CPUtime=12.58 cores=1,3,5,7
/proc/30734/stat : 30734 (java) S 30732 30734 26250 0 -1 4202496 21610 0 1 0 1238 20 0 0 20 0 22 0 254995532 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140737040321264 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2456167 63493 2287 9 0 2446860 0
[pid=30734/tid=30736] ppid=30732 vsize=9824668 CPUtime=0.63 cores=1,3,5,7
/proc/30734/task/30736/stat : 30736 (java) S 30732 30734 26250 0 -1 4202560 2480 0 1 0 61 2 0 0 20 0 22 0 254995533 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624781710328 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30737] ppid=30732 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 26250 0 -1 4202560 86 0 0 0 1 2 0 0 20 0 22 0 254995534 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624754161960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30738] ppid=30732 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 26250 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 254995534 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624753109160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30739] ppid=30732 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 26250 0 -1 4202560 96 0 0 0 2 0 0 0 20 0 22 0 254995534 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624752056872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30740] ppid=30732 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 26250 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 254995534 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624751004072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30741] ppid=30732 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 26250 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 254995534 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624749951784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30742] ppid=30732 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 26250 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 254995534 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624748898984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30743] ppid=30732 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 26250 0 -1 4202560 107 0 0 0 2 0 0 0 20 0 22 0 254995534 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624747846696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30744] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30744/stat : 30744 (java) S 30732 30734 26250 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 22 0 254995534 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624746793896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30745] ppid=30732 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/30734/task/30745/stat : 30745 (java) S 30732 30734 26250 0 -1 4202560 106 0 0 0 16 0 0 0 20 0 22 0 254995535 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624135162088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30746] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30746/stat : 30746 (java) S 30732 30734 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254995536 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624134108152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30747] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30747/stat : 30747 (java) S 30732 30734 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254995536 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624133055752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30748] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30748/stat : 30748 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254995538 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624132004240 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30749] ppid=30732 vsize=9824668 CPUtime=1.28 cores=1,3,5,7
/proc/30734/task/30749/stat : 30749 (java) S 30732 30734 26250 0 -1 4202560 10414 0 0 0 125 3 0 0 20 0 22 0 254995538 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624130951864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30750] ppid=30732 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/30734/task/30750/stat : 30750 (java) S 30732 30734 26250 0 -1 4202560 6794 0 0 0 135 2 0 0 20 0 22 0 254995538 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624129899064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30751] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30751/stat : 30751 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254995538 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624128846968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30752] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30752/stat : 30752 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254995538 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624127794376 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30762] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30762/stat : 30762 (java) S 30732 30734 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254995697 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624124633896 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30763] ppid=30732 vsize=9824668 CPUtime=2.88 cores=1,3,5,7
/proc/30734/task/30763/stat : 30763 (java) R 30732 30734 26250 0 -1 4202560 5 0 0 0 288 0 0 0 20 0 22 0 254995848 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624126738896 140624628658431 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30764] ppid=30732 vsize=9824668 CPUtime=2.91 cores=1,3,5,7
/proc/30734/task/30764/stat : 30764 (java) R 30732 30734 26250 0 -1 4202560 4 0 0 0 291 0 0 0 20 0 22 0 254995848 10060460032 63493 33554432000 1073741824 1073778376 140737040330128 140624125683840 140624629121567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0

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

[pid=30734/tid=30781] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30781/stat : 30781 (java) S 30732 30734 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254997705 10060460032 233433 33554432000 1073741824 1073778376 140737040330128 140624126739880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30782] ppid=30732 vsize=9824668 CPUtime=688.91 cores=1,3,5,7
/proc/30734/task/30782/stat : 30782 (java) R 30732 30734 26250 0 -1 4202560 83 0 0 0 68881 10 0 0 20 0 22 0 254997814 10060460032 233433 33554432000 1073741824 1073778376 140737040330128 140624123578992 140624629229726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30783] ppid=30732 vsize=9824668 CPUtime=688.85 cores=1,3,5,7
/proc/30734/task/30783/stat : 30783 (java) R 30732 30734 26250 0 -1 4202560 341 0 0 0 68872 13 0 0 20 0 22 0 254997814 10060460032 233433 33554432000 1073741824 1073778376 140737040330128 140624125685840 140624629137890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1484.5
Current children cumulated vsize (KiB) 9824668

[startup+822.301 s]
/proc/loadavg: 2.92 2.97 3.11 4/220 30788
/proc/meminfo: memFree=24346632/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=9824668 CPUtime=1601.52 cores=1,3,5,7
/proc/30734/stat : 30734 (java) S 30732 30734 26250 0 -1 4202496 30104 0 1 0 160028 124 0 0 20 0 22 0 254995532 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140737040321264 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2456167 245732 2289 9 0 2446860 0
[pid=30734/tid=30736] ppid=30732 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/30734/task/30736/stat : 30736 (java) S 30732 30734 26250 0 -1 4202560 2533 0 1 0 67 4 0 0 20 0 22 0 254995533 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624781710328 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30737] ppid=30732 vsize=9824668 CPUtime=2.76 cores=1,3,5,7
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 26250 0 -1 4202560 1152 0 0 0 267 9 0 0 20 0 22 0 254995534 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624754161960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30738] ppid=30732 vsize=9824668 CPUtime=2.94 cores=1,3,5,7
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 26250 0 -1 4202560 601 0 0 0 286 8 0 0 20 0 22 0 254995534 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624753109160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30739] ppid=30732 vsize=9824668 CPUtime=2.62 cores=1,3,5,7
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 26250 0 -1 4202560 622 0 0 0 255 7 0 0 20 0 22 0 254995534 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624752056872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30740] ppid=30732 vsize=9824668 CPUtime=2.61 cores=1,3,5,7
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 26250 0 -1 4202560 766 0 0 0 253 8 0 0 20 0 22 0 254995534 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624751004072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30741] ppid=30732 vsize=9824668 CPUtime=2.68 cores=1,3,5,7
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 26250 0 -1 4202560 577 0 0 0 260 8 0 0 20 0 22 0 254995534 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624749951784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30742] ppid=30732 vsize=9824668 CPUtime=2.94 cores=1,3,5,7
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 26250 0 -1 4202560 709 0 0 0 286 8 0 0 20 0 22 0 254995534 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624748898984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30743] ppid=30732 vsize=9824668 CPUtime=2.82 cores=1,3,5,7
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 26250 0 -1 4202560 734 0 0 0 273 9 0 0 20 0 22 0 254995534 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624747846696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30744] ppid=30732 vsize=9824668 CPUtime=2.72 cores=1,3,5,7
/proc/30734/task/30744/stat : 30744 (java) S 30732 30734 26250 0 -1 4202560 1254 0 0 0 264 8 0 0 20 0 22 0 254995534 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624746793896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30745] ppid=30732 vsize=9824668 CPUtime=49.78 cores=1,3,5,7
/proc/30734/task/30745/stat : 30745 (java) S 30732 30734 26250 0 -1 4202560 1823 0 0 0 4956 22 0 0 20 0 22 0 254995535 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624135162088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30746] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30746/stat : 30746 (java) S 30732 30734 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254995536 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624134108152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30747] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30747/stat : 30747 (java) S 30732 30734 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254995536 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624133055752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30748] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30748/stat : 30748 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254995538 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624132004240 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30749] ppid=30732 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/30734/task/30749/stat : 30749 (java) S 30732 30734 26250 0 -1 4202560 10420 0 0 0 133 3 0 0 20 0 22 0 254995538 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624130951864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30750] ppid=30732 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/30734/task/30750/stat : 30750 (java) S 30732 30734 26250 0 -1 4202560 7002 0 0 0 163 2 0 0 20 0 22 0 254995538 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624129899064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30751] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30751/stat : 30751 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254995538 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624128846968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30752] ppid=30732 vsize=9824668 CPUtime=0.25 cores=1,3,5,7
/proc/30734/task/30752/stat : 30752 (java) S 30732 30734 26250 0 -1 4202560 46 0 0 0 14 11 0 0 20 0 22 0 254995538 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624127794376 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30780] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30780/stat : 30780 (java) S 30732 30734 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254997703 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624124634152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30781] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30781/stat : 30781 (java) S 30732 30734 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254997705 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624126739880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30782] ppid=30732 vsize=9824668 CPUtime=744.76 cores=1,3,5,7
/proc/30734/task/30782/stat : 30782 (java) R 30732 30734 26250 0 -1 4202560 87 0 0 0 74465 11 0 0 20 0 22 0 254997814 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624123580992 140624629005678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30783] ppid=30732 vsize=9824668 CPUtime=744.7 cores=1,3,5,7
/proc/30734/task/30783/stat : 30783 (java) R 30732 30734 26250 0 -1 4202560 348 0 0 0 74456 14 0 0 20 0 22 0 254997814 10060460032 245732 33554432000 1073741824 1073778376 140737040330128 140624125684480 140624629126163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.52
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 2.39 2.82 3.05 3/194 30819
/proc/meminfo: memFree=28310104/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=9824668 CPUtime=1717.6 cores=1,3,5,7
/proc/30734/stat : 30734 (java) S 30732 30734 26250 0 -1 4202496 31144 0 1 0 171632 128 0 0 20 0 22 0 254995532 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140737040321264 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2456167 254403 2289 9 0 2446860 0
[pid=30734/tid=30736] ppid=30732 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/30734/task/30736/stat : 30736 (java) S 30732 30734 26250 0 -1 4202560 2537 0 1 0 68 4 0 0 20 0 22 0 254995533 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624781710328 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30737] ppid=30732 vsize=9824668 CPUtime=3.08 cores=1,3,5,7
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 26250 0 -1 4202560 1152 0 0 0 299 9 0 0 20 0 22 0 254995534 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624754161960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30738] ppid=30732 vsize=9824668 CPUtime=3.28 cores=1,3,5,7
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 26250 0 -1 4202560 601 0 0 0 320 8 0 0 20 0 22 0 254995534 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624753109160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30739] ppid=30732 vsize=9824668 CPUtime=2.93 cores=1,3,5,7
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 26250 0 -1 4202560 622 0 0 0 286 7 0 0 20 0 22 0 254995534 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624752056872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30740] ppid=30732 vsize=9824668 CPUtime=2.92 cores=1,3,5,7
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 26250 0 -1 4202560 766 0 0 0 284 8 0 0 20 0 22 0 254995534 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624751004072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30741] ppid=30732 vsize=9824668 CPUtime=2.91 cores=1,3,5,7
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 26250 0 -1 4202560 577 0 0 0 283 8 0 0 20 0 22 0 254995534 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624749951784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30742] ppid=30732 vsize=9824668 CPUtime=3.26 cores=1,3,5,7
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 26250 0 -1 4202560 709 0 0 0 318 8 0 0 20 0 22 0 254995534 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624748898984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30743] ppid=30732 vsize=9824668 CPUtime=3.05 cores=1,3,5,7
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 26250 0 -1 4202560 734 0 0 0 296 9 0 0 20 0 22 0 254995534 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624747846696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30744] ppid=30732 vsize=9824668 CPUtime=3.02 cores=1,3,5,7
/proc/30734/task/30744/stat : 30744 (java) S 30732 30734 26250 0 -1 4202560 1254 0 0 0 294 8 0 0 20 0 22 0 254995534 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624746793896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30745] ppid=30732 vsize=9824668 CPUtime=54.82 cores=1,3,5,7
/proc/30734/task/30745/stat : 30745 (java) S 30732 30734 26250 0 -1 4202560 2845 0 0 0 5458 24 0 0 20 0 22 0 254995535 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624135162088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30746] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30746/stat : 30746 (java) S 30732 30734 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254995536 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624134108152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30747] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30747/stat : 30747 (java) S 30732 30734 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254995536 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624133055752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30748] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30748/stat : 30748 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254995538 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624132004240 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30749] ppid=30732 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/30734/task/30749/stat : 30749 (java) S 30732 30734 26250 0 -1 4202560 10420 0 0 0 133 3 0 0 20 0 22 0 254995538 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624130951864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30750] ppid=30732 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/30734/task/30750/stat : 30750 (java) S 30732 30734 26250 0 -1 4202560 7002 0 0 0 163 2 0 0 20 0 22 0 254995538 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624129899064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30751] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30751/stat : 30751 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254995538 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624128846968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30752] ppid=30732 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/30734/task/30752/stat : 30752 (java) S 30732 30734 26250 0 -1 4202560 50 0 0 0 15 13 0 0 20 0 22 0 254995538 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624127794376 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30780] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30780/stat : 30780 (java) S 30732 30734 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254997703 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624124634152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30781] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30781/stat : 30781 (java) S 30732 30734 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254997705 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624126739880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30782] ppid=30732 vsize=9824668 CPUtime=799.1 cores=1,3,5,7
/proc/30734/task/30782/stat : 30782 (java) R 30732 30734 26250 0 -1 4202560 93 0 0 0 79896 14 0 0 20 0 22 0 254997814 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624123580032 140624629229742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30783] ppid=30732 vsize=9824668 CPUtime=799.04 cores=1,3,5,7
/proc/30734/task/30783/stat : 30783 (java) R 30732 30734 26250 0 -1 4202560 352 0 0 0 79889 15 0 0 20 0 22 0 254997814 10060460032 254403 33554432000 1073741824 1073778376 140737040330128 140624125684848 140624629175236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1717.6
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+924.401 s]
/proc/loadavg: 2.20 2.71 3.00 3/195 30822
/proc/meminfo: memFree=28283100/32873844 swapFree=7364/7364
[pid=30734] ppid=30732 vsize=9824668 CPUtime=1800.05 cores=1,3,5,7
/proc/30734/stat : 30734 (java) S 30732 30734 26250 0 -1 4202496 31179 0 1 0 179875 130 0 0 20 0 22 0 254995532 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140737040321264 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30734/statm: 2456167 261062 2289 9 0 2446860 0
[pid=30734/tid=30736] ppid=30732 vsize=9824668 CPUtime=0.72 cores=1,3,5,7
/proc/30734/task/30736/stat : 30736 (java) S 30732 30734 26250 0 -1 4202560 2537 0 1 0 68 4 0 0 20 0 22 0 254995533 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624781710328 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30737] ppid=30732 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 26250 0 -1 4202560 1152 0 0 0 307 9 0 0 20 0 22 0 254995534 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624754161960 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30738] ppid=30732 vsize=9824668 CPUtime=3.41 cores=1,3,5,7
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 26250 0 -1 4202560 601 0 0 0 332 9 0 0 20 0 22 0 254995534 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624753109160 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30739] ppid=30732 vsize=9824668 CPUtime=3.11 cores=1,3,5,7
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 26250 0 -1 4202560 622 0 0 0 304 7 0 0 20 0 22 0 254995534 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624752056872 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30740] ppid=30732 vsize=9824668 CPUtime=3.07 cores=1,3,5,7
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 26250 0 -1 4202560 766 0 0 0 299 8 0 0 20 0 22 0 254995534 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624751004072 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30741] ppid=30732 vsize=9824668 CPUtime=3.03 cores=1,3,5,7
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 26250 0 -1 4202560 577 0 0 0 295 8 0 0 20 0 22 0 254995534 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624749951784 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30742] ppid=30732 vsize=9824668 CPUtime=3.37 cores=1,3,5,7
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 26250 0 -1 4202560 709 0 0 0 329 8 0 0 20 0 22 0 254995534 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624748898984 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30743] ppid=30732 vsize=9824668 CPUtime=3.23 cores=1,3,5,7
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 26250 0 -1 4202560 734 0 0 0 314 9 0 0 20 0 22 0 254995534 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624747846696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30744] ppid=30732 vsize=9824668 CPUtime=3.2 cores=1,3,5,7
/proc/30734/task/30744/stat : 30744 (java) S 30732 30734 26250 0 -1 4202560 1254 0 0 0 312 8 0 0 20 0 22 0 254995534 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624746793896 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30745] ppid=30732 vsize=9824668 CPUtime=57.1 cores=1,3,5,7
/proc/30734/task/30745/stat : 30745 (java) S 30732 30734 26250 0 -1 4202560 2870 0 0 0 5685 25 0 0 20 0 22 0 254995535 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624135162088 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30746] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30746/stat : 30746 (java) S 30732 30734 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254995536 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624134108152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30747] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30747/stat : 30747 (java) S 30732 30734 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 254995536 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624133055752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30748] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30748/stat : 30748 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254995538 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624132004240 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30749] ppid=30732 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/30734/task/30749/stat : 30749 (java) S 30732 30734 26250 0 -1 4202560 10420 0 0 0 133 3 0 0 20 0 22 0 254995538 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624130951864 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30734/tid=30750] ppid=30732 vsize=9824668 CPUtime=1.65 cores=1,3,5,7
/proc/30734/task/30750/stat : 30750 (java) S 30732 30734 26250 0 -1 4202560 7002 0 0 0 163 2 0 0 20 0 22 0 254995538 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624129899064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30734/tid=30751] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30751/stat : 30751 (java) S 30732 30734 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254995538 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624128846968 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30752] ppid=30732 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/30734/task/30752/stat : 30752 (java) S 30732 30734 26250 0 -1 4202560 52 0 0 0 16 14 0 0 20 0 22 0 254995538 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624127794376 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30780] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30780/stat : 30780 (java) S 30732 30734 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254997703 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624124634152 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30781] ppid=30732 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30734/task/30781/stat : 30781 (java) S 30732 30734 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254997705 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624126739880 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30734/tid=30782] ppid=30732 vsize=9824668 CPUtime=838.62 cores=1,3,5,7
/proc/30734/task/30782/stat : 30782 (java) R 30732 30734 26250 0 -1 4202560 99 0 0 0 83848 14 0 0 20 0 22 0 254997814 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624123579232 140624629229718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30734/tid=30783] ppid=30732 vsize=9824668 CPUtime=838.56 cores=1,3,5,7
/proc/30734/task/30783/stat : 30783 (java) R 30732 30734 26250 0 -1 4202560 354 0 0 0 83840 16 0 0 20 0 22 0 254997814 10060460032 261062 33554432000 1073741824 1073778376 140737040330128 140624125685616 140624629121642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824668

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 924.478
CPU time (s): 1800.76
CPU user time (s): 1798.98
CPU system time (s): 1.78273
CPU usage (%): 194.787
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.78273
maximum resident set size= 1044368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31211
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30035
involuntary context switches= 54717

runsolver used 4.03939 second user time and 8.51571 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-24 21:45:07
IDJOB=3690180
IDBENCH=92750
IDSOLVER=2268
FILE ID=node133/3690180-1337888707
RUNJOBID= node133-1337871880-26267
PBS_JOBID= 14620071
Free space on /tmp= 71624 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_6.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690180-1337888707/watcher-3690180-1337888707 -o /tmp/evaluation-result-3690180-1337888707/solver-3690180-1337888707 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3690180-1337888707.opb

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

MD5SUM BENCH= 5083e4e53b2d6b5d7b03dffa57422dcf
RANDOM SEED=1466101820

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27661528 kB
Buffers:          226296 kB
Cached:          2534172 kB
SwapCached:            0 kB
Active:          2077172 kB
Inactive:        2337604 kB
Active(anon):    1656300 kB
Inactive(anon):        0 kB
Active(file):     420872 kB
Inactive(file):  2337604 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               800 kB
Writeback:             0 kB
AnonPages:       1685600 kB
Mapped:            22700 kB
Shmem:               212 kB
Slab:             631628 kB
SReclaimable:      73896 kB
SUnreclaim:       557732 kB
KernelStack:        1624 kB
PageTables:         7116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2055040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1585152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node133 at 2012-05-24 22:00:34