Trace number 4101946

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)359 1800.1 898.685

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb
MD5SUM8b204aeb505cc1c787aa4db3220d0b5a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark209
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 272
Optimality of the best value was proved NO
Number of variables5380
Total number of constraints584
Number of constraints which are clauses32
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint2
Maximum length of a constraint54
Number of terms in the objective function 3720
Biggest coefficient in the objective function 2115
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527620
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262086
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527620
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4101946-1466216901.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.48/0.36	c ... done. Wall clock time 0.226s.
0.48/0.36	c declared #vars     5380
0.48/0.36	c #constraints  916
0.48/0.36	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.48/0.36	c constraints type 
0.48/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 49
0.48/0.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 368
0.48/0.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 80
0.48/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 419
0.48/0.36	c 916 constraints processed.
0.48/0.36	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.48/0.36	c constraints type 
0.48/0.36	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 80
0.48/0.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 49
0.48/0.36	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 368
0.48/0.36	c org.sat4j.pb.constraints.pb.MaxWatchPb => 419
0.48/0.36	c 916 constraints processed.
0.48/0.36	c objective function length is 3720 literals
1.75/0.79	c And the winner is solver0
2.14/0.88	c SATISFIABLE
2.14/0.88	c OPTIMIZING...
2.14/0.88	c Got one! Elapsed wall clock time (in seconds):0.747
2.14/0.88	o 508
2.32/0.94	c And the winner is solver0
2.56/1.39	c Got one! Elapsed wall clock time (in seconds):1.261
2.56/1.39	o 430
2.58/1.41	c And the winner is solver0
2.73/1.90	c Got one! Elapsed wall clock time (in seconds):1.772
2.73/1.90	o 359
6.26/3.53	c cleaning 2565 clauses out of 5129 with flag 16083/5129
10.07/5.35	c cleaning 4282 clauses out of 8566 with flag 32135/11131
15.04/7.79	c cleaning 5636 clauses out of 11282 with flag 51688/18129
20.77/10.50	c cleaning 6815 clauses out of 13646 with flag 74214/26129
27.15/13.68	c cleaning 7916 clauses out of 15831 with flag 98683/35129
34.02/17.04	c cleaning 8948 clauses out of 17915 with flag 125282/45129
42.15/21.01	c cleaning 9979 clauses out of 19967 with flag 154259/56129
50.84/25.36	c cleaning 10992 clauses out of 21988 with flag 187446/68129
60.04/29.92	c cleaning 11996 clauses out of 23998 with flag 224028/81131
69.73/34.73	c cleaning 13000 clauses out of 26000 with flag 262966/95129
79.40/39.56	c cleaning 0 clauses out of 5084 with flag 0/5086
80.87/40.14	c cleaning 13994 clauses out of 28000 with flag 303702/110129
92.86/46.07	c cleaning 15000 clauses out of 30010 with flag 348303/126133
105.72/52.44	c cleaning 16000 clauses out of 32006 with flag 395300/143129
119.32/59.28	c cleaning 16998 clauses out of 34006 with flag 444633/161129
134.51/66.89	c cleaning 18004 clauses out of 36009 with flag 497429/180130
150.65/74.88	c cleaning 18997 clauses out of 38004 with flag 553057/200129
168.09/83.55	c cleaning 20001 clauses out of 40008 with flag 612073/221130
187.27/93.01	c cleaning 21003 clauses out of 42007 with flag 673151/243130
207.38/103.01	c cleaning 21994 clauses out of 44003 with flag 735103/266129
227.84/113.24	c cleaning 22992 clauses out of 46009 with flag 795320/290129
228.25/113.47	c cleaning 0 clauses out of 11084 with flag 0/11086
250.34/124.47	c cleaning 23992 clauses out of 48017 with flag 857808/315129
271.98/135.21	c cleaning 25003 clauses out of 50025 with flag 930552/341129
296.29/147.51	c cleaning 26006 clauses out of 52024 with flag 1003699/368131
321.97/160.40	c cleaning 26994 clauses out of 54017 with flag 1084523/396130
349.45/174.03	c cleaning 28007 clauses out of 56025 with flag 1167357/425132
377.77/188.11	c cleaning 29006 clauses out of 58015 with flag 1244428/455129
407.96/203.23	c cleaning 29995 clauses out of 60009 with flag 1336304/486129
438.77/218.61	c cleaning 31006 clauses out of 62018 with flag 1430865/518133
469.61/234.03	c cleaning 31990 clauses out of 64008 with flag 1526225/551129
502.03/250.22	c cleaning 33004 clauses out of 66020 with flag 1617427/585131
533.45/266.11	c cleaning 34011 clauses out of 68022 with flag 1715172/620137
572.95/285.75	c cleaning 34998 clauses out of 70003 with flag 1818691/656129
589.44/293.92	c cleaning 0 clauses out of 18084 with flag 0/18086
609.11/303.78	c cleaning 36000 clauses out of 72005 with flag 1924858/693129
652.75/325.71	c cleaning 36999 clauses out of 74005 with flag 2036133/731129
703.93/351.26	c cleaning 38007 clauses out of 76013 with flag 2137223/770136
746.25/372.33	c cleaning 38995 clauses out of 77999 with flag 2250987/810129
785.64/392.09	c cleaning 39995 clauses out of 80004 with flag 2369054/851129
827.55/412.90	c cleaning 40992 clauses out of 82009 with flag 2480519/893129
876.30/437.25	c cleaning 42006 clauses out of 84017 with flag 2592694/936129
884.00/441.08	c cleaning 0 clauses out of 26085 with flag 0/26087
926.08/462.37	c cleaning 43006 clauses out of 86016 with flag 2718314/980134
973.95/486.21	c cleaning 43998 clauses out of 88005 with flag 2840925/1025129
1020.61/509.56	c cleaning 45002 clauses out of 90009 with flag 2958206/1071131
1076.19/537.22	c cleaning 45988 clauses out of 92005 with flag 3088798/1118129
1134.42/566.21	c cleaning 47005 clauses out of 94017 with flag 3220699/1166129
1191.42/594.61	c cleaning 48006 clauses out of 96012 with flag 3352860/1215129
1252.17/625.12	c cleaning 48998 clauses out of 98006 with flag 3477251/1265129
1311.12/654.51	c cleaning 50003 clauses out of 100008 with flag 3609732/1316129
1370.10/683.97	c cleaning 51005 clauses out of 102010 with flag 3756930/1368134
1429.69/713.70	c cleaning 51996 clauses out of 104008 with flag 3913337/1421137
1458.65/728.08	c cleaning 0 clauses out of 35085 with flag 0/35087
1495.32/746.37	c cleaning 52995 clauses out of 106004 with flag 4066019/1475129
1556.73/776.98	c cleaning 54004 clauses out of 108009 with flag 4221470/1530129
1622.50/809.75	c cleaning 54991 clauses out of 110006 with flag 4380491/1586130
1695.83/846.77	c cleaning 56000 clauses out of 112018 with flag 4535581/1643133
1767.24/882.24	c cleaning 56997 clauses out of 114014 with flag 4694111/1701129
1800.10/898.60	c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<<
1800.10/898.60	c starts		: 19
1800.10/898.60	c conflicts		: 1731040
1800.10/898.60	c decisions		: 3692228
1800.10/898.60	c propagations		: 568829890
1800.10/898.60	c inspects		: 7427423467
1800.10/898.60	c shortcuts		: 0
1800.10/898.60	c learnt literals	: 0
1800.10/898.60	c learnt binary clauses	: 2
1800.10/898.60	c learnt ternary clauses	: 1
1800.10/898.60	c learnt constraints	: 1731040
1800.10/898.60	c ignored constraints	: 0
1800.10/898.60	c root simplifications	: 0
1800.10/898.60	c removed literals (reason simplification)	: 1190386
1800.10/898.60	c reason swapping (by a shorter reason)	: 0
1800.10/898.60	c Calls to reduceDB	: 54
1800.10/898.60	c Number of update (reduction) of LBD	: 469548
1800.10/898.60	c Imported unit clauses	: 0
1800.10/898.60	c number of reductions to clauses (during analyze)	: 0
1800.10/898.60	c number of learned constraints concerned by reduction	: 0
1800.10/898.60	c number of learning phase by resolution	: 0
1800.10/898.60	c number of learning phase by cutting planes	: 0
1800.10/898.60	c speed (assignments/second)	: 633296.2853691529
1800.10/898.60	c non guided choices	374
1800.10/898.63	c learnt constraints type 
1800.10/898.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2
1800.10/898.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 86926
1800.10/898.63	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.10/898.63	c starts		: 17
1800.10/898.63	c conflicts		: 38399
1800.10/898.63	c decisions		: 1146509
1800.10/898.63	c propagations		: 2735409
1800.10/898.63	c inspects		: 504971208
1800.10/898.63	c shortcuts		: 0
1800.10/898.63	c learnt literals	: 0
1800.10/898.63	c learnt binary clauses	: 0
1800.10/898.63	c learnt ternary clauses	: 0
1800.10/898.63	c learnt constraints	: 38396
1800.10/898.63	c ignored constraints	: 0
1800.10/898.63	c root simplifications	: 0
1800.10/898.63	c removed literals (reason simplification)	: 0
1800.10/898.63	c reason swapping (by a shorter reason)	: 0
1800.10/898.63	c Calls to reduceDB	: 5
1800.10/898.63	c Number of update (reduction) of LBD	: 0
1800.10/898.63	c Imported unit clauses	: 0
1800.10/898.63	c number of reductions to clauses (during analyze)	: 0
1800.10/898.63	c number of learned constraints concerned by reduction	: 0
1800.10/898.63	c number of learning phase by resolution	: 0
1800.10/898.63	c number of learning phase by cutting planes	: 0
1800.10/898.63	c speed (assignments/second)	: 3050.474174655075
1800.10/898.63	c non guided choices	10447
1800.10/898.64	c learnt constraints type 
1800.10/898.64	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 148
1800.10/898.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 36
1800.10/898.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 38212
1800.10/898.64	s SATISFIABLE
1800.10/898.64	c Found 3 solution(s)
1800.10/898.65	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 
1800.10/898.66	c objective function=359
1800.10/898.66	c Total wall clock time (in seconds): 898.529

Verifier Data 

OK	359

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-4101946-1466216901/watcher-4101946-1466216901 -o /tmp/evaluation-result-4101946-1466216901/solver-4101946-1466216901 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466206083-15725 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101946-1466216901.opb 

pid=20079
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.17 4.16 4.18 5/197 20082
/proc/meminfo: memFree=25471048/32872528 swapFree=1534436/1655032
[pid=20082] ppid=20079 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/20082/stat : 20082 (runsolver) D 20079 20082 15709 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 1 0 23738517 24911872 159 33554432000 4194304 4338465 140737366220368 140737366217560 217410334135 0 0 4096 24578 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 6082 159 113 36 0 2655 0

[startup+0.100058 s]
/proc/loadavg: 4.17 4.16 4.18 5/197 20082
/proc/meminfo: memFree=25471048/32872528 swapFree=1534436/1655032
[pid=20082] ppid=20079 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/20082/stat : 20082 (java) S 20079 20082 15709 0 -1 4202496 4107 0 1 0 6 1 0 0 20 0 18 0 23738517 9787879424 5230 33554432000 1073741824 1073778376 140735667857264 140735667848400 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 2389619 5232 2052 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200232 s]
/proc/loadavg: 4.17 4.16 4.18 5/197 20082
/proc/meminfo: memFree=25471048/32872528 swapFree=1534436/1655032
[pid=20082] ppid=20079 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/20082/stat : 20082 (java) S 20079 20082 15709 0 -1 4202496 5006 0 1 0 25 1 0 0 20 0 18 0 23738517 9787879424 6921 33554432000 1073741824 1073778376 140735667857264 140735667848400 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 2389619 6921 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 4.17 4.16 4.18 5/197 20082
/proc/meminfo: memFree=25471048/32872528 swapFree=1534436/1655032
[pid=20082] ppid=20079 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/20082/stat : 20082 (java) S 20079 20082 15709 0 -1 4202496 6229 0 1 0 45 3 0 0 20 0 18 0 23738517 9787879424 17602 33554432000 1073741824 1073778376 140735667857264 140735667848400 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 2389619 17602 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700177 s]
/proc/loadavg: 4.17 4.16 4.18 5/197 20082
/proc/meminfo: memFree=25471048/32872528 swapFree=1534436/1655032
[pid=20082] ppid=20079 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/20082/stat : 20082 (java) S 20079 20082 15709 0 -1 4202496 15531 0 1 0 170 5 0 0 20 0 22 0 23738517 10060525568 26248 33554432000 1073741824 1073778376 140735667857264 140735667848400 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 2456183 26248 2252 9 0 2446860 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 9824732

[startup+1.50071 s]
/proc/loadavg: 4.17 4.16 4.18 4/216 20107
/proc/meminfo: memFree=25359644/32872528 swapFree=1534436/1655032
[pid=20082] ppid=20079 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/20082/stat : 20082 (java) S 20079 20082 15709 0 -1 4202496 16666 0 1 0 263 10 0 0 20 0 19 0 23738517 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140735667848400 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 2456183 30767 2264 9 0 2446860 0
[pid=20082/tid=20084] ppid=20079 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/20082/task/20084/stat : 20084 (java) S 20079 20082 15709 0 -1 4202560 2444 0 1 0 33 2 0 0 20 0 19 0 23738519 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140215288304504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20085] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20085/stat : 20085 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23738520 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140215249795880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20086] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20086/stat : 20086 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23738520 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140215248743080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20087] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20087/stat : 20087 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23738520 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140215129730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20088] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20088/stat : 20088 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23738520 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140215128677288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20089] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20089/stat : 20089 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23738520 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140215127623976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20090] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20090/stat : 20090 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23738520 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140215126571176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20091] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20091/stat : 20091 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23738520 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140215125518888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20092] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20092/stat : 20092 (java) S 20079 20082 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23738520 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140215124466088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20093] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20093/stat : 20093 (java) S 20079 20082 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23738521 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140214642137832 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20094] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20094/stat : 20094 (java) S 20079 20082 15709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23738522 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140214641083896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20095] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20095/stat : 20095 (java) S 20079 20082 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23738522 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140214640031496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20096] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20096/stat : 20096 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23738524 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140214638979984 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20097] ppid=20079 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/20082/task/20097/stat : 20097 (java) S 20079 20082 15709 0 -1 4202560 8465 0 0 0 66 2 0 0 20 0 19 0 23738524 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140214637926584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20098] ppid=20079 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/20082/task/20098/stat : 20098 (java) S 20079 20082 15709 0 -1 4202560 4386 0 0 0 64 0 0 0 20 0 19 0 23738524 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140214636873784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20099] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20099/stat : 20099 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23738524 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140214635821688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20100] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20100/stat : 20100 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23738524 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140214634769096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20103] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20103/stat : 20103 (java) S 20079 20082 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23738556 10060525568 30767 33554432000 1073741824 1073778376 140735667857264 140214631610024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 4.17 4.16 4.18 6/219 20113
/proc/meminfo: memFree=25340552/32872528 swapFree=1534436/1655032
[pid=20082] ppid=20079 vsize=9824732 CPUtime=5.45 cores=0,2,4,6
/proc/20082/stat : 20082 (java) S 20079 20082 15709 0 -1 4202496 17404 0 1 0 534 11 0 0 20 0 22 0 23738517 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140735667848400 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 2456183 39996 2266 9 0 2446860 0
[pid=20082/tid=20084] ppid=20079 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/20082/task/20084/stat : 20084 (java) S 20079 20082 15709 0 -1 4202560 2445 0 1 0 33 2 0 0 20 0 22 0 23738519 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140215288304504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20085] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20085/stat : 20085 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140215249795880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20086] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20086/stat : 20086 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140215248743080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20087] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20087/stat : 20087 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140215129730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20088] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20088/stat : 20088 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140215128677288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20089] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20089/stat : 20089 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140215127623976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20090] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20090/stat : 20090 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140215126571176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20091] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20091/stat : 20091 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140215125518888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20092] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20092/stat : 20092 (java) S 20079 20082 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140215124466088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20093] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20093/stat : 20093 (java) S 20079 20082 15709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23738521 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214642137832 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20094] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20094/stat : 20094 (java) S 20079 20082 15709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 23738522 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214641083896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20095] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20095/stat : 20095 (java) S 20079 20082 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23738522 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214640031496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20096] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20096/stat : 20096 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214638979984 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20097] ppid=20079 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/20082/task/20097/stat : 20097 (java) S 20079 20082 15709 0 -1 4202560 9171 0 0 0 79 2 0 0 20 0 22 0 23738524 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214637926584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20098] ppid=20079 vsize=9824732 CPUtime=0.87 cores=0,2,4,6
/proc/20082/task/20098/stat : 20098 (java) S 20079 20082 15709 0 -1 4202560 4386 0 0 0 87 0 0 0 20 0 22 0 23738524 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214636873784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20099] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20099/stat : 20099 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214635821688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20100] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20100/stat : 20100 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214634769096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20103] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20103/stat : 20103 (java) S 20079 20082 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23738556 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214631610024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20111] ppid=20079 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/20082/task/20111/stat : 20111 (java) R 20079 20082 15709 0 -1 4202560 9 0 0 0 116 0 0 0 20 0 22 0 23738708 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214632662328 140215130471883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20112] ppid=20079 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/20082/task/20112/stat : 20112 (java) R 20079 20082 15709 0 -1 4202560 18 0 0 0 116 0 0 0 20 0 22 0 23738708 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214630556248 140215130604158 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20113] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20113/stat : 20113 (java) S 20079 20082 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23738709 10060525568 39996 33554432000 1073741824 1073778376 140735667857264 140214633714600 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 9824732

[startup+6.30092 s]
/proc/loadavg: 4.24 4.17 4.18 5/219 20113
/proc/meminfo: memFree=25291832/32872528 swapFree=1534436/1655032
[pid=20082] ppid=20079 vsize=9824732 CPUtime=12.07 cores=0,2,4,6
/proc/20082/stat : 20082 (java) S 20079 20082 15709 0 -1 4202496 17467 0 1 0 1194 13 0 0 20 0 22 0 23738517 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140735667848400 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 2456183 46407 2286 9 0 2446860 0
[pid=20082/tid=20084] ppid=20079 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/20082/task/20084/stat : 20084 (java) S 20079 20082 15709 0 -1 4202560 2445 0 1 0 33 2 0 0 20 0 22 0 23738519 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140215288304504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20085] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20085/stat : 20085 (java) S 20079 20082 15709 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140215249795880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20086] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20086/stat : 20086 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140215248743080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20087] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20087/stat : 20087 (java) S 20079 20082 15709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140215129730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20088] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20088/stat : 20088 (java) S 20079 20082 15709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140215128677288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20089] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20089/stat : 20089 (java) S 20079 20082 15709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140215127623976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20090] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20090/stat : 20090 (java) S 20079 20082 15709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140215126571176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20091] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20091/stat : 20091 (java) S 20079 20082 15709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140215125518888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20092] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20092/stat : 20092 (java) S 20079 20082 15709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23738520 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140215124466088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20093] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20093/stat : 20093 (java) S 20079 20082 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23738521 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140214642137832 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20094] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20094/stat : 20094 (java) S 20079 20082 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23738522 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140214641083896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20095] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20095/stat : 20095 (java) S 20079 20082 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23738522 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140214640031496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20096] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20096/stat : 20096 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140214638979984 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20097] ppid=20079 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/20082/task/20097/stat : 20097 (java) S 20079 20082 15709 0 -1 4202560 9182 0 0 0 95 2 0 0 20 0 22 0 23738524 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140214637926584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20098] ppid=20079 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/20082/task/20098/stat : 20098 (java) S 20079 20082 15709 0 -1 4202560 4388 0 0 0 93 2 0 0 20 0 22 0 23738524 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140214636873784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20099] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20099/stat : 20099 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 46407 33554432000 1073741824 1073778376 140735667857264 140214635821688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20100] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

/proc/20082/task/20087/stat : 20087 (java) S 20079 20082 15709 0 -1 4202560 519 0 0 0 128 17 0 0 20 0 22 0 23738520 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140215129730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20088] ppid=20079 vsize=9824732 CPUtime=1.47 cores=0,2,4,6
/proc/20082/task/20088/stat : 20088 (java) S 20079 20082 15709 0 -1 4202560 943 0 0 0 131 16 0 0 20 0 22 0 23738520 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140215128677288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20089] ppid=20079 vsize=9824732 CPUtime=1.5 cores=0,2,4,6
/proc/20082/task/20089/stat : 20089 (java) S 20079 20082 15709 0 -1 4202560 488 0 0 0 135 15 0 0 20 0 22 0 23738520 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140215127623976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20090] ppid=20079 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/20082/task/20090/stat : 20090 (java) S 20079 20082 15709 0 -1 4202560 1193 0 0 0 132 16 0 0 20 0 22 0 23738520 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140215126571176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20091] ppid=20079 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/20082/task/20091/stat : 20091 (java) S 20079 20082 15709 0 -1 4202560 642 0 0 0 128 16 0 0 20 0 22 0 23738520 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140215125518888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20092] ppid=20079 vsize=9824732 CPUtime=1.53 cores=0,2,4,6
/proc/20082/task/20092/stat : 20092 (java) S 20079 20082 15709 0 -1 4202560 607 0 0 0 134 19 0 0 20 0 22 0 23738520 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140215124466088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20093] ppid=20079 vsize=9824732 CPUtime=3.63 cores=0,2,4,6
/proc/20082/task/20093/stat : 20093 (java) S 20079 20082 15709 0 -1 4202560 2283 0 0 0 356 7 0 0 20 0 22 0 23738521 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214642137832 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20094] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20094/stat : 20094 (java) S 20079 20082 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23738522 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214641083896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20095] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20095/stat : 20095 (java) S 20079 20082 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23738522 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214640031496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20096] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20096/stat : 20096 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214638979984 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20097] ppid=20079 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/20082/task/20097/stat : 20097 (java) S 20079 20082 15709 0 -1 4202560 13750 0 0 0 189 2 0 0 20 0 22 0 23738524 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214637926584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20098] ppid=20079 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/20082/task/20098/stat : 20098 (java) S 20079 20082 15709 0 -1 4202560 4573 0 0 0 114 2 0 0 20 0 22 0 23738524 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214636873784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20099] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20099/stat : 20099 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214635821688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20100] ppid=20079 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/20082/task/20100/stat : 20100 (java) S 20079 20082 15709 0 -1 4202560 46 0 0 0 11 13 0 0 20 0 22 0 23738524 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214634769096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20103] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20103/stat : 20103 (java) S 20079 20082 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23738556 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214631610024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20111] ppid=20079 vsize=9824732 CPUtime=811.25 cores=0,2,4,6
/proc/20082/task/20111/stat : 20111 (java) R 20079 20082 15709 0 -1 4202560 99 0 0 0 81110 15 0 0 20 0 22 0 23738708 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214632660272 140215130471883 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20112] ppid=20079 vsize=9824732 CPUtime=811.19 cores=0,2,4,6
/proc/20082/task/20112/stat : 20112 (java) R 20079 20082 15709 0 -1 4202560 2471 0 0 0 81068 51 0 0 20 0 22 0 23738708 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214630555512 140215130534561 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20113] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20113/stat : 20113 (java) S 20079 20082 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23738709 10060525568 721296 33554432000 1073741824 1073778376 140735667857264 140214633714600 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1646.93
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.26 4.26 4.22 5/219 20352
/proc/meminfo: memFree=23009260/32872528 swapFree=1534436/1655032
[pid=20082] ppid=20079 vsize=9824732 CPUtime=1767.44 cores=0,2,4,6
/proc/20082/stat : 20082 (java) S 20079 20082 15709 0 -1 4202496 33225 0 1 0 176528 216 0 0 20 0 22 0 23738517 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140735667848400 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 2456183 666945 2295 9 0 2446860 0
[pid=20082/tid=20084] ppid=20079 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/20082/task/20084/stat : 20084 (java) S 20079 20082 15709 0 -1 4202560 2452 0 1 0 36 3 0 0 20 0 22 0 23738519 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140215288304504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20085] ppid=20079 vsize=9824732 CPUtime=1.8 cores=0,2,4,6
/proc/20082/task/20085/stat : 20085 (java) S 20079 20082 15709 0 -1 4202560 932 0 0 0 158 22 0 0 20 0 22 0 23738520 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140215249795880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20086] ppid=20079 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/20082/task/20086/stat : 20086 (java) S 20079 20082 15709 0 -1 4202560 790 0 0 0 150 20 0 0 20 0 22 0 23738520 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140215248743080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20087] ppid=20079 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/20082/task/20087/stat : 20087 (java) S 20079 20082 15709 0 -1 4202560 534 0 0 0 144 17 0 0 20 0 22 0 23738520 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140215129730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20088] ppid=20079 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/20082/task/20088/stat : 20088 (java) S 20079 20082 15709 0 -1 4202560 946 0 0 0 144 16 0 0 20 0 22 0 23738520 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140215128677288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20089] ppid=20079 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/20082/task/20089/stat : 20089 (java) S 20079 20082 15709 0 -1 4202560 500 0 0 0 152 15 0 0 20 0 22 0 23738520 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140215127623976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20090] ppid=20079 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/20082/task/20090/stat : 20090 (java) S 20079 20082 15709 0 -1 4202560 1200 0 0 0 144 17 0 0 20 0 22 0 23738520 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140215126571176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20091] ppid=20079 vsize=9824732 CPUtime=1.58 cores=0,2,4,6
/proc/20082/task/20091/stat : 20091 (java) S 20079 20082 15709 0 -1 4202560 665 0 0 0 142 16 0 0 20 0 22 0 23738520 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140215125518888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20092] ppid=20079 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/20082/task/20092/stat : 20092 (java) S 20079 20082 15709 0 -1 4202560 607 0 0 0 147 19 0 0 20 0 22 0 23738520 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140215124466088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20093] ppid=20079 vsize=9824732 CPUtime=3.64 cores=0,2,4,6
/proc/20082/task/20093/stat : 20093 (java) S 20079 20082 15709 0 -1 4202560 2287 0 0 0 356 8 0 0 20 0 22 0 23738521 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214642137832 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20094] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20094/stat : 20094 (java) S 20079 20082 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23738522 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214641083896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20095] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20095/stat : 20095 (java) S 20079 20082 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23738522 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214640031496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20096] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20096/stat : 20096 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214638979984 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20097] ppid=20079 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/20082/task/20097/stat : 20097 (java) S 20079 20082 15709 0 -1 4202560 13750 0 0 0 189 2 0 0 20 0 22 0 23738524 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214637926584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20098] ppid=20079 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/20082/task/20098/stat : 20098 (java) S 20079 20082 15709 0 -1 4202560 4573 0 0 0 114 2 0 0 20 0 22 0 23738524 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214636873784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20099] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20099/stat : 20099 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214635821688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20100] ppid=20079 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/20082/task/20100/stat : 20100 (java) S 20079 20082 15709 0 -1 4202560 50 0 0 0 12 14 0 0 20 0 22 0 23738524 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214634769096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20103] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20103/stat : 20103 (java) S 20079 20082 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23738556 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214631610024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20111] ppid=20079 vsize=9824732 CPUtime=870.79 cores=0,2,4,6
/proc/20082/task/20111/stat : 20111 (java) R 20079 20082 15709 0 -1 4202560 101 0 0 0 87063 16 0 0 20 0 22 0 23738708 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214632659576 140215130529184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20112] ppid=20079 vsize=9824732 CPUtime=870.72 cores=0,2,4,6
/proc/20082/task/20112/stat : 20112 (java) R 20079 20082 15709 0 -1 4202560 2476 0 0 0 87020 52 0 0 20 0 22 0 23738708 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214630555552 140215130537013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20113] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20113/stat : 20113 (java) S 20079 20082 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23738709 10060525568 666945 33554432000 1073741824 1073778376 140735667857264 140214633714600 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1767.44
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.601 s]
/proc/loadavg: 4.26 4.26 4.22 5/219 20353
/proc/meminfo: memFree=23008888/32872528 swapFree=1534436/1655032
[pid=20082] ppid=20079 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/20082/stat : 20082 (java) S 20079 20082 15709 0 -1 4202496 33362 0 1 0 179793 217 0 0 20 0 22 0 23738517 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140735667848400 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20082/statm: 2456183 667078 2295 9 0 2446860 0
[pid=20082/tid=20084] ppid=20079 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/20082/task/20084/stat : 20084 (java) S 20079 20082 15709 0 -1 4202560 2452 0 1 0 36 3 0 0 20 0 22 0 23738519 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140215288304504 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20085] ppid=20079 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/20082/task/20085/stat : 20085 (java) S 20079 20082 15709 0 -1 4202560 937 0 0 0 161 22 0 0 20 0 22 0 23738520 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140215249795880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20086] ppid=20079 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/20082/task/20086/stat : 20086 (java) S 20079 20082 15709 0 -1 4202560 800 0 0 0 155 20 0 0 20 0 22 0 23738520 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140215248743080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20087] ppid=20079 vsize=9824732 CPUtime=1.65 cores=0,2,4,6
/proc/20082/task/20087/stat : 20087 (java) S 20079 20082 15709 0 -1 4202560 540 0 0 0 148 17 0 0 20 0 22 0 23738520 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140215129730088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20088] ppid=20079 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/20082/task/20088/stat : 20088 (java) S 20079 20082 15709 0 -1 4202560 951 0 0 0 150 16 0 0 20 0 22 0 23738520 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140215128677288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20089] ppid=20079 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/20082/task/20089/stat : 20089 (java) S 20079 20082 15709 0 -1 4202560 500 0 0 0 155 15 0 0 20 0 22 0 23738520 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140215127623976 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20090] ppid=20079 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/20082/task/20090/stat : 20090 (java) S 20079 20082 15709 0 -1 4202560 1200 0 0 0 147 17 0 0 20 0 22 0 23738520 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140215126571176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20091] ppid=20079 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/20082/task/20091/stat : 20091 (java) S 20079 20082 15709 0 -1 4202560 665 0 0 0 144 16 0 0 20 0 22 0 23738520 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140215125518888 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20092] ppid=20079 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/20082/task/20092/stat : 20092 (java) S 20079 20082 15709 0 -1 4202560 607 0 0 0 150 19 0 0 20 0 22 0 23738520 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140215124466088 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20093] ppid=20079 vsize=9824732 CPUtime=3.64 cores=0,2,4,6
/proc/20082/task/20093/stat : 20093 (java) S 20079 20082 15709 0 -1 4202560 2394 0 0 0 356 8 0 0 20 0 22 0 23738521 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214642137832 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20094] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20094/stat : 20094 (java) S 20079 20082 15709 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23738522 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214641083896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20095] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20095/stat : 20095 (java) S 20079 20082 15709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23738522 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214640031496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20096] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20096/stat : 20096 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214638979984 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20082/tid=20097] ppid=20079 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/20082/task/20097/stat : 20097 (java) S 20079 20082 15709 0 -1 4202560 13750 0 0 0 189 2 0 0 20 0 22 0 23738524 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214637926584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20098] ppid=20079 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/20082/task/20098/stat : 20098 (java) S 20079 20082 15709 0 -1 4202560 4573 0 0 0 114 2 0 0 20 0 22 0 23738524 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214636873784 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20099] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20099/stat : 20099 (java) S 20079 20082 15709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23738524 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214635821688 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20082/tid=20100] ppid=20079 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/20082/task/20100/stat : 20100 (java) S 20079 20082 15709 0 -1 4202560 52 0 0 0 13 14 0 0 20 0 22 0 23738524 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214634769096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20103] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20103/stat : 20103 (java) S 20079 20082 15709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23738556 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214631610024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20111] ppid=20079 vsize=9824732 CPUtime=886.93 cores=0,2,4,6
/proc/20082/task/20111/stat : 20111 (java) R 20079 20082 15709 0 -1 4202560 101 0 0 0 88677 16 0 0 20 0 22 0 23738708 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214632660272 140215130466731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20082/tid=20112] ppid=20079 vsize=9824732 CPUtime=886.86 cores=0,2,4,6
/proc/20082/task/20112/stat : 20112 (java) R 20079 20082 15709 0 -1 4202560 2478 0 0 0 88634 52 0 0 20 0 22 0 23738708 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214630555648 140215130471883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20082/tid=20113] ppid=20079 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/20082/task/20113/stat : 20113 (java) S 20079 20082 15709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23738709 10060525568 667078 33554432000 1073741824 1073778376 140735667857264 140214633714600 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20082 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=569336
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=620601
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 898.685
CPU time (s): 1800.1
CPU user time (s): 1797.93
CPU system time (s): 2.17
CPU usage (%): 200.304
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.57
system time used= 2.6206
maximum resident set size= 3117244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33409
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24494
involuntary context switches= 28401

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23605 second user time and 8.44971 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 04:28:21
IDJOB=4101946
IDBENCH=1820
IDSOLVER=2543
FILE ID=node122/4101946-1466216901
RUNJOBID= node122-1466206083-15725
PBS_JOBID= 19918155
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101946-1466216901/watcher-4101946-1466216901 -o /tmp/evaluation-result-4101946-1466216901/solver-4101946-1466216901 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466206083-15725 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101946-1466216901.opb

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

MD5SUM BENCH= 8b204aeb505cc1c787aa4db3220d0b5a
RANDOM SEED=438979265

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25471584 kB
Buffers:          132512 kB
Cached:          1635688 kB
SwapCached:            0 kB
Active:          3316380 kB
Inactive:        1682796 kB
Active(anon):    3233820 kB
Inactive(anon):        0 kB
Active(file):      82560 kB
Inactive(file):  1682796 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:       4861960 kB
Mapped:            21156 kB
Shmem:               204 kB
Slab:             608432 kB
SReclaimable:      52212 kB
SUnreclaim:       556220 kB
KernelStack:        1808 kB
PageTables:        13832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5226324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3262464 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= 71740 MiB
End job on node122 at 2016-06-18 04:43:20