Trace number 4085525

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)26 1800.05 1795.55

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark73.1679
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085525-1465250621.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.72/0.43	c ... done. Wall clock time 0.315s.
0.72/0.43	c declared #vars     6076
0.72/0.43	c #constraints  21401
0.72/0.43	c constraints type 
0.72/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5411
0.72/0.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
0.72/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15984
0.72/0.43	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.72/0.43	c 21401 constraints processed.
0.72/0.43	c objective function length is 666 literals
0.72/0.48	c SATISFIABLE
0.72/0.48	c OPTIMIZING...
0.72/0.48	c Got one! Elapsed wall clock time (in seconds):0.371
0.72/0.49	o 26
2.94/2.24	c cleaning 2492 clauses out of 5003 with flag 33193/5003
5.31/4.47	c cleaning 4241 clauses out of 8511 with flag 91255/11003
7.52/6.69	c cleaning 5625 clauses out of 11271 with flag 164330/18004
9.73/8.84	c cleaning 6779 clauses out of 13645 with flag 234784/26003
12.04/11.10	c cleaning 7907 clauses out of 15866 with flag 307469/35003
15.14/14.22	c cleaning 8975 clauses out of 17959 with flag 451549/45003
18.44/17.59	c cleaning 9974 clauses out of 19984 with flag 567492/56003
22.43/21.51	c cleaning 10975 clauses out of 22010 with flag 724801/68003
26.76/25.86	c cleaning 11993 clauses out of 24035 with flag 841481/81003
31.85/30.57	c cleaning 13016 clauses out of 26046 with flag 1001415/95007
36.95/35.67	c cleaning 13968 clauses out of 28027 with flag 1169658/110004
42.37/41.05	c cleaning 14964 clauses out of 30058 with flag 1353420/126003
48.23/46.50	c cleaning 16042 clauses out of 32096 with flag 1582748/143005
54.23/52.52	c cleaning 16995 clauses out of 34052 with flag 1865295/161003
61.13/59.43	c cleaning 17949 clauses out of 36057 with flag 2190206/180003
67.66/65.92	c cleaning 19046 clauses out of 38110 with flag 2433853/200005
74.16/72.44	c cleaning 19997 clauses out of 40063 with flag 2632956/221004
80.56/78.81	c cleaning 20998 clauses out of 42065 with flag 2849197/243003
88.06/86.36	c cleaning 21970 clauses out of 44068 with flag 3068722/266004
96.66/94.96	c cleaning 23032 clauses out of 46098 with flag 3293789/290004
104.17/102.41	c cleaning 23958 clauses out of 48065 with flag 3566467/315003
112.36/110.66	c cleaning 25016 clauses out of 50107 with flag 3860459/341003
119.96/118.24	c cleaning 25993 clauses out of 52091 with flag 4161774/368003
128.13/126.32	c cleaning 27028 clauses out of 54098 with flag 4443319/396003
137.93/136.17	c cleaning 27972 clauses out of 56070 with flag 4762810/425003
146.83/145.01	c cleaning 29032 clauses out of 58098 with flag 5075732/455003
156.93/155.11	c cleaning 30013 clauses out of 60066 with flag 5497930/486003
167.14/165.37	c cleaning 30996 clauses out of 62053 with flag 5826359/518003
177.94/176.12	c cleaning 32020 clauses out of 64058 with flag 6190963/551004
189.43/187.65	c cleaning 32936 clauses out of 66037 with flag 6576733/585003
201.06/199.20	c cleaning 34028 clauses out of 68101 with flag 6991046/620003
212.66/210.78	c cleaning 35000 clauses out of 70073 with flag 7431695/656003
223.96/222.08	c cleaning 36037 clauses out of 72073 with flag 7863460/693003
235.86/233.95	c cleaning 36965 clauses out of 74037 with flag 8223430/731004
250.04/247.95	c cleaning 38001 clauses out of 76071 with flag 8692332/770003
264.13/262.02	c cleaning 39010 clauses out of 78071 with flag 9164153/810004
279.93/277.83	c cleaning 39997 clauses out of 80060 with flag 9557792/851003
295.03/292.92	c cleaning 41016 clauses out of 82063 with flag 10080574/893003
309.63/307.58	c cleaning 42017 clauses out of 84048 with flag 10622815/936004
325.58/323.38	c cleaning 42969 clauses out of 86030 with flag 11148748/980003
342.08/339.84	c cleaning 43985 clauses out of 88061 with flag 11701887/1025003
358.98/356.78	c cleaning 45002 clauses out of 90078 with flag 12185445/1071005
376.82/374.55	c cleaning 45999 clauses out of 92074 with flag 12785914/1118003
394.12/391.82	c cleaning 46984 clauses out of 94075 with flag 13254613/1166003
410.80/408.37	c cleaning 47948 clauses out of 96092 with flag 13939678/1215004
430.00/427.59	c cleaning 49030 clauses out of 98143 with flag 14462802/1265003
448.19/445.77	c cleaning 50019 clauses out of 100113 with flag 15075454/1316003
467.10/464.61	c cleaning 50917 clauses out of 102094 with flag 15828603/1368003
486.51/484.03	c cleaning 52042 clauses out of 104177 with flag 16463059/1421003
507.16/504.53	c cleaning 53014 clauses out of 106135 with flag 17077114/1475003
526.17/523.57	c cleaning 54035 clauses out of 108121 with flag 17832340/1530003
547.77/545.18	c cleaning 55001 clauses out of 110086 with flag 18460493/1586003
571.78/569.15	c cleaning 56000 clauses out of 112087 with flag 19047769/1643005
595.15/592.39	c cleaning 56940 clauses out of 114085 with flag 19675314/1701003
616.75/613.95	c cleaning 57976 clauses out of 116145 with flag 20441212/1760003
641.45/638.68	c cleaning 58970 clauses out of 118169 with flag 21107201/1820003
665.36/662.57	c cleaning 60063 clauses out of 120200 with flag 21828847/1881004
688.98/686.08	c cleaning 60999 clauses out of 122136 with flag 22708394/1943003
712.59/709.64	c cleaning 62061 clauses out of 124138 with flag 23705241/2006004
737.95/734.87	c cleaning 63015 clauses out of 126081 with flag 24641875/2070008
763.43/760.31	c cleaning 63977 clauses out of 128061 with flag 25524809/2135003
789.26/786.03	c cleaning 65015 clauses out of 130087 with flag 26553530/2201006
814.65/811.49	c cleaning 65987 clauses out of 132069 with flag 27489655/2268003
842.05/838.84	c cleaning 66988 clauses out of 134082 with flag 28351867/2336003
869.69/866.46	c cleaning 68004 clauses out of 136094 with flag 29085662/2405003
897.49/894.29	c cleaning 68937 clauses out of 138091 with flag 29968340/2475004
926.20/922.90	c cleaning 70045 clauses out of 140153 with flag 30936669/2546003
955.70/952.31	c cleaning 71022 clauses out of 142108 with flag 31818812/2618003
984.41/981.07	c cleaning 72018 clauses out of 144088 with flag 32779937/2691005
1016.07/1012.60	c cleaning 73006 clauses out of 146068 with flag 33675187/2765003
1046.16/1042.78	c cleaning 73988 clauses out of 148062 with flag 34654525/2840003
1076.06/1072.58	c cleaning 74975 clauses out of 150075 with flag 35616981/2916004
1107.16/1103.60	c cleaning 75973 clauses out of 152099 with flag 36588515/2993003
1141.32/1137.79	c cleaning 77048 clauses out of 154126 with flag 37505921/3071003
1175.53/1171.92	c cleaning 78011 clauses out of 156078 with flag 38407339/3150003
1209.20/1205.57	c cleaning 79012 clauses out of 158067 with flag 39304758/3230003
1241.69/1238.03	c cleaning 79975 clauses out of 160055 with flag 40211933/3311003
1276.06/1272.31	c cleaning 80961 clauses out of 162080 with flag 41285054/3393003
1308.46/1304.76	c cleaning 82015 clauses out of 164119 with flag 42218711/3476003
1340.68/1336.90	c cleaning 82985 clauses out of 166104 with flag 43436257/3560003
1374.46/1370.62	c cleaning 84051 clauses out of 168120 with flag 44643592/3645004
1410.37/1406.47	c cleaning 85000 clauses out of 170068 with flag 45708771/3731003
1447.97/1444.04	c cleaning 86005 clauses out of 172068 with flag 46615083/3818003
1484.51/1480.48	c cleaning 87002 clauses out of 174063 with flag 47506473/3906003
1522.30/1518.28	c cleaning 88013 clauses out of 176061 with flag 48377784/3995003
1560.57/1556.41	c cleaning 88976 clauses out of 178049 with flag 49497708/4085004
1598.37/1594.10	c cleaning 90025 clauses out of 180072 with flag 50734803/4176003
1637.54/1633.28	c cleaning 90995 clauses out of 182050 with flag 51918132/4268006
1676.31/1671.96	c cleaning 91991 clauses out of 184052 with flag 53371605/4361003
1714.70/1710.32	c cleaning 92978 clauses out of 186062 with flag 54540001/4455004
1755.58/1751.14	c cleaning 93993 clauses out of 188083 with flag 55847823/4550003
1796.65/1792.14	c cleaning 95016 clauses out of 190090 with flag 57308598/4646003
1800.05/1795.50	c starts		: 446
1800.05/1795.50	c conflicts		: 4655064
1800.05/1795.50	c decisions		: 80988876
1800.05/1795.50	c propagations		: 3999845438
1800.05/1795.50	c inspects		: 18351857336
1800.05/1795.50	c shortcuts		: 0
1800.05/1795.50	c learnt literals	: 0
1800.05/1795.50	c learnt binary clauses	: 11
1800.05/1795.50	c learnt ternary clauses	: 19
1800.05/1795.50	c learnt constraints	: 4655064
1800.05/1795.50	c ignored constraints	: 0
1800.05/1795.50	c root simplifications	: 0
1800.05/1795.50	c removed literals (reason simplification)	: 0
1800.05/1795.50	c reason swapping (by a shorter reason)	: 0
1800.05/1795.50	c Calls to reduceDB	: 92
1800.05/1795.50	c Number of update (reduction) of LBD	: 3524253
1800.05/1795.50	c Imported unit clauses	: 0
1800.05/1795.50	c number of reductions to clauses (during analyze)	: 0
1800.05/1795.50	c number of learned constraints concerned by reduction	: 0
1800.05/1795.50	c number of learning phase by resolution	: 0
1800.05/1795.50	c number of learning phase by cutting planes	: 0
1800.05/1795.50	c speed (assignments/second)	: 2228248.1311240885
1800.05/1795.50	c non guided choices	0
1800.05/1795.53	c learnt constraints type 
1800.05/1795.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 11
1800.05/1795.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 104125
1800.05/1795.53	s SATISFIABLE
1800.05/1795.53	c Found 1 solution(s)
1800.05/1795.54	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 
1800.05/1795.55	c objective function=26
1800.05/1795.55	c Total wall clock time (in seconds): 1795.433

Verifier Data 

OK	26

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4085525-1465250621/watcher-4085525-1465250621 -o /tmp/evaluation-result-4085525-1465250621/solver-4085525-1465250621 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32382 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085525-1465250621.opb 

pid=5845
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.13 2.18 2.18 3/194 5848
/proc/meminfo: memFree=29937692/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/5848/stat : 5848 (java) D 5845 5848 32365 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 106994492 2560000 47 33554432000 1073741824 1073778376 140734158483280 140734158480408 240556010791 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 625 47 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.13 2.18 2.18 3/194 5848
/proc/meminfo: memFree=29937692/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/5848/stat : 5848 (java) S 5845 5848 32365 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 106994492 9787879424 6029 33554432000 1073741824 1073778376 140734158483280 140734158474416 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 2389619 6029 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 2.13 2.18 2.18 3/194 5848
/proc/meminfo: memFree=29937692/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/5848/stat : 5848 (java) S 5845 5848 32365 0 -1 4202496 5009 0 1 0 25 1 0 0 20 0 18 0 106994492 9787879424 7017 33554432000 1073741824 1073778376 140734158483280 140734158474416 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 2389619 7017 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.30024 s]
/proc/loadavg: 2.13 2.18 2.18 3/194 5848
/proc/meminfo: memFree=29937692/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/5848/stat : 5848 (java) S 5845 5848 32365 0 -1 4202496 5789 0 1 0 47 1 0 0 20 0 18 0 106994492 9787879424 8453 33554432000 1073741824 1073778376 140734158483280 140734158474416 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 2389619 8453 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700173 s]
/proc/loadavg: 2.13 2.18 2.18 3/194 5848
/proc/meminfo: memFree=29937692/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/5848/stat : 5848 (java) S 5845 5848 32365 0 -1 4202496 9613 0 1 0 138 2 0 0 20 0 19 0 106994492 9856040960 19013 33554432000 1073741824 1073778376 140734158483280 140734158474416 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 2406260 19013 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.13 2.18 2.18 3/213 5867
/proc/meminfo: memFree=29868232/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=9625040 CPUtime=2.24 cores=1,3,5,7
/proc/5848/stat : 5848 (java) S 5845 5848 32365 0 -1 4202496 9865 0 1 0 222 2 0 0 20 0 19 0 106994492 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 140734158474416 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 2406260 19302 2268 9 0 2396937 0
[pid=5848/tid=5850] ppid=5845 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/5848/task/5850/stat : 5850 (java) R 5845 5848 32365 0 -1 4202560 2427 0 1 0 144 1 0 0 20 0 19 0 106994493 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768853543432 139768722300008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5851] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5851/stat : 5851 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768842607656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5852] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5852/stat : 5852 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768841554856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5853] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5853/stat : 5853 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768840502056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5854] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5854/stat : 5854 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768693996200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5855] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5855/stat : 5855 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768692943400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5856] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5856/stat : 5856 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768691890600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5857] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5857/stat : 5857 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768690837800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5858] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5858/stat : 5858 (java) S 5845 5848 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768689785000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5859] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5859/stat : 5859 (java) S 5845 5848 32365 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768677587944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5860] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5860/stat : 5860 (java) S 5845 5848 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768676534008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5861] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5861/stat : 5861 (java) S 5845 5848 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768675481096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5862] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5862/stat : 5862 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768674429584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5863] ppid=5845 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5848/task/5863/stat : 5863 (java) S 5845 5848 32365 0 -1 4202560 3013 0 0 0 36 0 0 0 20 0 19 0 106994498 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768673376696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5864] ppid=5845 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5848/task/5864/stat : 5864 (java) S 5845 5848 32365 0 -1 4202560 3151 0 0 0 38 0 0 0 20 0 19 0 106994498 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768672323896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5865] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5865/stat : 5865 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768671271288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5866] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5866/stat : 5866 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768670218696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5867] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5867/stat : 5867 (java) S 5845 5848 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106994536 9856040960 19302 33554432000 1073741824 1073778376 140734158483280 139768669165224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 9625040

[startup+3.10072 s]
/proc/loadavg: 2.13 2.18 2.18 3/213 5867
/proc/meminfo: memFree=29867604/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/5848/stat : 5848 (java) S 5845 5848 32365 0 -1 4202496 13307 0 1 0 395 3 0 0 20 0 19 0 106994492 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 140734158474416 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 2406260 21483 2272 9 0 2396937 0
[pid=5848/tid=5850] ppid=5845 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/5848/task/5850/stat : 5850 (java) R 5845 5848 32365 0 -1 4202560 2427 0 1 0 304 2 0 0 20 0 19 0 106994493 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768853544968 139768722295879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5851] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5851/stat : 5851 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768842607656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5852] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5852/stat : 5852 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768841554856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5853] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5853/stat : 5853 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768840502056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5854] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5854/stat : 5854 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768693996200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5855] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5855/stat : 5855 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768692943400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5856] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5856/stat : 5856 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768691890600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5857] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5857/stat : 5857 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768690837800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5858] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5858/stat : 5858 (java) S 5845 5848 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768689785000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5859] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5859/stat : 5859 (java) S 5845 5848 32365 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768677587944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5860] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5860/stat : 5860 (java) S 5845 5848 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768676534008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5861] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5861/stat : 5861 (java) S 5845 5848 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768675481096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5862] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5862/stat : 5862 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768674429584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5863] ppid=5845 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/5848/task/5863/stat : 5863 (java) S 5845 5848 32365 0 -1 4202560 3015 0 0 0 38 0 0 0 20 0 19 0 106994498 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768673376696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5864] ppid=5845 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/5848/task/5864/stat : 5864 (java) S 5845 5848 32365 0 -1 4202560 6591 0 0 0 51 0 0 0 20 0 19 0 106994498 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768672323896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5865] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5865/stat : 5865 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768671271288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5866] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5866/stat : 5866 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768670218696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5867] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5867/stat : 5867 (java) S 5845 5848 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106994536 9856040960 21483 33554432000 1073741824 1073778376 140734158483280 139768669165224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.12 2.18 2.18 3/213 5867
/proc/meminfo: memFree=29855964/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=9625040 CPUtime=7.21 cores=1,3,5,7
/proc/5848/stat : 5848 (java) S 5845 5848 32365 0 -1 4202496 13311 0 1 0 718 3 0 0 20 0 19 0 106994492 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 140734158474416 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 2406260 22280 2272 9 0 2396937 0
[pid=5848/tid=5850] ppid=5845 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/5848/task/5850/stat : 5850 (java) R 5845 5848 32365 0 -1 4202560 2431 0 1 0 623 2 0 0 20 0 19 0 106994493 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768853545288 139768722296259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5851] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5851/stat : 5851 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768842607656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5852] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5852/stat : 5852 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768841554856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5853] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5853/stat : 5853 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768840502056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5854] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5854/stat : 5854 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768693996200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5855] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5855/stat : 5855 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768692943400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5856] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5856/stat : 5856 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768691890600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5857] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5857/stat : 5857 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768690837800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5858] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5858/stat : 5858 (java) S 5845 5848 32365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106994494 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768689785000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5859] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5859/stat : 5859 (java) S 5845 5848 32365 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768677587944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5860] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5860/stat : 5860 (java) S 5845 5848 32365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768676534008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5861] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5861/stat : 5861 (java) S 5845 5848 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768675481096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5862] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5862/stat : 5862 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768674429584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5863] ppid=5845 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/5848/task/5863/stat : 5863 (java) S 5845 5848 32365 0 -1 4202560 3015 0 0 0 40 0 0 0 20 0 19 0 106994498 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768673376696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5864] ppid=5845 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/5848/task/5864/stat : 5864 (java) S 5845 5848 32365 0 -1 4202560 6591 0 0 0 52 0 0 0 20 0 19 0 106994498 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768672323896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5865] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5865/stat : 5865 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768671271288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5866] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5866/stat : 5866 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768670218696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5867] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5867/stat : 5867 (java) S 5845 5848 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106994536 9856040960 22280 33554432000 1073741824 1073778376 140734158483280 139768669165224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 9625040


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

[pid=5848/tid=5867] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5867/stat : 5867 (java) S 5845 5848 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106994536 9856040960 133269 33554432000 1073741824 1073778376 140734158483280 139768669165224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1726.7
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 1.28 1.29 1.54 2/188 5943
/proc/meminfo: memFree=29626924/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=9625040 CPUtime=1786.85 cores=1,3,5,7
/proc/5848/stat : 5848 (java) S 5845 5848 32365 0 -1 4202496 25670 0 1 0 178593 92 0 0 20 0 19 0 106994492 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 140734158474416 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 2406260 131264 2294 9 0 2396937 0
[pid=5848/tid=5850] ppid=5845 vsize=9625040 CPUtime=1776.15 cores=1,3,5,7
/proc/5848/task/5850/stat : 5850 (java) R 5845 5848 32365 0 -1 4202560 2503 0 1 0 177586 29 0 0 20 0 19 0 106994493 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768853544128 139768722229539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5851] ppid=5845 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5848/task/5851/stat : 5851 (java) S 5845 5848 32365 0 -1 4202560 269 0 0 0 38 11 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768842607656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5852] ppid=5845 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/5848/task/5852/stat : 5852 (java) S 5845 5848 32365 0 -1 4202560 145 0 0 0 34 5 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768841554856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5853] ppid=5845 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/5848/task/5853/stat : 5853 (java) S 5845 5848 32365 0 -1 4202560 275 0 0 0 39 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768840502056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5854] ppid=5845 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/5848/task/5854/stat : 5854 (java) S 5845 5848 32365 0 -1 4202560 256 0 0 0 43 9 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768693996200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5855] ppid=5845 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5848/task/5855/stat : 5855 (java) S 5845 5848 32365 0 -1 4202560 159 0 0 0 42 7 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768692943400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5856] ppid=5845 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5848/task/5856/stat : 5856 (java) S 5845 5848 32365 0 -1 4202560 320 0 0 0 35 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768691890600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5857] ppid=5845 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5848/task/5857/stat : 5857 (java) S 5845 5848 32365 0 -1 4202560 217 0 0 0 35 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768690837800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5858] ppid=5845 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/5848/task/5858/stat : 5858 (java) S 5845 5848 32365 0 -1 4202560 239 0 0 0 37 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768689785000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5859] ppid=5845 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/5848/task/5859/stat : 5859 (java) S 5845 5848 32365 0 -1 4202560 197 0 0 0 30 2 0 0 20 0 19 0 106994495 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768677587944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5860] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5860/stat : 5860 (java) S 5845 5848 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768676534008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5861] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5861/stat : 5861 (java) S 5845 5848 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768675481096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5862] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5862/stat : 5862 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768674429584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5863] ppid=5845 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/5848/task/5863/stat : 5863 (java) S 5845 5848 32365 0 -1 4202560 13135 0 0 0 122 2 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768673376696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5864] ppid=5845 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/5848/task/5864/stat : 5864 (java) S 5845 5848 32365 0 -1 4202560 6593 0 0 0 62 0 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768672323896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5865] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5865/stat : 5865 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768671271288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5866] ppid=5845 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5848/task/5866/stat : 5866 (java) S 5845 5848 32365 0 -1 4202560 103 0 0 0 17 26 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768670218696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5867] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5867/stat : 5867 (java) S 5845 5848 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106994536 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768669165224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1786.85
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.5 s]
/proc/loadavg: 1.37 1.31 1.54 2/187 5943
/proc/meminfo: memFree=29626976/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/5848/stat : 5848 (java) S 5845 5848 32365 0 -1 4202496 25670 0 1 0 179913 92 0 0 20 0 19 0 106994492 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 140734158474416 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 2406260 131264 2294 9 0 2396937 0
[pid=5848/tid=5850] ppid=5845 vsize=9625040 CPUtime=1789.31 cores=1,3,5,7
/proc/5848/task/5850/stat : 5850 (java) R 5845 5848 32365 0 -1 4202560 2503 0 1 0 178901 30 0 0 20 0 19 0 106994493 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768853536448 139768722204136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5851] ppid=5845 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5848/task/5851/stat : 5851 (java) S 5845 5848 32365 0 -1 4202560 269 0 0 0 38 11 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768842607656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5852] ppid=5845 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/5848/task/5852/stat : 5852 (java) S 5845 5848 32365 0 -1 4202560 145 0 0 0 34 5 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768841554856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5853] ppid=5845 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/5848/task/5853/stat : 5853 (java) S 5845 5848 32365 0 -1 4202560 275 0 0 0 39 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768840502056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5854] ppid=5845 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/5848/task/5854/stat : 5854 (java) S 5845 5848 32365 0 -1 4202560 256 0 0 0 43 9 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768693996200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5855] ppid=5845 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5848/task/5855/stat : 5855 (java) S 5845 5848 32365 0 -1 4202560 159 0 0 0 42 7 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768692943400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5856] ppid=5845 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5848/task/5856/stat : 5856 (java) S 5845 5848 32365 0 -1 4202560 320 0 0 0 35 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768691890600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5857] ppid=5845 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5848/task/5857/stat : 5857 (java) S 5845 5848 32365 0 -1 4202560 217 0 0 0 35 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768690837800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5858] ppid=5845 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/5848/task/5858/stat : 5858 (java) S 5845 5848 32365 0 -1 4202560 239 0 0 0 37 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768689785000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5859] ppid=5845 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/5848/task/5859/stat : 5859 (java) S 5845 5848 32365 0 -1 4202560 197 0 0 0 30 2 0 0 20 0 19 0 106994495 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768677587944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5860] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5860/stat : 5860 (java) S 5845 5848 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768676534008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5861] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5861/stat : 5861 (java) S 5845 5848 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768675481096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5862] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5862/stat : 5862 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768674429584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5863] ppid=5845 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/5848/task/5863/stat : 5863 (java) S 5845 5848 32365 0 -1 4202560 13135 0 0 0 122 2 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768673376696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5864] ppid=5845 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/5848/task/5864/stat : 5864 (java) S 5845 5848 32365 0 -1 4202560 6593 0 0 0 62 0 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768672323896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5865] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5865/stat : 5865 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768671271288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5866] ppid=5845 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/5848/task/5866/stat : 5866 (java) S 5845 5848 32365 0 -1 4202560 103 0 0 0 18 26 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768670218696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5867] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5867/stat : 5867 (java) S 5845 5848 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106994536 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768669165224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1795.5 s]
/proc/loadavg: 1.37 1.31 1.54 2/187 5943
/proc/meminfo: memFree=29626976/32872528 swapFree=15844/1710320
[pid=5848] ppid=5845 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/5848/stat : 5848 (java) S 5845 5848 32365 0 -1 4202496 25670 0 1 0 179913 92 0 0 20 0 19 0 106994492 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 140734158474416 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5848/statm: 2406260 131264 2294 9 0 2396937 0
[pid=5848/tid=5850] ppid=5845 vsize=9625040 CPUtime=1789.31 cores=1,3,5,7
/proc/5848/task/5850/stat : 5850 (java) R 5845 5848 32365 0 -1 4202560 2503 0 1 0 178901 30 0 0 20 0 19 0 106994493 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768853536448 139768722204136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5851] ppid=5845 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5848/task/5851/stat : 5851 (java) S 5845 5848 32365 0 -1 4202560 269 0 0 0 38 11 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768842607656 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5852] ppid=5845 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/5848/task/5852/stat : 5852 (java) S 5845 5848 32365 0 -1 4202560 145 0 0 0 34 5 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768841554856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5853] ppid=5845 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/5848/task/5853/stat : 5853 (java) S 5845 5848 32365 0 -1 4202560 275 0 0 0 39 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768840502056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5854] ppid=5845 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/5848/task/5854/stat : 5854 (java) S 5845 5848 32365 0 -1 4202560 256 0 0 0 43 9 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768693996200 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5855] ppid=5845 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/5848/task/5855/stat : 5855 (java) S 5845 5848 32365 0 -1 4202560 159 0 0 0 42 7 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768692943400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5856] ppid=5845 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5848/task/5856/stat : 5856 (java) S 5845 5848 32365 0 -1 4202560 320 0 0 0 35 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768691890600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5848/tid=5857] ppid=5845 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/5848/task/5857/stat : 5857 (java) S 5845 5848 32365 0 -1 4202560 217 0 0 0 35 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768690837800 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5848/tid=5858] ppid=5845 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/5848/task/5858/stat : 5858 (java) S 5845 5848 32365 0 -1 4202560 239 0 0 0 37 8 0 0 20 0 19 0 106994494 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768689785000 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5859] ppid=5845 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/5848/task/5859/stat : 5859 (java) S 5845 5848 32365 0 -1 4202560 197 0 0 0 30 2 0 0 20 0 19 0 106994495 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768677587944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5860] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5860/stat : 5860 (java) S 5845 5848 32365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768676534008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5861] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5861/stat : 5861 (java) S 5845 5848 32365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106994495 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768675481096 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5862] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5862/stat : 5862 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768674429584 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5863] ppid=5845 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/5848/task/5863/stat : 5863 (java) S 5845 5848 32365 0 -1 4202560 13135 0 0 0 122 2 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768673376696 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5848/tid=5864] ppid=5845 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/5848/task/5864/stat : 5864 (java) S 5845 5848 32365 0 -1 4202560 6593 0 0 0 62 0 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768672323896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5865] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5865/stat : 5865 (java) S 5845 5848 32365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768671271288 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5866] ppid=5845 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/5848/task/5866/stat : 5866 (java) S 5845 5848 32365 0 -1 4202560 103 0 0 0 18 26 0 0 20 0 19 0 106994498 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768670218696 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5848/tid=5867] ppid=5845 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5848/task/5867/stat : 5867 (java) S 5845 5848 32365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106994536 9856040960 131264 33554432000 1073741824 1073778376 140734158483280 139768669165224 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5848 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=608178
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=382789
# CPU time returned by wait4() is 1795.99
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.55
CPU time (s): 1800.05
CPU user time (s): 1799.13
CPU system time (s): 0.92
CPU usage (%): 100.25
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 1.38279
maximum resident set size= 703804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25710
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38780
involuntary context switches= 15955

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1523 second user time and 12.4841 second system time

The end

Launcher Data 

Begin job on node146 at 2016-06-07 00:03:41
IDJOB=4085525
IDBENCH=25012
IDSOLVER=2546
FILE ID=node146/4085525-1465250621
RUNJOBID= node146-1465217554-32382
PBS_JOBID= 19843206
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085525-1465250621/watcher-4085525-1465250621 -o /tmp/evaluation-result-4085525-1465250621/solver-4085525-1465250621 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node146-1465217554-32382 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085525-1465250621.opb

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

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=1202773632

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29938336 kB
Buffers:           45228 kB
Cached:           263548 kB
SwapCached:         1468 kB
Active:           275520 kB
Inactive:         243944 kB
Active(anon):     211668 kB
Inactive(anon):     1608 kB
Active(file):      63852 kB
Inactive(file):   242336 kB
Unevictable:     1710320 kB
Mlocked:           15844 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:              1216 kB
Writeback:            60 kB
AnonPages:       1920536 kB
Mapped:            15304 kB
Shmem:                 0 kB
Slab:             569860 kB
SReclaimable:      13284 kB
SUnreclaim:       556576 kB
KernelStack:        1568 kB
PageTables:         8000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2399600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1888256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node146 at 2016-06-07 00:33:37