Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT (TO) | -87 | 1800.42 | 946.749 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_1.opb |
| MD5SUM | 162153f0f0e5f8f2e587b9d579ee09dc |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -106 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -136 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 12636 |
| Sum of products size (including duplicates) | 25272 |
| Number of different products | 6318 |
| Sum of products size | 12636 |
0.07/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.14 c See www.sat4j.org for details. 0.07/0.15 c version 2.2.0.v20100531 0.07/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.07/0.15 c java.vm.version 11.2-b01 0.07/0.15 c java.vm.vendor Sun Microsystems Inc. 0.07/0.15 c sun.arch.data.model 32 0.07/0.15 c java.version 1.6.0_12 0.07/0.15 c os.name Linux 0.07/0.15 c os.version 2.6.18-164.el5 0.07/0.15 c os.arch i386 0.07/0.15 c Free memory 1393557488 0.07/0.15 c Max memory 1395916800 0.07/0.15 c Total memory 1395916800 0.07/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c ManyCore solver with 2 solvers running in parallel 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c No reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 0.22/0.22 c solving HOME/instance-2662003-1276671275.opb 0.22/0.22 c reading problem ... 17.53/15.73 c ... done. Wall clock time 15.506s. 17.53/15.73 c #vars 7318 17.53/15.73 c #constraints 14138 17.53/15.73 c constraints type 17.53/15.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6318 17.53/15.73 c org.sat4j.minisat.constraints.card.MinWatchCard => 1002 17.53/15.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500 17.53/15.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6318 17.53/15.73 c constraints type 17.53/15.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 17.53/15.73 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6318 17.53/15.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002 17.53/15.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6318 20.28/17.10 c And the winner is CuttingPlanes 20.31/17.80 c SATISFIABLE 20.31/17.80 c OPTIMIZING... 20.31/17.80 c Got one! Elapsed wall clock time (in seconds):17.581 20.31/17.80 o -4 21.30/18.30 c And the winner is CuttingPlanes 21.31/18.83 c Got one! Elapsed wall clock time (in seconds):18.604 21.31/18.83 o -21 22.08/19.20 c And the winner is CuttingPlanes 22.08/19.84 c Got one! Elapsed wall clock time (in seconds):19.619 22.08/19.84 o -22 22.60/20.11 c And the winner is CuttingPlanes 22.63/20.92 c Got one! Elapsed wall clock time (in seconds):20.704 22.63/20.92 o -23 23.18/21.21 c And the winner is CuttingPlanes 23.21/21.94 c Got one! Elapsed wall clock time (in seconds):21.722 23.21/21.94 o -24 23.33/22.09 c And the winner is CuttingPlanes 23.50/22.97 c Got one! Elapsed wall clock time (in seconds):22.751 23.50/22.97 o -25 23.95/23.22 c And the winner is CuttingPlanes 24.00/23.98 c Got one! Elapsed wall clock time (in seconds):23.761 24.00/23.98 o -26 24.44/24.29 c And the winner is CuttingPlanes 24.62/24.99 c Got one! Elapsed wall clock time (in seconds):24.769 24.62/24.99 o -27 24.83/25.13 c And the winner is CuttingPlanes 24.90/26.00 c Got one! Elapsed wall clock time (in seconds):25.778 24.90/26.00 o -31 25.29/26.23 c And the winner is CuttingPlanes 25.36/27.01 c Got one! Elapsed wall clock time (in seconds):26.789 25.36/27.01 o -32 25.74/27.27 c And the winner is CuttingPlanes 25.89/28.01 c Got one! Elapsed wall clock time (in seconds):27.794 25.89/28.01 o -33 26.45/28.37 c And the winner is CuttingPlanes 26.59/29.02 c Got one! Elapsed wall clock time (in seconds):28.802 26.59/29.02 o -34 26.94/29.26 c And the winner is CuttingPlanes 27.07/30.03 c Got one! Elapsed wall clock time (in seconds):29.811 27.07/30.03 o -35 27.40/30.20 c And the winner is CuttingPlanes 27.41/31.04 c Got one! Elapsed wall clock time (in seconds):30.819 27.41/31.04 o -36 27.92/31.30 c And the winner is CuttingPlanes 27.93/32.05 c Got one! Elapsed wall clock time (in seconds):31.829 27.93/32.05 o -37 28.43/32.37 c And the winner is CuttingPlanes 28.58/33.06 c Got one! Elapsed wall clock time (in seconds):32.837 28.58/33.06 o -38 28.86/33.24 c And the winner is CuttingPlanes 28.95/34.06 c Got one! Elapsed wall clock time (in seconds):33.843 28.95/34.06 o -39 29.21/34.29 c And the winner is CuttingPlanes 29.41/35.07 c Got one! Elapsed wall clock time (in seconds):34.851 29.41/35.07 o -45 29.85/35.33 c And the winner is CuttingPlanes 29.94/36.08 c Got one! Elapsed wall clock time (in seconds):35.861 29.94/36.08 o -46 30.37/36.32 c And the winner is CuttingPlanes 30.41/37.09 c Got one! Elapsed wall clock time (in seconds):36.867 30.41/37.09 o -47 30.83/37.32 c And the winner is CuttingPlanes 30.87/38.12 c Got one! Elapsed wall clock time (in seconds):37.88 30.87/38.12 o -48 31.27/38.32 c And the winner is CuttingPlanes 31.31/39.11 c Got one! Elapsed wall clock time (in seconds):38.896 31.31/39.11 o -49 31.67/39.39 c And the winner is CuttingPlanes 31.85/40.12 c Got one! Elapsed wall clock time (in seconds):39.902 31.85/40.12 o -50 32.40/40.47 c And the winner is CuttingPlanes 32.56/41.14 c Got one! Elapsed wall clock time (in seconds):40.923 32.56/41.14 o -51 32.87/41.32 c And the winner is CuttingPlanes 32.92/42.15 c Got one! Elapsed wall clock time (in seconds):41.931 32.92/42.15 o -52 33.41/42.43 c And the winner is CuttingPlanes 33.49/43.16 c Got one! Elapsed wall clock time (in seconds):42.937 33.49/43.16 o -54 34.17/43.51 c And the winner is CuttingPlanes 34.20/44.17 c Got one! Elapsed wall clock time (in seconds):43.946 34.20/44.17 o -55 34.67/44.44 c And the winner is CuttingPlanes 34.77/45.17 c Got one! Elapsed wall clock time (in seconds):44.954 34.77/45.17 o -56 35.21/45.45 c And the winner is CuttingPlanes 35.32/46.18 c Got one! Elapsed wall clock time (in seconds):45.96 35.32/46.18 o -58 35.55/46.36 c And the winner is CuttingPlanes 35.69/47.19 c Got one! Elapsed wall clock time (in seconds):46.969 35.69/47.19 o -74 36.10/47.47 c And the winner is CuttingPlanes 36.26/48.20 c Got one! Elapsed wall clock time (in seconds):47.978 36.26/48.20 o -75 36.46/48.40 c And the winner is CuttingPlanes 36.65/49.20 c Got one! Elapsed wall clock time (in seconds):48.984 36.65/49.20 o -76 37.04/49.47 c And the winner is CuttingPlanes 37.17/50.21 c Got one! Elapsed wall clock time (in seconds):49.992 37.17/50.21 o -77 48.83/56.10 c And the winner is CuttingPlanes 48.84/56.23 c Got one! Elapsed wall clock time (in seconds):56.012 48.84/56.23 o -78 53.15/58.47 c And the winner is CuttingPlanes 53.29/59.24 c Got one! Elapsed wall clock time (in seconds):59.023 53.29/59.24 o -79 56.95/61.18 c cleaning 2501 clauses out of 5001 with flag 5001/5001 81.82/73.77 c And the winner is CuttingPlanes 82.00/74.33 c Got one! Elapsed wall clock time (in seconds):74.108 82.00/74.33 o -80 105.72/86.32 c cleaning 4250 clauses out of 8500 with flag 11001/11001 163.66/115.64 c cleaning 5622 clauses out of 11250 with flag 18001/18001 233.09/150.78 c cleaning 6809 clauses out of 13628 with flag 26001/26001 345.30/207.50 c cleaning 7823 clauses out of 15818 with flag 35000/35000 461.32/266.00 c cleaning 8642 clauses out of 17995 with flag 45000/45000 559.65/315.73 c And the winner is CuttingPlanes 559.71/315.93 c Got one! Elapsed wall clock time (in seconds):315.707 559.71/315.93 o -81 573.32/322.85 c cleaning 10177 clauses out of 20354 with flag 56001/56001 673.59/373.59 c cleaning 11080 clauses out of 22176 with flag 68000/68000 706.76/390.47 c And the winner is CuttingPlanes 706.90/391.22 c Got one! Elapsed wall clock time (in seconds):390.995 706.90/391.22 o -82 787.12/431.78 c cleaning 12044 clauses out of 24096 with flag 81000/81000 868.13/472.76 c And the winner is CuttingPlanes 868.26/473.38 c Got one! Elapsed wall clock time (in seconds):473.165 868.26/473.38 o -83 904.74/491.89 c cleaning 13026 clauses out of 26052 with flag 95000/95000 1037.27/558.84 c cleaning 14007 clauses out of 28026 with flag 110000/110000 1170.34/626.12 c cleaning 14508 clauses out of 29020 with flag 125001/125001 1300.59/692.05 c cleaning 14751 clauses out of 29511 with flag 140000/140000 1445.98/765.56 c cleaning 14875 clauses out of 29761 with flag 155001/155001 1460.33/772.95 c And the winner is CuttingPlanes 1460.45/773.02 c Got one! Elapsed wall clock time (in seconds):772.802 1460.45/773.02 o -84 1580.52/833.65 c And the winner is CuttingPlanes 1580.62/834.16 c Got one! Elapsed wall clock time (in seconds):833.94 1580.62/834.16 o -85 1584.46/836.15 c cleaning 14943 clauses out of 29885 with flag 170000/170000 1617.84/853.16 c cleaning 0 clauses out of 5000 with flag 0/5000 1633.43/861.15 c And the winner is CuttingPlanes 1633.53/861.60 c Got one! Elapsed wall clock time (in seconds):861.384 1633.53/861.60 o -86 1687.63/888.91 c And the winner is CuttingPlanes 1687.66/889.67 c Got one! Elapsed wall clock time (in seconds):889.446 1687.66/889.67 o -87 1714.08/903.04 c cleaning 14971 clauses out of 29942 with flag 185000/185000 1800.17/946.62 c starts : 61 1800.17/946.62 c conflicts : 5246 1800.17/946.62 c decisions : 342381 1800.17/946.62 c propagations : 4079462 1800.17/946.62 c inspects : 197224404 1800.17/946.62 c learnt literals : 0 1800.17/946.62 c learnt binary clauses : 0 1800.17/946.62 c learnt ternary clauses : 0 1800.17/946.62 c learnt clauses : 5246 1800.17/946.62 c ignored clauses : 0 1800.17/946.62 c root simplifications : 0 1800.17/946.62 c removed literals (reason simplification) : 0 1800.17/946.62 c reason swapping (by a shorter reason) : 0 1800.17/946.62 c Calls to reduceDB : 1 1800.17/946.62 c number of reductions to clauses (during analyze) : 0 1800.17/946.62 c number of learned constraints concerned by reduction : 0 1800.17/946.62 c number of learning phase by resolution : 0 1800.17/946.62 c number of learning phase by cutting planes : 0 1800.17/946.62 c speed (assignments/second) : 71637.37575949145 1800.17/946.62 c non guided choices 387 1800.17/946.62 c learnt constraints type 1800.17/946.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.17/946.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5245 1800.17/946.62 c constraints type 1800.17/946.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6318 1800.17/946.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 1003 1800.17/946.62 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500 1800.17/946.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6318 1800.17/946.62 c constraints type 1800.17/946.62 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 1800.17/946.62 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6318 1800.17/946.62 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003 1800.17/946.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6318 1800.17/946.68 s SATISFIABLE 1800.17/946.69 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 1800.17/946.69 c objective function=-87 1800.17/946.69 c Total wall clock time (in seconds): 946.466
OK -87
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662003-1276671275/watcher-2662003-1276671275 -o /tmp/evaluation-result-2662003-1276671275/solver-2662003-1276671275 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662003-1276671275.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.02 1.00 3/106 14550 /proc/meminfo: memFree=1728448/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1744 CPUtime=0 /proc/14550/stat : 14550 (java6) R 14548 14550 13911 0 -1 4194304 136 0 0 0 0 0 0 0 16 0 1 0 8422882 1785856 55 1992294400 134512640 134550932 4287223920 18446744073709551615 7370688 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14550/statm: 438 63 50 10 0 30 0 [startup+0.0444799 s] /proc/loadavg: 1.07 1.02 1.00 3/106 14550 /proc/meminfo: memFree=1728448/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1520328 CPUtime=0.02 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 3368 0 1 0 1 1 0 0 15 0 4 0 8422882 1556815872 2811 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 380082 2811 945 10 0 377392 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1520328 [startup+0.10148 s] /proc/loadavg: 1.07 1.02 1.00 3/106 14550 /proc/meminfo: memFree=1728448/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1524180 CPUtime=0.07 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 3952 0 1 0 6 1 0 0 15 0 12 0 8422882 1560760320 3391 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 381045 3391 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1524180 [startup+0.301493 s] /proc/loadavg: 1.07 1.02 1.00 3/106 14550 /proc/meminfo: memFree=1728448/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1526372 CPUtime=0.34 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 5420 0 1 0 32 2 0 0 15 0 12 0 8422882 1563004928 4857 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 381593 4857 1353 10 0 378896 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1526372 [startup+0.701522 s] /proc/loadavg: 1.07 1.02 1.00 3/106 14550 /proc/meminfo: memFree=1728448/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1528016 CPUtime=1.09 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 7185 0 1 0 106 3 0 0 15 0 12 0 8422882 1564688384 6559 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 382004 6559 1402 10 0 379307 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 1528016 [startup+1.50256 s] /proc/loadavg: 1.07 1.02 1.00 3/118 14562 /proc/meminfo: memFree=1702684/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1529736 CPUtime=2.26 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 10062 0 1 0 221 5 0 0 15 0 12 0 8422882 1566449664 8959 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 382434 8959 1409 10 0 379737 0 [pid=14550/tid=14552] ppid=14548 vsize=1529736 CPUtime=1.46 /proc/14550/task/14552/stat : 14552 (java) R 14548 14550 13911 0 -1 4202560 7022 0 1 0 143 3 0 0 25 0 12 0 8422884 1566449664 8959 1992294400 134512640 134550932 4293609168 18446744073709551615 4109592641 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14550/tid=14553] ppid=14548 vsize=1529736 CPUtime=0 /proc/14550/task/14553/stat : 14553 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 8422885 1566449664 8959 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14554] ppid=14548 vsize=1529736 CPUtime=0 /proc/14550/task/14554/stat : 14554 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 8422885 1566449664 8959 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14555] ppid=14548 vsize=1529736 CPUtime=0 /proc/14550/task/14555/stat : 14555 (java) S 14548 14550 13911 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 8422887 1566449664 8959 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14556] ppid=14548 vsize=1529736 CPUtime=0 /proc/14550/task/14556/stat : 14556 (java) S 14548 14550 13911 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 8422888 1566449664 8959 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14557] ppid=14548 vsize=1529736 CPUtime=0 /proc/14550/task/14557/stat : 14557 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 8422888 1566449664 8959 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14558] ppid=14548 vsize=1529736 CPUtime=0 /proc/14550/task/14558/stat : 14558 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 8422892 1566449664 8960 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14559] ppid=14548 vsize=1529736 CPUtime=0.23 /proc/14550/task/14559/stat : 14559 (java) S 14548 14550 13911 0 -1 4202560 797 0 0 0 23 0 0 0 19 0 12 0 8422892 1566449664 8960 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14560] ppid=14548 vsize=1529736 CPUtime=0.53 /proc/14550/task/14560/stat : 14560 (java) S 14548 14550 13911 0 -1 4202560 1176 0 0 0 53 0 0 0 15 0 12 0 8422892 1566449664 8960 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14561] ppid=14548 vsize=1529736 CPUtime=0 /proc/14550/task/14561/stat : 14561 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 8422892 1566449664 8960 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14562] ppid=14548 vsize=1529736 CPUtime=0 /proc/14550/task/14562/stat : 14562 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 8422892 1566449664 8960 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 1529736 [startup+3.10167 s] /proc/loadavg: 1.06 1.02 1.00 4/118 14562 /proc/meminfo: memFree=1685696/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1541348 CPUtime=4.69 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 18475 0 1 0 460 9 0 0 15 0 12 0 8422882 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 385337 13573 1410 10 0 382640 0 [pid=14550/tid=14552] ppid=14548 vsize=1541348 CPUtime=3.03 /proc/14550/task/14552/stat : 14552 (java) R 14548 14550 13911 0 -1 4202560 8724 0 1 0 299 4 0 0 25 0 12 0 8422884 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4109272128 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14550/tid=14553] ppid=14548 vsize=1541348 CPUtime=0 /proc/14550/task/14553/stat : 14553 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 8422885 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14554] ppid=14548 vsize=1541348 CPUtime=0 /proc/14550/task/14554/stat : 14554 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 8422885 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14555] ppid=14548 vsize=1541348 CPUtime=0 /proc/14550/task/14555/stat : 14555 (java) S 14548 14550 13911 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 8422887 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14556] ppid=14548 vsize=1541348 CPUtime=0 /proc/14550/task/14556/stat : 14556 (java) S 14548 14550 13911 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 8422888 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14557] ppid=14548 vsize=1541348 CPUtime=0 /proc/14550/task/14557/stat : 14557 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 8422888 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14558] ppid=14548 vsize=1541348 CPUtime=0 /proc/14550/task/14558/stat : 14558 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 8422892 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14559] ppid=14548 vsize=1541348 CPUtime=1.05 /proc/14550/task/14559/stat : 14559 (java) S 14548 14550 13911 0 -1 4202560 7182 0 0 0 102 3 0 0 15 0 12 0 8422892 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14560] ppid=14548 vsize=1541348 CPUtime=0.57 /proc/14550/task/14560/stat : 14560 (java) S 14548 14550 13911 0 -1 4202560 1502 0 0 0 57 0 0 0 15 0 12 0 8422892 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14561] ppid=14548 vsize=1541348 CPUtime=0 /proc/14550/task/14561/stat : 14561 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 8422892 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14562] ppid=14548 vsize=1541348 CPUtime=0 /proc/14550/task/14562/stat : 14562 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 8422892 1578340352 13573 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.69 Current children cumulated vsize (KiB) 1541348 [startup+6.30187 s] /proc/loadavg: 1.06 1.02 1.00 2/118 14562 /proc/meminfo: memFree=1671312/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1540472 CPUtime=7.98 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 21273 0 1 0 788 10 0 0 15 0 12 0 8422882 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 385118 16157 1417 10 0 382421 0 [pid=14550/tid=14552] ppid=14548 vsize=1540472 CPUtime=6.16 /proc/14550/task/14552/stat : 14552 (java) R 14548 14550 13911 0 -1 4202560 11489 0 1 0 611 5 0 0 25 0 12 0 8422884 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4109593228 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14550/tid=14553] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14553/stat : 14553 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 8422885 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14554] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14554/stat : 14554 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 8422885 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14555] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14555/stat : 14555 (java) S 14548 14550 13911 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 12 0 8422887 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14556] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14556/stat : 14556 (java) S 14548 14550 13911 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 8422888 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14557] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14557/stat : 14557 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 8422888 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14558] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14558/stat : 14558 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 8422892 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14559] ppid=14548 vsize=1540472 CPUtime=1.09 /proc/14550/task/14559/stat : 14559 (java) S 14548 14550 13911 0 -1 4202560 7184 0 0 0 106 3 0 0 16 0 12 0 8422892 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14560] ppid=14548 vsize=1540472 CPUtime=0.7 /proc/14550/task/14560/stat : 14560 (java) S 14548 14550 13911 0 -1 4202560 1533 0 0 0 70 0 0 0 15 0 12 0 8422892 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14561] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14561/stat : 14561 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 8422892 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14562] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14562/stat : 14562 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 8422892 1577443328 16157 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 7.98 Current children cumulated vsize (KiB) 1540472 [startup+12.7013 s] /proc/loadavg: 1.05 1.02 1.00 3/118 14562 /proc/meminfo: memFree=1648744/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1540472 CPUtime=14.53 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 26895 0 1 0 1441 12 0 0 15 0 12 0 8422882 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 385118 21779 1417 10 0 382421 0 [pid=14550/tid=14552] ppid=14548 vsize=1540472 CPUtime=12.53 /proc/14550/task/14552/stat : 14552 (java) R 14548 14550 13911 0 -1 4202560 17087 0 1 0 1245 8 0 0 25 0 12 0 8422884 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4109592641 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=14550/tid=14553] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14553/stat : 14553 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 8422885 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14554] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14554/stat : 14554 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 8422885 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14555] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14555/stat : 14555 (java) S 14548 14550 13911 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 12 0 8422887 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14556] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14556/stat : 14556 (java) S 14548 14550 13911 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 12 0 8422888 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14557] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14557/stat : 14557 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 8422888 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14558] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14558/stat : 14558 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 12 0 8422892 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14559] ppid=14548 vsize=1540472 CPUtime=1.1 /proc/14550/task/14559/stat : 14559 (java) S 14548 14550 13911 0 -1 4202560 7184 0 0 0 107 3 0 0 16 0 12 0 8422892 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14560] ppid=14548 vsize=1540472 CPUtime=0.88 /proc/14550/task/14560/stat : 14560 (java) S 14548 14550 13911 0 -1 4202560 1557 0 0 0 88 0 0 0 15 0 12 0 8422892 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14561] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14561/stat : 14561 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 8422892 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14562] ppid=14548 vsize=1540472 CPUtime=0 /proc/14550/task/14562/stat : 14562 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 8422892 1577443328 21779 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.53 Current children cumulated vsize (KiB) 1540472 [startup+25.5021 s] /proc/loadavg: 1.18 1.05 1.01 1/120 14582 /proc/meminfo: memFree=1566640/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1541564 CPUtime=24.9 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 48023 0 1 0 2468 22 0 0 15 0 14 0 8422882 1578561536 41563 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 385391 41563 1444 10 0 382694 0 [pid=14550/tid=14552] ppid=14548 vsize=1541564 CPUtime=15.6 /proc/14550/task/14552/stat : 14552 (java) S 14548 14550 13911 0 -1 4202560 21028 0 1 0 1550 10 0 0 19 0 14 0 8422884 1578561536 41563 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14553] ppid=14548 vsize=1541564 CPUtime=0.11 /proc/14550/task/14553/stat : 14553 (java) S 14548 14550 13911 0 -1 4202560 2675 0 0 0 11 0 0 0 16 0 14 0 8422885 1578561536 41563 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14554] ppid=14548 vsize=1541564 CPUtime=0.1 /proc/14550/task/14554/stat : 14554 (java) S 14548 14550 13911 0 -1 4202560 1926 0 0 0 9 1 0 0 18 0 14 0 8422885 1578561536 41563 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14555] ppid=14548 vsize=1541564 CPUtime=0.01 /proc/14550/task/14555/stat : 14555 (java) S 14548 14550 13911 0 -1 4202560 16 0 0 0 1 0 0 0 15 0 14 0 8422887 1578561536 41563 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14556] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14556/stat : 14556 (java) S 14548 14550 13911 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 14 0 8422888 1578561536 41563 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14557] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14557/stat : 14557 (java) S 14548 14550 13911 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 8422888 1578561536 41563 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14558] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14558/stat : 14558 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 8422892 1578561536 41563 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14559] ppid=14548 vsize=1541564 CPUtime=2.83 ################ # More data... # ################ /proc/14550/task/14674/stat : 14674 (java) R 14548 14550 13911 0 -1 4202560 36 0 0 0 4802 0 0 0 25 0 16 0 8500185 1578561536 75028 1992294400 134512640 134550932 4293609168 18446744073709551615 4110044143 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14550/tid=14675] ppid=14548 vsize=1541564 CPUtime=48.34 /proc/14550/task/14675/stat : 14675 (java) R 14548 14550 13911 0 -1 4202560 19 0 0 0 4833 1 0 0 25 0 16 0 8500185 1578561536 75028 1992294400 134512640 134550932 4293609168 18446744073709551615 4110044747 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1558.1 Current children cumulated vsize (KiB) 1541564 [startup+882.302 s] /proc/loadavg: 2.20 2.04 1.63 3/122 14681 /proc/meminfo: memFree=1429976/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1541564 CPUtime=1674.54 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 84661 0 1 0 167349 105 0 0 15 0 16 0 8422882 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 385391 75337 1449 10 0 382694 0 [pid=14550/tid=14552] ppid=14548 vsize=1541564 CPUtime=15.71 /proc/14550/task/14552/stat : 14552 (java) S 14548 14550 13911 0 -1 4202560 21036 0 1 0 1561 10 0 0 15 0 16 0 8422884 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14553] ppid=14548 vsize=1541564 CPUtime=10.03 /proc/14550/task/14553/stat : 14553 (java) S 14548 14550 13911 0 -1 4202560 19411 0 0 0 987 16 0 0 16 0 16 0 8422885 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14554] ppid=14548 vsize=1541564 CPUtime=9.99 /proc/14550/task/14554/stat : 14554 (java) S 14548 14550 13911 0 -1 4202560 18646 0 0 0 975 24 0 0 16 0 16 0 8422885 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14555] ppid=14548 vsize=1541564 CPUtime=4.38 /proc/14550/task/14555/stat : 14555 (java) S 14548 14550 13911 0 -1 4202560 392 0 0 0 427 11 0 0 15 0 16 0 8422887 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14556] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14556/stat : 14556 (java) S 14548 14550 13911 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 8422888 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14557] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14557/stat : 14557 (java) S 14548 14550 13911 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 8422888 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14558] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14558/stat : 14558 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14559] ppid=14548 vsize=1541564 CPUtime=4.23 /proc/14550/task/14559/stat : 14559 (java) S 14548 14550 13911 0 -1 4202560 8628 0 0 0 419 4 0 0 15 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14560] ppid=14548 vsize=1541564 CPUtime=2.15 /proc/14550/task/14560/stat : 14560 (java) S 14548 14550 13911 0 -1 4202560 1690 0 0 0 215 0 0 0 15 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14561] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14561/stat : 14561 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14562] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14562/stat : 14562 (java) S 14548 14550 13911 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14565] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14565/stat : 14565 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 8424465 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14566] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14566/stat : 14566 (java) S 14548 14550 13911 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 8424465 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14680] ppid=14548 vsize=1541564 CPUtime=20.39 /proc/14550/task/14680/stat : 14680 (java) R 14548 14550 13911 0 -1 4202560 13 0 0 0 2039 0 0 0 25 0 16 0 8509043 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4110044143 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14550/tid=14681] ppid=14548 vsize=1541564 CPUtime=20.05 /proc/14550/task/14681/stat : 14681 (java) R 14548 14550 13911 0 -1 4202560 8 0 0 0 2005 0 0 0 25 0 16 0 8509043 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4109751457 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1674.54 Current children cumulated vsize (KiB) 1541564 [startup+942.302 s] /proc/loadavg: 2.17 2.06 1.65 3/122 14685 /proc/meminfo: memFree=1429852/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1541564 CPUtime=1791.64 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 84735 0 1 0 179054 110 0 0 15 0 16 0 8422882 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 385391 75337 1449 10 0 382694 0 [pid=14550/tid=14552] ppid=14548 vsize=1541564 CPUtime=15.71 /proc/14550/task/14552/stat : 14552 (java) S 14548 14550 13911 0 -1 4202560 21036 0 1 0 1561 10 0 0 15 0 16 0 8422884 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14553] ppid=14548 vsize=1541564 CPUtime=10.77 /proc/14550/task/14553/stat : 14553 (java) S 14548 14550 13911 0 -1 4202560 19411 0 0 0 1060 17 0 0 15 0 16 0 8422885 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14554] ppid=14548 vsize=1541564 CPUtime=10.73 /proc/14550/task/14554/stat : 14554 (java) S 14548 14550 13911 0 -1 4202560 18646 0 0 0 1048 25 0 0 16 0 16 0 8422885 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14555] ppid=14548 vsize=1541564 CPUtime=4.74 /proc/14550/task/14555/stat : 14555 (java) S 14548 14550 13911 0 -1 4202560 396 0 0 0 462 12 0 0 15 0 16 0 8422887 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14556] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14556/stat : 14556 (java) S 14548 14550 13911 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 8422888 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14557] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14557/stat : 14557 (java) S 14548 14550 13911 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 8422888 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14558] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14558/stat : 14558 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14559] ppid=14548 vsize=1541564 CPUtime=4.23 /proc/14550/task/14559/stat : 14559 (java) S 14548 14550 13911 0 -1 4202560 8628 0 0 0 419 4 0 0 15 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14560] ppid=14548 vsize=1541564 CPUtime=2.15 /proc/14550/task/14560/stat : 14560 (java) S 14548 14550 13911 0 -1 4202560 1690 0 0 0 215 0 0 0 15 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14561] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14561/stat : 14561 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14562] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14562/stat : 14562 (java) S 14548 14550 13911 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14565] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14565/stat : 14565 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 8424465 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14566] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14566/stat : 14566 (java) S 14548 14550 13911 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 8424465 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14684] ppid=14548 vsize=1541564 CPUtime=50.94 /proc/14550/task/14684/stat : 14684 (java) R 14548 14550 13911 0 -1 4202560 35 0 0 0 5094 0 0 0 25 0 16 0 8511849 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4110044146 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14550/tid=14685] ppid=14548 vsize=1541564 CPUtime=51.36 /proc/14550/task/14685/stat : 14685 (java) R 14548 14550 13911 0 -1 4202560 23 0 0 0 5136 0 0 0 25 0 16 0 8511849 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4110027161 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1791.64 Current children cumulated vsize (KiB) 1541564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+946.602 s] /proc/loadavg: 2.16 2.06 1.66 3/122 14685 /proc/meminfo: memFree=1429852/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1541564 CPUtime=1800.17 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 84740 0 1 0 179907 110 0 0 15 0 16 0 8422882 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 385391 75337 1449 10 0 382694 0 [pid=14550/tid=14552] ppid=14548 vsize=1541564 CPUtime=15.71 /proc/14550/task/14552/stat : 14552 (java) S 14548 14550 13911 0 -1 4202560 21036 0 1 0 1561 10 0 0 15 0 16 0 8422884 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14553] ppid=14548 vsize=1541564 CPUtime=10.83 /proc/14550/task/14553/stat : 14553 (java) S 14548 14550 13911 0 -1 4202560 19411 0 0 0 1066 17 0 0 16 0 16 0 8422885 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14554] ppid=14548 vsize=1541564 CPUtime=10.79 /proc/14550/task/14554/stat : 14554 (java) S 14548 14550 13911 0 -1 4202560 18646 0 0 0 1054 25 0 0 16 0 16 0 8422885 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14555] ppid=14548 vsize=1541564 CPUtime=4.74 /proc/14550/task/14555/stat : 14555 (java) S 14548 14550 13911 0 -1 4202560 396 0 0 0 462 12 0 0 15 0 16 0 8422887 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14556] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14556/stat : 14556 (java) S 14548 14550 13911 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 8422888 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14557] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14557/stat : 14557 (java) S 14548 14550 13911 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 16 0 8422888 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14558] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14558/stat : 14558 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14559] ppid=14548 vsize=1541564 CPUtime=4.23 /proc/14550/task/14559/stat : 14559 (java) S 14548 14550 13911 0 -1 4202560 8628 0 0 0 419 4 0 0 15 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14560] ppid=14548 vsize=1541564 CPUtime=2.15 /proc/14550/task/14560/stat : 14560 (java) S 14548 14550 13911 0 -1 4202560 1690 0 0 0 215 0 0 0 15 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14561] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14561/stat : 14561 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14562] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14562/stat : 14562 (java) S 14548 14550 13911 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 16 0 8422892 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14565] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14565/stat : 14565 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 16 0 8424465 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14566] ppid=14548 vsize=1541564 CPUtime=0 /proc/14550/task/14566/stat : 14566 (java) S 14548 14550 13911 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 16 0 8424465 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14684] ppid=14548 vsize=1541564 CPUtime=55.19 /proc/14550/task/14684/stat : 14684 (java) R 14548 14550 13911 0 -1 4202560 40 0 0 0 5519 0 0 0 25 0 16 0 8511849 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4109656884 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14550/tid=14685] ppid=14548 vsize=1541564 CPUtime=55.52 /proc/14550/task/14685/stat : 14685 (java) R 14548 14550 13911 0 -1 4202560 23 0 0 0 5552 0 0 0 25 0 16 0 8511849 1578561536 75337 1992294400 134512640 134550932 4293609168 18446744073709551615 4110028599 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 1541564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+946.716 s] /proc/loadavg: 2.16 2.06 1.66 3/122 14685 /proc/meminfo: memFree=1429852/2059040 swapFree=4192956/4192956 [pid=14550] ppid=14548 vsize=1542212 CPUtime=1800.38 /proc/14550/stat : 14550 (java) S 14548 14550 13911 0 -1 4202496 84758 0 1 0 179928 110 0 0 15 0 17 0 8422882 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/14550/statm: 385553 75355 1449 10 0 382856 0 [pid=14550/tid=14552] ppid=14548 vsize=1542212 CPUtime=15.71 /proc/14550/task/14552/stat : 14552 (java) S 14548 14550 13911 0 -1 4202560 21036 0 1 0 1561 10 0 0 15 0 17 0 8422884 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14553] ppid=14548 vsize=1542212 CPUtime=10.83 /proc/14550/task/14553/stat : 14553 (java) S 14548 14550 13911 0 -1 4202560 19411 0 0 0 1066 17 0 0 16 0 17 0 8422885 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14554] ppid=14548 vsize=1542212 CPUtime=10.79 /proc/14550/task/14554/stat : 14554 (java) S 14548 14550 13911 0 -1 4202560 18646 0 0 0 1054 25 0 0 16 0 17 0 8422885 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14555] ppid=14548 vsize=1542212 CPUtime=4.74 /proc/14550/task/14555/stat : 14555 (java) S 14548 14550 13911 0 -1 4202560 396 0 0 0 462 12 0 0 15 0 17 0 8422887 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 0 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14556] ppid=14548 vsize=1542212 CPUtime=0 /proc/14550/task/14556/stat : 14556 (java) S 14548 14550 13911 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 17 0 8422888 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14557] ppid=14548 vsize=1542212 CPUtime=0 /proc/14550/task/14557/stat : 14557 (java) S 14548 14550 13911 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 17 0 8422888 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14558] ppid=14548 vsize=1542212 CPUtime=0 /proc/14550/task/14558/stat : 14558 (java) S 14548 14550 13911 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 17 0 8422892 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14559] ppid=14548 vsize=1542212 CPUtime=4.23 /proc/14550/task/14559/stat : 14559 (java) S 14548 14550 13911 0 -1 4202560 8628 0 0 0 419 4 0 0 15 0 17 0 8422892 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14560] ppid=14548 vsize=1542212 CPUtime=2.15 /proc/14550/task/14560/stat : 14560 (java) S 14548 14550 13911 0 -1 4202560 1690 0 0 0 215 0 0 0 15 0 17 0 8422892 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14561] ppid=14548 vsize=1542212 CPUtime=0 /proc/14550/task/14561/stat : 14561 (java) S 14548 14550 13911 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 17 0 8422892 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14562] ppid=14548 vsize=1542212 CPUtime=0 /proc/14550/task/14562/stat : 14562 (java) S 14548 14550 13911 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 17 0 8422892 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 0 0 0 0 [pid=14550/tid=14565] ppid=14548 vsize=1542212 CPUtime=0 /proc/14550/task/14565/stat : 14565 (java) S 14548 14550 13911 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 17 0 8424465 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14566] ppid=14548 vsize=1542212 CPUtime=0 /proc/14550/task/14566/stat : 14566 (java) S 14548 14550 13911 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 17 0 8424465 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4294960144 0 4 0 16800975 18446604437835712640 0 0 -1 1 0 0 0 [pid=14550/tid=14684] ppid=14548 vsize=1542212 CPUtime=55.3 /proc/14550/task/14684/stat : 14684 (java) R 14548 14550 13911 0 -1 4202560 40 0 0 0 5530 0 0 0 25 0 17 0 8511849 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4109992439 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=14550/tid=14685] ppid=14548 vsize=1542212 CPUtime=55.61 /proc/14550/task/14685/stat : 14685 (java) R 14548 14550 13911 0 -1 4202560 23 0 0 0 5561 0 0 0 25 0 17 0 8511849 1579225088 75355 1992294400 134512640 134550932 4293609168 18446744073709551615 4110157793 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (KiB) 1542212 Child status: 143 Real time (s): 946.749 CPU time (s): 1800.42 CPU user time (s): 1799.28 CPU system time (s): 1.13883 CPU usage (%): 190.169 Max. virtual memory (cumulated for all children) (KiB): 1543100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 1.13883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84759 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 30471 involuntary context switches= 53410 runsolver used 4.89426 second user time and 10.5464 second system time The end
Begin job on node030 at 2010-06-16 08:54:35 IDJOB=2662003 IDBENCH=48258 IDSOLVER=1166 FILE ID=node030/2662003-1276671275 PBS_JOBID= 11172489 Free space on /tmp= 62556 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662003-1276671275/watcher-2662003-1276671275 -o /tmp/evaluation-result-2662003-1276671275/solver-2662003-1276671275 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662003-1276671275.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc RANDOM SEED=823387037 node030.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1728844 kB Buffers: 61444 kB Cached: 131156 kB SwapCached: 0 kB Active: 123180 kB Inactive: 129136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1728844 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 440 kB Writeback: 0 kB AnonPages: 59620 kB Mapped: 15404 kB Slab: 56004 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180100 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62556 MiB End job on node030 at 2010-06-16 09:10:24