Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 2888367171326525 | 1800.3 | 1786.58 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3a.opb |
MD5SUM | efa7fb1a840e9d48ac9b28aadc8f53ba |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 257546671029920 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 257546671029920 |
Optimality of the best value was proved | NO |
Number of variables | 2219 |
Total number of constraints | 151 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 129 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 191 |
Number of terms in the objective function | 1716 |
Biggest coefficient in the objective function | 5134096531456000 |
Number of bits for the biggest coefficient in the objective function | 53 |
Sum of the numbers in the objective function | 216401520151185266 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 5134096531456000 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 216401520151185266 |
Number of bits of the biggest sum of numbers | 58 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/354308-1176704863/instance-354308-1176704863.opb 0.20/0.20 c reading problem ... 0.97/0.73 c ... done. Wall clock time 0.528s. 0.97/0.73 c CPU time (experimental) 0.48s. 0.97/0.73 c #vars 2219 0.97/0.73 c #constraints 151 2.29/1.46 c SATISFIABLE 2.29/1.46 c OPTIMIZING... 2.29/1.46 c Got one! Elapsed wall clock time (in seconds):1.258 2.29/1.47 o 15618273919086545 2.43/1.56 c Got one! Elapsed wall clock time (in seconds):1.36 2.43/1.57 o 10643426713600000 2.73/1.70 c Got one! Elapsed wall clock time (in seconds):1.497 2.73/1.70 o 7700620923044370 2.89/1.90 c Got one! Elapsed wall clock time (in seconds):1.692 3.03/1.90 o 4822984055568140 3.45/2.24 c Got one! Elapsed wall clock time (in seconds):2.036 3.45/2.24 o 4822957053856125 3.75/2.41 c Got one! Elapsed wall clock time (in seconds):2.21 3.75/2.42 o 4822941022126080 5.29/3.98 c Got one! Elapsed wall clock time (in seconds):3.781 5.29/3.99 o 4822887671664640 6.28/4.98 c Got one! Elapsed wall clock time (in seconds):4.772 6.28/4.98 o 4822887652689920 6.59/5.22 c Got one! Elapsed wall clock time (in seconds):5.02 6.59/5.23 o 4707429224896000 6.89/5.60 c Got one! Elapsed wall clock time (in seconds):5.396 6.98/5.60 o 4707091915449000 7.30/5.99 c Got one! Elapsed wall clock time (in seconds):5.786 7.30/5.99 o 4704758440766295 8.82/7.44 c Got one! Elapsed wall clock time (in seconds):7.234 8.82/7.44 o 4704758418679750 9.62/8.24 c Got one! Elapsed wall clock time (in seconds):8.037 9.62/8.24 o 4704758369361700 10.22/8.90 c Got one! Elapsed wall clock time (in seconds):8.697 10.32/8.90 o 4704757387741920 14.85/13.41 c Got one! Elapsed wall clock time (in seconds):13.202 14.85/13.41 o 4704757284808050 15.15/13.78 c Got one! Elapsed wall clock time (in seconds):13.578 15.15/13.78 o 4704757219138560 15.65/14.29 c Got one! Elapsed wall clock time (in seconds):14.089 15.65/14.30 o 4704702099375655 19.19/17.70 c Got one! Elapsed wall clock time (in seconds):17.499 19.19/17.71 o 4667373659580220 19.38/17.99 c Got one! Elapsed wall clock time (in seconds):17.789 19.38/18.00 o 4576959600234500 19.88/18.49 c Got one! Elapsed wall clock time (in seconds):18.292 19.98/18.50 o 4477470031279900 20.48/19.09 c Got one! Elapsed wall clock time (in seconds):18.888 20.48/19.10 o 4477469036822520 20.78/19.36 c Got one! Elapsed wall clock time (in seconds):19.157 20.78/19.36 o 4477463614356750 21.88/20.43 c Got one! Elapsed wall clock time (in seconds):20.228 21.88/20.44 o 4473673275187200 22.58/21.11 c Got one! Elapsed wall clock time (in seconds):20.902 22.58/21.11 o 4470216171811200 23.12/21.63 c Got one! Elapsed wall clock time (in seconds):21.422 23.12/21.63 o 4469914986635640 25.82/24.37 c Got one! Elapsed wall clock time (in seconds):24.169 25.82/24.38 o 4469914721703555 26.42/24.96 c Got one! Elapsed wall clock time (in seconds):24.753 26.42/24.96 o 4469599111954640 28.36/26.80 c Got one! Elapsed wall clock time (in seconds):26.599 28.36/26.81 o 4431486741822520 34.51/32.96 c Got one! Elapsed wall clock time (in seconds):32.756 34.51/32.96 o 4431428437224540 36.22/34.68 c Got one! Elapsed wall clock time (in seconds):34.473 36.22/34.68 o 4431428342052000 37.62/36.08 c Got one! Elapsed wall clock time (in seconds):35.881 37.62/36.09 o 4180200365900325 39.47/37.87 c Got one! Elapsed wall clock time (in seconds):37.67 39.47/37.88 o 4180200332025775 42.91/41.26 c Got one! Elapsed wall clock time (in seconds):41.06 42.91/41.27 o 4179178367807080 54.77/53.02 c Got one! Elapsed wall clock time (in seconds):52.815 54.77/53.02 o 4178721687853150 56.38/54.66 c Got one! Elapsed wall clock time (in seconds):54.457 56.38/54.66 o 4178720235848630 57.68/55.99 c Got one! Elapsed wall clock time (in seconds):55.787 57.68/55.99 o 4158902278313445 59.48/57.72 c Got one! Elapsed wall clock time (in seconds):57.521 59.48/57.73 o 4158902277618360 64.01/62.28 c Got one! Elapsed wall clock time (in seconds):62.077 64.01/62.28 o 4158900026706800 67.62/65.82 c Got one! Elapsed wall clock time (in seconds):65.614 67.62/65.82 o 4158120970926700 100.70/98.81 c Got one! Elapsed wall clock time (in seconds):98.609 100.70/98.82 o 4158120970674280 106.92/105.05 c Got one! Elapsed wall clock time (in seconds):104.848 106.92/105.05 o 4158120969912245 108.63/106.78 c Got one! Elapsed wall clock time (in seconds):106.574 108.63/106.78 o 4158120434051225 109.73/107.84 c Got one! Elapsed wall clock time (in seconds):107.634 109.73/107.84 o 4158113304909280 110.73/108.90 c Got one! Elapsed wall clock time (in seconds):108.698 110.83/108.90 o 4158058575297920 146.10/144.17 c Got one! Elapsed wall clock time (in seconds):143.961 146.10/144.17 o 4158058574592020 168.17/166.15 c Got one! Elapsed wall clock time (in seconds):165.951 168.17/166.16 o 4158058310688400 171.17/169.17 c Got one! Elapsed wall clock time (in seconds):168.967 171.17/169.17 o 4154758114706120 174.28/172.27 c Got one! Elapsed wall clock time (in seconds):172.068 174.28/172.28 o 4154758081387520 175.50/173.46 c Got one! Elapsed wall clock time (in seconds):173.255 175.50/173.46 o 4154700489162320 184.82/182.71 c Got one! Elapsed wall clock time (in seconds):182.503 184.82/182.71 o 4154700408064000 196.35/194.26 c Got one! Elapsed wall clock time (in seconds):194.055 196.35/194.26 o 4154677190299820 202.57/200.45 c Got one! Elapsed wall clock time (in seconds):200.243 202.57/200.45 o 4154674931595290 205.69/203.58 c Got one! Elapsed wall clock time (in seconds):203.38 205.69/203.59 o 4154674757503200 213.20/211.01 c Got one! Elapsed wall clock time (in seconds):210.802 213.20/211.01 o 4154674479065220 215.11/212.95 c Got one! Elapsed wall clock time (in seconds):212.745 215.11/212.95 o 4154674241816320 219.43/217.23 c Got one! Elapsed wall clock time (in seconds):217.021 219.43/217.23 o 4154673967693500 236.57/234.30 c Got one! Elapsed wall clock time (in seconds):234.099 236.57/234.31 o 4154673389595260 250.21/247.93 c Got one! Elapsed wall clock time (in seconds):247.729 250.21/247.94 o 4154673107025920 254.91/252.70 c Got one! Elapsed wall clock time (in seconds):252.494 255.02/252.70 o 4154671970929470 266.47/264.16 c Got one! Elapsed wall clock time (in seconds):263.956 266.47/264.16 o 4154073223760670 290.25/287.86 c Got one! Elapsed wall clock time (in seconds):287.654 290.25/287.86 o 4154073223696735 293.87/291.50 c Got one! Elapsed wall clock time (in seconds):291.292 293.97/291.50 o 4154073057500475 346.31/343.61 c Got one! Elapsed wall clock time (in seconds):343.405 346.31/343.61 o 4154072867371520 364.81/362.09 c Got one! Elapsed wall clock time (in seconds):361.886 364.81/362.09 o 4154068003167250 379.58/376.79 c Got one! Elapsed wall clock time (in seconds):376.583 379.58/376.79 o 4154067565151500 421.14/418.06 c Got one! Elapsed wall clock time (in seconds):417.852 421.14/418.06 o 4154067564916670 453.84/450.65 c Got one! Elapsed wall clock time (in seconds):450.451 453.84/450.66 o 4153837061810475 469.31/466.00 c Got one! Elapsed wall clock time (in seconds):465.795 469.31/466.00 o 4153837061673945 474.14/470.84 c Got one! Elapsed wall clock time (in seconds):470.637 474.14/470.84 o 4153837059165840 475.24/472.00 c Got one! Elapsed wall clock time (in seconds):471.793 475.24/472.00 o 4153200888497200 488.91/485.53 c Got one! Elapsed wall clock time (in seconds):485.331 488.91/485.54 o 4149801856663560 495.59/492.18 c Got one! Elapsed wall clock time (in seconds):491.974 495.59/492.18 o 4149566765774390 497.61/494.17 c Got one! Elapsed wall clock time (in seconds):493.972 497.61/494.18 o 4149566554922840 520.42/516.81 c Got one! Elapsed wall clock time (in seconds):516.602 520.42/516.81 o 4149566339690505 553.80/550.06 c Got one! Elapsed wall clock time (in seconds):549.856 553.80/550.06 o 4149566335984300 556.12/552.37 c Got one! Elapsed wall clock time (in seconds):552.162 556.12/552.37 o 3975461428206550 563.07/559.21 c Got one! Elapsed wall clock time (in seconds):559.009 563.07/559.22 o 3975461361991680 567.40/563.52 c Got one! Elapsed wall clock time (in seconds):563.32 567.40/563.53 o 3975461300676000 573.05/569.13 c Got one! Elapsed wall clock time (in seconds):568.923 573.05/569.13 o 2932549518397530 647.26/642.78 c Got one! Elapsed wall clock time (in seconds):642.581 647.26/642.79 o 2932549518071000 648.77/644.27 c Got one! Elapsed wall clock time (in seconds):644.071 648.77/644.28 o 2932219425413680 672.96/668.27 c Got one! Elapsed wall clock time (in seconds):668.065 672.96/668.27 o 2932219422080800 762.27/756.81 c Got one! Elapsed wall clock time (in seconds):756.61 762.27/756.82 o 2932219328208560 832.35/826.35 c Got one! Elapsed wall clock time (in seconds):826.147 832.35/826.35 o 2889650983878750 865.62/859.37 c Got one! Elapsed wall clock time (in seconds):859.163 865.62/859.37 o 2889613284608700 1039.53/1031.88 c Got one! Elapsed wall clock time (in seconds):1031.678 1039.53/1031.89 o 2889613284426975 1043.17/1035.49 c Got one! Elapsed wall clock time (in seconds):1035.289 1043.17/1035.50 o 2889197965721575 1084.53/1076.44 c Got one! Elapsed wall clock time (in seconds):1076.233 1084.53/1076.44 o 2888956566904800 1110.44/1102.10 c Got one! Elapsed wall clock time (in seconds):1101.897 1110.44/1102.10 o 2888956563493660 1119.51/1111.13 c Got one! Elapsed wall clock time (in seconds):1110.931 1119.51/1111.14 o 2888956501282060 1234.80/1225.52 c Got one! Elapsed wall clock time (in seconds):1225.319 1234.80/1225.53 o 2888493381737280 1241.76/1232.48 c Got one! Elapsed wall clock time (in seconds):1232.277 1241.76/1232.48 o 2888493188488120 1249.23/1239.87 c Got one! Elapsed wall clock time (in seconds):1239.666 1249.23/1239.87 o 2888493170997060 1259.41/1249.96 c Got one! Elapsed wall clock time (in seconds):1249.756 1259.41/1249.96 o 2888493126497600 1306.87/1297.06 c Got one! Elapsed wall clock time (in seconds):1296.86 1306.87/1297.07 o 2888489252277000 1446.12/1435.11 c Got one! Elapsed wall clock time (in seconds):1434.903 1446.12/1435.11 o 2888489155845840 1453.67/1442.60 c Got one! Elapsed wall clock time (in seconds):1442.401 1453.67/1442.61 o 2888489054103800 1462.75/1451.63 c Got one! Elapsed wall clock time (in seconds):1451.43 1462.75/1451.64 o 2888488988056600 1611.99/1599.68 c Got one! Elapsed wall clock time (in seconds):1599.479 1611.99/1599.69 o 2888488970151680 1618.23/1605.82 c Got one! Elapsed wall clock time (in seconds):1605.617 1618.23/1605.82 o 2888488669908250 1639.20/1626.62 c Got one! Elapsed wall clock time (in seconds):1626.415 1639.20/1626.62 o 2888367400480775 1644.58/1631.94 c Got one! Elapsed wall clock time (in seconds):1631.74 1644.58/1631.95 o 2888367290629450 1656.06/1643.39 c Got one! Elapsed wall clock time (in seconds):1643.191 1656.06/1643.40 o 2888367171326525 1800.09/1786.41 c starts : 724 1800.09/1786.41 c conflicts : 690845 1800.09/1786.41 c decisions : 1155680 1800.09/1786.41 c propagations : 28658890 1800.09/1786.41 c inspects : 735727794 1800.09/1786.41 c learnt literals : 2 1800.09/1786.41 c learnt binary clauses : 46 1800.09/1786.41 c learnt ternary clauses : 58 1800.09/1786.41 c learnt clauses : 690843 1800.09/1786.41 c root simplifications : 0 1800.09/1786.41 c removed literals (reason simplification) : 0 1800.09/1786.41 c reason swapping (by a shorter reason) : 0 1800.09/1786.41 c Calls to reduceDB : 0 1800.09/1786.42 c speed (decisions/second) : 8081.2262251062875 1800.09/1786.42 c non guided choices 21769 1800.09/1786.42 s SATISFIABLE 1800.09/1786.44 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.09/1786.44 v -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 1800.09/1786.44 v -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 1800.09/1786.44 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.09/1786.44 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.09/1786.44 v -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.09/1786.44 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 x166 -x167 -x168 x169 -x170 -x171 1800.09/1786.44 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.09/1786.44 v -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.09/1786.44 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 1800.09/1786.44 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 x254 x255 -x256 1800.09/1786.44 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1800.09/1786.44 v -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1800.09/1786.44 v -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 x315 x316 x317 x318 -x319 -x320 1800.09/1786.44 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 1800.09/1786.44 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 1800.09/1786.44 v -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 x375 x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.09/1786.44 v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.09/1786.44 v -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 1800.09/1786.44 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1800.09/1786.44 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 x465 x466 -x467 -x468 1800.09/1786.44 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.09/1786.44 v -x490 -x491 -x492 -x493 -x494 x495 x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1800.09/1786.44 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.09/1786.44 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 -x553 x554 1800.09/1786.44 v -x555 -x556 x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 x572 x573 x574 x575 x576 1800.09/1786.44 v x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 1800.09/1786.44 v -x600 -x601 -x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 -x612 x613 -x614 x615 -x616 -x617 -x618 x619 x620 -x621 -x622 1800.09/1786.44 v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 1800.09/1786.44 v -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 1800.09/1786.44 v -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 x673 -x674 x675 x676 x677 x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 1800.09/1786.44 v -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 1800.09/1786.44 v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 1800.09/1786.44 v -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 1800.09/1786.44 v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 x769 -x770 1800.09/1786.44 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 1800.09/1786.44 v -x792 -x793 -x794 -x795 -x796 x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 1800.09/1786.44 v -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 1800.09/1786.44 v -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 1800.09/1786.44 v -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 x873 x874 x875 x876 1800.09/1786.44 v x877 x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 1800.09/1786.44 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 x919 1800.09/1786.44 v x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 1800.09/1786.44 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 1800.09/1786.44 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 1800.09/1786.44 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 x1000 x1001 x1002 x1003 x1004 1800.09/1786.44 v x1005 -x1006 x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.09/1786.44 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.09/1786.44 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 x1052 x1053 x1054 x1055 x1056 x1057 1800.09/1786.44 v x1058 x1059 x1060 x1061 x1062 x1063 x1064 x1065 -x1066 x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1800.09/1786.44 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1800.09/1786.44 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1800.09/1786.44 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1800.09/1786.44 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1800.09/1786.44 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 1800.09/1786.44 v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 1800.09/1786.44 v -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 1800.09/1786.44 v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1800.09/1786.44 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1800.09/1786.44 v -x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1800.09/1786.44 v -x1249 -x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 1800.09/1786.44 v x1268 x1269 x1270 x1271 x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.09/1786.44 v -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 1800.09/1786.44 v -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 1800.09/1786.44 v -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 1800.09/1786.44 v -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 1800.09/1786.44 v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 1800.09/1786.44 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1800.09/1786.44 v -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 x1397 x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 1800.09/1786.44 v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 1800.09/1786.44 v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 1800.09/1786.44 v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 1800.09/1786.44 v -x1459 -x1460 x1461 x1462 x1463 x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 1800.09/1786.44 v -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 1800.09/1786.44 v -x1494 -x1495 x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 1800.09/1786.44 v -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 x1526 -x1527 -x1528 -x1529 1800.09/1786.44 v -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 1800.09/1786.44 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 1800.09/1786.44 v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 1800.09/1786.44 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 x1587 x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1800.09/1786.44 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1800.09/1786.44 v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1800.09/1786.44 v -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 -x1649 -x1650 1800.09/1786.44 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 x1660 x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 x1669 1800.09/1786.44 v x1670 x1671 x1672 x1673 x1674 -x1675 x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1800.09/1786.44 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 x1702 x1703 -x1704 -x1705 1800.09/1786.44 v -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1800.09/1786.44 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 1800.09/1786.44 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.09/1786.44 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 x1772 -x1773 -x1774 1800.09/1786.44 v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 1800.09/1786.44 v x1792 -x1793 x1794 x1795 x1796 x1797 -x1798 x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.09/1786.44 v x1810 x1811 x1812 x1813 x1814 x1815 x1816 x1817 x1818 x1819 x1820 x1821 x1822 x1823 x1824 x1825 -x1826 x1827 -x1828 -x1829 1800.09/1786.44 v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 1800.09/1786.44 v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 1800.09/1786.44 v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1800.09/1786.44 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 1800.09/1786.44 v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 x1913 -x1914 -x1915 1800.09/1786.44 v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 1800.09/1786.44 v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 x1942 -x1943 -x1944 x1945 x1946 x1947 x1948 x1949 x1950 x1951 x1952 1800.09/1786.44 v -x1953 -x1954 x1955 x1956 x1957 x1958 x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1800.09/1786.44 v -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 x1981 x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1800.09/1786.44 v -x1989 -x1990 x1991 x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 1800.09/1786.44 v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 x2016 -x2017 x2018 -x2019 x2020 -x2021 x2022 -x2023 x2024 1800.09/1786.44 v x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 x2035 -x2036 x2037 -x2038 -x2039 x2040 -x2041 -x2042 1800.09/1786.44 v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 1800.09/1786.44 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 1800.09/1786.44 v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 1800.09/1786.44 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1800.09/1786.44 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 1800.09/1786.44 v -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 1800.09/1786.44 v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 1800.09/1786.44 v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 1800.09/1786.44 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1800.09/1786.44 v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 1800.09/1786.44 v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 1800.09/1786.44 c objective function=2888367171326525 1800.09/1786.44 c Total wall clock time (ms): 1786.238
OK 2888367171326525
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-354308-1176704863 -o ROOT/results/node24/solver-354308-1176704863 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354308-1176704863/sat4jPseudoResolution.jar /tmp/evaluation/354308-1176704863/instance-354308-1176704863.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/77 30298 /proc/meminfo: memFree=1816384/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=308 CPUtime=0 /proc/30298/stat : 30298 (java) R 30296 30298 28975 0 -1 0 56 0 0 0 0 0 0 0 18 0 1 0 118404300 315392 39 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2605860 0 0 4096 0 0 0 0 17 1 0 0 /proc/30298/statm: 77 39 29 9 0 6 0 [startup+0.103254 s] /proc/loadavg: 0.92 0.98 0.99 2/77 30298 /proc/meminfo: memFree=1816384/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1780108 CPUtime=0.08 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 3983 0 1 0 6 2 0 0 18 0 12 0 118404300 1822830592 3724 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 445027 3724 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.201266 s] /proc/loadavg: 0.92 0.98 0.99 2/77 30298 /proc/meminfo: memFree=1816384/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1781428 CPUtime=0.2 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 4845 0 1 0 17 3 0 0 18 0 12 0 118404300 1824182272 4583 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 445357 4583 1244 9 0 442969 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 1781428 [startup+0.301276 s] /proc/loadavg: 0.92 0.98 0.99 2/77 30298 /proc/meminfo: memFree=1816384/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1781600 CPUtime=0.33 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 5075 0 1 0 30 3 0 0 18 0 12 0 118404300 1824358400 4810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 445400 4810 1267 9 0 443012 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1781600 [startup+0.701323 s] /proc/loadavg: 0.92 0.98 0.99 2/77 30298 /proc/meminfo: memFree=1816384/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1787424 CPUtime=0.97 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 8184 0 1 0 92 5 0 0 18 0 12 0 118404300 1830322176 7467 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 446856 7467 1303 9 0 444468 0 Current children cumulated CPU time (s) 0.97 Current children cumulated vsize (KiB) 1787424 [startup+1.50241 s] /proc/loadavg: 0.92 0.98 0.99 3/90 30311 /proc/meminfo: memFree=1781848/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1794012 CPUtime=2.43 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 15778 0 1 0 234 9 0 0 18 0 12 0 118404300 1837068288 11096 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 448503 11097 1324 9 0 446115 0 [pid=30298/tid=30300] ppid=30296 vsize=1794012 CPUtime=0.8 /proc/30298/task/30300/stat : 30300 (java) R 30296 30298 28975 0 -1 64 7097 0 1 0 76 4 0 0 25 0 12 0 118404301 1837068288 11097 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109221249 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30301] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30301/stat : 30301 (java) S 30296 30298 28975 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 118404303 1837068288 11098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30302] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30302/stat : 30302 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 118404303 1837068288 11098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30303] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30303/stat : 30303 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 118404305 1837068288 11098 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30304] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30304/stat : 30304 (java) S 30296 30298 28975 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 118404305 1837068288 11099 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30305] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30305/stat : 30305 (java) S 30296 30298 28975 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 118404305 1837068288 11099 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30306] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30306/stat : 30306 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118404309 1837068288 11099 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30307] ppid=30296 vsize=1794012 CPUtime=0.69 /proc/30298/task/30307/stat : 30307 (java) S 30296 30298 28975 0 -1 64 2738 0 0 0 68 1 0 0 16 0 12 0 118404309 1837068288 11100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30308] ppid=30296 vsize=1794012 CPUtime=0.91 /proc/30298/task/30308/stat : 30308 (java) S 30296 30298 28975 0 -1 64 5220 0 0 0 88 3 0 0 16 0 12 0 118404309 1837068288 11100 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30309] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30309/stat : 30309 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 118404309 1837068288 11101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30310] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30310/stat : 30310 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 118404309 1837068288 11101 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 1794012 [startup+3.10257 s] /proc/loadavg: 0.93 0.98 0.99 2/90 30315 /proc/meminfo: memFree=1752976/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1794012 CPUtime=4.48 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 29027 0 1 0 434 14 0 0 18 0 13 0 118404300 1837068288 24343 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 448503 24343 1325 9 0 446115 0 [pid=30298/tid=30300] ppid=30296 vsize=1794012 CPUtime=2.24 /proc/30298/task/30300/stat : 30300 (java) R 30296 30298 28975 0 -1 64 20277 0 1 0 216 8 0 0 25 0 13 0 118404301 1837068288 24343 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109608447 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30301] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30301/stat : 30301 (java) S 30296 30298 28975 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 118404303 1837068288 24343 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30302] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30302/stat : 30302 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 118404303 1837068288 24344 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30303] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30303/stat : 30303 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 118404305 1837068288 24344 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30304] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30304/stat : 30304 (java) S 30296 30298 28975 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 118404305 1837068288 24344 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30305] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30305/stat : 30305 (java) S 30296 30298 28975 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 118404305 1837068288 24344 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30306] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30306/stat : 30306 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118404309 1837068288 24345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30307] ppid=30296 vsize=1794012 CPUtime=1.02 /proc/30298/task/30307/stat : 30307 (java) S 30296 30298 28975 0 -1 64 2777 0 0 0 101 1 0 0 16 0 13 0 118404309 1837068288 24345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30308] ppid=30296 vsize=1794012 CPUtime=1.19 /proc/30298/task/30308/stat : 30308 (java) S 30296 30298 28975 0 -1 64 5248 0 0 0 116 3 0 0 16 0 13 0 118404309 1837068288 24346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30309] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30309/stat : 30309 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118404309 1837068288 24346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30310] ppid=30296 vsize=1794012 CPUtime=0 /proc/30298/task/30310/stat : 30310 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118404309 1837068288 24346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.48 Current children cumulated vsize (KiB) 1794012 [startup+6.30192 s] /proc/loadavg: 0.93 0.98 0.99 2/90 30320 /proc/meminfo: memFree=1661624/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1793980 CPUtime=7.7 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 48499 0 1 0 747 23 0 0 18 0 13 0 118404300 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 448495 43779 1335 9 0 446107 0 [pid=30298/tid=30300] ppid=30296 vsize=1793980 CPUtime=5.41 /proc/30298/task/30300/stat : 30300 (java) R 30296 30298 28975 0 -1 64 37718 0 1 0 524 17 0 0 19 0 13 0 118404301 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109609171 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30301] ppid=30296 vsize=1793980 CPUtime=0.01 /proc/30298/task/30301/stat : 30301 (java) S 30296 30298 28975 0 -1 64 1357 0 0 0 1 0 0 0 16 0 13 0 118404303 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30302] ppid=30296 vsize=1793980 CPUtime=0.01 /proc/30298/task/30302/stat : 30302 (java) S 30296 30298 28975 0 -1 64 657 0 0 0 1 0 0 0 16 0 13 0 118404303 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30303] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30303/stat : 30303 (java) S 30296 30298 28975 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30304] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30304/stat : 30304 (java) S 30296 30298 28975 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30305] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30305/stat : 30305 (java) S 30296 30298 28975 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30306] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30306/stat : 30306 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118404309 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30307] ppid=30296 vsize=1793980 CPUtime=1.03 /proc/30298/task/30307/stat : 30307 (java) S 30296 30298 28975 0 -1 64 2777 0 0 0 102 1 0 0 16 0 13 0 118404309 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30308] ppid=30296 vsize=1793980 CPUtime=1.19 /proc/30298/task/30308/stat : 30308 (java) S 30296 30298 28975 0 -1 64 5248 0 0 0 116 3 0 0 16 0 13 0 118404309 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30309] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30309/stat : 30309 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118404309 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30310] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30310/stat : 30310 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118404309 1837035520 43779 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.7 Current children cumulated vsize (KiB) 1793980 [startup+12.7026 s] /proc/loadavg: 0.94 0.98 0.99 2/90 30325 /proc/meminfo: memFree=1632728/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1793980 CPUtime=14.15 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 51716 0 1 0 1391 24 0 0 18 0 13 0 118404300 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 448495 46936 1335 9 0 446107 0 [pid=30298/tid=30300] ppid=30296 vsize=1793980 CPUtime=11.75 /proc/30298/task/30300/stat : 30300 (java) R 30296 30298 28975 0 -1 64 37723 0 1 0 1158 17 0 0 25 0 13 0 118404301 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109608734 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30301] ppid=30296 vsize=1793980 CPUtime=0.04 /proc/30298/task/30301/stat : 30301 (java) S 30296 30298 28975 0 -1 64 3473 0 0 0 4 0 0 0 16 0 13 0 118404303 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30302] ppid=30296 vsize=1793980 CPUtime=0.04 /proc/30298/task/30302/stat : 30302 (java) S 30296 30298 28975 0 -1 64 1741 0 0 0 4 0 0 0 16 0 13 0 118404303 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30303] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30303/stat : 30303 (java) S 30296 30298 28975 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30304] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30304/stat : 30304 (java) S 30296 30298 28975 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30305] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30305/stat : 30305 (java) S 30296 30298 28975 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30306] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30306/stat : 30306 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118404309 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30307] ppid=30296 vsize=1793980 CPUtime=1.06 /proc/30298/task/30307/stat : 30307 (java) S 30296 30298 28975 0 -1 64 2777 0 0 0 105 1 0 0 16 0 13 0 118404309 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30308] ppid=30296 vsize=1793980 CPUtime=1.21 /proc/30298/task/30308/stat : 30308 (java) S 30296 30298 28975 0 -1 64 5248 0 0 0 118 3 0 0 16 0 13 0 118404309 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30309] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30309/stat : 30309 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118404309 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30310] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30310/stat : 30310 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118404309 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30325] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30325/stat : 30325 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 118405192 1837035520 46936 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.15 Current children cumulated vsize (KiB) 1793980 [startup+25.503 s] /proc/loadavg: 0.95 0.98 0.99 2/90 30338 /proc/meminfo: memFree=1614248/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1793980 CPUtime=27.02 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 56429 0 1 0 2675 27 0 0 18 0 13 0 118404300 1837035520 51539 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 448495 51539 1335 9 0 446107 0 [pid=30298/tid=30300] ppid=30296 vsize=1793980 CPUtime=24.45 /proc/30298/task/30300/stat : 30300 (java) R 30296 30298 28975 0 -1 64 37734 0 1 0 2428 17 0 0 20 0 13 0 118404301 1837035520 51539 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109880184 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30301] ppid=30296 vsize=1793980 CPUtime=0.12 /proc/30298/task/30301/stat : 30301 (java) S 30296 30298 28975 0 -1 64 5307 0 0 0 10 2 0 0 16 0 13 0 118404303 1837035520 51539 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30302] ppid=30296 vsize=1793980 CPUtime=0.12 /proc/30298/task/30302/stat : 30302 (java) S 30296 30298 28975 0 -1 64 4572 0 0 0 10 2 0 0 16 0 13 0 118404303 1837035520 51539 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30303] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30303/stat : 30303 (java) S 30296 30298 28975 0 -1 64 22 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 51539 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30304] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30304/stat : 30304 (java) S 30296 30298 28975 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 51539 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30305] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30305/stat : 30305 (java) S 30296 30298 28975 0 -1 64 22 0 0 0 0 0 0 0 17 0 13 0 118404305 1837035520 51539 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=30298/tid=30303] ppid=30296 vsize=1793980 CPUtime=0.33 /proc/30298/task/30303/stat : 30303 (java) S 30296 30298 28975 0 -1 64 177 0 0 0 18 15 0 0 16 0 13 0 118404305 1837035520 145183 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30304] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30304/stat : 30304 (java) S 30296 30298 28975 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 145183 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30305] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30305/stat : 30305 (java) S 30296 30298 28975 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 145183 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30306] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30306/stat : 30306 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118404309 1837035520 145183 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30307] ppid=30296 vsize=1793980 CPUtime=1.07 /proc/30298/task/30307/stat : 30307 (java) S 30296 30298 28975 0 -1 64 2777 0 0 0 106 1 0 0 17 0 13 0 118404309 1837035520 145183 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30308] ppid=30296 vsize=1793980 CPUtime=1.25 /proc/30298/task/30308/stat : 30308 (java) S 30296 30298 28975 0 -1 64 5253 0 0 0 122 3 0 0 17 0 13 0 118404309 1837035520 145183 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30309] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30309/stat : 30309 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118404309 1837035520 145183 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30310] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30310/stat : 30310 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118404309 1837035520 145183 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30412] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30412/stat : 30412 (java) S 30296 30298 28975 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 118564270 1837035520 145183 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1614.7 Current children cumulated vsize (KiB) 1793980 [startup+1662.3 s] /proc/loadavg: 1.06 1.02 1.00 2/90 30416 /proc/meminfo: memFree=1222800/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1793980 CPUtime=1675.21 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 264954 0 1 0 167377 144 0 0 18 0 13 0 118404300 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 448495 148439 1335 9 0 446107 0 [pid=30298/tid=30300] ppid=30296 vsize=1793980 CPUtime=1647.43 /proc/30298/task/30300/stat : 30300 (java) R 30296 30298 28975 0 -1 64 86550 0 1 0 164701 42 0 0 25 0 13 0 118404301 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109631328 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30301] ppid=30296 vsize=1793980 CPUtime=12.54 /proc/30298/task/30301/stat : 30301 (java) S 30296 30298 28975 0 -1 64 95166 0 0 0 1211 43 0 0 16 0 13 0 118404303 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30302] ppid=30296 vsize=1793980 CPUtime=12.5 /proc/30298/task/30302/stat : 30302 (java) S 30296 30298 28975 0 -1 64 74139 0 0 0 1214 36 0 0 17 0 13 0 118404303 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30303] ppid=30296 vsize=1793980 CPUtime=0.34 /proc/30298/task/30303/stat : 30303 (java) S 30296 30298 28975 0 -1 64 181 0 0 0 18 16 0 0 16 0 13 0 118404305 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30304] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30304/stat : 30304 (java) S 30296 30298 28975 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30305] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30305/stat : 30305 (java) S 30296 30298 28975 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30306] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30306/stat : 30306 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118404309 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30307] ppid=30296 vsize=1793980 CPUtime=1.07 /proc/30298/task/30307/stat : 30307 (java) S 30296 30298 28975 0 -1 64 2777 0 0 0 106 1 0 0 17 0 13 0 118404309 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30308] ppid=30296 vsize=1793980 CPUtime=1.25 /proc/30298/task/30308/stat : 30308 (java) S 30296 30298 28975 0 -1 64 5253 0 0 0 122 3 0 0 17 0 13 0 118404309 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30309] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30309/stat : 30309 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118404309 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30310] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30310/stat : 30310 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118404309 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30416] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30416/stat : 30416 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 118568641 1837035520 148439 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1675.21 Current children cumulated vsize (KiB) 1793980 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 2/90 30416 /proc/meminfo: memFree=1179664/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1793980 CPUtime=1735.64 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 277611 0 1 0 173412 152 0 0 18 0 13 0 118404300 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 448495 159288 1335 9 0 446107 0 [pid=30298/tid=30300] ppid=30296 vsize=1793980 CPUtime=1706.88 /proc/30298/task/30300/stat : 30300 (java) R 30296 30298 28975 0 -1 64 96548 0 1 0 170642 46 0 0 25 0 13 0 118404301 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109640840 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30301] ppid=30296 vsize=1793980 CPUtime=13.03 /proc/30298/task/30301/stat : 30301 (java) S 30296 30298 28975 0 -1 64 95547 0 0 0 1259 44 0 0 16 0 13 0 118404303 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30302] ppid=30296 vsize=1793980 CPUtime=12.98 /proc/30298/task/30302/stat : 30302 (java) S 30296 30298 28975 0 -1 64 76396 0 0 0 1260 38 0 0 16 0 13 0 118404303 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30303] ppid=30296 vsize=1793980 CPUtime=0.34 /proc/30298/task/30303/stat : 30303 (java) S 30296 30298 28975 0 -1 64 202 0 0 0 18 16 0 0 16 0 13 0 118404305 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30304] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30304/stat : 30304 (java) S 30296 30298 28975 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30305] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30305/stat : 30305 (java) S 30296 30298 28975 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30306] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30306/stat : 30306 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118404309 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30307] ppid=30296 vsize=1793980 CPUtime=1.07 /proc/30298/task/30307/stat : 30307 (java) S 30296 30298 28975 0 -1 64 2777 0 0 0 106 1 0 0 17 0 13 0 118404309 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30308] ppid=30296 vsize=1793980 CPUtime=1.25 /proc/30298/task/30308/stat : 30308 (java) S 30296 30298 28975 0 -1 64 5253 0 0 0 122 3 0 0 17 0 13 0 118404309 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30309] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30309/stat : 30309 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118404309 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30310] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30310/stat : 30310 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118404309 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30416] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30416/stat : 30416 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 118568641 1837035520 159288 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1735.64 Current children cumulated vsize (KiB) 1793980 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/90 30416 /proc/meminfo: memFree=1179024/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1793980 CPUtime=1795.96 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 280628 0 1 0 179443 153 0 0 18 0 13 0 118404300 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 448495 159387 1335 9 0 446107 0 [pid=30298/tid=30300] ppid=30296 vsize=1793980 CPUtime=1766.45 /proc/30298/task/30300/stat : 30300 (java) R 30296 30298 28975 0 -1 64 96565 0 1 0 176599 46 0 0 25 0 13 0 118404301 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109608693 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30301] ppid=30296 vsize=1793980 CPUtime=13.4 /proc/30298/task/30301/stat : 30301 (java) S 30296 30298 28975 0 -1 64 96543 0 0 0 1296 44 0 0 17 0 13 0 118404303 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30302] ppid=30296 vsize=1793980 CPUtime=13.36 /proc/30298/task/30302/stat : 30302 (java) S 30296 30298 28975 0 -1 64 78400 0 0 0 1297 39 0 0 16 0 13 0 118404303 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30303] ppid=30296 vsize=1793980 CPUtime=0.34 /proc/30298/task/30303/stat : 30303 (java) S 30296 30298 28975 0 -1 64 202 0 0 0 18 16 0 0 16 0 13 0 118404305 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30304] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30304/stat : 30304 (java) S 30296 30298 28975 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30305] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30305/stat : 30305 (java) S 30296 30298 28975 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30306] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30306/stat : 30306 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118404309 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30307] ppid=30296 vsize=1793980 CPUtime=1.07 /proc/30298/task/30307/stat : 30307 (java) S 30296 30298 28975 0 -1 64 2777 0 0 0 106 1 0 0 17 0 13 0 118404309 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30308] ppid=30296 vsize=1793980 CPUtime=1.25 /proc/30298/task/30308/stat : 30308 (java) S 30296 30298 28975 0 -1 64 5253 0 0 0 122 3 0 0 17 0 13 0 118404309 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30309] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30309/stat : 30309 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118404309 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30310] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30310/stat : 30310 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118404309 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30416] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30416/stat : 30416 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 118568641 1837035520 159387 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 1793980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.4 s] /proc/loadavg: 1.01 1.00 1.00 2/90 30416 /proc/meminfo: memFree=1179024/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=1793980 CPUtime=1800.09 /proc/30298/stat : 30298 (java) S 30296 30298 28975 0 -1 0 280760 0 1 0 179856 153 0 0 18 0 13 0 118404300 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 448495 159374 1335 9 0 446107 0 [pid=30298/tid=30300] ppid=30296 vsize=1793980 CPUtime=1770.54 /proc/30298/task/30300/stat : 30300 (java) R 30296 30298 28975 0 -1 64 96566 0 1 0 177008 46 0 0 25 0 13 0 118404301 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109609219 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30301] ppid=30296 vsize=1793980 CPUtime=13.42 /proc/30298/task/30301/stat : 30301 (java) S 30296 30298 28975 0 -1 64 96543 0 0 0 1298 44 0 0 17 0 13 0 118404303 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30302] ppid=30296 vsize=1793980 CPUtime=13.38 /proc/30298/task/30302/stat : 30302 (java) S 30296 30298 28975 0 -1 64 78531 0 0 0 1299 39 0 0 16 0 13 0 118404303 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30303] ppid=30296 vsize=1793980 CPUtime=0.34 /proc/30298/task/30303/stat : 30303 (java) S 30296 30298 28975 0 -1 64 202 0 0 0 18 16 0 0 16 0 13 0 118404305 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30304] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30304/stat : 30304 (java) S 30296 30298 28975 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30305] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30305/stat : 30305 (java) S 30296 30298 28975 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 118404305 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30306] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30306/stat : 30306 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118404309 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30307] ppid=30296 vsize=1793980 CPUtime=1.07 /proc/30298/task/30307/stat : 30307 (java) S 30296 30298 28975 0 -1 64 2777 0 0 0 106 1 0 0 17 0 13 0 118404309 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30308] ppid=30296 vsize=1793980 CPUtime=1.25 /proc/30298/task/30308/stat : 30308 (java) S 30296 30298 28975 0 -1 64 5253 0 0 0 122 3 0 0 17 0 13 0 118404309 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=30298/tid=30309] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30309/stat : 30309 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118404309 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30310] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30310/stat : 30310 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118404309 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=30298/tid=30416] ppid=30296 vsize=1793980 CPUtime=0 /proc/30298/task/30416/stat : 30416 (java) S 30296 30298 28975 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 118568641 1837035520 159374 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1793980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.52 s] /proc/loadavg: 1.01 1.00 1.00 2/90 30416 /proc/meminfo: memFree=1179024/2055920 swapFree=4159472/4192956 [pid=30298] ppid=30296 vsize=0 CPUtime=1800.22 /proc/30298/stat : 30298 (java) Z 30296 30298 28975 0 -1 1036 280779 0 1 0 179865 157 0 0 15 0 2 0 118404300 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/30298/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1786.58 CPU time (s): 1800.3 CPU user time (s): 1798.66 CPU system time (s): 1.64075 CPU usage (%): 100.768 Max. virtual memory (cumulated for all children) (KiB): 1795764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.66 system time used= 1.64075 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280779 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= 47798 involuntary context switches= 65185 runsolver used 2.03169 second user time and 5.58415 second system time The end
Begin job on node24 on Mon Apr 16 06:27:43 UTC 2007 IDJOB= 354308 IDBENCH= 2483 IDSOLVER= 159 FILE ID= node24/354308-1176704863 PBS_JOBID= 4560030 Free space on /tmp= 66520 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell3a.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354308-1176704863/sat4jPseudoResolution.jar /tmp/evaluation/354308-1176704863/instance-354308-1176704863.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-354308-1176704863 -o ROOT/results/node24/solver-354308-1176704863 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354308-1176704863/sat4jPseudoResolution.jar /tmp/evaluation/354308-1176704863/instance-354308-1176704863.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= efa7fb1a840e9d48ac9b28aadc8f53ba RANDOM SEED= 496232442 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.238 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.238 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1816792 kB Buffers: 23316 kB Cached: 127016 kB SwapCached: 2532 kB Active: 84328 kB Inactive: 95632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816792 kB SwapTotal: 4192956 kB SwapFree: 4159472 kB Dirty: 3780 kB Writeback: 0 kB Mapped: 44560 kB Slab: 44712 kB Committed_AS: 1788424 kB PageTables: 1788 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66520 MiB End job on node24 on Mon Apr 16 06:57:31 UTC 2007