Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 61123 | 1800.75 | 899.982 |
| Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
| MD5SUM | 457d573eb873a5d33dddcaaf7d992dd1 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 61123 |
| Best CPU time to get the best result obtained on this benchmark | 1800.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 3945 |
| Total number of constraints | 8604 |
| Number of constraints which are clauses | 8604 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 59 |
| Number of terms in the objective function | 1872 |
| Biggest coefficient in the objective function | 2110 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 3036193 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 2110 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 3036193 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4080734-1465252459.opb 0.09/0.12 c reading problem ... 0.09/0.13 c objective function found 0.76/0.43 c ... done. Wall clock time 0.306s. 0.76/0.43 c declared #vars 3945 0.76/0.43 c #constraints 8604 0.76/0.43 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.76/0.43 c constraints type 0.76/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2071 0.76/0.43 c org.sat4j.specs.Constr$1 => 22 0.76/0.43 c org.sat4j.minisat.constraints.cnf.UnitClause => 5 0.76/0.43 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 6506 0.76/0.43 c 8604 constraints processed. 0.76/0.43 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.76/0.43 c constraints type 0.76/0.43 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 6506 0.76/0.43 c org.sat4j.specs.Constr$1 => 22 0.76/0.43 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2071 0.76/0.43 c org.sat4j.pb.constraints.pb.UnitClausePB => 5 0.76/0.43 c 8604 constraints processed. 0.76/0.44 c objective function length is 1872 literals 1.11/0.52 c And the winner is solver0 1.99/0.94 c SATISFIABLE 1.99/0.94 c OPTIMIZING... 1.99/0.94 c Got one! Elapsed wall clock time (in seconds):0.815 1.99/0.94 o 70191 2.20/1.02 c And the winner is solver0 2.82/1.48 c Got one! Elapsed wall clock time (in seconds):1.352 2.82/1.48 o 68889 2.89/1.50 c And the winner is solver0 3.01/1.99 c Got one! Elapsed wall clock time (in seconds):1.862 3.01/1.99 o 67587 3.03/2.01 c And the winner is solver0 3.22/2.50 c Got one! Elapsed wall clock time (in seconds):2.372 3.22/2.50 o 66285 3.22/2.51 c And the winner is solver0 3.36/3.00 c Got one! Elapsed wall clock time (in seconds):2.878 3.36/3.00 o 64983 3.36/3.03 c And the winner is solver0 3.53/3.51 c Got one! Elapsed wall clock time (in seconds):3.383 3.53/3.51 o 63681 8.81/5.93 c cleaning 2642 clauses out of 5284 with flag 26472/5284 14.43/8.63 c cleaning 4315 clauses out of 8642 with flag 50848/11284 15.83/9.39 c And the winner is solver1 16.05/9.51 c Got one! Elapsed wall clock time (in seconds):9.39 16.05/9.51 o 62399 19.62/11.30 c cleaning 5028 clauses out of 10055 with flag 19619/17012 25.30/14.05 c cleaning 5514 clauses out of 11027 with flag 45765/23012 31.36/17.09 c cleaning 6257 clauses out of 12514 with flag 76345/30013 39.03/20.83 c cleaning 7090 clauses out of 14256 with flag 112777/38012 48.13/25.35 c cleaning 8083 clauses out of 16166 with flag 155547/47012 57.78/30.15 c cleaning 9030 clauses out of 18083 with flag 204883/57012 68.37/35.34 c cleaning 10027 clauses out of 20053 with flag 254079/68012 79.82/41.08 c cleaning 11009 clauses out of 22026 with flag 306211/80012 91.08/46.60 c cleaning 12008 clauses out of 24017 with flag 352951/93012 104.08/53.15 c cleaning 13005 clauses out of 26009 with flag 410876/107012 117.80/59.99 c And the winner is solver1 118.00/60.03 c Got one! Elapsed wall clock time (in seconds):59.902 118.00/60.03 o 62022 122.35/62.26 c cleaning 16219 clauses out of 32449 with flag 20200/126457 127.77/64.96 c cleaning 11104 clauses out of 22231 with flag 45690/132458 133.95/68.05 c cleaning 9053 clauses out of 18126 with flag 76240/139457 141.35/71.73 c cleaning 8538 clauses out of 17076 with flag 113555/147460 149.68/75.85 c cleaning 8748 clauses out of 17535 with flag 153458/156457 158.27/80.17 c cleaning 9385 clauses out of 18787 with flag 197580/166457 168.57/85.23 c cleaning 10181 clauses out of 20402 with flag 245936/177457 171.57/86.80 c And the winner is solver1 171.78/87.04 c Got one! Elapsed wall clock time (in seconds):86.917 171.78/87.04 o 61123 173.48/87.90 c cleaning 7854 clauses out of 15730 with flag 7123/182966 178.68/90.54 c cleaning 6917 clauses out of 13876 with flag 33188/188966 184.89/93.70 c cleaning 6963 clauses out of 13959 with flag 67941/195966 192.38/97.39 c cleaning 7462 clauses out of 14996 with flag 108234/203966 200.58/101.40 c cleaning 8235 clauses out of 16535 with flag 153192/212967 209.79/106.06 c cleaning 9145 clauses out of 18299 with flag 199580/222966 219.52/110.85 c cleaning 10074 clauses out of 20154 with flag 253478/233966 231.07/116.57 c cleaning 11041 clauses out of 22081 with flag 308807/245967 242.96/122.44 c cleaning 12020 clauses out of 24039 with flag 365134/258966 256.53/129.56 c cleaning 13005 clauses out of 26020 with flag 429215/272967 270.62/136.52 c cleaning 14007 clauses out of 28014 with flag 500968/287966 285.09/143.77 c cleaning 14995 clauses out of 30007 with flag 577900/303966 299.59/150.92 c cleaning 15999 clauses out of 32012 with flag 651760/320966 316.14/159.14 c cleaning 17003 clauses out of 34013 with flag 736588/338966 332.59/167.39 c cleaning 17989 clauses out of 36010 with flag 826225/357966 349.78/175.90 c cleaning 19010 clauses out of 38021 with flag 919449/377966 368.88/185.48 c cleaning 20002 clauses out of 40011 with flag 1022271/398966 389.84/195.86 c cleaning 21005 clauses out of 42009 with flag 1129449/420966 411.86/206.61 c cleaning 21996 clauses out of 44005 with flag 1229885/443967 433.90/217.46 c cleaning 22985 clauses out of 46008 with flag 1338698/467966 456.30/228.62 c cleaning 24011 clauses out of 48025 with flag 1451527/492968 480.50/240.65 c cleaning 25006 clauses out of 50012 with flag 1571456/518966 507.09/253.99 c cleaning 26003 clauses out of 52006 with flag 1698094/545966 535.93/268.82 c cleaning 27003 clauses out of 54005 with flag 1835644/573968 563.83/282.69 c cleaning 27989 clauses out of 56000 with flag 1976480/602966 590.82/296.18 c cleaning 28980 clauses out of 58011 with flag 2110129/632966 621.21/311.26 c cleaning 30016 clauses out of 60031 with flag 2267607/663966 652.19/326.62 c cleaning 31006 clauses out of 62015 with flag 2430062/695966 685.99/343.42 c cleaning 32004 clauses out of 64009 with flag 2606392/728966 720.40/360.56 c cleaning 33003 clauses out of 66005 with flag 2795564/762966 753.80/377.20 c cleaning 33977 clauses out of 68002 with flag 2982291/797966 787.26/393.82 c cleaning 35004 clauses out of 70025 with flag 3153641/833966 822.24/411.23 c cleaning 36011 clauses out of 72021 with flag 3342012/870966 859.04/429.68 c cleaning 37002 clauses out of 74011 with flag 3527538/908967 897.37/448.68 c cleaning 37988 clauses out of 76008 with flag 3713403/947966 936.88/468.27 c cleaning 39008 clauses out of 78021 with flag 3904490/987967 976.68/488.11 c cleaning 39977 clauses out of 80012 with flag 4127883/1028966 1016.12/507.66 c cleaning 40995 clauses out of 82035 with flag 4322402/1070966 1057.93/528.37 c cleaning 42002 clauses out of 84041 with flag 4548912/1113967 1100.12/549.45 c cleaning 43006 clauses out of 86038 with flag 4782401/1157966 1143.41/570.82 c cleaning 44001 clauses out of 88032 with flag 5019365/1202966 1189.32/594.63 c cleaning 45016 clauses out of 90031 with flag 5273836/1248966 1235.26/617.28 c cleaning 46000 clauses out of 92016 with flag 5519293/1295967 1279.06/639.19 c cleaning 47001 clauses out of 94015 with flag 5749620/1343966 1325.84/662.33 c cleaning 47954 clauses out of 96014 with flag 5993843/1392966 1374.24/686.23 c cleaning 49022 clauses out of 98060 with flag 6244458/1442966 1423.25/710.74 c cleaning 50003 clauses out of 100038 with flag 6484697/1493966 1473.93/735.72 c cleaning 50960 clauses out of 102035 with flag 6761594/1545966 1528.18/764.37 c cleaning 52008 clauses out of 104075 with flag 7039541/1598966 1579.30/789.83 c cleaning 53021 clauses out of 106067 with flag 7323578/1652966 1629.90/815.12 c cleaning 54004 clauses out of 108047 with flag 7606585/1707967 1683.11/841.51 c cleaning 55013 clauses out of 110044 with flag 7906431/1763968 1735.28/867.63 c cleaning 55987 clauses out of 112029 with flag 8206808/1820966 1789.38/894.50 c cleaning 57019 clauses out of 114042 with flag 8500906/1878966 1800.19/899.91 c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<< 1800.19/899.91 c starts : 18057 1800.19/899.91 c conflicts : 1892171 1800.19/899.91 c decisions : 21970694 1800.19/899.91 c propagations : 3362186723 1800.19/899.91 c inspects : 4436533854 1800.19/899.91 c shortcuts : 0 1800.19/899.91 c learnt literals : 0 1800.19/899.91 c learnt binary clauses : 1 1800.19/899.91 c learnt ternary clauses : 1 1800.19/899.91 c learnt constraints : 1892171 1800.19/899.91 c ignored constraints : 0 1800.19/899.91 c root simplifications : 0 1800.19/899.91 c removed literals (reason simplification) : 9167950 1800.19/899.91 c reason swapping (by a shorter reason) : 0 1800.19/899.91 c Calls to reduceDB : 73 1800.19/899.91 c Number of update (reduction) of LBD : 979997 1800.19/899.91 c Imported unit clauses : 0 1800.19/899.91 c number of reductions to clauses (during analyze) : 0 1800.19/899.91 c number of learned constraints concerned by reduction : 0 1800.19/899.91 c number of learning phase by resolution : 0 1800.19/899.91 c number of learning phase by cutting planes : 0 1800.19/899.91 c speed (assignments/second) : 4136217.85044257 1800.19/899.91 c non guided choices 0 1800.19/899.93 c learnt constraints type 1800.19/899.94 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1800.19/899.94 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 70227 1800.19/899.94 c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<< 1800.19/899.94 c starts : 29 1800.19/899.94 c conflicts : 4053 1800.19/899.94 c decisions : 112976 1800.19/899.94 c propagations : 792844 1800.19/899.94 c inspects : 57976235 1800.19/899.94 c shortcuts : 0 1800.19/899.94 c learnt literals : 0 1800.19/899.94 c learnt binary clauses : 1 1800.19/899.94 c learnt ternary clauses : 0 1800.19/899.94 c learnt constraints : 4051 1800.19/899.94 c ignored constraints : 0 1800.19/899.94 c root simplifications : 0 1800.19/899.94 c removed literals (reason simplification) : 0 1800.19/899.94 c reason swapping (by a shorter reason) : 0 1800.19/899.94 c Calls to reduceDB : 0 1800.19/899.94 c Number of update (reduction) of LBD : 0 1800.19/899.94 c Imported unit clauses : 0 1800.19/899.94 c number of reductions to clauses (during analyze) : 0 1800.19/899.94 c number of learned constraints concerned by reduction : 0 1800.19/899.94 c number of learning phase by resolution : 0 1800.19/899.94 c number of learning phase by cutting planes : 0 1800.19/899.94 c speed (assignments/second) : 884.4529870384852 1800.19/899.94 c non guided choices 0 1800.19/899.94 c learnt constraints type 1800.19/899.94 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 8 1800.19/899.94 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1 1800.19/899.94 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4042 1800.19/899.94 s SATISFIABLE 1800.19/899.94 c Found 9 solution(s) 1800.19/899.95 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 1800.19/899.95 c objective function=61123 1800.19/899.95 c Total wall clock time (in seconds): 899.827
OK 61123
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-4080734-1465252459/watcher-4080734-1465252459 -o /tmp/evaluation-result-4080734-1465252459/solver-4080734-1465252459 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20226 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080734-1465252459.opb pid=21789 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.08 4.09 4.03 4/197 21792 /proc/meminfo: memFree=27574296/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=5632 CPUtime=0 cores=0,2,4,6 /proc/21792/stat : 21792 (java) R 21789 21792 20210 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 107179224 5767168 56 33554432000 1073741824 1073778376 140736113868816 140736113865944 262953594151 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2303 62 48 9 0 35 0 [startup+0.100058 s] /proc/loadavg: 4.08 4.09 4.03 4/197 21792 /proc/meminfo: memFree=27574296/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/21792/stat : 21792 (java) S 21789 21792 20210 0 -1 4202496 4390 0 1 0 8 1 0 0 20 0 18 0 107179224 9787879424 6024 33554432000 1073741824 1073778376 140736113868816 140736113859952 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2389619 6024 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200269 s] /proc/loadavg: 4.08 4.09 4.03 4/197 21792 /proc/meminfo: memFree=27574296/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/21792/stat : 21792 (java) S 21789 21792 20210 0 -1 4202496 5019 0 1 0 25 2 0 0 20 0 18 0 107179224 9787879424 6859 33554432000 1073741824 1073778376 140736113868816 140736113859952 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2389619 6859 2208 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300295 s] /proc/loadavg: 4.08 4.09 4.03 4/197 21792 /proc/meminfo: memFree=27574296/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=9558476 CPUtime=0.48 cores=0,2,4,6 /proc/21792/stat : 21792 (java) S 21789 21792 20210 0 -1 4202496 5818 0 1 0 46 2 0 0 20 0 18 0 107179224 9787879424 8968 33554432000 1073741824 1073778376 140736113868816 140736113859952 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2389619 8968 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558476 [startup+0.700311 s] /proc/loadavg: 4.08 4.09 4.03 4/197 21792 /proc/meminfo: memFree=27574296/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=9825340 CPUtime=1.58 cores=0,2,4,6 /proc/21792/stat : 21792 (java) S 21789 21792 20210 0 -1 4202496 24790 0 1 0 151 7 0 0 20 0 19 0 107179224 10061148160 27495 33554432000 1073741824 1073778376 140736113868816 140736113859952 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2456335 27495 2255 9 0 2447012 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 9825340 [startup+1.50068 s] /proc/loadavg: 4.08 4.09 4.03 6/217 21817 /proc/meminfo: memFree=27470248/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=9824732 CPUtime=2.89 cores=0,2,4,6 /proc/21792/stat : 21792 (java) S 21789 21792 20210 0 -1 4202496 30568 0 1 0 279 10 0 0 20 0 22 0 107179224 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140736113859952 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2456183 28510 2265 9 0 2446860 0 [pid=21792/tid=21794] ppid=21789 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/21792/task/21794/stat : 21794 (java) S 21789 21792 20210 0 -1 4202560 2538 0 1 0 43 2 0 0 20 0 22 0 107179224 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222581728120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21795] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21795/stat : 21795 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222570789928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21796] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21796/stat : 21796 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222569737128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21797] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21797/stat : 21797 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222568684328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21798] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21798/stat : 21798 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222567631528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21799] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21799/stat : 21799 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222566578728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21800] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21800/stat : 21800 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222565525928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21801] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21801/stat : 21801 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222564473128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21802] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21802/stat : 21802 (java) S 21789 21792 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222563420328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21803] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21803/stat : 21803 (java) S 21789 21792 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222405880808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21804] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21804/stat : 21804 (java) S 21789 21792 20210 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222404826872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21805] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21805/stat : 21805 (java) S 21789 21792 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222403773960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21806] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21806/stat : 21806 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222402722448 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21807] ppid=21789 vsize=9824732 CPUtime=0.97 cores=0,2,4,6 /proc/21792/task/21807/stat : 21807 (java) R 21789 21792 20210 0 -1 4202560 14664 0 0 0 94 3 0 0 20 0 22 0 107179230 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222401669560 140222585815287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21808] ppid=21789 vsize=9824732 CPUtime=0.95 cores=0,2,4,6 /proc/21792/task/21808/stat : 21808 (java) R 21789 21792 20210 0 -1 4202560 11996 0 0 0 92 3 0 0 20 0 22 0 107179230 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222400616760 140222588713846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21809] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21809/stat : 21809 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222399564152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21810] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21810/stat : 21810 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222398511560 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21814] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21814/stat : 21814 (java) S 21789 21792 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107179269 10060525568 28510 33554432000 1073741824 1073778376 140736113868816 140222391190824 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.89 Current children cumulated vsize (KiB) 9824732 [startup+3.10078 s] /proc/loadavg: 3.99 4.07 4.02 3/216 21823 /proc/meminfo: memFree=27459324/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=9824732 CPUtime=3.53 cores=0,2,4,6 /proc/21792/stat : 21792 (java) S 21789 21792 20210 0 -1 4202496 30609 0 1 0 335 18 0 0 20 0 19 0 107179224 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140736113859952 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2456183 34146 2270 9 0 2446860 0 [pid=21792/tid=21794] ppid=21789 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/21792/task/21794/stat : 21794 (java) S 21789 21792 20210 0 -1 4202560 2540 0 1 0 45 2 0 0 20 0 19 0 107179224 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222581728120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21795] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21795/stat : 21795 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107179226 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222570789928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21796] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21796/stat : 21796 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107179226 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222569737128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21797] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21797/stat : 21797 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107179226 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222568684328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21798] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21798/stat : 21798 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107179226 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222567631528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21799] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21799/stat : 21799 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107179226 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222566578728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21800] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21800/stat : 21800 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107179226 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222565525928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21801] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21801/stat : 21801 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107179226 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222564473128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21802] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21802/stat : 21802 (java) S 21789 21792 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107179226 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222563420328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21803] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21803/stat : 21803 (java) S 21789 21792 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107179227 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222405880808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21804] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21804/stat : 21804 (java) S 21789 21792 20210 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107179227 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222404826872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21805] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21805/stat : 21805 (java) S 21789 21792 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107179227 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222403773960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21806] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21806/stat : 21806 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107179230 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222402722448 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21807] ppid=21789 vsize=9824732 CPUtime=1.11 cores=0,2,4,6 /proc/21792/task/21807/stat : 21807 (java) S 21789 21792 20210 0 -1 4202560 14668 0 0 0 108 3 0 0 20 0 19 0 107179230 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222401669560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21808] ppid=21789 vsize=9824732 CPUtime=1.15 cores=0,2,4,6 /proc/21792/task/21808/stat : 21808 (java) S 21789 21792 20210 0 -1 4202560 11997 0 0 0 112 3 0 0 20 0 19 0 107179230 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222400616760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21809] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21809/stat : 21809 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107179230 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222399564152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21810] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21810/stat : 21810 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107179230 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222398511560 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21814] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21814/stat : 21814 (java) S 21789 21792 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107179269 10060525568 34146 33554432000 1073741824 1073778376 140736113868816 140222391190824 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.53 Current children cumulated vsize (KiB) 9824732 [startup+6.3009 s] /proc/loadavg: 3.99 4.07 4.02 6/219 21832 /proc/meminfo: memFree=27373292/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=9824732 CPUtime=9.63 cores=0,2,4,6 /proc/21792/stat : 21792 (java) S 21789 21792 20210 0 -1 4202496 30711 0 1 0 942 21 0 0 20 0 22 0 107179224 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140736113859952 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2456183 51946 2292 9 0 2446860 0 [pid=21792/tid=21794] ppid=21789 vsize=9824732 CPUtime=0.48 cores=0,2,4,6 /proc/21792/task/21794/stat : 21794 (java) S 21789 21792 20210 0 -1 4202560 2540 0 1 0 46 2 0 0 20 0 22 0 107179224 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222581728120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21795] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21795/stat : 21795 (java) S 21789 21792 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222570789928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21796] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21796/stat : 21796 (java) S 21789 21792 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222569737128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21797] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21797/stat : 21797 (java) S 21789 21792 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222568684328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21798] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21798/stat : 21798 (java) S 21789 21792 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222567631528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21799] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21799/stat : 21799 (java) S 21789 21792 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222566578728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21800] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21800/stat : 21800 (java) S 21789 21792 20210 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222565525928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21801] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21801/stat : 21801 (java) S 21789 21792 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222564473128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21802] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21802/stat : 21802 (java) S 21789 21792 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107179226 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222563420328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21803] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21803/stat : 21803 (java) S 21789 21792 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222405880808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21804] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21804/stat : 21804 (java) S 21789 21792 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222404826872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21805] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21805/stat : 21805 (java) S 21789 21792 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222403773960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21806] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21806/stat : 21806 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222402722448 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21807] ppid=21789 vsize=9824732 CPUtime=1.44 cores=0,2,4,6 /proc/21792/task/21807/stat : 21807 (java) S 21789 21792 20210 0 -1 4202560 14679 0 0 0 141 3 0 0 20 0 22 0 107179230 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222401669560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21808] ppid=21789 vsize=9824732 CPUtime=1.32 cores=0,2,4,6 /proc/21792/task/21808/stat : 21808 (java) S 21789 21792 20210 0 -1 4202560 12006 0 0 0 129 3 0 0 20 0 22 0 107179230 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222400616760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21809] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21809/stat : 21809 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222399564152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21810] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21810/stat : 21810 (java) S 21789 21792 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222398511560 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21814] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21814/stat : 21814 (java) S 21789 21792 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107179269 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222391190824 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21830] ppid=21789 vsize=9824732 CPUtime=2.73 cores=0,2,4,6 /proc/21792/task/21830/stat : 21830 (java) R 21789 21792 20210 0 -1 4202560 6 0 0 0 273 0 0 0 20 0 22 0 107179575 10060525568 51946 33554432000 1073741824 1073778376 140736113868816 140222393286816 140222445353032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21831] ppid=21789 vsize=9824732 CPUtime=2.74 cores=0,2,4,6 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.06 4.02 4.00 5/219 21951 /proc/meminfo: memFree=26678120/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=9824732 CPUtime=1764.99 cores=0,2,4,6 /proc/21792/stat : 21792 (java) S 21789 21792 20210 0 -1 4202496 50221 0 1 0 176096 403 0 0 20 0 22 0 107179224 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140736113859952 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2456183 985361 2303 9 0 2446860 0 [pid=21792/tid=21794] ppid=21789 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/21792/task/21794/stat : 21794 (java) S 21789 21792 20210 0 -1 4202560 2547 0 1 0 49 3 0 0 20 0 22 0 107179224 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222581728120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21795] ppid=21789 vsize=9824732 CPUtime=2.48 cores=0,2,4,6 /proc/21792/task/21795/stat : 21795 (java) S 21789 21792 20210 0 -1 4202560 1039 0 0 0 208 40 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222570789928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21796] ppid=21789 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/21792/task/21796/stat : 21796 (java) S 21789 21792 20210 0 -1 4202560 1053 0 0 0 220 44 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222569737128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21797] ppid=21789 vsize=9824732 CPUtime=2.6 cores=0,2,4,6 /proc/21792/task/21797/stat : 21797 (java) S 21789 21792 20210 0 -1 4202560 1195 0 0 0 216 44 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222568684328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21798] ppid=21789 vsize=9824732 CPUtime=2.65 cores=0,2,4,6 /proc/21792/task/21798/stat : 21798 (java) S 21789 21792 20210 0 -1 4202560 1036 0 0 0 222 43 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222567631528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21799] ppid=21789 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/21792/task/21799/stat : 21799 (java) S 21789 21792 20210 0 -1 4202560 1135 0 0 0 198 40 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222566578728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21800] ppid=21789 vsize=9824732 CPUtime=2.75 cores=0,2,4,6 /proc/21792/task/21800/stat : 21800 (java) S 21789 21792 20210 0 -1 4202560 1244 0 0 0 226 49 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222565525928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21801] ppid=21789 vsize=9824732 CPUtime=2.86 cores=0,2,4,6 /proc/21792/task/21801/stat : 21801 (java) S 21789 21792 20210 0 -1 4202560 1274 0 0 0 238 48 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222564473128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21802] ppid=21789 vsize=9824732 CPUtime=2.54 cores=0,2,4,6 /proc/21792/task/21802/stat : 21802 (java) S 21789 21792 20210 0 -1 4202560 1145 0 0 0 211 43 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222563420328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21803] ppid=21789 vsize=9824732 CPUtime=7.29 cores=0,2,4,6 /proc/21792/task/21803/stat : 21803 (java) S 21789 21792 20210 0 -1 4202560 3655 0 0 0 722 7 0 0 20 0 22 0 107179227 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222405880808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21804] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21804/stat : 21804 (java) S 21789 21792 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222404826872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21805] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21805/stat : 21805 (java) S 21789 21792 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222403773960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21806] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21806/stat : 21806 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222402722448 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21807] ppid=21789 vsize=9824732 CPUtime=1.75 cores=0,2,4,6 /proc/21792/task/21807/stat : 21807 (java) S 21789 21792 20210 0 -1 4202560 14686 0 0 0 172 3 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222401669560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21808] ppid=21789 vsize=9824732 CPUtime=2.49 cores=0,2,4,6 /proc/21792/task/21808/stat : 21808 (java) S 21789 21792 20210 0 -1 4202560 17721 0 0 0 246 3 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222400616760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21809] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21809/stat : 21809 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222399564152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21810] ppid=21789 vsize=9824732 CPUtime=0.23 cores=0,2,4,6 /proc/21792/task/21810/stat : 21810 (java) S 21789 21792 20210 0 -1 4202560 52 0 0 0 11 12 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222398511560 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21832] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21832/stat : 21832 (java) S 21789 21792 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107179575 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222392243240 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21918] ppid=21789 vsize=9824732 CPUtime=783.16 cores=0,2,4,6 /proc/21792/task/21918/stat : 21918 (java) R 21789 21792 20210 0 -1 4202560 95 0 0 0 78303 13 0 0 20 0 22 0 107187929 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222393294464 140222445353427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21919] ppid=21789 vsize=9824732 CPUtime=783.12 cores=0,2,4,6 /proc/21792/task/21919/stat : 21919 (java) R 21789 21792 20210 0 -1 4202560 745 0 0 0 78296 16 0 0 20 0 22 0 107187929 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222391187808 140222445859156 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21920] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21920/stat : 21920 (java) S 21789 21792 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107187929 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222394348456 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1764.99 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+899.908 s] /proc/loadavg: 4.12 4.03 4.01 5/219 21951 /proc/meminfo: memFree=26682152/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=9824732 CPUtime=1800.19 cores=0,2,4,6 /proc/21792/stat : 21792 (java) S 21789 21792 20210 0 -1 4202496 50221 0 1 0 179616 403 0 0 20 0 22 0 107179224 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140736113859952 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2456183 985361 2303 9 0 2446860 0 [pid=21792/tid=21794] ppid=21789 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/21792/task/21794/stat : 21794 (java) S 21789 21792 20210 0 -1 4202560 2547 0 1 0 49 3 0 0 20 0 22 0 107179224 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222581728120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21795] ppid=21789 vsize=9824732 CPUtime=2.48 cores=0,2,4,6 /proc/21792/task/21795/stat : 21795 (java) S 21789 21792 20210 0 -1 4202560 1039 0 0 0 208 40 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222570789928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21796] ppid=21789 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/21792/task/21796/stat : 21796 (java) S 21789 21792 20210 0 -1 4202560 1053 0 0 0 220 44 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222569737128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21797] ppid=21789 vsize=9824732 CPUtime=2.6 cores=0,2,4,6 /proc/21792/task/21797/stat : 21797 (java) S 21789 21792 20210 0 -1 4202560 1195 0 0 0 216 44 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222568684328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21798] ppid=21789 vsize=9824732 CPUtime=2.65 cores=0,2,4,6 /proc/21792/task/21798/stat : 21798 (java) S 21789 21792 20210 0 -1 4202560 1036 0 0 0 222 43 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222567631528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21799] ppid=21789 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/21792/task/21799/stat : 21799 (java) S 21789 21792 20210 0 -1 4202560 1135 0 0 0 198 40 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222566578728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21800] ppid=21789 vsize=9824732 CPUtime=2.75 cores=0,2,4,6 /proc/21792/task/21800/stat : 21800 (java) S 21789 21792 20210 0 -1 4202560 1244 0 0 0 226 49 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222565525928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21801] ppid=21789 vsize=9824732 CPUtime=2.86 cores=0,2,4,6 /proc/21792/task/21801/stat : 21801 (java) S 21789 21792 20210 0 -1 4202560 1274 0 0 0 238 48 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222564473128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21802] ppid=21789 vsize=9824732 CPUtime=2.54 cores=0,2,4,6 /proc/21792/task/21802/stat : 21802 (java) S 21789 21792 20210 0 -1 4202560 1145 0 0 0 211 43 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222563420328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21803] ppid=21789 vsize=9824732 CPUtime=7.29 cores=0,2,4,6 /proc/21792/task/21803/stat : 21803 (java) S 21789 21792 20210 0 -1 4202560 3655 0 0 0 722 7 0 0 20 0 22 0 107179227 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222405880808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21804] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21804/stat : 21804 (java) S 21789 21792 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222404826872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21805] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21805/stat : 21805 (java) S 21789 21792 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222403773960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21806] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21806/stat : 21806 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222402722448 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21807] ppid=21789 vsize=9824732 CPUtime=1.75 cores=0,2,4,6 /proc/21792/task/21807/stat : 21807 (java) S 21789 21792 20210 0 -1 4202560 14686 0 0 0 172 3 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222401669560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21808] ppid=21789 vsize=9824732 CPUtime=2.49 cores=0,2,4,6 /proc/21792/task/21808/stat : 21808 (java) S 21789 21792 20210 0 -1 4202560 17721 0 0 0 246 3 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222400616760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21809] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21809/stat : 21809 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222399564152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21810] ppid=21789 vsize=9824732 CPUtime=0.23 cores=0,2,4,6 /proc/21792/task/21810/stat : 21810 (java) S 21789 21792 20210 0 -1 4202560 52 0 0 0 11 12 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222398511560 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21832] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21832/stat : 21832 (java) S 21789 21792 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107179575 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222392243240 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21918] ppid=21789 vsize=9824732 CPUtime=800.76 cores=0,2,4,6 /proc/21792/task/21918/stat : 21918 (java) R 21789 21792 20210 0 -1 4202560 95 0 0 0 80062 14 0 0 20 0 22 0 107187929 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222393286768 140222445093600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21919] ppid=21789 vsize=9824732 CPUtime=800.72 cores=0,2,4,6 /proc/21792/task/21919/stat : 21919 (java) R 21789 21792 20210 0 -1 4202560 745 0 0 0 80055 17 0 0 20 0 22 0 107187929 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222391187808 140222445859257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21920] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21920/stat : 21920 (java) S 21789 21792 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107187929 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222394348456 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 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 21792 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+899.908 s] /proc/loadavg: 4.12 4.03 4.01 5/219 21951 /proc/meminfo: memFree=26682152/32872528 swapFree=11320/319964 [pid=21792] ppid=21789 vsize=9824732 CPUtime=1800.19 cores=0,2,4,6 /proc/21792/stat : 21792 (java) S 21789 21792 20210 0 -1 4202496 50221 0 1 0 179616 403 0 0 20 0 22 0 107179224 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140736113859952 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21792/statm: 2456183 985361 2303 9 0 2446860 0 [pid=21792/tid=21794] ppid=21789 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/21792/task/21794/stat : 21794 (java) S 21789 21792 20210 0 -1 4202560 2547 0 1 0 49 3 0 0 20 0 22 0 107179224 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222581728120 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21795] ppid=21789 vsize=9824732 CPUtime=2.48 cores=0,2,4,6 /proc/21792/task/21795/stat : 21795 (java) S 21789 21792 20210 0 -1 4202560 1039 0 0 0 208 40 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222570789928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21796] ppid=21789 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/21792/task/21796/stat : 21796 (java) S 21789 21792 20210 0 -1 4202560 1053 0 0 0 220 44 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222569737128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21797] ppid=21789 vsize=9824732 CPUtime=2.6 cores=0,2,4,6 /proc/21792/task/21797/stat : 21797 (java) S 21789 21792 20210 0 -1 4202560 1195 0 0 0 216 44 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222568684328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21798] ppid=21789 vsize=9824732 CPUtime=2.65 cores=0,2,4,6 /proc/21792/task/21798/stat : 21798 (java) S 21789 21792 20210 0 -1 4202560 1036 0 0 0 222 43 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222567631528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21799] ppid=21789 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/21792/task/21799/stat : 21799 (java) S 21789 21792 20210 0 -1 4202560 1135 0 0 0 198 40 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222566578728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21800] ppid=21789 vsize=9824732 CPUtime=2.75 cores=0,2,4,6 /proc/21792/task/21800/stat : 21800 (java) S 21789 21792 20210 0 -1 4202560 1244 0 0 0 226 49 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222565525928 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21801] ppid=21789 vsize=9824732 CPUtime=2.86 cores=0,2,4,6 /proc/21792/task/21801/stat : 21801 (java) S 21789 21792 20210 0 -1 4202560 1274 0 0 0 238 48 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222564473128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21802] ppid=21789 vsize=9824732 CPUtime=2.54 cores=0,2,4,6 /proc/21792/task/21802/stat : 21802 (java) S 21789 21792 20210 0 -1 4202560 1145 0 0 0 211 43 0 0 20 0 22 0 107179226 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222563420328 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21803] ppid=21789 vsize=9824732 CPUtime=7.29 cores=0,2,4,6 /proc/21792/task/21803/stat : 21803 (java) S 21789 21792 20210 0 -1 4202560 3655 0 0 0 722 7 0 0 20 0 22 0 107179227 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222405880808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21804] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21804/stat : 21804 (java) S 21789 21792 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222404826872 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21805] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21805/stat : 21805 (java) S 21789 21792 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107179227 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222403773960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21806] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21806/stat : 21806 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222402722448 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21807] ppid=21789 vsize=9824732 CPUtime=1.75 cores=0,2,4,6 /proc/21792/task/21807/stat : 21807 (java) S 21789 21792 20210 0 -1 4202560 14686 0 0 0 172 3 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222401669560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21808] ppid=21789 vsize=9824732 CPUtime=2.49 cores=0,2,4,6 /proc/21792/task/21808/stat : 21808 (java) S 21789 21792 20210 0 -1 4202560 17721 0 0 0 246 3 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222400616760 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21809] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21809/stat : 21809 (java) S 21789 21792 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222399564152 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21810] ppid=21789 vsize=9824732 CPUtime=0.23 cores=0,2,4,6 /proc/21792/task/21810/stat : 21810 (java) S 21789 21792 20210 0 -1 4202560 52 0 0 0 11 12 0 0 20 0 22 0 107179230 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222398511560 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=21792/tid=21832] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21832/stat : 21832 (java) S 21789 21792 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107179575 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222392243240 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=21792/tid=21918] ppid=21789 vsize=9824732 CPUtime=800.76 cores=0,2,4,6 /proc/21792/task/21918/stat : 21918 (java) R 21789 21792 20210 0 -1 4202560 95 0 0 0 80062 14 0 0 20 0 22 0 107187929 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222393286768 140222445093600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=21792/tid=21919] ppid=21789 vsize=9824732 CPUtime=800.72 cores=0,2,4,6 /proc/21792/task/21919/stat : 21919 (java) R 21789 21792 20210 0 -1 4202560 745 0 0 0 80055 17 0 0 20 0 22 0 107187929 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222391187808 140222445859257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=21792/tid=21920] ppid=21789 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/21792/task/21920/stat : 21920 (java) S 21789 21792 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107187929 10060525568 985361 33554432000 1073741824 1073778376 140736113868816 140222394348456 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 899.982 CPU time (s): 1800.75 CPU user time (s): 1796.24 CPU system time (s): 4.51131 CPU usage (%): 200.087 Max. virtual memory (cumulated for all children) (KiB): 9825932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.24 system time used= 4.51131 maximum resident set size= 3941556 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50257 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23158 involuntary context switches= 22901 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.591 second user time and 6.27705 second system time The end
Begin job on node128 at 2016-06-07 00:34:19 IDJOB=4080734 IDBENCH=25048 IDSOLVER=2543 FILE ID=node128/4080734-1465252459 RUNJOBID= node128-1465247049-20226 PBS_JOBID= 19843253 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080734-1465252459/watcher-4080734-1465252459 -o /tmp/evaluation-result-4080734-1465252459/solver-4080734-1465252459 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20226 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080734-1465252459.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 457d573eb873a5d33dddcaaf7d992dd1 RANDOM SEED=1309512461 node128.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.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.97 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.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.486 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27574560 kB Buffers: 49560 kB Cached: 107368 kB SwapCached: 1656 kB Active: 4176464 kB Inactive: 92296 kB Active(anon): 4113652 kB Inactive(anon): 564 kB Active(file): 62812 kB Inactive(file): 91732 kB Unevictable: 319964 kB Mlocked: 11320 kB SwapTotal: 67108856 kB SwapFree: 67098468 kB Dirty: 860 kB Writeback: 0 kB AnonPages: 4508728 kB Mapped: 15440 kB Shmem: 0 kB Slab: 569600 kB SReclaimable: 13244 kB SUnreclaim: 556356 kB KernelStack: 1800 kB PageTables: 12880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5102636 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4431872 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= 71744 MiB End job on node128 at 2016-06-07 00:49:20