Trace number 3710906

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)24 1800.85 1796.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark60.8677
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.02/0.09	c version 2.3.2.v20120418
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		501472288
0.02/0.09	c Max memory 		7480803328
0.02/0.09	c Total memory 		504102912
0.02/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
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
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=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710906-1338162141.opb
0.09/0.12	c reading problem ... 
0.71/0.40	c ... done. Wall clock time 0.28s.
0.71/0.40	c declared #vars     4318
0.71/0.40	c #constraints  15120
0.71/0.40	c constraints type 
0.71/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827
0.71/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
0.71/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287
0.71/0.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.71/0.40	c 15120 constraints processed.
0.71/0.47	c SATISFIABLE
0.71/0.47	c OPTIMIZING...
0.71/0.47	c Got one! Elapsed wall clock time (in seconds):0.349
0.71/0.47	o 24
2.61/1.84	c cleaning 2499 clauses out of 5010 with flag 5000/5010
4.08/3.28	c cleaning 4248 clauses out of 8511 with flag 11000/11010
5.69/4.85	c cleaning 5602 clauses out of 11263 with flag 18000/18010
7.60/6.72	c cleaning 6810 clauses out of 13661 with flag 26000/26010
9.75/8.87	c cleaning 7918 clauses out of 15851 with flag 35000/35010
12.45/11.59	c cleaning 8960 clauses out of 17933 with flag 45000/45010
15.56/14.60	c cleaning 9983 clauses out of 19974 with flag 56001/56011
18.37/17.44	c cleaning 10991 clauses out of 21993 with flag 68003/68013
21.97/21.07	c cleaning 11991 clauses out of 23999 with flag 81000/81010
25.48/24.53	c cleaning 12959 clauses out of 26008 with flag 95000/95010
28.99/28.05	c cleaning 14006 clauses out of 28049 with flag 110000/110010
32.90/31.92	c cleaning 15016 clauses out of 30044 with flag 126001/126011
36.59/35.62	c cleaning 15999 clauses out of 32027 with flag 143000/143010
41.91/40.96	c cleaning 17007 clauses out of 34028 with flag 161000/161010
47.43/46.42	c cleaning 17906 clauses out of 36021 with flag 180000/180010
53.06/52.08	c cleaning 19051 clauses out of 38118 with flag 200003/200013
58.28/57.20	c cleaning 20026 clauses out of 40065 with flag 221001/221011
63.98/62.90	c cleaning 20943 clauses out of 42038 with flag 243000/243010
69.49/68.40	c cleaning 22038 clauses out of 44095 with flag 266000/266010
75.83/74.72	c cleaning 23019 clauses out of 46058 with flag 290001/290011
83.54/82.43	c cleaning 24004 clauses out of 48038 with flag 315000/315010
91.15/90.09	c cleaning 25003 clauses out of 50034 with flag 341000/341010
98.76/97.63	c cleaning 26009 clauses out of 52031 with flag 368000/368010
105.27/104.16	c cleaning 26967 clauses out of 54022 with flag 396000/396010
112.78/111.69	c cleaning 27978 clauses out of 56055 with flag 425000/425010
121.59/120.45	c cleaning 29034 clauses out of 58077 with flag 455000/455010
129.99/128.81	c cleaning 30007 clauses out of 60043 with flag 486000/486010
138.72/137.58	c cleaning 30960 clauses out of 62036 with flag 518000/518010
147.62/146.42	c cleaning 32027 clauses out of 64077 with flag 551001/551011
156.53/155.30	c cleaning 33012 clauses out of 66049 with flag 585000/585010
166.57/165.33	c cleaning 34005 clauses out of 68037 with flag 620000/620010
174.78/173.58	c cleaning 35013 clauses out of 70034 with flag 656002/656012
184.89/183.62	c cleaning 35999 clauses out of 72019 with flag 693000/693010
196.09/194.80	c cleaning 36995 clauses out of 74020 with flag 731000/731010
207.90/206.60	c cleaning 37997 clauses out of 76025 with flag 770000/770010
219.93/218.62	c cleaning 39008 clauses out of 78028 with flag 810000/810010
228.95/227.63	c cleaning 39978 clauses out of 80020 with flag 851000/851010
239.98/238.66	c cleaning 41008 clauses out of 82045 with flag 893003/893013
252.30/250.96	c cleaning 42008 clauses out of 84035 with flag 936001/936011
264.51/263.11	c cleaning 43001 clauses out of 86031 with flag 980005/980015
277.13/275.75	c cleaning 44003 clauses out of 88025 with flag 1025000/1025010
290.24/288.90	c cleaning 44998 clauses out of 90022 with flag 1071000/1071010
304.15/302.72	c cleaning 46000 clauses out of 92027 with flag 1118003/1118013
317.58/316.16	c cleaning 46998 clauses out of 94024 with flag 1166000/1166010
331.10/329.64	c cleaning 47999 clauses out of 96028 with flag 1215002/1215012
345.42/343.90	c cleaning 49002 clauses out of 98027 with flag 1265000/1265010
359.14/357.69	c cleaning 50002 clauses out of 100025 with flag 1316000/1316010
372.97/371.48	c cleaning 51006 clauses out of 102023 with flag 1368000/1368010
386.71/385.10	c cleaning 52002 clauses out of 104018 with flag 1421001/1421011
402.13/400.53	c cleaning 52979 clauses out of 106016 with flag 1475001/1475011
417.45/415.86	c cleaning 54004 clauses out of 108037 with flag 1530001/1530011
432.08/430.45	c cleaning 55002 clauses out of 110033 with flag 1586001/1586011
448.60/446.96	c cleaning 55964 clauses out of 112030 with flag 1643000/1643010
467.33/465.64	c cleaning 57002 clauses out of 114066 with flag 1701000/1701010
483.14/481.49	c cleaning 57962 clauses out of 116066 with flag 1760002/1760012
495.95/494.29	c cleaning 59036 clauses out of 118102 with flag 1820000/1820010
508.89/507.19	c cleaning 60015 clauses out of 120067 with flag 1881001/1881011
522.59/520.83	c cleaning 61010 clauses out of 122051 with flag 1943000/1943010
537.43/535.70	c cleaning 62007 clauses out of 124041 with flag 2006000/2006010
556.54/554.75	c cleaning 63002 clauses out of 126034 with flag 2070000/2070010
573.48/571.61	c cleaning 64006 clauses out of 128034 with flag 2135002/2135012
592.50/590.67	c cleaning 65001 clauses out of 130026 with flag 2201000/2201010
610.51/608.64	c cleaning 65998 clauses out of 132025 with flag 2268000/2268010
628.33/626.41	c cleaning 67001 clauses out of 134027 with flag 2336000/2336010
647.56/645.67	c cleaning 67999 clauses out of 136027 with flag 2405001/2405011
668.59/666.68	c cleaning 69000 clauses out of 138028 with flag 2475001/2475011
693.12/691.19	c cleaning 70003 clauses out of 140027 with flag 2546000/2546010
718.17/716.18	c cleaning 70995 clauses out of 142024 with flag 2618000/2618010
739.79/737.80	c cleaning 71997 clauses out of 144029 with flag 2691000/2691010
762.11/760.05	c cleaning 72995 clauses out of 146034 with flag 2765002/2765012
783.32/781.23	c cleaning 73988 clauses out of 148037 with flag 2840000/2840010
805.17/803.08	c cleaning 75008 clauses out of 150053 with flag 2916004/2916014
825.59/823.40	c cleaning 76007 clauses out of 152041 with flag 2993000/2993010
845.33/843.16	c cleaning 77001 clauses out of 154034 with flag 3071000/3071010
868.03/865.81	c cleaning 78000 clauses out of 156033 with flag 3150000/3150010
893.46/891.23	c cleaning 79001 clauses out of 158034 with flag 3230001/3230011
917.27/915.08	c cleaning 80001 clauses out of 160034 with flag 3311002/3311012
943.11/940.88	c cleaning 81001 clauses out of 162032 with flag 3393001/3393011
966.83/964.59	c cleaning 82002 clauses out of 164031 with flag 3476001/3476011
991.85/989.50	c cleaning 83004 clauses out of 166029 with flag 3560001/3560011
1015.89/1013.50	c cleaning 83999 clauses out of 168026 with flag 3645002/3645012
1045.53/1043.16	c cleaning 84998 clauses out of 170026 with flag 3731001/3731011
1074.56/1072.19	c cleaning 85998 clauses out of 172031 with flag 3818004/3818014
1103.49/1101.04	c cleaning 87006 clauses out of 174034 with flag 3906005/3906015
1131.61/1129.11	c cleaning 87998 clauses out of 176023 with flag 3995000/3995010
1161.63/1159.17	c cleaning 89000 clauses out of 178027 with flag 4085002/4085012
1189.65/1187.10	c cleaning 89996 clauses out of 180025 with flag 4176000/4176010
1219.41/1216.84	c cleaning 91000 clauses out of 182029 with flag 4268000/4268010
1250.46/1247.81	c cleaning 91998 clauses out of 184031 with flag 4361002/4361012
1279.90/1277.20	c cleaning 92999 clauses out of 186032 with flag 4455001/4455011
1309.53/1306.87	c cleaning 94003 clauses out of 188032 with flag 4550000/4550010
1336.74/1334.06	c cleaning 95002 clauses out of 190029 with flag 4646000/4646010
1364.65/1361.95	c cleaning 96007 clauses out of 192027 with flag 4743000/4743010
1396.49/1393.70	c cleaning 97003 clauses out of 194023 with flag 4841003/4841013
1429.12/1426.32	c cleaning 98004 clauses out of 196018 with flag 4940001/4940011
1458.44/1455.62	c cleaning 98988 clauses out of 198013 with flag 5040000/5040010
1486.52/1483.63	c cleaning 99984 clauses out of 200025 with flag 5141000/5141010
1515.97/1513.04	c cleaning 101001 clauses out of 202041 with flag 5243000/5243010
1546.02/1543.05	c cleaning 102010 clauses out of 204041 with flag 5346001/5346011
1575.36/1572.34	c cleaning 103004 clauses out of 206033 with flag 5450003/5450013
1607.80/1604.80	c cleaning 103949 clauses out of 208026 with flag 5555000/5555010
1637.45/1634.30	c cleaning 104970 clauses out of 210077 with flag 5661000/5661010
1671.59/1668.41	c cleaning 106043 clauses out of 212108 with flag 5768001/5768011
1703.13/1699.91	c cleaning 106984 clauses out of 214064 with flag 5876000/5876010
1733.46/1730.21	c cleaning 108024 clauses out of 216082 with flag 5985002/5985012
1767.21/1763.90	c cleaning 109022 clauses out of 218057 with flag 6095001/6095011
1799.82/1796.58	c cleaning 110004 clauses out of 220037 with flag 6206003/6206013
1800.07/1796.71	c starts		: 277
1800.07/1796.71	c conflicts		: 6206201
1800.07/1796.71	c decisions		: 18764092
1800.07/1796.71	c propagations		: 3989626849
1800.07/1796.71	c inspects		: 16220410267
1800.07/1796.71	c shortcuts		: 0
1800.07/1796.71	c learnt literals	: 0
1800.07/1796.71	c learnt binary clauses	: 0
1800.07/1796.71	c learnt ternary clauses	: 1
1800.07/1796.71	c learnt constraints	: 6206201
1800.07/1796.71	c ignored constraints	: 0
1800.07/1796.71	c root simplifications	: 277
1800.07/1796.71	c removed literals (reason simplification)	: 48293028
1800.07/1796.71	c reason swapping (by a shorter reason)	: 0
1800.07/1796.71	c Calls to reduceDB	: 107
1800.07/1796.71	c number of reductions to clauses (during analyze)	: 0
1800.07/1796.71	c number of learned constraints concerned by reduction	: 0
1800.07/1796.71	c number of learning phase by resolution	: 0
1800.07/1796.71	c number of learning phase by cutting planes	: 0
1800.07/1796.71	c speed (assignments/second)	: 2221025.1928965095
1800.07/1796.71	c non guided choices	636
1800.07/1796.74	c learnt constraints type 
1800.07/1796.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 110323
1800.07/1796.74	c constraints type 
1800.07/1796.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827
1800.07/1796.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
1800.07/1796.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287
1800.07/1796.74	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1800.07/1796.74	c 15121 constraints processed.
1800.07/1796.74	s SATISFIABLE
1800.07/1796.75	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 
1800.07/1796.75	c objective function=24
1800.07/1796.75	c Total wall clock time (in seconds): 1796.633

Verifier Data 

OK	24

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-3710906-1338162141/watcher-3710906-1338162141 -o /tmp/evaluation-result-3710906-1338162141/solver-3710906-1338162141 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710906-1338162141.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: 1.92 1.98 1.99 3/194 13463
/proc/meminfo: memFree=30931240/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/13463/stat : 13463 (java) D 13461 13463 12979 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 282340165 9515008 182 33554432000 1073741824 1073778376 140735005514336 140735005505368 251032059573 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/13463/statm: 2323 182 140 9 0 71 0

[startup+0.0402321 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 13463
/proc/meminfo: memFree=30931240/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 2965 0 1 0 1 1 0 0 20 0 13 0 282340165 9446973440 3664 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13463/statm: 2306390 3664 1661 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100297 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 13463
/proc/meminfo: memFree=30931240/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 4253 0 1 0 8 1 0 0 20 0 18 0 282340165 9787842560 5461 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13463/statm: 2389610 5461 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300292 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 13463
/proc/meminfo: memFree=30931240/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9558440 CPUtime=0.47 cores=1,3,5,7
/proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 5372 0 1 0 45 2 0 0 20 0 18 0 282340165 9787842560 8293 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13463/statm: 2389610 8293 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558440

[startup+0.700295 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 13463
/proc/meminfo: memFree=30931240/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 9563 0 1 0 143 3 0 0 20 0 19 0 282340165 9856004096 15618 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13463/statm: 2406251 15618 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 13482
/proc/meminfo: memFree=30877188/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9625004 CPUtime=2.31 cores=1,3,5,7
/proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 9571 0 1 0 228 3 0 0 20 0 19 0 282340165 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13463/statm: 2406251 16136 2262 9 0 2396937 0
[pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2515 0 1 0 144 2 0 0 20 0 19 0 282340167 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497414064728 140497255978528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2433 0 0 0 39 0 0 0 20 0 19 0 282340172 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3428 0 0 0 42 0 0 0 20 0 19 0 282340172 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 16136 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 9625004

[startup+3.10066 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 13482
/proc/meminfo: memFree=30864140/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9625004 CPUtime=3.98 cores=1,3,5,7
/proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 9626 0 1 0 395 3 0 0 20 0 19 0 282340165 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13463/statm: 2406251 18739 2287 9 0 2396937 0
[pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=3.05 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2517 0 1 0 302 3 0 0 20 0 19 0 282340167 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497414066344 140497256163369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2434 0 0 0 42 0 0 0 20 0 19 0 282340172 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 18739 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 9625004

[startup+6.30067 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 13482
/proc/meminfo: memFree=30861728/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9625004 CPUtime=7.2 cores=1,3,5,7
/proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 9645 0 1 0 716 4 0 0 20 0 19 0 282340165 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13463/statm: 2406251 19263 2287 9 0 2396937 0
[pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=6.21 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2519 0 1 0 618 3 0 0 20 0 19 0 282340167 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497414066648 140497256130037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282340168 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 33 0 0 0 3 0 0 0 20 0 19 0 282340169 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2435 0 0 0 43 0 0 0 20 0 19 0 282340172 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 19263 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 236 0 0 0 40 2 0 0 20 0 19 0 282340168 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 254 0 0 0 38 1 0 0 20 0 19 0 282340168 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 142 0 0 0 38 1 0 0 20 0 19 0 282340168 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=4.28 cores=1,3,5,7
/proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 164 0 0 0 425 3 0 0 20 0 19 0 282340169 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2903 0 0 0 49 0 0 0 20 0 19 0 282340172 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 99 0 0 0 19 18 0 0 20 0 19 0 282340172 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 37645 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.55
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13578
/proc/meminfo: memFree=30834316/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9625004 CPUtime=1785.62 cores=1,3,5,7
/proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 11816 0 1 0 178538 24 0 0 20 0 19 0 282340165 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13463/statm: 2406251 37677 2288 9 0 2396937 0
[pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=1776.87 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2621 0 1 0 177657 30 0 0 20 0 19 0 282340167 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497414066480 140497256164786 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 81 0 0 0 45 0 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 75 0 0 0 42 0 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 211 0 0 0 43 2 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 110 0 0 0 40 0 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 267 0 0 0 40 2 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 236 0 0 0 41 2 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 254 0 0 0 39 1 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 174 0 0 0 40 1 0 0 20 0 19 0 282340168 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=4.4 cores=1,3,5,7
/proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 168 0 0 0 437 3 0 0 20 0 19 0 282340169 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2903 0 0 0 49 0 0 0 20 0 19 0 282340172 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 103 0 0 0 21 19 0 0 20 0 19 0 282340172 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 37677 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13578
/proc/meminfo: memFree=30832144/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7
/proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 11825 0 1 0 179983 24 0 0 20 0 19 0 282340165 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13463/statm: 2406251 38194 2288 9 0 2396937 0
[pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=1791.2 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2622 0 1 0 179090 30 0 0 20 0 19 0 282340167 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497414066440 140497256141617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 81 0 0 0 46 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 75 0 0 0 42 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 211 0 0 0 43 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 110 0 0 0 42 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 267 0 0 0 41 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 241 0 0 0 43 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 254 0 0 0 39 1 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 174 0 0 0 41 1 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=4.46 cores=1,3,5,7
/proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 171 0 0 0 443 3 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2903 0 0 0 49 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 103 0 0 0 21 19 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 13578
/proc/meminfo: memFree=30832144/32873844 swapFree=7372/7372
[pid=13463] ppid=13461 vsize=9625004 CPUtime=1800.07 cores=1,3,5,7
/proc/13463/stat : 13463 (java) S 13461 13463 12979 0 -1 4202496 11825 0 1 0 179983 24 0 0 20 0 19 0 282340165 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140733714599776 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13463/statm: 2406251 38194 2288 9 0 2396937 0
[pid=13463/tid=13465] ppid=13461 vsize=9625004 CPUtime=1791.2 cores=1,3,5,7
/proc/13463/task/13465/stat : 13465 (java) R 13461 13463 12979 0 -1 4202560 2622 0 1 0 179090 30 0 0 20 0 19 0 282340167 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497414066440 140497256141617 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13466] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/13463/task/13466/stat : 13466 (java) S 13461 13463 12979 0 -1 4202560 81 0 0 0 46 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497375557800 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13467] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13467/stat : 13467 (java) S 13461 13463 12979 0 -1 4202560 75 0 0 0 42 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497374505256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13468] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/13463/task/13468/stat : 13468 (java) S 13461 13463 12979 0 -1 4202560 211 0 0 0 43 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497255393704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13469] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13469/stat : 13469 (java) S 13461 13463 12979 0 -1 4202560 110 0 0 0 42 0 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497254341160 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13470] ppid=13461 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/13463/task/13470/stat : 13470 (java) S 13461 13463 12979 0 -1 4202560 267 0 0 0 41 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497253288616 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13463/tid=13471] ppid=13461 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/13463/task/13471/stat : 13471 (java) S 13461 13463 12979 0 -1 4202560 241 0 0 0 43 2 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497252236072 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13472] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/13463/task/13472/stat : 13472 (java) S 13461 13463 12979 0 -1 4202560 254 0 0 0 39 1 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497251183528 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13473] ppid=13461 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/13463/task/13473/stat : 13473 (java) S 13461 13463 12979 0 -1 4202560 174 0 0 0 41 1 0 0 20 0 19 0 282340168 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140497250130984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13474] ppid=13461 vsize=9625004 CPUtime=4.46 cores=1,3,5,7
/proc/13463/task/13474/stat : 13474 (java) S 13461 13463 12979 0 -1 4202560 171 0 0 0 443 3 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496767801448 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13475] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13475/stat : 13475 (java) S 13461 13463 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496766747768 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13476] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13476/stat : 13476 (java) S 13461 13463 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282340169 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496765695112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13477] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13477/stat : 13477 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496764643856 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13478] ppid=13461 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/13463/task/13478/stat : 13478 (java) S 13461 13463 12979 0 -1 4202560 2903 0 0 0 49 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496763591224 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13463/tid=13479] ppid=13461 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/13463/task/13479/stat : 13479 (java) S 13461 13463 12979 0 -1 4202560 3433 0 0 0 46 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496762538680 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13480] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13480/stat : 13480 (java) S 13461 13463 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496761486328 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13463/tid=13481] ppid=13461 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/13463/task/13481/stat : 13481 (java) S 13461 13463 12979 0 -1 4202560 103 0 0 0 21 19 0 0 20 0 19 0 282340172 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496760433992 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13463/tid=13482] ppid=13461 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/13463/task/13482/stat : 13482 (java) S 13461 13463 12979 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282340207 9856004096 38194 33554432000 1073741824 1073778376 140733714608640 140496759378728 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1796.77
CPU time (s): 1800.85
CPU user time (s): 1800.11
CPU system time (s): 0.742887
CPU usage (%): 100.227
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.11
system time used= 0.742887
maximum resident set size= 152900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11858
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40859
involuntary context switches= 9230

runsolver used 6.01209 second user time and 14.9317 second system time

The end

Launcher Data 

Begin job on node118 at 2012-05-28 01:42:21
IDJOB=3710906
IDBENCH=25017
IDSOLVER=2289
FILE ID=node118/3710906-1338162141
RUNJOBID= node118-1338156758-12996
PBS_JOBID= 14624527
Free space on /tmp= 71668 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710906-1338162141/watcher-3710906-1338162141 -o /tmp/evaluation-result-3710906-1338162141/solver-3710906-1338162141 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710906-1338162141.opb

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=604920036

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30931768 kB
Buffers:          371188 kB
Cached:           496480 kB
SwapCached:            0 kB
Active:           725976 kB
Inactive:         378384 kB
Active(anon):     226860 kB
Inactive(anon):    11320 kB
Active(file):     499116 kB
Inactive(file):   367064 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               916 kB
Writeback:             0 kB
AnonPages:        244084 kB
Mapped:            19916 kB
Shmem:               200 kB
Slab:             695252 kB
SReclaimable:     136648 kB
SUnreclaim:       558604 kB
KernelStack:        1608 kB
PageTables:         4372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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= 71668 MiB
End job on node118 at 2012-05-28 02:12:19