Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.24 | 1787.3 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb |
MD5SUM | 0155c0c96434984f6ded6bb7ada20c0c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6548 |
Best CPU time to get the best result obtained on this benchmark | 2.23666 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6548 |
Optimality of the best value was proved | YES |
Number of variables | 2655 |
Total number of constraints | 146 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 145 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 2655 |
Number of terms in the objective function | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.14 c no version file found!!! 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1651659224 0.09/0.15 c Max memory 1654456320 0.09/0.15 c Total memory 1654456320 0.09/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/363453-1177027674/instance-363453-1177027674.opb 0.20/0.20 c reading problem ... 1.18/0.89 c ... done. Wall clock time 0.691s. 1.18/0.89 c CPU time (experimental) 0.57s. 1.18/0.89 c #vars 2655 1.18/0.89 c #constraints 291 571.05/565.97 c cleaning 375715 clauses out of 751494 for limit 4.572009968282583 580.87/575.75 c cleaning 188136 clauses out of 376283 for limit 15.118615507833352 583.78/578.70 c cleaning 94312 clauses out of 188642 for limit 49.48477000969146 585.57/580.46 c cleaning 47385 clauses out of 94832 for limit 162.6596932680317 586.87/581.80 c cleaning 23935 clauses out of 47946 for limit 530.0341513054202 588.17/583.03 c cleaning 12212 clauses out of 24510 for limit 1708.1826173121578 588.57/583.46 c cleaning 6348 clauses out of 12799 for limit 5399.977734082975 588.87/583.70 c cleaning 3421 clauses out of 6950 for limit 16383.420526875654 588.97/583.90 c cleaning 1946 clauses out of 4031 for limit 46676.84526127108 589.17/584.03 c cleaning 1219 clauses out of 2583 for limit 119888.28598400652 589.27/584.14 c cleaning 858 clauses out of 1864 for limit 273975.1266691438 589.37/584.23 c cleaning 678 clauses out of 1506 for limit 559226.7787415361 589.47/584.33 c cleaning 589 clauses out of 1329 for limit 1046112.3982283301 589.57/584.42 c cleaning 614 clauses out of 1239 for limit 1848644.4831175334 589.67/584.50 c cleaning 563 clauses out of 1126 for limit 3357969.2411863306 589.67/584.59 c cleaning 452 clauses out of 1063 for limit 5865941.488974438 589.77/584.67 c cleaning 474 clauses out of 1110 for limit 9254850.073639682 589.88/584.74 c cleaning 484 clauses out of 1136 for limit 1.491316840498947E7 589.98/584.80 c cleaning 497 clauses out of 1152 for limit 2.425222905686229E7 589.98/584.87 c cleaning 577 clauses out of 1156 for limit 3.989667520301697E7 590.08/584.94 c cleaning 537 clauses out of 1079 for limit 7.0490238761232E7 590.18/585.00 c cleaning 521 clauses out of 1042 for limit 1.2037563589019874E8 590.18/585.07 c cleaning 472 clauses out of 1020 for limit 2.0259443736108413E8 590.28/585.13 c cleaning 441 clauses out of 1048 for limit 3.2517885153007656E8 590.28/585.19 c cleaning 478 clauses out of 1107 for limit 5.076820888500584E8 590.38/585.25 c cleaning 487 clauses out of 1130 for limit 8.210156163919938E8 590.48/585.32 c cleaning 571 clauses out of 1143 for limit 1.3385651627087061E9 590.58/585.40 c cleaning 535 clauses out of 1071 for limit 2.353518696567554E9 590.58/585.47 c cleaning 440 clauses out of 1037 for limit 4.012534374710954E9 590.68/585.54 c cleaning 548 clauses out of 1096 for limit 6.25472677872604E9 590.78/585.60 c cleaning 522 clauses out of 1048 for limit 1.0787318507390835E10 590.78/585.66 c cleaning 433 clauses out of 1026 for limit 1.8171187547481083E10 590.88/585.72 c cleaning 547 clauses out of 1094 for limit 2.8132203375252823E10 590.88/585.78 c cleaning 523 clauses out of 1047 for limit 4.8476390550280396E10 590.98/585.85 c cleaning 453 clauses out of 1023 for limit 8.173775380623418E10 591.08/585.91 c cleaning 454 clauses out of 1070 for limit 1.288755233587184E11 591.08/585.97 c cleaning 481 clauses out of 1116 for limit 2.0377265876794418E11 591.18/586.03 c cleaning 493 clauses out of 1135 for limit 3.304228951295582E11 591.18/586.09 c cleaning 572 clauses out of 1144 for limit 5.417075390014459E11 591.28/586.15 c cleaning 460 clauses out of 1070 for limit 9.53221852599667E11 591.38/586.22 c cleaning 537 clauses out of 1110 for limit 1.5153420536055103E12 591.38/586.28 c cleaning 456 clauses out of 1073 for limit 2.585174239891686E12 710.04/704.18 c cleaning 116543 clauses out of 233117 for limit 1.2574857009045111E11 717.74/711.89 c cleaning 58514 clauses out of 117075 for limit 4.1333600076599554E11 718.94/713.05 c cleaning 29505 clauses out of 59060 for limit 1.3498805264473477E12 719.24/713.39 c cleaning 15002 clauses out of 30056 for limit 4.378728234365577E12 728.64/722.66 c cleaning 21753 clauses out of 43553 for limit 73015.00950338143 728.93/722.96 c cleaning 11127 clauses out of 22301 for limit 235394.48433700638 729.13/723.16 c cleaning 5801 clauses out of 11674 for limit 741577.967240347 729.33/723.31 c cleaning 3157 clauses out of 6372 for limit 2238319.6906233216 729.43/723.43 c cleaning 1825 clauses out of 3715 for limit 6331330.014292393 729.53/723.52 c cleaning 1165 clauses out of 2390 for limit 1.622974721029696E7 729.63/723.61 c cleaning 829 clauses out of 1725 for limit 3.7083135153841764E7 729.63/723.69 c cleaning 674 clauses out of 1396 for limit 7.556766659313913E7 729.74/723.76 c cleaning 575 clauses out of 1222 for limit 1.4236594377842173E8 729.84/723.84 c cleaning 540 clauses out of 1147 for limit 2.5013230575907344E8 729.93/723.92 c cleaning 552 clauses out of 1107 for limit 4.274068424026283E8 729.93/723.99 c cleaning 499 clauses out of 1056 for limit 7.396317947389671E8 730.03/724.07 c cleaning 499 clauses out of 1056 for limit 1.2185320239201427E9 730.13/724.14 c cleaning 527 clauses out of 1058 for limit 2.0077313321332905E9 730.23/724.22 c cleaning 508 clauses out of 1030 for limit 3.3976247746253967E9 730.33/724.35 c cleaning 509 clauses out of 1022 for limit 5.646997957780694E9 730.43/724.46 c cleaning 477 clauses out of 1013 for limit 9.395393372048664E9 730.53/724.56 c cleaning 499 clauses out of 1038 for limit 1.5151372324563456E10 730.63/724.67 c cleaning 519 clauses out of 1038 for limit 2.4961653237654266E10 730.73/724.80 c cleaning 491 clauses out of 1019 for limit 4.193265898732668E10 730.94/724.91 c cleaning 481 clauses out of 1027 for limit 6.8545274177131134E10 731.03/725.00 c cleaning 499 clauses out of 1046 for limit 1.1098701316273022E11 731.13/725.10 c cleaning 493 clauses out of 1048 for limit 1.828659997471866E11 731.13/725.19 c cleaning 527 clauses out of 1054 for limit 2.995539230854869E11 904.74/897.78 c cleaning 122993 clauses out of 246027 for limit 6.0391160177760654E-5 907.44/900.47 c cleaning 61759 clauses out of 123535 for limit 1.985438884044083E-4 908.34/901.38 c cleaning 31109 clauses out of 62275 for limit 6.488647503555459E-4 908.84/901.82 c cleaning 15822 clauses out of 31666 for limit 0.0021044111659839137 909.05/902.03 c cleaning 8139 clauses out of 16344 for limit 0.006723901431506078 909.14/902.20 c cleaning 4320 clauses out of 8706 for limit 0.020837779009068465 909.34/902.33 c cleaning 2404 clauses out of 4885 for limit 0.061182454781448785 909.47/902.45 c cleaning 1451 clauses out of 2982 for limit 0.16545283976650468 909.57/902.55 c cleaning 972 clauses out of 2030 for limit 0.40041210844797004 909.67/902.65 c cleaning 727 clauses out of 1558 for limit 0.8603827085998691 909.77/902.75 c cleaning 627 clauses out of 1332 for limit 1.6612894263959774 909.87/902.85 c cleaning 557 clauses out of 1205 for limit 3.02843576093266 909.97/902.95 c cleaning 533 clauses out of 1148 for limit 5.2422703192790685 910.07/903.07 c cleaning 516 clauses out of 1115 for limit 8.901072110303316 910.17/903.17 c cleaning 508 clauses out of 1098 for limit 14.891423744174395 910.27/903.28 c cleaning 497 clauses out of 1091 for limit 24.74025719826339 1040.83/1032.65 c cleaning 145758 clauses out of 291593 for limit 256415.0984655916 1043.43/1035.25 c cleaning 73153 clauses out of 146336 for limit 843451.0967276732 1044.23/1036.07 c cleaning 36804 clauses out of 73683 for limit 2762483.381966325 1044.73/1036.56 c cleaning 18643 clauses out of 37380 for limit 8989138.579853868 1045.12/1036.95 c cleaning 9568 clauses out of 19236 for limit 2.8778223398883384E7 1045.32/1037.14 c cleaning 5036 clauses out of 10169 for limit 8.986506638101071E7 1045.43/1037.25 c cleaning 2767 clauses out of 5631 for limit 2.6709790579029882E8 1045.53/1037.33 c cleaning 1637 clauses out of 3364 for limit 7.373198229439065E8 1045.62/1037.41 c cleaning 1075 clauses out of 2229 for limit 1.8387671625010967E9 1045.62/1037.49 c cleaning 777 clauses out of 1653 for limit 4.084936684576444E9 1045.72/1037.56 c cleaning 680 clauses out of 1375 for limit 8.090527904352619E9 1045.82/1037.63 c cleaning 594 clauses out of 1196 for limit 1.5354609553439857E10 1045.92/1037.71 c cleaning 543 clauses out of 1101 for limit 2.7479195465698277E10 1045.92/1037.78 c cleaning 481 clauses out of 1059 for limit 4.716130033315241E10 1046.02/1037.85 c cleaning 489 clauses out of 1077 for limit 7.639895232006294E10 1046.12/1037.91 c cleaning 495 clauses out of 1088 for limit 1.247182757296152E11 1046.12/1037.98 c cleaning 502 clauses out of 1094 for limit 2.0475384695054694E11 1046.22/1038.04 c cleaning 500 clauses out of 1092 for limit 3.382849218869426E11 1046.32/1038.11 c cleaning 541 clauses out of 1092 for limit 5.578770911387764E11 1046.32/1038.18 c cleaning 520 clauses out of 1050 for limit 9.558576984269401E11 1046.42/1038.25 c cleaning 507 clauses out of 1030 for limit 1.6069457067128657E12 1046.53/1038.32 c cleaning 466 clauses out of 1023 for limit 2.6682018543809756E12 1046.53/1038.39 c cleaning 480 clauses out of 1057 for limit 4.258682029341095E12 1046.63/1038.46 c cleaning 491 clauses out of 1077 for limit 6.892716022734498E12 1055.82/1047.50 c cleaning 15251 clauses out of 30586 for limit 26329.13708653433 1056.02/1047.79 c cleaning 7874 clauses out of 15835 for limit 83868.16273771312 1056.32/1048.03 c cleaning 4187 clauses out of 8462 for limit 259079.21633274932 1056.42/1048.17 c cleaning 2361 clauses out of 4774 for limit 756562.0560562558 1056.53/1048.27 c cleaning 1428 clauses out of 2914 for limit 2046104.5555201466 1056.63/1048.36 c cleaning 968 clauses out of 1987 for limit 4953474.155311426 1056.72/1048.43 c cleaning 728 clauses out of 1518 for limit 1.0682118027075568E7 1056.82/1048.51 c cleaning 644 clauses out of 1290 for limit 2.07298099473127E7 1056.82/1048.59 c cleaning 566 clauses out of 1145 for limit 3.847697483792333E7 1056.92/1048.69 c cleaning 531 clauses out of 1079 for limit 6.733499749843723E7 1057.02/1048.77 c cleaning 490 clauses out of 1048 for limit 1.1432912965087712E8 1057.12/1048.86 c cleaning 524 clauses out of 1058 for limit 1.8676194979798362E8 1057.22/1048.94 c cleaning 510 clauses out of 1034 for limit 3.151442701073234E8 1057.32/1049.01 c cleaning 503 clauses out of 1024 for limit 5.247904030423643E8 1057.32/1049.09 c cleaning 478 clauses out of 1021 for limit 8.679925266764529E8 1057.42/1049.16 c cleaning 490 clauses out of 1044 for limit 1.4013016331808379E9 1057.52/1049.24 c cleaning 518 clauses out of 1053 for limit 2.288891102191473E9 1057.63/1049.32 c cleaning 514 clauses out of 1036 for limit 3.840467952770569E9 1057.63/1049.40 c cleaning 507 clauses out of 1021 for limit 6.420066609686615E9 1057.73/1049.48 c cleaning 470 clauses out of 1014 for limit 1.0660638287208603E10 1057.82/1049.57 c cleaning 492 clauses out of 1044 for limit 1.7075622750906176E10 1057.92/1049.65 c cleaning 526 clauses out of 1053 for limit 2.7947249858865242E10 1058.02/1049.73 c cleaning 474 clauses out of 1027 for limit 4.725555762545313E10 1058.12/1049.80 c cleaning 486 clauses out of 1053 for limit 7.600652054965323E10 1058.12/1049.88 c cleaning 528 clauses out of 1066 for limit 1.2369250744330089E11 1058.22/1049.95 c cleaning 514 clauses out of 1038 for limit 2.0948799088407733E11 1058.32/1050.01 c cleaning 504 clauses out of 1024 for limit 3.5019699530970233E11 1058.32/1050.08 c cleaning 470 clauses out of 1020 for limit 5.797864847375845E11 1058.42/1050.15 c cleaning 489 clauses out of 1051 for limit 9.288721502626957E11 1058.52/1050.22 c cleaning 499 clauses out of 1063 for limit 1.5160579153171958E12 1058.52/1050.29 c cleaning 498 clauses out of 1062 for limit 2.4975339670562544E12 1058.62/1050.36 c cleaning 532 clauses out of 1065 for limit 4.1112767402063716E12 1058.73/1050.44 c cleaning 516 clauses out of 1033 for limit 6.990075787561825E12 1058.83/1050.52 c cleaning 467 clauses out of 1016 for limit 1.1708732207030535E13 1058.83/1050.59 c cleaning 489 clauses out of 1050 for limit 1.870271607605096E13 1058.92/1050.65 c cleaning 482 clauses out of 1061 for limit 3.052351070188709E13 1059.02/1050.73 c cleaning 493 clauses out of 1078 for limit 4.949399172698822E13 1059.02/1050.79 c cleaning 494 clauses out of 1086 for limit 8.110204698447295E13 1301.71/1291.80 c cleaning 203523 clauses out of 407093 for limit 9.218041442542318E7 1307.61/1297.70 c cleaning 102027 clauses out of 204068 for limit 3.026524865316223E8 1309.21/1299.34 c cleaning 51230 clauses out of 102541 for limit 9.932932701910685E8 1309.91/1300.01 c cleaning 25871 clauses out of 51812 for limit 3.2451522976365075E9 1310.21/1300.40 c cleaning 13183 clauses out of 26440 for limit 1.0476720664300049E10 1310.51/1300.61 c cleaning 6838 clauses out of 13757 for limit 3.3206183630491344E10 1310.61/1300.74 c cleaning 3669 clauses out of 7419 for limit 1.0154375482100809E11 1310.71/1300.84 c cleaning 2077 clauses out of 4250 for limit 2.9232472276189825E11 1310.81/1300.93 c cleaning 1299 clauses out of 2673 for limit 7.664986685105085E11 1310.91/1301.01 c cleaning 898 clauses out of 1874 for limit 1.803003891124038E12 1310.91/1301.09 c cleaning 737 clauses out of 1476 for limit 3.7751636274719097E12 1311.01/1301.16 c cleaning 615 clauses out of 1240 for limit 7.41806870143246E12 1311.12/1301.24 c cleaning 555 clauses out of 1124 for limit 1.3482412186720201E13 1311.22/1301.32 c cleaning 486 clauses out of 1070 for limit 2.3379786054266105E13 1311.31/1301.40 c cleaning 496 clauses out of 1083 for limit 3.805548217492149E13 1311.31/1301.49 c cleaning 499 clauses out of 1088 for limit 6.253270118208714E13 1311.41/1301.57 c cleaning 544 clauses out of 1088 for limit 1.0302166493463708E14 1311.51/1301.64 c cleaning 471 clauses out of 1044 for limit 1.7705689667265538E14 1537.93/1526.31 c cleaning 194483 clauses out of 389074 for limit 3.0552014703486052 1540.43/1528.87 c cleaning 97526 clauses out of 195090 for limit 10.038259784348185 1541.33/1529.76 c cleaning 49025 clauses out of 98064 for limit 32.93363913722727 1541.73/1530.14 c cleaning 24704 clauses out of 49540 for limit 107.61770420278148 1542.03/1530.43 c cleaning 12600 clauses out of 25335 for limit 346.68910349219675 1542.23/1530.63 c cleaning 6536 clauses out of 13235 for limit 1094.4427329489258 1542.33/1530.79 c cleaning 3518 clauses out of 7199 for limit 3318.1858041075775 1542.53/1530.90 c cleaning 2008 clauses out of 4181 for limit 9422.119195215486 1542.63/1531.01 c cleaning 1254 clauses out of 2675 for limit 24334.917921391276 1542.73/1531.11 c cleaning 883 clauses out of 1922 for limit 55910.153881525504 1542.83/1531.20 c cleaning 689 clauses out of 1537 for limit 115068.66296610459 1542.93/1531.30 c cleaning 592 clauses out of 1347 for limit 216314.04267047264 1542.93/1531.38 c cleaning 542 clauses out of 1255 for limit 382881.5776685121 1543.03/1531.47 c cleaning 525 clauses out of 1215 for limit 653516.9094446583 1543.13/1531.54 c cleaning 516 clauses out of 1188 for limit 1100027.4685771507 1543.23/1531.60 c cleaning 506 clauses out of 1172 for limit 1838858.2220256987 1543.23/1531.67 c cleaning 498 clauses out of 1166 for limit 3048127.9568043393 1543.33/1531.74 c cleaning 584 clauses out of 1169 for limit 5018889.479891012 1543.33/1531.80 c cleaning 543 clauses out of 1086 for limit 8918313.134172035 1543.43/1531.86 c cleaning 504 clauses out of 1041 for limit 1.5312590771054788E7 1543.53/1531.92 c cleaning 438 clauses out of 1037 for limit 2.5349916683129903E7 1543.53/1531.98 c cleaning 497 clauses out of 1099 for limit 3.944695523616449E7 1543.63/1532.04 c cleaning 471 clauses out of 1103 for limit 6.488227450275414E7 1543.73/1532.10 c cleaning 566 clauses out of 1132 for limit 1.0425839588942748E8 1543.73/1532.16 c cleaning 451 clauses out of 1066 for limit 1.825812381226107E8 1543.83/1532.22 c cleaning 557 clauses out of 1115 for limit 2.878686506579554E8 1543.83/1532.28 c cleaning 529 clauses out of 1058 for limit 5.003103171788219E8 1543.93/1532.34 c cleaning 433 clauses out of 1030 for limit 8.483563220100394E8 1544.03/1532.41 c cleaning 547 clauses out of 1095 for limit 1.3133735614279544E9 1544.03/1532.47 c cleaning 441 clauses out of 1048 for limit 2.2630648182530065E9 1544.13/1532.53 c cleaning 471 clauses out of 1108 for limit 3.533531068129096E9 1544.13/1532.59 c cleaning 568 clauses out of 1136 for limit 5.677952021078204E9 1544.23/1532.65 c cleaning 453 clauses out of 1068 for limit 9.959893259279106E9 1544.33/1532.71 c cleaning 557 clauses out of 1115 for limit 1.573283385660053E10 1544.33/1532.77 c cleaning 502 clauses out of 1059 for limit 2.7344895149529343E10 1544.43/1532.83 c cleaning 442 clauses out of 1056 for limit 4.517827863814026E10 1800.04/1787.11 c starts : 24 1800.04/1787.11 c conflicts : 2712601 1800.04/1787.11 c decisions : 2970887 1800.04/1787.11 c propagations : 33181554 1800.04/1787.11 c inspects : 1896559963 1800.04/1787.11 c learnt literals : 7 1800.04/1787.11 c learnt binary clauses : 13 1800.04/1787.11 c learnt ternary clauses : 11 1800.04/1787.11 c learnt clauses : 2712594 1800.04/1787.11 c root simplifications : 0 1800.04/1787.11 c removed literals (reason simplification) : 0 1800.04/1787.11 c reason swapping (by a shorter reason) : 0 1800.04/1787.11 c Calls to reduceDB : 202 1800.04/1787.11 c speed (decisions/second) : 1663.312295262319 1800.04/1787.11 c non guided choices 264 1800.04/1787.11 s UNKNOWN 1800.04/1787.11 c Total wall clock time (ms): 1786.913
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-363453-1177027674 -o ROOT/results/node14/solver-363453-1177027674 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363453-1177027674/sat4jPseudoResolution.jar /tmp/evaluation/363453-1177027674/instance-363453-1177027674.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 22616 /proc/meminfo: memFree=1674240/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=152 CPUtime=0 /proc/22616/stat : 22616 (java) R 22614 22616 21704 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 150685218 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 1 0 0 /proc/22616/statm: 38 26 19 9 0 4 0 [startup+0.0929879 s] /proc/loadavg: 0.92 0.98 0.99 2/77 22616 /proc/meminfo: memFree=1674240/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1777844 CPUtime=0.08 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 3872 0 1 0 5 3 0 0 18 0 7 0 150685218 1820512256 3615 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 444461 3615 1096 9 0 442097 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1777844 [startup+0.102988 s] /proc/loadavg: 0.92 0.98 0.99 2/77 22616 /proc/meminfo: memFree=1674240/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1780108 CPUtime=0.09 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 3975 0 1 0 6 3 0 0 18 0 12 0 150685218 1822830592 3717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 445027 3717 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.303007 s] /proc/loadavg: 0.92 0.98 0.99 2/77 22616 /proc/meminfo: memFree=1674240/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1782264 CPUtime=0.34 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 5098 0 1 0 30 4 0 0 18 0 12 0 150685218 1825038336 4835 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 445566 4835 1267 9 0 443178 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 1782264 [startup+0.702049 s] /proc/loadavg: 0.92 0.98 0.99 2/77 22616 /proc/meminfo: memFree=1674240/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1784860 CPUtime=0.99 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 7942 0 1 0 95 4 0 0 18 0 12 0 150685218 1827696640 6766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 446215 6766 1308 9 0 443827 0 Current children cumulated CPU time (s) 0.99 Current children cumulated vsize (KiB) 1784860 [startup+1.50112 s] /proc/loadavg: 0.92 0.98 0.99 5/90 22629 /proc/meminfo: memFree=1645080/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1785648 CPUtime=2.29 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 10809 0 1 0 223 6 0 0 18 0 13 0 150685218 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 446412 9278 1320 9 0 444024 0 [pid=22616/tid=22618] ppid=22614 vsize=1785648 CPUtime=1.06 /proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 7541 0 1 0 102 4 0 0 20 0 13 0 150685220 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22619] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 150685221 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22620] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 150685221 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22621] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 150685224 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22622] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 150685224 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22623] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685224 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22624] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22625] ppid=22614 vsize=1785648 CPUtime=0.6 /proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1654 0 0 0 60 0 0 0 16 0 13 0 150685228 1828503552 9279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22626] ppid=22614 vsize=1785648 CPUtime=0.59 /proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 892 0 0 0 59 0 0 0 16 0 13 0 150685228 1828503552 9279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22627] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1828503552 9279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22628] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1828503552 9279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22629] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1828503552 9279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 1785648 [startup+3.10127 s] /proc/loadavg: 0.92 0.98 0.99 3/90 22629 /proc/meminfo: memFree=1637848/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1785648 CPUtime=4.01 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 13595 0 1 0 393 8 0 0 18 0 13 0 150685218 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 446412 12062 1322 9 0 444024 0 [pid=22616/tid=22618] ppid=22614 vsize=1785648 CPUtime=2.67 /proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 10317 0 1 0 260 7 0 0 17 0 13 0 150685220 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22619] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 150685221 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22620] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 150685221 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22621] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 150685224 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22622] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 150685224 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22623] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685224 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22624] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22625] ppid=22614 vsize=1785648 CPUtime=0.67 /proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1661 0 0 0 67 0 0 0 16 0 13 0 150685228 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22626] ppid=22614 vsize=1785648 CPUtime=0.65 /proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 895 0 0 0 65 0 0 0 16 0 13 0 150685228 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22627] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22628] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22629] ppid=22614 vsize=1785648 CPUtime=0 /proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 1785648 [startup+6.30257 s] /proc/loadavg: 0.93 0.98 0.99 2/90 22629 /proc/meminfo: memFree=1614936/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1785392 CPUtime=7.25 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 18892 0 1 0 714 11 0 0 18 0 13 0 150685218 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 446348 17293 1322 9 0 443960 0 [pid=22616/tid=22618] ppid=22614 vsize=1785392 CPUtime=5.86 /proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 15610 0 1 0 577 9 0 0 25 0 13 0 150685220 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109837151 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22619] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 150685221 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22620] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 150685221 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22621] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 150685224 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22622] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 150685224 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22623] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685224 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22624] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22625] ppid=22614 vsize=1785392 CPUtime=0.69 /proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1663 0 0 0 69 0 0 0 16 0 13 0 150685228 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22626] ppid=22614 vsize=1785392 CPUtime=0.67 /proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 897 0 0 0 67 0 0 0 16 0 13 0 150685228 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22627] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22628] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22629] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.25 Current children cumulated vsize (KiB) 1785392 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/90 22629 /proc/meminfo: memFree=1581920/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1785392 CPUtime=13.68 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 26370 0 1 0 1353 15 0 0 18 0 13 0 150685218 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 446348 24771 1322 9 0 443960 0 [pid=22616/tid=22618] ppid=22614 vsize=1785392 CPUtime=12.27 /proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 23087 0 1 0 1214 13 0 0 25 0 13 0 150685220 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761229 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22619] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 150685221 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22620] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 150685221 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22621] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 150685224 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22622] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 150685224 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22623] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685224 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22624] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22625] ppid=22614 vsize=1785392 CPUtime=0.69 /proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1663 0 0 0 69 0 0 0 16 0 13 0 150685228 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22626] ppid=22614 vsize=1785392 CPUtime=0.68 /proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 898 0 0 0 68 0 0 0 17 0 13 0 150685228 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22627] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22628] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22629] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 13.68 Current children cumulated vsize (KiB) 1785392 [startup+25.5024 s] /proc/loadavg: 0.95 0.98 0.99 2/90 22629 /proc/meminfo: memFree=1527328/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1785392 CPUtime=26.47 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 39749 0 1 0 2627 20 0 0 18 0 13 0 150685218 1828241408 38150 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 446348 38150 1322 9 0 443960 0 [pid=22616/tid=22618] ppid=22614 vsize=1785392 CPUtime=25.07 /proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 36466 0 1 0 2488 19 0 0 25 0 13 0 150685220 1828241408 38150 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109336840 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22619] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 150685221 1828241408 38150 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22620] ppid=22614 vsize=1785392 CPUtime=0 /proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 150685221 1828241408 38150 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=22616/tid=22621] ppid=22614 vsize=1787960 CPUtime=4.7 /proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 14223 0 2 0 451 19 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22622] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22623] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22624] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22625] ppid=22614 vsize=1787960 CPUtime=0.76 /proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1668 0 0 0 76 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22626] ppid=22614 vsize=1787960 CPUtime=0.81 /proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 914 0 0 0 81 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22627] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22628] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22629] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1614.59 Current children cumulated vsize (KiB) 1787960 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 22629 /proc/meminfo: memFree=787360/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1787960 CPUtime=1674.76 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 637251 0 3 0 167144 332 0 0 18 0 13 0 150685218 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 446990 221970 1335 9 0 444602 0 [pid=22616/tid=22618] ppid=22614 vsize=1787960 CPUtime=1644.71 /proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 37806 0 1 0 164439 32 0 0 25 0 13 0 150685220 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109813433 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22619] ppid=22614 vsize=1787960 CPUtime=11.86 /proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 292736 0 0 0 1043 143 0 0 16 0 13 0 150685221 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22620] ppid=22614 vsize=1787960 CPUtime=11.85 /proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 289183 0 0 0 1051 134 0 0 16 0 13 0 150685221 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22621] ppid=22614 vsize=1787960 CPUtime=4.7 /proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 14223 0 2 0 451 19 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22622] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22623] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22624] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22625] ppid=22614 vsize=1787960 CPUtime=0.76 /proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1668 0 0 0 76 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22626] ppid=22614 vsize=1787960 CPUtime=0.81 /proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 914 0 0 0 81 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22627] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22628] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22629] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1674.76 Current children cumulated vsize (KiB) 1787960 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 22629 /proc/meminfo: memFree=787424/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1787960 CPUtime=1735.08 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 637253 0 3 0 173176 332 0 0 18 0 13 0 150685218 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 446990 221970 1335 9 0 444602 0 [pid=22616/tid=22618] ppid=22614 vsize=1787960 CPUtime=1704.34 /proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 37808 0 1 0 170402 32 0 0 25 0 13 0 150685220 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109760901 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22619] ppid=22614 vsize=1787960 CPUtime=12.2 /proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 292736 0 0 0 1077 143 0 0 16 0 13 0 150685221 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22620] ppid=22614 vsize=1787960 CPUtime=12.19 /proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 289183 0 0 0 1085 134 0 0 16 0 13 0 150685221 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22621] ppid=22614 vsize=1787960 CPUtime=4.7 /proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 14223 0 2 0 451 19 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22622] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22623] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22624] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22625] ppid=22614 vsize=1787960 CPUtime=0.76 /proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1668 0 0 0 76 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22626] ppid=22614 vsize=1787960 CPUtime=0.81 /proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 914 0 0 0 81 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22627] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22628] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22629] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.08 Current children cumulated vsize (KiB) 1787960 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 22629 /proc/meminfo: memFree=787360/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1787960 CPUtime=1795.23 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 637255 0 3 0 179190 333 0 0 18 0 13 0 150685218 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 446990 221971 1335 9 0 444602 0 [pid=22616/tid=22618] ppid=22614 vsize=1787960 CPUtime=1764.15 /proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 37810 0 1 0 176383 32 0 0 25 0 13 0 150685220 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109730279 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22619] ppid=22614 vsize=1787960 CPUtime=12.37 /proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 292736 0 0 0 1094 143 0 0 17 0 13 0 150685221 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22620] ppid=22614 vsize=1787960 CPUtime=12.36 /proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 289183 0 0 0 1102 134 0 0 16 0 13 0 150685221 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22621] ppid=22614 vsize=1787960 CPUtime=4.7 /proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 14223 0 2 0 451 19 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22622] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22623] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22624] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22625] ppid=22614 vsize=1787960 CPUtime=0.76 /proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1668 0 0 0 76 0 0 0 16 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22626] ppid=22614 vsize=1787960 CPUtime=0.81 /proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 914 0 0 0 81 0 0 0 16 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22627] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22628] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22629] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.23 Current children cumulated vsize (KiB) 1787960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/90 22629 /proc/meminfo: memFree=787360/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=1787960 CPUtime=1800.04 /proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 637255 0 3 0 179671 333 0 0 18 0 13 0 150685218 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/22616/statm: 446990 221971 1335 9 0 444602 0 [pid=22616/tid=22618] ppid=22614 vsize=1787960 CPUtime=1768.95 /proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 37810 0 1 0 176863 32 0 0 25 0 13 0 150685220 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761229 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22619] ppid=22614 vsize=1787960 CPUtime=12.37 /proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 292736 0 0 0 1094 143 0 0 17 0 13 0 150685221 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22620] ppid=22614 vsize=1787960 CPUtime=12.36 /proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 289183 0 0 0 1102 134 0 0 16 0 13 0 150685221 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22621] ppid=22614 vsize=1787960 CPUtime=4.7 /proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 14223 0 2 0 451 19 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22622] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22623] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22624] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22625] ppid=22614 vsize=1787960 CPUtime=0.76 /proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1668 0 0 0 76 0 0 0 16 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22626] ppid=22614 vsize=1787960 CPUtime=0.81 /proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 914 0 0 0 81 0 0 0 16 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22627] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=22616/tid=22628] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=22616/tid=22629] ppid=22614 vsize=1787960 CPUtime=0 /proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1787960 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.21 s] /proc/loadavg: 1.00 1.00 1.00 2/90 22629 /proc/meminfo: memFree=787360/2055920 swapFree=4148744/4192956 [pid=22616] ppid=22614 vsize=0 CPUtime=1800.14 /proc/22616/stat : 22616 (java) Z 22614 22616 21704 0 -1 1036 637275 0 3 0 179677 337 0 0 15 0 2 0 150685218 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/22616/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.3 CPU time (s): 1800.24 CPU user time (s): 1796.77 CPU system time (s): 3.46647 CPU usage (%): 100.724 Max. virtual memory (cumulated for all children) (KiB): 1791964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.77 system time used= 3.46647 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 637275 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37375 involuntary context switches= 61218 runsolver used 1.78573 second user time and 4.76628 second system time The end
Begin job on node14 on Fri Apr 20 00:07:55 UTC 2007 IDJOB= 363453 IDBENCH= 1851 IDSOLVER= 159 FILE ID= node14/363453-1177027674 PBS_JOBID= 4630606 Free space on /tmp= 66204 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363453-1177027674/sat4jPseudoResolution.jar /tmp/evaluation/363453-1177027674/instance-363453-1177027674.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-363453-1177027674 -o ROOT/results/node14/solver-363453-1177027674 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363453-1177027674/sat4jPseudoResolution.jar /tmp/evaluation/363453-1177027674/instance-363453-1177027674.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c RANDOM SEED= 937430052 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1674840 kB Buffers: 47880 kB Cached: 266308 kB SwapCached: 11464 kB Active: 60648 kB Inactive: 279612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1674840 kB SwapTotal: 4192956 kB SwapFree: 4148744 kB Dirty: 3720 kB Writeback: 0 kB Mapped: 32688 kB Slab: 26416 kB Committed_AS: 6932460 kB PageTables: 1792 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= 66204 MiB End job on node14 on Fri Apr 20 00:37:44 UTC 2007