Trace number 4119871

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)16 1800.17 899.48

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
MD5SUM0b3ebda9e2c907bea9a29c0cee18b8c9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective Function
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables
Total number of constraints
Number of constraints which are clauses
Number of constraints which are cardinality constraints (but not clauses)
Number of constraints which are nor clauses,nor cardinality constraints
Minimum length of a constraint
Maximum length of a constraint
Number of terms in the objective function
Biggest coefficient in the objective function
Number of bits for the biggest coefficient in the objective function
Sum of the numbers in the objective function
Number of bits of the sum of numbers in the objective function
Biggest number in a constraint
Number of bits of the biggest number in a constraint
Biggest sum of numbers in a constraint
Number of bits of the biggest sum of numbers
Number of products (including duplicates)
Sum of products size (including duplicates)
Number of different products
Sum of products size

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4119871-1467272200.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
1.18/0.51	c ... done. Wall clock time 0.404s.
1.18/0.51	c declared #vars     5568
1.18/0.51	c #constraints  412
1.18/0.51	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.18/0.51	c constraints type 
1.18/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 173
1.18/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 173
1.18/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
1.18/0.51	c 412 constraints processed.
1.18/0.51	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.18/0.51	c constraints type 
1.18/0.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 173
1.18/0.52	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 173
1.18/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPb => 66
1.18/0.52	c 412 constraints processed.
1.18/0.52	c objective function length is 32 literals
2.71/0.98	c And the winner is solver0
3.10/1.02	c SATISFIABLE
3.10/1.02	c OPTIMIZING...
3.10/1.02	c Got one! Elapsed wall clock time (in seconds):0.912
3.10/1.02	o 20
3.10/1.06	c And the winner is solver0
3.45/1.52	c Got one! Elapsed wall clock time (in seconds):1.415
3.45/1.52	o 19
3.45/1.59	c And the winner is solver0
3.75/2.02	c Got one! Elapsed wall clock time (in seconds):1.916
3.75/2.02	o 18
3.93/2.14	c And the winner is solver0
4.07/2.53	c Got one! Elapsed wall clock time (in seconds):2.417
4.07/2.53	o 17
4.23/2.68	c cleaning 3191 clauses out of 6391 with flag 4382/6391
5.29/3.13	c cleaning 4587 clauses out of 9202 with flag 21332/12393
6.80/3.84	c cleaning 5792 clauses out of 11614 with flag 46038/19392
8.09/4.45	c cleaning 6900 clauses out of 13821 with flag 68743/27391
9.11/4.91	c And the winner is solver0
9.15/5.03	c Got one! Elapsed wall clock time (in seconds):4.918
9.15/5.03	o 16
9.96/5.39	c cleaning 8667 clauses out of 17361 with flag 12170/37831
11.04/5.86	c cleaning 7330 clauses out of 14693 with flag 26108/43830
12.24/6.45	c cleaning 7164 clauses out of 14363 with flag 41987/50830
13.91/7.20	c cleaning 7585 clauses out of 15200 with flag 61048/58831
15.59/8.07	c cleaning 8293 clauses out of 16616 with flag 80470/67832
17.85/9.14	c cleaning 9147 clauses out of 18322 with flag 103752/77831
20.29/10.32	c cleaning 10068 clauses out of 20174 with flag 130879/88830
23.09/11.79	c cleaning 11041 clauses out of 22108 with flag 161940/100832
27.01/13.62	c cleaning 12014 clauses out of 24065 with flag 190609/113830
31.20/15.73	c cleaning 13008 clauses out of 26051 with flag 221660/127830
35.78/17.92	c cleaning 14005 clauses out of 28044 with flag 260467/142831
40.59/20.32	c cleaning 15003 clauses out of 30038 with flag 305993/158830
44.21/22.11	c cleaning 16006 clauses out of 32036 with flag 348540/175831
48.75/24.40	c cleaning 17005 clauses out of 34030 with flag 387942/193831
53.94/26.96	c cleaning 17998 clauses out of 36024 with flag 430661/212830
60.47/30.12	c cleaning 19000 clauses out of 38026 with flag 475647/232830
67.66/33.73	c cleaning 20003 clauses out of 40026 with flag 522769/253830
76.06/37.96	c cleaning 20998 clauses out of 42024 with flag 574486/275831
86.28/43.01	c cleaning 21999 clauses out of 44025 with flag 625382/298830
97.04/48.40	c cleaning 23004 clauses out of 46027 with flag 679547/322831
108.83/54.27	c cleaning 23998 clauses out of 48023 with flag 736137/347831
120.60/60.00	c cleaning 25004 clauses out of 50024 with flag 796189/373830
132.60/66.09	c cleaning 25995 clauses out of 52021 with flag 859074/400831
137.58/68.58	c cleaning 26996 clauses out of 54025 with flag 930679/428830
150.59/75.08	c cleaning 28001 clauses out of 56030 with flag 989171/457831
173.80/86.79	c cleaning 28997 clauses out of 58028 with flag 1049243/487830
198.19/98.95	c cleaning 30001 clauses out of 60031 with flag 1111552/518830
230.36/114.97	c cleaning 30998 clauses out of 62032 with flag 1175683/550832
258.73/129.16	c cleaning 31997 clauses out of 64033 with flag 1244225/583831
287.29/143.25	c cleaning 32993 clauses out of 66036 with flag 1318294/617831
315.88/157.59	c cleaning 33998 clauses out of 68042 with flag 1394528/652830
346.32/173.01	c cleaning 35001 clauses out of 70044 with flag 1472168/688830
382.92/191.21	c cleaning 36004 clauses out of 72044 with flag 1549871/725831
398.65/199.08	c cleaning 37012 clauses out of 74041 with flag 1628195/763832
418.05/208.75	c cleaning 38007 clauses out of 76030 with flag 1706197/802833
439.73/219.56	c cleaning 38999 clauses out of 78020 with flag 1786191/842830
462.33/230.85	c cleaning 39998 clauses out of 80021 with flag 1868191/883830
487.06/243.18	c cleaning 41002 clauses out of 82025 with flag 1952195/925832
495.85/247.58	c cleaning 42003 clauses out of 84023 with flag 2042502/968832
504.65/251.99	c cleaning 42999 clauses out of 86019 with flag 2139382/1012831
528.43/263.71	c cleaning 43998 clauses out of 88019 with flag 2255582/1057830
558.23/278.65	c cleaning 45001 clauses out of 90023 with flag 2372000/1103832
575.03/287.06	c cleaning 45997 clauses out of 92022 with flag 2487607/1150832
598.83/298.96	c cleaning 46994 clauses out of 94023 with flag 2637364/1198830
629.59/314.18	c cleaning 47996 clauses out of 96034 with flag 2840856/1247835
660.98/329.86	c cleaning 48995 clauses out of 98033 with flag 3044293/1297830
699.07/349.56	c cleaning 50001 clauses out of 100038 with flag 3242967/1348830
739.65/369.87	c cleaning 50994 clauses out of 102037 with flag 3445799/1400830
784.05/392.05	c cleaning 52004 clauses out of 104043 with flag 3662155/1453830
832.23/416.16	c cleaning 53008 clauses out of 106039 with flag 3882467/1507830
849.67/424.66	c cleaning 54010 clauses out of 108033 with flag 4020587/1562832
861.46/430.57	c cleaning 55005 clauses out of 110021 with flag 4145342/1618830
901.84/450.77	c cleaning 55998 clauses out of 112016 with flag 4261418/1675830
948.29/473.63	c cleaning 56999 clauses out of 114018 with flag 4379391/1733830
995.63/497.09	c cleaning 58006 clauses out of 116019 with flag 4500712/1792830
1040.42/519.41	c cleaning 58999 clauses out of 118013 with flag 4624344/1852830
1097.21/548.84	c cleaning 59997 clauses out of 120014 with flag 4749958/1913830
1118.21/559.39	c cleaning 61002 clauses out of 122017 with flag 4881168/1975830
1136.81/568.68	c cleaning 61996 clauses out of 124019 with flag 5014831/2038834
1148.81/574.60	c cleaning 63000 clauses out of 126020 with flag 5157511/2102831
1162.38/581.37	c cleaning 64002 clauses out of 128019 with flag 5323861/2167830
1201.98/601.18	c cleaning 64991 clauses out of 130018 with flag 5581264/2233831
1238.15/619.21	c cleaning 66000 clauses out of 132026 with flag 5828726/2300830
1249.75/625.00	c cleaning 67004 clauses out of 134029 with flag 5995357/2368833
1299.19/649.62	c cleaning 67998 clauses out of 136022 with flag 6143008/2437830
1365.37/682.73	c cleaning 69000 clauses out of 138024 with flag 6293371/2507830
1449.06/724.45	c cleaning 69996 clauses out of 140025 with flag 6446648/2578831
1545.64/772.48	c cleaning 70997 clauses out of 142029 with flag 6602139/2650831
1636.47/817.74	c cleaning 72003 clauses out of 144031 with flag 6758430/2723830
1735.98/867.37	c cleaning 72998 clauses out of 146030 with flag 6916854/2797832
1800.17/899.40	c >>>>>>>>>> Solver number 0 (5 answers) <<<<<<<<<<<<<<<<<<
1800.17/899.40	c starts		: 663
1800.17/899.40	c conflicts		: 2854918
1800.17/899.40	c decisions		: 3518649
1800.17/899.40	c propagations		: 111432469
1800.17/899.40	c inspects		: 15885249141
1800.17/899.40	c shortcuts		: 0
1800.17/899.40	c learnt literals	: 0
1800.17/899.40	c learnt binary clauses	: 0
1800.17/899.40	c learnt ternary clauses	: 0
1800.17/899.40	c learnt constraints	: 2854918
1800.17/899.40	c ignored constraints	: 0
1800.17/899.40	c root simplifications	: 0
1800.17/899.40	c removed literals (reason simplification)	: 329951
1800.17/899.40	c reason swapping (by a shorter reason)	: 0
1800.17/899.40	c Calls to reduceDB	: 74
1800.17/899.40	c Number of update (reduction) of LBD	: 206767
1800.17/899.40	c Imported unit clauses	: 0
1800.17/899.40	c number of reductions to clauses (during analyze)	: 0
1800.17/899.40	c number of learned constraints concerned by reduction	: 0
1800.17/899.40	c number of learning phase by resolution	: 0
1800.17/899.40	c number of learning phase by cutting planes	: 0
1800.17/899.40	c speed (assignments/second)	: 123968.54074584176
1800.17/899.40	c non guided choices	74600
1800.17/899.43	c learnt constraints type 
1800.17/899.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 130118
1800.17/899.43	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.17/899.43	c starts		: 20
1800.17/899.43	c conflicts		: 2684
1800.17/899.43	c decisions		: 113156
1800.17/899.43	c propagations		: 458021
1800.17/899.43	c inspects		: 107603968
1800.17/899.43	c shortcuts		: 0
1800.17/899.43	c learnt literals	: 0
1800.17/899.43	c learnt binary clauses	: 1
1800.17/899.43	c learnt ternary clauses	: 0
1800.17/899.43	c learnt constraints	: 2681
1800.17/899.43	c ignored constraints	: 0
1800.17/899.43	c root simplifications	: 0
1800.17/899.43	c removed literals (reason simplification)	: 0
1800.17/899.43	c reason swapping (by a shorter reason)	: 0
1800.17/899.43	c Calls to reduceDB	: 0
1800.17/899.43	c Number of update (reduction) of LBD	: 0
1800.17/899.43	c Imported unit clauses	: 0
1800.17/899.43	c number of reductions to clauses (during analyze)	: 0
1800.17/899.43	c number of learned constraints concerned by reduction	: 0
1800.17/899.43	c number of learning phase by resolution	: 0
1800.17/899.43	c number of learning phase by cutting planes	: 0
1800.17/899.43	c speed (assignments/second)	: 512.0968959182829
1800.17/899.43	c non guided choices	9625
1800.17/899.43	c learnt constraints type 
1800.17/899.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.17/899.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2679
1800.17/899.43	s SATISFIABLE
1800.17/899.43	c Found 5 solution(s)
1800.17/899.44	v -x1 -x2 x3 -x4 -x5 x6 x7 x8 x9 x10 x11 x12 -x13 -x14 x15 x16 x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 x26 x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 x1758 x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 x2478 -x2479 x2480 x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 x2493 x2494 x2495 -x2496 x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 x2506 -x2507 -x2508 x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613 x2614 x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 -x2641 -x2642 -x2643 x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2659 -x2660 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 x2695 x2696 -x2697 x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 x2853 -x2854 -x2855 -x2856 x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 -x2925 -x2926 x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x3800 -x3801 -x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 x4073 -x4074 -x4075 x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 x4139 -x4140 -x4141 -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 x4158 -x4159 x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 x4402 -x4403 x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 x4473 -x4474 -x4475 -x4476 x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x4590 x4591 -x4592 -x4593 x4594 -x4595 -x4596 x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 x4623 -x4624 x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 x4667 -x4668 -x4669 -x4670 -x4671 -x4672 x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 x5071 -x5072 -x5073 -x5074 -x5075 -x5076 x5077 -x5078 -x5079 x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 x5205 -x5206 -x5207 x5208 -x5209 -x5210 x5211 x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 
1800.17/899.45	c objective function=16
1800.17/899.45	c Total wall clock time (in seconds): 899.342

Verifier Data 

OK	16

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-4119871-1467272200/watcher-4119871-1467272200 -o /tmp/evaluation-result-4119871-1467272200/solver-4119871-1467272200 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467269337-16122 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119871-1467272200.opb 

pid=16977
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.12 4.25 4.17 3/199 16980
/proc/meminfo: memFree=27019884/32872528 swapFree=1484408/1662236
[pid=16980] ppid=16977 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/16980/stat : 16980 (java) S 16977 16980 15921 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 8172553 98570240 978 33554432000 1073741824 1073778376 140736470609072 140736470600208 273909055549 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16980/statm: 24065 978 743 9 0 16771 0
[pid=16980/tid=16981] ppid=16977 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16981/stat : 16981 (java) R 16977 16980 15921 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 8172554 98570240 978 33554432000 1073741824 1073778376 140736470609072 139658149162536 273905698176 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 4.12 4.25 4.17 3/199 16980
/proc/meminfo: memFree=27019884/32872528 swapFree=1484408/1662236
[pid=16980] ppid=16977 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/16980/stat : 16980 (java) S 16977 16980 15921 0 -1 4202496 4476 0 1 0 10 1 0 0 20 0 18 0 8172553 9787879424 6098 33554432000 1073741824 1073778376 140736470609072 140736470600208 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16980/statm: 2389619 6098 2156 9 0 2380296 0
[pid=16980/tid=16981] ppid=16977 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/16980/task/16981/stat : 16981 (java) R 16977 16980 15921 0 -1 4202560 2391 0 1 0 7 0 0 0 20 0 18 0 8172554 9787879424 6098 33554432000 1073741824 1073778376 140736470609072 139658149165984 139658152009745 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200327 s]
/proc/loadavg: 4.12 4.25 4.17 3/199 16980
/proc/meminfo: memFree=27019884/32872528 swapFree=1484408/1662236
[pid=16980] ppid=16977 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/16980/stat : 16980 (java) S 16977 16980 15921 0 -1 4202496 4862 0 1 0 27 1 0 0 20 0 18 0 8172553 9787879424 7423 33554432000 1073741824 1073778376 140736470609072 140736470600208 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16980/statm: 2389619 7425 2217 9 0 2380296 0
[pid=16980/tid=16981] ppid=16977 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/16980/task/16981/stat : 16981 (java) R 16977 16980 15921 0 -1 4202560 2405 0 1 0 17 0 0 0 20 0 18 0 8172554 9787879424 7426 33554432000 1073741824 1073778376 140736470609072 139658149166328 139657992021167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300272 s]
/proc/loadavg: 4.12 4.25 4.17 3/199 16980
/proc/meminfo: memFree=27019884/32872528 swapFree=1484408/1662236
[pid=16980] ppid=16977 vsize=9558476 CPUtime=0.58 cores=0,2,4,6
/proc/16980/stat : 16980 (java) S 16977 16980 15921 0 -1 4202496 16271 0 1 0 55 3 0 0 20 0 18 0 8172553 9787879424 16195 33554432000 1073741824 1073778376 140736470609072 140736470600208 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16980/statm: 2389619 16195 2221 9 0 2380296 0
[pid=16980/tid=16981] ppid=16977 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/16980/task/16981/stat : 16981 (java) R 16977 16980 15921 0 -1 4202560 2410 0 1 0 27 0 0 0 20 0 18 0 8172554 9787879424 16196 33554432000 1073741824 1073778376 140736470609072 139658149166328 139657992069449 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476

[startup+0.700211 s]
/proc/loadavg: 4.12 4.25 4.17 3/199 16980
/proc/meminfo: memFree=27019884/32872528 swapFree=1484408/1662236
[pid=16980] ppid=16977 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/16980/stat : 16980 (java) S 16977 16980 15921 0 -1 4202496 20843 0 1 0 191 4 0 0 20 0 22 0 8172553 10060525568 25482 33554432000 1073741824 1073778376 140736470609072 140736470600208 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16980/statm: 2456183 25482 2264 9 0 2446860 0
[pid=16980/tid=16981] ppid=16977 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/16980/task/16981/stat : 16981 (java) S 16977 16980 15921 0 -1 4202560 2442 0 1 0 48 1 0 0 20 0 22 0 8172554 10060525568 25482 33554432000 1073741824 1073778376 140736470609072 139658149167992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9824732

[startup+1.50078 s]
/proc/loadavg: 4.27 4.27 4.18 5/218 17005
/proc/meminfo: memFree=26903348/32872528 swapFree=1484408/1662236
[pid=16980] ppid=16977 vsize=9824732 CPUtime=3.45 cores=0,2,4,6
/proc/16980/stat : 16980 (java) S 16977 16980 15921 0 -1 4202496 24456 0 1 0 336 9 0 0 20 0 19 0 8172553 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 140736470600208 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16980/statm: 2456183 31036 2274 9 0 2446860 0
[pid=16980/tid=16981] ppid=16977 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/16980/task/16981/stat : 16981 (java) S 16977 16980 15921 0 -1 4202560 2444 0 1 0 48 2 0 0 20 0 19 0 8172554 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139658149167992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16983] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16983/stat : 16983 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8172555 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139658110659112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16984] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16984/stat : 16984 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8172555 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657991940520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16985] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16985/stat : 16985 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8172555 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657990887720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16980/tid=16986] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16986/stat : 16986 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8172555 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657989834920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16987] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16987/stat : 16987 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8172555 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657988783144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16988] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16988/stat : 16988 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8172555 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657987730344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16989] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16989/stat : 16989 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8172555 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657986677544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16990] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16990/stat : 16990 (java) S 16977 16980 15921 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8172555 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657985624744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16991] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16991/stat : 16991 (java) S 16977 16980 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8172556 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657503295976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16992] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16992/stat : 16992 (java) S 16977 16980 15921 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8172556 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657502242040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16993] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16993/stat : 16993 (java) S 16977 16980 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8172556 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657501189128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16994] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16994/stat : 16994 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8172558 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657500137616 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16995] ppid=16977 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/16980/task/16995/stat : 16995 (java) S 16977 16980 15921 0 -1 4202560 10215 0 0 0 90 2 0 0 20 0 19 0 8172558 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657499085752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16996] ppid=16977 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/16980/task/16996/stat : 16996 (java) S 16977 16980 15921 0 -1 4202560 10452 0 0 0 91 2 0 0 20 0 19 0 8172558 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657498032952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16997] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16997/stat : 16997 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8172558 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657496980344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16998] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16998/stat : 16998 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8172558 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657495927752 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=17002] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/17002/stat : 17002 (java) S 16977 16980 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8172606 10060525568 31036 33554432000 1073741824 1073778376 140736470609072 139657491714856 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9824732

[startup+3.10076 s]
/proc/loadavg: 4.27 4.27 4.18 3/218 17011
/proc/meminfo: memFree=26882496/32872528 swapFree=1484408/1662236
[pid=16980] ppid=16977 vsize=9824732 CPUtime=5.29 cores=0,2,4,6
/proc/16980/stat : 16980 (java) S 16977 16980 15921 0 -1 4202496 24796 0 1 0 515 14 0 0 20 0 22 0 8172553 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 140736470600208 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16980/statm: 2456183 46408 2278 9 0 2446860 0
[pid=16980/tid=16981] ppid=16977 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/16980/task/16981/stat : 16981 (java) S 16977 16980 15921 0 -1 4202560 2446 0 1 0 49 2 0 0 20 0 22 0 8172554 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139658149167992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16983] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16983/stat : 16983 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172555 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139658110659112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16984] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16984/stat : 16984 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172555 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657991940520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16985] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16985/stat : 16985 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172555 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657990887720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16980/tid=16986] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16986/stat : 16986 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172555 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657989834920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16987] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16987/stat : 16987 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172555 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657988783144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16988] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16988/stat : 16988 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172555 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657987730344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16989] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16989/stat : 16989 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172555 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657986677544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16990] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16990/stat : 16990 (java) S 16977 16980 15921 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8172555 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657985624744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16991] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16991/stat : 16991 (java) S 16977 16980 15921 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657503295976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16992] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16992/stat : 16992 (java) S 16977 16980 15921 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657502242040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16993] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16993/stat : 16993 (java) S 16977 16980 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657501189128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16994] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16994/stat : 16994 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172558 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657500137616 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16995] ppid=16977 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/16980/task/16995/stat : 16995 (java) S 16977 16980 15921 0 -1 4202560 10219 0 0 0 100 2 0 0 20 0 22 0 8172558 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657499085752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16996] ppid=16977 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/16980/task/16996/stat : 16996 (java) S 16977 16980 15921 0 -1 4202560 10735 0 0 0 112 2 0 0 20 0 22 0 8172558 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657498032952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16997] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16997/stat : 16997 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172558 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657496980344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16998] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16998/stat : 16998 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172558 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657495927752 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=17002] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/17002/stat : 17002 (java) S 16977 16980 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8172606 10060525568 46408 33554432000 1073741824 1073778376 140736470609072 139657491714856 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 9824732

[startup+6.30098 s]
/proc/loadavg: 4.27 4.27 4.18 5/221 17017
/proc/meminfo: memFree=26791412/32872528 swapFree=1484408/1662236
[pid=16980] ppid=16977 vsize=9824732 CPUtime=12.04 cores=0,2,4,6
/proc/16980/stat : 16980 (java) S 16977 16980 15921 0 -1 4202496 26802 0 1 0 1183 21 0 0 20 0 22 0 8172553 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 140736470600208 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16980/statm: 2456183 59218 2293 9 0 2446860 0
[pid=16980/tid=16981] ppid=16977 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/16980/task/16981/stat : 16981 (java) S 16977 16980 15921 0 -1 4202560 2446 0 1 0 49 2 0 0 20 0 22 0 8172554 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139658149167992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16983] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16983/stat : 16983 (java) S 16977 16980 15921 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 22 0 8172555 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139658110659112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16984] ppid=16977 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/16980/task/16984/stat : 16984 (java) S 16977 16980 15921 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 22 0 8172555 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657991940520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16985] ppid=16977 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/16980/task/16985/stat : 16985 (java) S 16977 16980 15921 0 -1 4202560 116 0 0 0 3 0 0 0 20 0 22 0 8172555 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657990887720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16980/tid=16986] ppid=16977 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/16980/task/16986/stat : 16986 (java) S 16977 16980 15921 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 22 0 8172555 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657989834920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16987] ppid=16977 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/16980/task/16987/stat : 16987 (java) S 16977 16980 15921 0 -1 4202560 160 0 0 0 3 1 0 0 20 0 22 0 8172555 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657988783144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16988] ppid=16977 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/16980/task/16988/stat : 16988 (java) S 16977 16980 15921 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 8172555 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657987730344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16989] ppid=16977 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/16980/task/16989/stat : 16989 (java) S 16977 16980 15921 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 8172555 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657986677544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16990] ppid=16977 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/16980/task/16990/stat : 16990 (java) S 16977 16980 15921 0 -1 4202560 47 0 0 0 1 0 0 0 20 0 22 0 8172555 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657985624744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16991] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16991/stat : 16991 (java) S 16977 16980 15921 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657503295976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16992] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16992/stat : 16992 (java) S 16977 16980 15921 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657502242040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16993] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16993/stat : 16993 (java) S 16977 16980 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657501189128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16994] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16994/stat : 16994 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172558 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657500137616 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16995] ppid=16977 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/16980/task/16995/stat : 16995 (java) S 16977 16980 15921 0 -1 4202560 10223 0 0 0 117 2 0 0 20 0 22 0 8172558 10060525568 59218 33554432000 1073741824 1073778376 140736470609072 139657499085752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16996] ppid=16977 vsize=9824732 CPUtime=1.45 cores=0,2,4,6

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

/proc/16980/task/16985/stat : 16985 (java) S 16977 16980 15921 0 -1 4202560 789 0 0 0 158 25 0 0 20 0 22 0 8172555 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657990887720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16986] ppid=16977 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/16980/task/16986/stat : 16986 (java) S 16977 16980 15921 0 -1 4202560 785 0 0 0 177 26 0 0 20 0 22 0 8172555 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657989834920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16987] ppid=16977 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/16980/task/16987/stat : 16987 (java) S 16977 16980 15921 0 -1 4202560 921 0 0 0 157 31 0 0 20 0 22 0 8172555 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657988783144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16988] ppid=16977 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/16980/task/16988/stat : 16988 (java) S 16977 16980 15921 0 -1 4202560 785 0 0 0 160 26 0 0 20 0 22 0 8172555 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657987730344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16989] ppid=16977 vsize=9824732 CPUtime=2.36 cores=0,2,4,6
/proc/16980/task/16989/stat : 16989 (java) S 16977 16980 15921 0 -1 4202560 671 0 0 0 205 31 0 0 20 0 22 0 8172555 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657986677544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16990] ppid=16977 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/16980/task/16990/stat : 16990 (java) S 16977 16980 15921 0 -1 4202560 779 0 0 0 160 30 0 0 20 0 22 0 8172555 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657985624744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16991] ppid=16977 vsize=9824732 CPUtime=5.69 cores=0,2,4,6
/proc/16980/task/16991/stat : 16991 (java) S 16977 16980 15921 0 -1 4202560 2818 0 0 0 565 4 0 0 20 0 22 0 8172556 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657503295976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16992] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16992/stat : 16992 (java) S 16977 16980 15921 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657502242040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16993] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16993/stat : 16993 (java) S 16977 16980 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657501189128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16994] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16994/stat : 16994 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172558 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657500137616 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16995] ppid=16977 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/16980/task/16995/stat : 16995 (java) S 16977 16980 15921 0 -1 4202560 10224 0 0 0 121 2 0 0 20 0 22 0 8172558 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657499085752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16996] ppid=16977 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/16980/task/16996/stat : 16996 (java) S 16977 16980 15921 0 -1 4202560 12352 0 0 0 171 2 0 0 20 0 22 0 8172558 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657498032952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16997] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16997/stat : 16997 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172558 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657496980344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16998] ppid=16977 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/16980/task/16998/stat : 16998 (java) S 16977 16980 15921 0 -1 4202560 47 0 0 0 11 13 0 0 20 0 22 0 8172558 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657495927752 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=17002] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/17002/stat : 17002 (java) S 16977 16980 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8172606 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657491714856 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=17015] ppid=16977 vsize=9824732 CPUtime=805.33 cores=0,2,4,6
/proc/16980/task/17015/stat : 17015 (java) R 16977 16980 15921 0 -1 4202560 117 0 0 0 80519 14 0 0 20 0 22 0 8173057 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657493811216 139657992775125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=17016] ppid=16977 vsize=9824732 CPUtime=805.23 cores=0,2,4,6
/proc/16980/task/17016/stat : 17016 (java) R 16977 16980 15921 0 -1 4202560 1568 0 0 0 80485 38 0 0 20 0 22 0 8173057 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657494871120 139657992908300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=17017] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/17017/stat : 17017 (java) S 16977 16980 15921 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8173057 10060525568 1001111 33554432000 1073741824 1073778376 140736470609072 139657492767656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1645.67
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.31 4.21 4.18 5/221 17132
/proc/meminfo: memFree=23025772/32872528 swapFree=1484408/1662236
[pid=16980] ppid=16977 vsize=9824732 CPUtime=1765.99 cores=0,2,4,6
/proc/16980/stat : 16980 (java) S 16977 16980 15921 0 -1 4202496 37173 0 1 0 176327 272 0 0 20 0 22 0 8172553 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 140736470600208 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16980/statm: 2456183 1001148 2301 9 0 2446860 0
[pid=16980/tid=16981] ppid=16977 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/16980/task/16981/stat : 16981 (java) S 16977 16980 15921 0 -1 4202560 2450 0 1 0 50 3 0 0 20 0 22 0 8172554 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139658149167992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16983] ppid=16977 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/16980/task/16983/stat : 16983 (java) S 16977 16980 15921 0 -1 4202560 643 0 0 0 141 19 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139658110659112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16980/tid=16984] ppid=16977 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/16980/task/16984/stat : 16984 (java) S 16977 16980 15921 0 -1 4202560 799 0 0 0 198 22 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657991940520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16980/tid=16985] ppid=16977 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/16980/task/16985/stat : 16985 (java) S 16977 16980 15921 0 -1 4202560 792 0 0 0 174 25 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657990887720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16986] ppid=16977 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/16980/task/16986/stat : 16986 (java) S 16977 16980 15921 0 -1 4202560 785 0 0 0 193 26 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657989834920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16987] ppid=16977 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/16980/task/16987/stat : 16987 (java) S 16977 16980 15921 0 -1 4202560 944 0 0 0 161 31 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657988783144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16980/tid=16988] ppid=16977 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/16980/task/16988/stat : 16988 (java) S 16977 16980 15921 0 -1 4202560 786 0 0 0 163 26 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657987730344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16989] ppid=16977 vsize=9824732 CPUtime=2.4 cores=0,2,4,6
/proc/16980/task/16989/stat : 16989 (java) S 16977 16980 15921 0 -1 4202560 671 0 0 0 209 31 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657986677544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16990] ppid=16977 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/16980/task/16990/stat : 16990 (java) S 16977 16980 15921 0 -1 4202560 779 0 0 0 163 30 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657985624744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16991] ppid=16977 vsize=9824732 CPUtime=5.69 cores=0,2,4,6
/proc/16980/task/16991/stat : 16991 (java) S 16977 16980 15921 0 -1 4202560 2820 0 0 0 565 4 0 0 20 0 22 0 8172556 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657503295976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16992] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16992/stat : 16992 (java) S 16977 16980 15921 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657502242040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16993] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16993/stat : 16993 (java) S 16977 16980 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657501189128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16994] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16994/stat : 16994 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172558 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657500137616 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16995] ppid=16977 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/16980/task/16995/stat : 16995 (java) S 16977 16980 15921 0 -1 4202560 10224 0 0 0 121 2 0 0 20 0 22 0 8172558 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657499085752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16996] ppid=16977 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/16980/task/16996/stat : 16996 (java) S 16977 16980 15921 0 -1 4202560 12352 0 0 0 171 2 0 0 20 0 22 0 8172558 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657498032952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16997] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16997/stat : 16997 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172558 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657496980344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16998] ppid=16977 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/16980/task/16998/stat : 16998 (java) S 16977 16980 15921 0 -1 4202560 51 0 0 0 12 13 0 0 20 0 22 0 8172558 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657495927752 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=17002] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/17002/stat : 17002 (java) S 16977 16980 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8172606 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657491714856 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=17015] ppid=16977 vsize=9824732 CPUtime=865 cores=0,2,4,6
/proc/16980/task/17015/stat : 17015 (java) R 16977 16980 15921 0 -1 4202560 117 0 0 0 86484 16 0 0 20 0 22 0 8173057 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657493811216 139657992489043 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=17016] ppid=16977 vsize=9824732 CPUtime=864.91 cores=0,2,4,6
/proc/16980/task/17016/stat : 17016 (java) R 16977 16980 15921 0 -1 4202560 1569 0 0 0 86452 39 0 0 20 0 22 0 8173057 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657494871136 139657992929652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=17017] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/17017/stat : 17017 (java) S 16977 16980 15921 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8173057 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657492767656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1765.99
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.401 s]
/proc/loadavg: 4.32 4.21 4.18 6/221 17133
/proc/meminfo: memFree=22756432/32872528 swapFree=1484408/1662236
[pid=16980] ppid=16977 vsize=9824732 CPUtime=1800.17 cores=0,2,4,6
/proc/16980/stat : 16980 (java) S 16977 16980 15921 0 -1 4202496 37175 0 1 0 179744 273 0 0 20 0 22 0 8172553 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 140736470600208 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16980/statm: 2456183 1001148 2301 9 0 2446860 0
[pid=16980/tid=16981] ppid=16977 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/16980/task/16981/stat : 16981 (java) S 16977 16980 15921 0 -1 4202560 2450 0 1 0 50 3 0 0 20 0 22 0 8172554 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139658149167992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16983] ppid=16977 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/16980/task/16983/stat : 16983 (java) S 16977 16980 15921 0 -1 4202560 643 0 0 0 141 19 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139658110659112 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16980/tid=16984] ppid=16977 vsize=9824732 CPUtime=2.2 cores=0,2,4,6
/proc/16980/task/16984/stat : 16984 (java) S 16977 16980 15921 0 -1 4202560 799 0 0 0 198 22 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657991940520 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16980/tid=16985] ppid=16977 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/16980/task/16985/stat : 16985 (java) S 16977 16980 15921 0 -1 4202560 792 0 0 0 174 25 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657990887720 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16986] ppid=16977 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/16980/task/16986/stat : 16986 (java) S 16977 16980 15921 0 -1 4202560 785 0 0 0 193 26 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657989834920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16987] ppid=16977 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/16980/task/16987/stat : 16987 (java) S 16977 16980 15921 0 -1 4202560 944 0 0 0 161 31 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657988783144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16980/tid=16988] ppid=16977 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/16980/task/16988/stat : 16988 (java) S 16977 16980 15921 0 -1 4202560 786 0 0 0 163 26 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657987730344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16989] ppid=16977 vsize=9824732 CPUtime=2.4 cores=0,2,4,6
/proc/16980/task/16989/stat : 16989 (java) S 16977 16980 15921 0 -1 4202560 671 0 0 0 209 31 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657986677544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16990] ppid=16977 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/16980/task/16990/stat : 16990 (java) S 16977 16980 15921 0 -1 4202560 779 0 0 0 163 30 0 0 20 0 22 0 8172555 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657985624744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16991] ppid=16977 vsize=9824732 CPUtime=5.69 cores=0,2,4,6
/proc/16980/task/16991/stat : 16991 (java) S 16977 16980 15921 0 -1 4202560 2820 0 0 0 565 4 0 0 20 0 22 0 8172556 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657503295976 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16992] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16992/stat : 16992 (java) S 16977 16980 15921 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657502242040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16993] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16993/stat : 16993 (java) S 16977 16980 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 8172556 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657501189128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16994] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16994/stat : 16994 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172558 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657500137616 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16995] ppid=16977 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/16980/task/16995/stat : 16995 (java) S 16977 16980 15921 0 -1 4202560 10224 0 0 0 121 2 0 0 20 0 22 0 8172558 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657499085752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16980/tid=16996] ppid=16977 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/16980/task/16996/stat : 16996 (java) S 16977 16980 15921 0 -1 4202560 12352 0 0 0 171 2 0 0 20 0 22 0 8172558 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657498032952 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=16997] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/16997/stat : 16997 (java) S 16977 16980 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 8172558 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657496980344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=16998] ppid=16977 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/16980/task/16998/stat : 16998 (java) S 16977 16980 15921 0 -1 4202560 53 0 0 0 12 13 0 0 20 0 22 0 8172558 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657495927752 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=17002] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/17002/stat : 17002 (java) S 16977 16980 15921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 8172606 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657491714856 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=17015] ppid=16977 vsize=9824732 CPUtime=882.04 cores=0,2,4,6
/proc/16980/task/17015/stat : 17015 (java) R 16977 16980 15921 0 -1 4202560 117 0 0 0 88188 16 0 0 20 0 22 0 8173057 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657493811216 139657992870058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16980/tid=17016] ppid=16977 vsize=9824732 CPUtime=881.96 cores=0,2,4,6
/proc/16980/task/17016/stat : 17016 (java) R 16977 16980 15921 0 -1 4202560 1569 0 0 0 88157 39 0 0 20 0 22 0 8173057 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657494871136 139657992929564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16980/tid=17017] ppid=16977 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/16980/task/17017/stat : 17017 (java) S 16977 16980 15921 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 8173057 10060525568 1001148 33554432000 1073741824 1073778376 140736470609072 139657492767656 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
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 16980 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 16980 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=10420
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=161519
# CPU time returned by wait4() is 1796.17
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 899.48
CPU time (s): 1800.17
CPU user time (s): 1797.44
CPU system time (s): 2.73
CPU usage (%): 200.135
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.01
system time used= 3.16152
maximum resident set size= 4004712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37217
page faults= 1
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22325
involuntary context switches= 21565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45417 second user time and 7.49286 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-30 09:36:40
IDJOB=4119871
IDBENCH=111815
IDSOLVER=2543
FILE ID=node134/4119871-1467272200
RUNJOBID= node134-1467269337-16122
PBS_JOBID= 20004500
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119871-1467272200/watcher-4119871-1467272200 -o /tmp/evaluation-result-4119871-1467272200/solver-4119871-1467272200 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467269337-16122 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119871-1467272200.opb

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

MD5SUM BENCH= 0b3ebda9e2c907bea9a29c0cee18b8c9
RANDOM SEED=53145532

node134.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.738
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.47
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.738
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	: 7358.89
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.738
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.738
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.738
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.54
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.738
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.738
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.738
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:        27020692 kB
Buffers:          169408 kB
Cached:          1714220 kB
SwapCached:            0 kB
Active:          1711536 kB
Inactive:        1732544 kB
Active(anon):    1562624 kB
Inactive(anon):        0 kB
Active(file):     148912 kB
Inactive(file):  1732544 kB
Unevictable:     1662236 kB
Mlocked:         1484408 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               636 kB
Writeback:             0 kB
AnonPages:       3187448 kB
Mapped:            21660 kB
Shmem:               216 kB
Slab:             610940 kB
SReclaimable:      54876 kB
SUnreclaim:       556064 kB
KernelStack:        1824 kB
PageTables:        10652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4263872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1632256 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= 71704 MiB
End job on node134 at 2016-06-30 09:51:40