Trace number 3710575

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)179 1800.8 1795.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark96
Best CPU time to get the best result obtained on this benchmark1796.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
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 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.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.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=true
0.09/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3710575-1338144014.opb
0.09/0.13	c reading problem ... 
0.67/0.45	c ... done. Wall clock time 0.325s.
0.67/0.45	c declared #vars     6139
0.67/0.45	c #constraints  1437
0.67/0.45	c constraints type 
0.67/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1437
0.67/0.45	c 1437 constraints processed.
0.80/0.53	c SATISFIABLE
0.80/0.53	c OPTIMIZING...
0.80/0.53	c Got one! Elapsed wall clock time (in seconds):0.402
0.80/0.53	o 180
1.04/0.69	c Got one! Elapsed wall clock time (in seconds):0.559
1.04/0.69	o 179
2.99/2.30	c cleaning 2480 clauses out of 5023 with flag 5000/5023
4.95/4.16	c cleaning 4229 clauses out of 8543 with flag 11000/11023
7.17/6.32	c cleaning 5640 clauses out of 11314 with flag 18000/18023
9.69/8.82	c cleaning 6801 clauses out of 13674 with flag 26000/26023
12.54/11.68	c cleaning 7928 clauses out of 15873 with flag 35000/35023
15.74/14.88	c cleaning 8962 clauses out of 17945 with flag 45000/45023
19.35/18.43	c cleaning 9982 clauses out of 19983 with flag 56000/56023
23.25/22.33	c cleaning 10980 clauses out of 22002 with flag 68001/68024
27.58/26.61	c cleaning 11995 clauses out of 24023 with flag 81002/81025
32.08/31.17	c cleaning 13007 clauses out of 26028 with flag 95002/95025
37.10/36.19	c cleaning 14002 clauses out of 28026 with flag 110007/110030
42.41/41.42	c cleaning 15005 clauses out of 30017 with flag 126000/126023
48.02/47.00	c cleaning 15995 clauses out of 32012 with flag 143000/143023
53.94/52.95	c cleaning 16984 clauses out of 34017 with flag 161000/161023
60.56/59.54	c cleaning 17993 clauses out of 36033 with flag 180000/180023
67.09/66.09	c cleaning 19002 clauses out of 38042 with flag 200002/200025
74.00/72.97	c cleaning 19948 clauses out of 40039 with flag 221001/221024
81.74/80.63	c cleaning 21020 clauses out of 42090 with flag 243000/243023
89.65/88.56	c cleaning 22018 clauses out of 44070 with flag 266000/266023
97.55/96.49	c cleaning 22991 clauses out of 46052 with flag 290000/290023
106.07/104.93	c cleaning 23992 clauses out of 48061 with flag 315000/315023
115.00/113.81	c cleaning 24989 clauses out of 50069 with flag 341000/341023
124.13/122.99	c cleaning 25999 clauses out of 52080 with flag 368000/368023
134.24/133.07	c cleaning 27030 clauses out of 54081 with flag 396000/396023
143.96/142.79	c cleaning 27997 clauses out of 56051 with flag 425000/425023
154.26/153.06	c cleaning 29010 clauses out of 58056 with flag 455002/455025
165.67/164.45	c cleaning 30002 clauses out of 60044 with flag 486000/486023
177.21/175.96	c cleaning 31003 clauses out of 62044 with flag 518002/518025
189.04/187.75	c cleaning 31977 clauses out of 64039 with flag 551000/551023
202.08/200.70	c cleaning 33011 clauses out of 66067 with flag 585005/585028
213.89/212.54	c cleaning 34013 clauses out of 68051 with flag 620000/620023
226.32/224.96	c cleaning 34999 clauses out of 70040 with flag 656002/656025
239.23/237.87	c cleaning 35979 clauses out of 72039 with flag 693000/693023
252.75/251.35	c cleaning 37003 clauses out of 74060 with flag 731000/731023
266.68/265.23	c cleaning 37990 clauses out of 76057 with flag 770000/770023
280.82/279.32	c cleaning 38973 clauses out of 78067 with flag 810000/810023
295.94/294.42	c cleaning 40017 clauses out of 80095 with flag 851001/851024
310.87/309.35	c cleaning 40989 clauses out of 82077 with flag 893000/893023
324.79/323.23	c cleaning 42000 clauses out of 84088 with flag 936000/936023
339.24/337.69	c cleaning 43005 clauses out of 86088 with flag 980000/980023
355.30/353.61	c cleaning 44022 clauses out of 88083 with flag 1025000/1025023
372.43/370.73	c cleaning 45016 clauses out of 90061 with flag 1071000/1071023
388.97/387.29	c cleaning 46008 clauses out of 92046 with flag 1118001/1118024
405.99/404.27	c cleaning 46968 clauses out of 94037 with flag 1166000/1166023
423.41/421.66	c cleaning 48009 clauses out of 96071 with flag 1215002/1215025
441.56/439.77	c cleaning 49001 clauses out of 98064 with flag 1265004/1265027
460.19/458.33	c cleaning 49964 clauses out of 100059 with flag 1316000/1316023
477.59/475.61	c cleaning 50921 clauses out of 102095 with flag 1368000/1368023
495.13/493.10	c cleaning 52069 clauses out of 104174 with flag 1421000/1421023
512.88/510.81	c cleaning 53038 clauses out of 106105 with flag 1475000/1475023
532.13/530.04	c cleaning 54016 clauses out of 108078 with flag 1530011/1530034
552.78/550.60	c cleaning 55010 clauses out of 110051 with flag 1586000/1586023
572.03/569.87	c cleaning 56005 clauses out of 112041 with flag 1643000/1643023
592.69/590.40	c cleaning 56966 clauses out of 114038 with flag 1701002/1701025
614.34/612.03	c cleaning 58019 clauses out of 116071 with flag 1760001/1760024
635.78/633.45	c cleaning 58995 clauses out of 118055 with flag 1820004/1820027
657.11/654.70	c cleaning 60011 clauses out of 120056 with flag 1881000/1881023
682.73/680.35	c cleaning 60985 clauses out of 122045 with flag 1943000/1943023
705.87/703.48	c cleaning 62010 clauses out of 124060 with flag 2006000/2006023
727.33/724.82	c cleaning 63001 clauses out of 126051 with flag 2070001/2070024
750.18/747.70	c cleaning 64010 clauses out of 128049 with flag 2135000/2135023
776.33/773.79	c cleaning 65008 clauses out of 130039 with flag 2201000/2201023
801.52/798.83	c cleaning 65983 clauses out of 132031 with flag 2268000/2268023
825.98/823.22	c cleaning 66967 clauses out of 134048 with flag 2336000/2336023
852.84/850.06	c cleaning 67962 clauses out of 136081 with flag 2405000/2405023
877.20/874.37	c cleaning 69040 clauses out of 138120 with flag 2475001/2475024
903.05/900.11	c cleaning 70020 clauses out of 140079 with flag 2546000/2546023
930.89/927.99	c cleaning 71002 clauses out of 142059 with flag 2618000/2618023
956.16/953.11	c cleaning 71974 clauses out of 144058 with flag 2691001/2691024
985.93/982.82	c cleaning 73022 clauses out of 146085 with flag 2765002/2765025
1015.89/1012.79	c cleaning 73999 clauses out of 148062 with flag 2840001/2840024
1045.28/1042.01	c cleaning 75017 clauses out of 150064 with flag 2916002/2916025
1075.88/1072.53	c cleaning 75976 clauses out of 152045 with flag 2993000/2993023
1102.14/1098.73	c cleaning 76947 clauses out of 154069 with flag 3071000/3071023
1128.99/1125.55	c cleaning 78025 clauses out of 156122 with flag 3150000/3150023
1156.70/1153.19	c cleaning 79030 clauses out of 158097 with flag 3230000/3230023
1185.05/1181.44	c cleaning 80003 clauses out of 160067 with flag 3311000/3311023
1214.98/1211.33	c cleaning 81010 clauses out of 162064 with flag 3393000/3393023
1245.63/1241.91	c cleaning 81938 clauses out of 164054 with flag 3476000/3476023
1283.20/1279.43	c cleaning 83017 clauses out of 166116 with flag 3560000/3560023
1315.29/1311.46	c cleaning 84031 clauses out of 168099 with flag 3645000/3645023
1350.47/1346.50	c cleaning 85012 clauses out of 170068 with flag 3731000/3731023
1381.64/1377.68	c cleaning 86022 clauses out of 172060 with flag 3818004/3818027
1418.89/1414.81	c cleaning 86979 clauses out of 174036 with flag 3906002/3906025
1451.14/1447.03	c cleaning 88014 clauses out of 176056 with flag 3995001/3995024
1486.63/1482.41	c cleaning 89001 clauses out of 178042 with flag 4085001/4085024
1527.71/1523.42	c cleaning 89951 clauses out of 180042 with flag 4176002/4176025
1569.60/1565.25	c cleaning 91008 clauses out of 182089 with flag 4268000/4268023
1610.89/1606.46	c cleaning 91979 clauses out of 184081 with flag 4361000/4361023
1654.87/1650.36	c cleaning 92933 clauses out of 186105 with flag 4455003/4455026
1688.37/1683.79	c cleaning 94065 clauses out of 188171 with flag 4550002/4550025
1722.35/1717.62	c cleaning 95040 clauses out of 190104 with flag 4646000/4646023
1758.91/1754.11	c cleaning 95977 clauses out of 192064 with flag 4743000/4743023
1796.18/1791.37	c cleaning 97003 clauses out of 194089 with flag 4841002/4841025
1800.09/1795.11	c starts		: 274
1800.09/1795.11	c conflicts		: 4851180
1800.09/1795.11	c decisions		: 31874036
1800.09/1795.11	c propagations		: 2246246521
1800.09/1795.11	c inspects		: 698042713
1800.09/1795.11	c shortcuts		: 0
1800.09/1795.11	c learnt literals	: 0
1800.09/1795.11	c learnt binary clauses	: 0
1800.09/1795.11	c learnt ternary clauses	: 0
1800.09/1795.11	c learnt constraints	: 4851180
1800.09/1795.11	c ignored constraints	: 0
1800.09/1795.11	c root simplifications	: 274
1800.09/1795.11	c removed literals (reason simplification)	: 8900621
1800.09/1795.11	c reason swapping (by a shorter reason)	: 0
1800.09/1795.11	c Calls to reduceDB	: 94
1800.09/1795.12	c number of reductions to clauses (during analyze)	: 0
1800.09/1795.12	c number of learned constraints concerned by reduction	: 0
1800.09/1795.12	c number of learning phase by resolution	: 0
1800.09/1795.12	c number of learning phase by cutting planes	: 0
1800.09/1795.12	c speed (assignments/second)	: 1251633.4771309423
1800.09/1795.12	c non guided choices	18618
1800.09/1795.14	c learnt constraints type 
1800.09/1795.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 107307
1800.09/1795.14	c constraints type 
1800.09/1795.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1437
1800.09/1795.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.09/1795.14	c 1438 constraints processed.
1800.09/1795.14	s SATISFIABLE
1800.09/1795.16	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 x2755 -x2756 -x2757 x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 x4071 x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 
1800.09/1795.16	c objective function=179
1800.09/1795.16	c Total wall clock time (in seconds): 1795.037

Verifier Data

OK	179

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-3710575-1338144014/watcher-3710575-1338144014 -o /tmp/evaluation-result-3710575-1338144014/solver-3710575-1338144014 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710575-1338144014.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.03 2.05 2.02 3/195 27901
/proc/meminfo: memFree=28947308/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27901/stat : 27901 (java) D 27899 27901 24682 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 280526269 9515008 183 33554432000 1073741824 1073778376 140733356123344 140733356114376 223651643061 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/27901/statm: 2323 183 140 9 0 71 0

[startup+0.0971351 s]
/proc/loadavg: 2.03 2.05 2.02 3/195 27901
/proc/meminfo: memFree=28947308/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 4040 0 1 0 7 1 0 0 20 0 18 0 280526269 9787842560 5247 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27901/statm: 2389610 5250 2091 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.100238 s]
/proc/loadavg: 2.03 2.05 2.02 3/195 27901
/proc/meminfo: memFree=28947308/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 4186 0 1 0 8 1 0 0 20 0 18 0 280526269 9787842560 5393 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27901/statm: 2389610 5395 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300225 s]
/proc/loadavg: 2.03 2.05 2.02 3/195 27901
/proc/meminfo: memFree=28947308/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9558440 CPUtime=0.49 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 7199 0 1 0 47 2 0 0 20 0 18 0 280526269 9787842560 10002 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27901/statm: 2389610 10002 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440

[startup+0.700165 s]
/proc/loadavg: 2.03 2.05 2.02 3/195 27901
/proc/meminfo: memFree=28947308/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9625004 CPUtime=1.33 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 10185 0 1 0 130 3 0 0 20 0 19 0 280526269 9856004096 25475 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27901/statm: 2406251 25475 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9625004

[startup+1.50061 s]
/proc/loadavg: 2.03 2.05 2.02 3/214 27920
/proc/meminfo: memFree=28855140/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9625004 CPUtime=2.28 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 10192 0 1 0 225 3 0 0 20 0 19 0 280526269 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27901/statm: 2406251 25993 2257 9 0 2396937 0
[pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2546 0 1 0 144 3 0 0 20 0 19 0 280526270 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596643672712 140596510096321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2876 0 0 0 39 0 0 0 20 0 19 0 280526276 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3570 0 0 0 39 0 0 0 20 0 19 0 280526276 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 25993 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9625004

[startup+3.10061 s]
/proc/loadavg: 2.03 2.05 2.02 3/214 27920
/proc/meminfo: memFree=28850052/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9625004 CPUtime=3.93 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 10263 0 1 0 389 4 0 0 20 0 19 0 280526269 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27901/statm: 2406251 30139 2287 9 0 2396937 0
[pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=3.04 cores=0,2,4,6
/proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2550 0 1 0 301 3 0 0 20 0 19 0 280526270 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596643672472 140596510199165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 41 0 0 0 20 0 19 0 280526276 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3577 0 0 0 41 0 0 0 20 0 19 0 280526276 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 30139 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9625004

[startup+6.30061 s]
/proc/loadavg: 2.03 2.04 2.02 3/214 27920
/proc/meminfo: memFree=28830688/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9625004 CPUtime=7.17 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 10279 0 1 0 713 4 0 0 20 0 19 0 280526269 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27901/statm: 2406251 31129 2287 9 0 2396937 0
[pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=6.22 cores=0,2,4,6
/proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2552 0 1 0 619 3 0 0 20 0 19 0 280526270 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596643672488 140596510199305 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280526271 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 280526273 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 43 0 0 0 20 0 19 0 280526276 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3577 0 0 0 42 0 0 0 20 0 19 0 280526276 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 31129 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 57 0 0 0 64 3 0 0 20 0 19 0 280526271 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 256 0 0 0 60 4 0 0 20 0 19 0 280526271 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 252 0 0 0 72 3 0 0 20 0 19 0 280526271 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=4.87 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 176 0 0 0 485 2 0 0 20 0 19 0 280526273 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 43 0 0 0 20 0 19 0 280526276 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3603 0 0 0 49 0 0 0 20 0 19 0 280526276 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 99 0 0 0 12 13 0 0 20 0 19 0 280526276 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 94077 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.11
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 28014
/proc/meminfo: memFree=28539140/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9625004 CPUtime=1787.18 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 11934 0 1 0 178668 50 0 0 20 0 19 0 280526269 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27901/statm: 2406251 94088 2288 9 0 2396937 0
[pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=1775.65 cores=0,2,4,6
/proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2658 0 1 0 177530 35 0 0 20 0 19 0 280526270 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596643672384 140596510146118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 149 0 0 0 70 4 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 60 0 0 0 70 3 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 187 0 0 0 64 3 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 140 0 0 0 69 4 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 223 0 0 0 68 3 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 57 0 0 0 65 3 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 256 0 0 0 62 4 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 252 0 0 0 75 3 0 0 20 0 19 0 280526271 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=4.95 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 178 0 0 0 493 2 0 0 20 0 19 0 280526273 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 43 0 0 0 20 0 19 0 280526276 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3603 0 0 0 49 0 0 0 20 0 19 0 280526276 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 103 0 0 0 12 14 0 0 20 0 19 0 280526276 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 94088 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1787.18
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 28017
/proc/meminfo: memFree=28526680/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 11956 0 1 0 179958 51 0 0 20 0 19 0 280526269 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27901/statm: 2406251 96145 2288 9 0 2396937 0
[pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=1788.35 cores=0,2,4,6
/proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2661 0 1 0 178799 36 0 0 20 0 19 0 280526270 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596643672384 140596510234052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 159 0 0 0 71 4 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 60 0 0 0 72 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 187 0 0 0 65 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 142 0 0 0 69 5 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 225 0 0 0 69 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 59 0 0 0 68 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 256 0 0 0 63 4 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 253 0 0 0 76 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=5.04 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 180 0 0 0 502 2 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 43 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3603 0 0 0 49 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 103 0 0 0 12 14 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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+1795.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 28017
/proc/meminfo: memFree=28526680/32873844 swapFree=6856/6856
[pid=27901] ppid=27899 vsize=9625004 CPUtime=1800.09 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 24682 0 -1 4202496 11956 0 1 0 179958 51 0 0 20 0 19 0 280526269 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140734594411744 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27901/statm: 2406251 96145 2288 9 0 2396937 0
[pid=27901/tid=27903] ppid=27899 vsize=9625004 CPUtime=1788.35 cores=0,2,4,6
/proc/27901/task/27903/stat : 27903 (java) R 27899 27901 24682 0 -1 4202560 2661 0 1 0 178799 36 0 0 20 0 19 0 280526270 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596643672384 140596510234052 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27904] ppid=27899 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/27901/task/27904/stat : 27904 (java) S 27899 27901 24682 0 -1 4202560 159 0 0 0 71 4 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596632734120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27905] ppid=27899 vsize=9625004 CPUtime=0.75 cores=0,2,4,6
/proc/27901/task/27905/stat : 27905 (java) S 27899 27901 24682 0 -1 4202560 60 0 0 0 72 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596631681576 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27906] ppid=27899 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/27901/task/27906/stat : 27906 (java) S 27899 27901 24682 0 -1 4202560 187 0 0 0 65 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596630628520 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27907] ppid=27899 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/27901/task/27907/stat : 27907 (java) S 27899 27901 24682 0 -1 4202560 142 0 0 0 69 5 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596629575976 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27908] ppid=27899 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 24682 0 -1 4202560 225 0 0 0 69 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596628523944 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27909] ppid=27899 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/27901/task/27909/stat : 27909 (java) S 27899 27901 24682 0 -1 4202560 59 0 0 0 68 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596481834024 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 24682 0 -1 4202560 256 0 0 0 63 4 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596480780968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27911] ppid=27899 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/27901/task/27911/stat : 27911 (java) S 27899 27901 24682 0 -1 4202560 253 0 0 0 76 3 0 0 20 0 19 0 280526271 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596479728424 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=9625004 CPUtime=5.04 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 24682 0 -1 4202560 180 0 0 0 502 2 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596467530088 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27913] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27913/stat : 27913 (java) S 27899 27901 24682 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596466476408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 24682 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280526273 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596465423240 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27915] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27915/stat : 27915 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596464371984 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 24682 0 -1 4202560 2881 0 0 0 43 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596463319864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27901/tid=27917] ppid=27899 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/27901/task/27917/stat : 27917 (java) S 27899 27901 24682 0 -1 4202560 3603 0 0 0 49 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596462267320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 24682 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596461214456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27901/tid=27919] ppid=27899 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/27901/task/27919/stat : 27919 (java) S 27899 27901 24682 0 -1 4202560 103 0 0 0 12 14 0 0 20 0 19 0 280526276 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596460162120 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 24682 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280526316 9856004096 96145 33554432000 1073741824 1073778376 140734594420608 140596459107368 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1795.17
CPU time (s): 1800.8
CPU user time (s): 1799.86
CPU system time (s): 0.943856
CPU usage (%): 100.314
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.943856
maximum resident set size= 384716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11992
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40504
involuntary context switches= 27470

runsolver used 5.46117 second user time and 14.2118 second system time

The end

Launcher Data

Begin job on node144 at 2012-05-27 20:40:14
IDJOB=3710575
IDBENCH=2042
IDSOLVER=2289
FILE ID=node144/3710575-1338144014
RUNJOBID= node144-1338138284-27028
PBS_JOBID= 14624480
Free space on /tmp= 71496 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.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-3710575-1338144014/watcher-3710575-1338144014 -o /tmp/evaluation-result-3710575-1338144014/solver-3710575-1338144014 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710575-1338144014.opb

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

MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5
RANDOM SEED=1470976369

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28947564 kB
Buffers:          372032 kB
Cached:          2608852 kB
SwapCached:            0 kB
Active:           908488 kB
Inactive:        2182016 kB
Active(anon):     110660 kB
Inactive(anon):        0 kB
Active(file):     797828 kB
Inactive(file):  2182016 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1620 kB
Writeback:             0 kB
AnonPages:        178040 kB
Mapped:            22648 kB
Shmem:               200 kB
Slab:             696800 kB
SReclaimable:     139140 kB
SUnreclaim:       557660 kB
KernelStack:        1768 kB
PageTables:         4044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 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= 71496 MiB
End job on node144 at 2012-05-27 21:10:11