Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 42 | 1800.47 | 1795.62 |
| Name | /OPT-SMALLINT-LIN/heinz/ normalized-iis-pima-cov.opb |
| MD5SUM | 19a2dfea334d8fb7f32d77f6785ba1fe |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 33 |
| Best CPU time to get the best result obtained on this benchmark | 848.205 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 736 |
| Total number of constraints | 7201 |
| Number of constraints which are clauses | 7201 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 736 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 736 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 736 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.00/0.06 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.00/0.06 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.05/0.07 c no version file found!!! 0.05/0.07 c sun.arch.data.model 64 0.05/0.07 c java.version 1.6.0_24 0.05/0.07 c os.name Linux 0.05/0.07 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.07 c os.arch amd64 0.05/0.07 c Free memory 1599470296 0.05/0.07 c Max memory 1607860224 0.05/0.07 c Total memory 1607860224 0.05/0.07 c Number of processors 8 0.05/0.09 --- Begin Solver configuration --- 0.05/0.09 c Stops conflict analysis at the first Unique Implication Point 0.05/0.09 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22 0.05/0.09 c Learn all clauses as in MiniSAT 0.05/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.09 c VSIDS like heuristics from MiniSAT using a heap 0.05/0.09 c No reason simplification 0.05/0.09 c --- End Solver configuration --- 0.05/0.09 c solving HOME/instance-3741444-1338743501.opb 0.05/0.09 c reading problem ... 0.72/0.42 c ... done. Wall clock time 0.332s. 0.72/0.42 c CPU time (experimental) 0.4s. 0.72/0.42 c #vars 736 0.72/0.42 c #constraints 7201 0.72/0.44 c SATISFIABLE 0.72/0.44 c OPTIMIZING... 0.72/0.44 c Got one! Elapsed wall clock time (in seconds):0.356 0.72/0.44 o 44 0.72/0.48 c Got one! Elapsed wall clock time (in seconds):0.389 0.72/0.48 o 43 0.93/0.50 c Got one! Elapsed wall clock time (in seconds):0.415 0.93/0.50 o 42 1201.71/1198.02 c cleaning 2333524 clauses out of 4667068 for limit 16.86366680272846 1422.29/1418.67 c cleaning 1167017 clauses out of 2334045 for limit 55.66437218978795 1445.00/1441.37 c cleaning 583755 clauses out of 1167528 for limit 183.51650194096965 1467.89/1464.27 c cleaning 292117 clauses out of 584272 for limit 604.1554926977232 1472.39/1468.78 c cleaning 146325 clauses out of 292657 for limit 1993.1032466618776 1474.59/1470.93 c cleaning 73412 clauses out of 146832 for limit 6551.245669138561 1475.09/1471.49 c cleaning 36948 clauses out of 73918 for limit 21418.1154774337 1475.29/1471.60 c cleaning 18725 clauses out of 37473 for limit 69883.14195482177 1475.29/1471.69 c cleaning 9615 clauses out of 19248 for limit 224368.12713345396 1475.40/1471.75 c cleaning 5052 clauses out of 10130 for limit 700954.2593787608 1475.40/1471.78 c cleaning 2777 clauses out of 5580 for limit 2102760.624928001 1475.50/1471.82 c cleaning 1639 clauses out of 3303 for limit 5858296.498991242 1475.50/1471.85 c cleaning 1067 clauses out of 2163 for limit 1.473821127144931E7 1475.50/1471.88 c cleaning 797 clauses out of 1595 for limit 3.292774464215533E7 1475.59/1471.91 c cleaning 650 clauses out of 1300 for limit 6.675814042741076E7 1475.59/1471.95 c cleaning 574 clauses out of 1148 for limit 1.2442067652578057E8 1475.59/1471.98 c cleaning 529 clauses out of 1077 for limit 2.193704699099371E8 1475.69/1472.01 c cleaning 522 clauses out of 1045 for limit 3.717319844025413E8 1475.69/1472.04 c cleaning 501 clauses out of 1023 for limit 6.262193366776568E8 1475.69/1472.07 c cleaning 500 clauses out of 1022 for limit 1.0337299490142523E9 1475.79/1472.10 c cleaning 503 clauses out of 1024 for limit 1.7048373383075566E9 1475.79/1472.13 c cleaning 510 clauses out of 1020 for limit 2.819707818755047E9 1475.79/1472.17 c cleaning 504 clauses out of 1009 for limit 4.69606921517663E9 1475.89/1472.20 c cleaning 493 clauses out of 1005 for limit 7.775270031849693E9 1475.89/1472.23 c cleaning 493 clauses out of 1013 for limit 1.2733931109523655E10 1475.89/1472.26 c cleaning 497 clauses out of 1019 for limit 2.0855429230596207E10 1475.89/1472.29 c cleaning 499 clauses out of 1022 for limit 3.429243371201884E10 1475.99/1472.33 c cleaning 512 clauses out of 1025 for limit 5.650023429747736E10 1475.99/1472.36 c cleaning 506 clauses out of 1013 for limit 9.428021317198904E10 1475.99/1472.39 c cleaning 501 clauses out of 1005 for limit 1.5640506132452435E11 1476.09/1472.42 c cleaning 490 clauses out of 1004 for limit 2.5818977486753317E11 1476.09/1472.45 c cleaning 496 clauses out of 1015 for limit 4.215966081172453E11 1476.09/1472.48 c cleaning 509 clauses out of 1019 for limit 6.925399853533766E11 1476.19/1472.51 c cleaning 493 clauses out of 1009 for limit 1.152256711534487E12 1476.19/1472.54 c cleaning 498 clauses out of 1016 for limit 1.8871333588943347E12 1476.19/1472.57 c cleaning 510 clauses out of 1020 for limit 3.1061400866222817E12 1476.29/1472.60 c cleaning 504 clauses out of 1009 for limit 5.173106497698496E12 1476.29/1472.64 c cleaning 492 clauses out of 1005 for limit 8.565099465129849E12 1476.29/1472.67 c cleaning 495 clauses out of 1012 for limit 1.4013265010748902E13 1476.39/1472.70 c cleaning 500 clauses out of 1017 for limit 2.2996131413711324E13 1476.39/1472.73 c cleaning 508 clauses out of 1017 for limit 3.792369706863209E13 1476.39/1472.77 c cleaning 494 clauses out of 1009 for limit 6.3037117001319875E13 1476.39/1472.80 c cleaning 508 clauses out of 1016 for limit 1.0334374595050344E14 1476.50/1472.83 c cleaning 504 clauses out of 1009 for limit 1.71781796410677E14 1476.50/1472.86 c cleaning 501 clauses out of 1003 for limit 2.844161391610323E14 1476.50/1472.89 c cleaning 493 clauses out of 1002 for limit 4.695083660408042E14 1476.60/1472.92 c cleaning 495 clauses out of 1009 for limit 7.689104752402354E14 1476.60/1472.95 c cleaning 499 clauses out of 1014 for limit 1.2617835925091722E15 1476.60/1472.98 c cleaning 498 clauses out of 1016 for limit 2.0788326137464438E15 1476.69/1473.01 c cleaning 509 clauses out of 1018 for limit 3.421537770747185E15 1476.69/1473.05 c cleaning 495 clauses out of 1009 for limit 5.692903698969054E15 1476.69/1473.08 c cleaning 497 clauses out of 1013 for limit 9.341936984851484E15 1476.79/1473.11 c cleaning 508 clauses out of 1016 for limit 1.5360613365926208E16 1476.79/1473.14 c cleaning 504 clauses out of 1009 for limit 2.553297960800124E16 1476.79/1473.18 c cleaning 498 clauses out of 1006 for limit 4.227514274366459E-4 1476.89/1473.21 c cleaning 489 clauses out of 1006 for limit 6.957800083738124E-4 1476.89/1473.24 c cleaning 491 clauses out of 1017 for limit 0.001135023519640344 1476.89/1473.27 c cleaning 504 clauses out of 1028 for limit 0.0018554856920027219 1476.99/1473.30 c cleaning 500 clauses out of 1023 for limit 0.003071824967333989 1476.99/1473.33 c cleaning 502 clauses out of 1024 for limit 0.005065969162242259 1476.99/1473.36 c cleaning 495 clauses out of 1020 for limit 0.008370457393698686 1476.99/1473.39 c cleaning 502 clauses out of 1025 for limit 0.013736667416980423 1477.09/1473.42 c cleaning 500 clauses out of 1023 for limit 0.022697890796498546 1477.09/1473.45 c cleaning 501 clauses out of 1024 for limit 0.03743273658030075 1477.09/1473.49 c cleaning 498 clauses out of 1022 for limit 0.06179054334751775 1477.21/1473.52 c cleaning 498 clauses out of 1024 for limit 0.10170184703009887 1477.21/1473.55 c cleaning 497 clauses out of 1026 for limit 0.16739301170632906 1477.21/1473.58 c cleaning 496 clauses out of 1030 for limit 0.2752566741046417 1477.31/1473.61 c cleaning 504 clauses out of 1033 for limit 0.45216416070649645 1477.31/1473.64 c cleaning 503 clauses out of 1031 for limit 0.7486222026005476 1477.31/1473.67 c cleaning 497 clauses out of 1027 for limit 1.238147257917322 1477.41/1473.71 c cleaning 505 clauses out of 1029 for limit 2.035863912790739 1477.41/1473.74 c cleaning 497 clauses out of 1025 for limit 3.3738879285179864 1477.41/1473.77 c cleaning 500 clauses out of 1028 for limit 5.547755212449139 1477.51/1473.80 c cleaning 505 clauses out of 1028 for limit 9.148990510743069 1477.51/1473.83 c cleaning 499 clauses out of 1022 for limit 15.161311518033472 1477.51/1473.86 c cleaning 502 clauses out of 1024 for limit 24.97917606847458 1477.51/1473.89 c cleaning 498 clauses out of 1021 for limit 41.27372811364612 1477.61/1473.92 c cleaning 504 clauses out of 1023 for limit 67.93282799836295 1477.61/1473.95 c cleaning 499 clauses out of 1019 for limit 112.470086996498 1477.61/1473.98 c cleaning 503 clauses out of 1021 for limit 185.30019304865039 1477.71/1474.02 c cleaning 501 clauses out of 1018 for limit 306.48535197247736 1477.71/1474.05 c cleaning 503 clauses out of 1019 for limit 505.9507306553268 1477.71/1474.08 c cleaning 500 clauses out of 1015 for limit 836.8309698671984 1477.81/1474.12 c cleaning 497 clauses out of 1013 for limit 1380.0067312506217 1477.81/1474.15 c cleaning 502 clauses out of 1016 for limit 2269.0957855410365 1477.81/1474.18 c cleaning 498 clauses out of 1014 for limit 3749.4232590074243 1477.91/1474.22 c cleaning 493 clauses out of 1016 for limit 6171.128691510501 1477.91/1474.25 c cleaning 504 clauses out of 1025 for limit 10107.863218051303 1477.91/1474.28 c cleaning 500 clauses out of 1019 for limit 16733.851134775046 1478.01/1474.32 c cleaning 496 clauses out of 1019 for limit 27596.359135798415 1478.01/1474.36 c cleaning 505 clauses out of 1024 for limit 45333.20396726286 1478.01/1474.39 c cleaning 504 clauses out of 1018 for limit 75125.94849610372 1478.11/1474.42 c cleaning 500 clauses out of 1014 for limit 124381.46799405721 1478.11/1474.46 c cleaning 501 clauses out of 1015 for limit 205124.7145665658 1478.11/1474.49 c cleaning 499 clauses out of 1017 for limit 338627.7160252322 1478.21/1474.53 c cleaning 497 clauses out of 1014 for limit 557857.5809179136 1478.21/1474.56 c cleaning 502 clauses out of 1018 for limit 917284.204344472 1478.21/1474.59 c cleaning 492 clauses out of 1015 for limit 1515678.2760756179 1478.31/1474.62 c cleaning 496 clauses out of 1023 for limit 2480009.3691855245 1478.31/1474.66 c cleaning 514 clauses out of 1028 for limit 4074048.9181334567 1478.31/1474.69 c cleaning 507 clauses out of 1014 for limit 6811414.131781091 1478.41/1474.72 c cleaning 503 clauses out of 1006 for limit 1.131093835731358E7 1478.41/1474.75 c cleaning 498 clauses out of 1003 for limit 1.8709042875853486E7 1478.41/1474.78 c cleaning 494 clauses out of 1005 for limit 3.0792314126288917E7 1478.51/1474.82 c cleaning 498 clauses out of 1012 for limit 5.047987566906651E7 1478.51/1474.85 c cleaning 506 clauses out of 1013 for limit 8.308272243537144E7 1478.51/1474.88 c cleaning 494 clauses out of 1007 for limit 1.3783089643935922E8 1478.61/1474.91 c cleaning 496 clauses out of 1013 for limit 2.2595527939225963E8 1478.61/1474.95 c cleaning 497 clauses out of 1018 for limit 3.711714462591116E8 1478.61/1474.98 c cleaning 497 clauses out of 1020 for limit 6.103002397868702E8 1478.71/1475.01 c cleaning 511 clauses out of 1023 for limit 1.0035152245476323E9 1478.71/1475.05 c cleaning 497 clauses out of 1012 for limit 1.6729192319825153E9 1478.71/1475.08 c cleaning 508 clauses out of 1016 for limit 2.750756685841486E9 1478.81/1475.11 c cleaning 503 clauses out of 1007 for limit 4.572332342815473E9 1478.81/1475.15 c cleaning 488 clauses out of 1004 for limit 7.562918747951272E9 1478.81/1475.18 c cleaning 499 clauses out of 1016 for limit 1.2324954550786425E10 1478.91/1475.21 c cleaning 500 clauses out of 1018 for limit 2.0305872511886192E10 1478.91/1475.25 c cleaning 499 clauses out of 1018 for limit 3.348710024312542E10 1478.91/1475.28 c cleaning 509 clauses out of 1019 for limit 5.517051312197034E10 1479.01/1475.31 c cleaning 504 clauses out of 1009 for limit 9.179339152692284E10 1479.01/1475.35 c cleaning 491 clauses out of 1006 for limit 1.519829956903933E11 1479.01/1475.38 c cleaning 492 clauses out of 1014 for limit 2.4841419076153107E11 1479.11/1475.42 c cleaning 511 clauses out of 1023 for limit 4.0647058405537354E11 1479.11/1475.45 c cleaning 495 clauses out of 1012 for limit 6.776105042232206E11 1479.11/1475.48 c cleaning 508 clauses out of 1016 for limit 1.1119578100467053E12 1479.21/1475.51 c cleaning 499 clauses out of 1008 for limit 1.8483208916296184E12 1479.21/1475.55 c cleaning 504 clauses out of 1009 for limit 3.045107474287747E12 1479.21/1475.58 c cleaning 503 clauses out of 1006 for limit 5.041806914887972E12 1479.31/1475.61 c cleaning 492 clauses out of 1003 for limit 8.339483318059296E12 1479.31/1475.65 c cleaning 506 clauses out of 1012 for limit 1.364425927753972E13 1479.31/1475.68 c cleaning 497 clauses out of 1005 for limit 2.2635275749057E13 1479.41/1475.71 c cleaning 504 clauses out of 1008 for limit 3.721750078593846E13 1479.41/1475.74 c cleaning 491 clauses out of 1003 for limit 6.162092035367914E13 1479.41/1475.77 c cleaning 497 clauses out of 1013 for limit 1.0071868965307566E14 1479.51/1475.81 c cleaning 499 clauses out of 1017 for limit 1.656109155901497E14 1479.51/1475.84 c cleaning 498 clauses out of 1016 for limit 2.7283687502491522E14 1479.51/1475.87 c cleaning 498 clauses out of 1018 for limit 4.4906052896100994E14 1479.61/1475.90 c cleaning 510 clauses out of 1021 for limit 7.391240235892009E14 1479.61/1475.94 c cleaning 496 clauses out of 1012 for limit 1.2309855264329895E15 1479.61/1475.97 c cleaning 507 clauses out of 1014 for limit 2.0220056631996242E15 1479.71/1476.00 c cleaning 503 clauses out of 1007 for limit 3.357737485026916E15 1479.71/1476.04 c cleaning 496 clauses out of 1006 for limit 5.553965011260352E15 1479.71/1476.07 c cleaning 499 clauses out of 1010 for limit 9.122957116349582E15 1479.71/1476.10 c cleaning 504 clauses out of 1009 for limit 1.502978279680723E16 1479.81/1476.13 c cleaning 503 clauses out of 1006 for limit 2.4884922280758376E16 1479.81/1476.17 c cleaning 501 clauses out of 1002 for limit 4.1161190104142256E16 1479.81/1476.20 c cleaning 490 clauses out of 1001 for limit 6.794812142365926E-4 1479.91/1476.24 c cleaning 493 clauses out of 1012 for limit 0.0011094849563678033 1479.91/1476.27 c cleaning 501 clauses out of 1018 for limit 0.0018170861898952533 1480.01/1476.30 c cleaning 501 clauses out of 1018 for limit 0.0029996178304091967 1480.01/1476.34 c cleaning 501 clauses out of 1016 for limit 0.004951552313570915 1480.01/1476.37 c cleaning 497 clauses out of 1016 for limit 0.008173946118014034 1480.11/1476.40 c cleaning 499 clauses out of 1018 for limit 0.013439994027756905 1480.11/1476.43 c cleaning 499 clauses out of 1020 for limit 0.022143031647531126 1480.11/1476.46 c cleaning 499 clauses out of 1020 for limit 0.036480304607127464 1480.21/1476.50 c cleaning 500 clauses out of 1022 for limit 0.060103274111579494 1480.21/1476.53 c cleaning 503 clauses out of 1021 for limit 0.09911620372949255 1480.21/1476.56 c cleaning 500 clauses out of 1019 for limit 0.16394063636501383 1480.21/1476.59 c cleaning 494 clauses out of 1019 for limit 0.270360040951869 1480.31/1476.63 c cleaning 501 clauses out of 1024 for limit 0.4432391426492954 1480.31/1476.66 c cleaning 500 clauses out of 1025 for limit 0.7317101980528942 1480.31/1476.69 c cleaning 497 clauses out of 1023 for limit 1.2066302341671151 1480.41/1476.73 c cleaning 498 clauses out of 1027 for limit 1.9841284846677683 1480.41/1476.76 c cleaning 499 clauses out of 1029 for limit 3.265733549429391 1480.41/1476.79 c cleaning 494 clauses out of 1029 for limit 5.380245873522147 1480.51/1476.83 c cleaning 508 clauses out of 1036 for limit 8.821615836597013 1480.51/1476.86 c cleaning 498 clauses out of 1027 for limit 14.660839126617665 1480.51/1476.89 c cleaning 503 clauses out of 1029 for limit 24.13069242670512 1480.61/1476.93 c cleaning 505 clauses out of 1026 for limit 39.911098846681625 1480.61/1476.96 c cleaning 498 clauses out of 1021 for limit 66.14106609295335 1480.61/1476.99 c cleaning 502 clauses out of 1023 for limit 108.8622199126082 1480.71/1477.03 c cleaning 498 clauses out of 1022 for limit 179.88391163597456 1480.71/1477.06 c cleaning 502 clauses out of 1023 for limit 296.06628905004067 1480.71/1477.09 c cleaning 500 clauses out of 1021 for limit 489.2093386775506 1480.81/1477.13 c cleaning 496 clauses out of 1021 for limit 806.7716447337467 1480.81/1477.16 c cleaning 504 clauses out of 1026 for limit 1325.3158928116547 1480.81/1477.19 c cleaning 497 clauses out of 1021 for limit 2194.1302240471305 1480.91/1477.23 c cleaning 501 clauses out of 1024 for limit 3607.813441901888 1480.91/1477.26 c cleaning 499 clauses out of 1024 for limit 5955.722733076686 1480.91/1477.29 c cleaning 500 clauses out of 1024 for limit 9811.961745647237 1481.01/1477.33 c cleaning 500 clauses out of 1026 for limit 16182.043070056936 1481.01/1477.36 c cleaning 501 clauses out of 1025 for limit 26685.676895370445 1481.01/1477.39 c cleaning 496 clauses out of 1023 for limit 44050.19449431893 1481.11/1477.42 c cleaning 498 clauses out of 1027 for limit 72361.72435704888 1481.11/1477.46 c cleaning 501 clauses out of 1029 for limit 119102.22183365622 1481.11/1477.49 c cleaning 499 clauses out of 1028 for limit 196606.56267245326 1481.21/1477.52 c cleaning 506 clauses out of 1029 for limit 323915.4305709814 1481.21/1477.55 c cleaning 501 clauses out of 1027 for limit 537366.3935679093 1481.21/1477.59 c cleaning 502 clauses out of 1023 for limit 886987.836169295 1481.31/1477.62 c cleaning 497 clauses out of 1020 for limit 1465596.777114838 1481.31/1477.66 c cleaning 504 clauses out of 1024 for limit 2409933.8131894683 1481.31/1477.69 c cleaning 510 clauses out of 1020 for limit 3989888.7560805194 1481.41/1477.73 c cleaning 497 clauses out of 1010 for limit 6645007.44839224 1481.41/1477.76 c cleaning 499 clauses out of 1012 for limit 1.0925912259534776E7 1481.51/1477.80 c cleaning 494 clauses out of 1014 for limit 1.8000752675619897E7 1481.51/1477.83 c cleaning 502 clauses out of 1019 for limit 2.9510448578011874E7 1481.51/1477.87 c cleaning 508 clauses out of 1017 for limit 4.8762383889505185E7 1481.61/1477.90 c cleaning 491 clauses out of 1010 for limit 8.10540849292201E7 1481.61/1477.93 c cleaning 508 clauses out of 1018 for limit 1.3248596644686417E8 1481.61/1477.96 c cleaning 497 clauses out of 1013 for limit 2.202255144169002E8 1481.71/1478.00 c cleaning 501 clauses out of 1014 for limit 3.6209788400726944E8 1481.71/1478.03 c cleaning 497 clauses out of 1012 for limit 5.977296574243739E8 1481.71/1478.06 c cleaning 507 clauses out of 1015 for limit 9.828226620206878E8 1481.81/1478.10 c cleaning 493 clauses out of 1009 for limit 1.6320762190095034E9 1481.81/1478.13 c cleaning 496 clauses out of 1015 for limit 2.672926002908446E9 1481.81/1478.16 c cleaning 494 clauses out of 1019 for limit 4.390709268681028E9 1481.91/1478.20 c cleaning 513 clauses out of 1027 for limit 7.198853443693505E9 1481.91/1478.23 c cleaning 506 clauses out of 1013 for limit 1.2023909689245338E10 1481.91/1478.26 c cleaning 502 clauses out of 1006 for limit 1.9947043993292492E10 1481.91/1478.29 c cleaning 488 clauses out of 1004 for limit 3.2960872586474533E10 1482.01/1478.33 c cleaning 494 clauses out of 1016 for limit 5.371487782975417E10 1482.01/1478.36 c cleaning 500 clauses out of 1023 for limit 8.806494441585852E10 1482.01/1478.39 c cleaning 511 clauses out of 1022 for limit 1.452276060540436E11 1482.11/1478.43 c cleaning 505 clauses out of 1011 for limit 2.4210558367708643E11 1482.11/1478.46 c cleaning 490 clauses out of 1006 for limit 4.012489117720969E11 1482.11/1478.49 c cleaning 496 clauses out of 1016 for limit 6.552002090876497E11 1482.21/1478.53 c cleaning 501 clauses out of 1020 for limit 1.0762754908194004E12 1482.21/1478.56 c cleaning 510 clauses out of 1020 for limit 1.7766989648853086E12 1482.21/1478.59 c cleaning 504 clauses out of 1009 for limit 2.958994991657642E12 1482.31/1478.63 c cleaning 503 clauses out of 1006 for limit 4.899229841977207E12 1482.31/1478.66 c cleaning 490 clauses out of 1003 for limit 8.103651375037822E12 1482.31/1478.69 c cleaning 490 clauses out of 1012 for limit 1.3231910200510537E13 1482.41/1478.73 c cleaning 499 clauses out of 1023 for limit 2.160816176349034E13 1482.41/1478.76 c cleaning 493 clauses out of 1023 for limit 3.559911468672366E13 1482.51/1478.80 c cleaning 504 clauses out of 1031 for limit 5.831047307236588E13 1482.51/1478.83 c cleaning 513 clauses out of 1026 for limit 9.65337649502175E13 1482.51/1478.86 c cleaning 507 clauses out of 1014 for limit 1.6124232404285353E14 1482.51/1478.89 c cleaning 491 clauses out of 1009 for limit 2.6776311301225438E14 1482.61/1478.93 c cleaning 501 clauses out of 1015 for limit 4.376513013343618E14 1482.61/1478.96 c cleaning 507 clauses out of 1014 for limit 7.224573244592215E14 1482.61/1478.99 c cleaning 503 clauses out of 1007 for limit 1.1997108038908052E15 1482.71/1479.02 c cleaning 495 clauses out of 1005 for limit 1.9844052961681228E15 1482.71/1479.05 c cleaning 504 clauses out of 1009 for limit 3.256316787743112E15 1482.71/1479.09 c cleaning 502 clauses out of 1005 for limit 5.39147554557408E15 1482.81/1479.12 c cleaning 490 clauses out of 1003 for limit 8.908993774190469E15 1482.81/1479.15 c cleaning 495 clauses out of 1014 for limit 1.4547287845219112E16 1482.81/1479.18 c cleaning 503 clauses out of 1019 for limit 2.3872708234279433E-4 1482.91/1479.22 c cleaning 502 clauses out of 1016 for limit 3.948553741420055E-4 1482.91/1479.25 c cleaning 497 clauses out of 1013 for limit 6.524446753003266E-4 1482.91/1479.28 c cleaning 495 clauses out of 1016 for limit 0.0010727914795611228 1483.01/1479.31 c cleaning 498 clauses out of 1021 for limit 0.0017605127246985263 1483.01/1479.34 c cleaning 503 clauses out of 1024 for limit 0.002897712889853675 1483.01/1479.38 c cleaning 498 clauses out of 1020 for limit 0.0047926588117426895 1483.11/1479.41 c cleaning 499 clauses out of 1022 for limit 0.007888268338168948 1483.11/1479.44 c cleaning 501 clauses out of 1024 for limit 0.012996398330060378 1483.11/1479.47 c cleaning 506 clauses out of 1024 for limit 0.02145425372705994 1483.21/1479.51 c cleaning 499 clauses out of 1017 for limit 0.035588836622995244 1483.21/1479.54 c cleaning 493 clauses out of 1018 for limit 0.0586330995820994 1483.21/1479.58 c cleaning 496 clauses out of 1024 for limit 0.09603113236608908 1483.30/1479.61 c cleaning 500 clauses out of 1028 for limit 0.1577519654716065 1483.30/1479.65 c cleaning 498 clauses out of 1029 for limit 0.2601614339274799 1483.30/1479.68 c cleaning 496 clauses out of 1031 for limit 0.42820872702392987 1483.40/1479.71 c cleaning 505 clauses out of 1034 for limit 0.703420491771167 1483.40/1479.75 c cleaning 504 clauses out of 1029 for limit 1.1656712007746066 1483.40/1479.78 c cleaning 494 clauses out of 1025 for limit 1.9298495956617678 1483.50/1479.81 c cleaning 499 clauses out of 1031 for limit 3.1640588339029767 1483.50/1479.85 c cleaning 503 clauses out of 1033 for limit 5.213066835025802 1483.50/1479.88 c cleaning 499 clauses out of 1029 for limit 8.621833165570447 1483.60/1479.92 c cleaning 504 clauses out of 1030 for limit 14.204751874640772 1483.60/1479.95 c cleaning 499 clauses out of 1026 for limit 23.516863745185987 1483.60/1479.98 c cleaning 495 clauses out of 1027 for limit 38.74469148835768 1483.70/1480.02 c cleaning 509 clauses out of 1034 for limit 63.58973607698382 1483.70/1480.05 c cleaning 500 clauses out of 1023 for limit 105.7837091866477 1483.70/1480.08 c cleaning 500 clauses out of 1023 for limit 174.45148794021685 1483.80/1480.12 c cleaning 497 clauses out of 1023 for limit 287.693841315946 1483.80/1480.15 c cleaning 493 clauses out of 1026 for limit 473.0583633956808 1483.80/1480.19 c cleaning 500 clauses out of 1033 for limit 774.8500247118675 1483.90/1480.22 c cleaning 502 clauses out of 1036 for limit 1277.9611152448026 1483.90/1480.26 c cleaning 499 clauses out of 1031 for limit 2111.4027432519656 1483.90/1480.29 c cleaning 497 clauses out of 1033 for limit 3478.7228032204257 1484.00/1480.32 c cleaning 504 clauses out of 1035 for limit 5720.067727142136 1484.00/1480.35 c cleaning 497 clauses out of 1031 for limit 9469.754985929785 1484.00/1480.39 c cleaning 500 clauses out of 1035 for limit 15572.109781430856 1484.10/1480.42 c cleaning 496 clauses out of 1035 for limit 25680.492229156138 1484.10/1480.45 c cleaning 505 clauses out of 1038 for limit 42185.938510864886 1484.10/1480.49 c cleaning 505 clauses out of 1034 for limit 69909.29601899661 1484.21/1480.52 c cleaning 500 clauses out of 1028 for limit 115846.71631164236 1484.21/1480.55 c cleaning 502 clauses out of 1030 for limit 191057.69269214117 1484.21/1480.59 c cleaning 498 clauses out of 1027 for limit 315684.0829986146 1484.31/1480.62 c cleaning 506 clauses out of 1029 for limit 519593.41788394924 1484.31/1480.65 c cleaning 501 clauses out of 1022 for limit 861885.3425943193 1484.31/1480.69 c cleaning 496 clauses out of 1021 for limit 1422756.3604075136 1484.40/1480.72 c cleaning 497 clauses out of 1025 for limit 2337159.217803904 1484.40/1480.76 c cleaning 515 clauses out of 1031 for limit 3843376.425462092 1484.40/1480.79 c cleaning 493 clauses out of 1014 for limit 6431621.75703399 1484.50/1480.82 c cleaning 510 clauses out of 1021 for limit 1.0533885553276021E7 1484.50/1480.86 c cleaning 491 clauses out of 1010 for limit 1.7543423165684078E7 1484.50/1480.89 c cleaning 492 clauses out of 1019 for limit 2.867592368454355E7 1484.60/1480.93 c cleaning 513 clauses out of 1027 for limit 4.6922057064209685E7 1484.60/1480.96 c cleaning 489 clauses out of 1016 for limit 7.837520495625958E7 1484.60/1481.00 c cleaning 512 clauses out of 1025 for limit 1.2786020475178474E8 1484.70/1481.03 c cleaning 488 clauses out of 1013 for limit 2.1335641365208662E8 1484.70/1481.07 c cleaning 491 clauses out of 1025 for limit 3.4773401064601207E8 1484.80/1481.10 c cleaning 498 clauses out of 1037 for limit 5.685277936442224E8 1484.80/1481.13 c cleaning 518 clauses out of 1037 for limit 9.357041688092288E8 1484.80/1481.17 c cleaning 509 clauses out of 1018 for limit 1.5703299651309998E9 1484.90/1481.20 c cleaning 503 clauses out of 1009 for limit 2.6127834517939515E9 1484.90/1481.24 c cleaning 503 clauses out of 1007 for limit 4.321708907438077E9 1484.90/1481.27 c cleaning 495 clauses out of 1006 for limit 7.148450457427841E9 1485.00/1481.30 c cleaning 494 clauses out of 1008 for limit 1.1730099929845097E10 1485.00/1481.34 c cleaning 507 clauses out of 1014 for limit 1.923003948824525E10 1485.00/1481.37 c cleaning 503 clauses out of 1007 for limit 3.193335488786615E10 1485.10/1481.40 c cleaning 493 clauses out of 1004 for limit 5.281973186964618E10 1485.10/1481.44 c cleaning 495 clauses out of 1012 for limit 8.65047173321148E10 1485.10/1481.47 c cleaning 500 clauses out of 1016 for limit 1.4195410998475388E11 1485.20/1481.50 c cleaning 498 clauses out of 1016 for limit 2.3410131764594324E11 1485.20/1481.54 c cleaning 498 clauses out of 1018 for limit 3.853059141032774E11 1485.20/1481.57 c cleaning 497 clauses out of 1020 for limit 6.341750741344896E11 1485.31/1481.60 c cleaning 512 clauses out of 1025 for limit 1.0428224815404034E12 1485.31/1481.64 c cleaning 498 clauses out of 1012 for limit 1.7401036316125696E12 1485.31/1481.67 c cleaning 507 clauses out of 1014 for limit 2.8640035892834136E12 1485.31/1481.70 c cleaning 501 clauses out of 1006 for limit 4.755924016183524E12 1485.41/1481.73 c cleaning 491 clauses out of 1005 for limit 7.850959073086276E12 1485.41/1481.76 c cleaning 507 clauses out of 1015 for limit 1.2832554922413979E13 1485.50/1481.80 c cleaning 504 clauses out of 1008 for limit 2.1309562273986332E13 1485.50/1481.83 c cleaning 483 clauses out of 1003 for limit 3.528218746362465E13 1485.50/1481.87 c cleaning 497 clauses out of 1021 for limit 5.721647429544595E13 1485.60/1481.90 c cleaning 492 clauses out of 1024 for limit 9.408118205517656E13 1485.60/1481.94 c cleaning 505 clauses out of 1031 for limit 1.539449446888513E14 1485.60/1481.97 c cleaning 502 clauses out of 1026 for limit 2.5511301971899744E14 1485.70/1482.01 c cleaning 502 clauses out of 1024 for limit 4.2153720788270925E14 1485.70/1482.04 c cleaning 502 clauses out of 1026 for limit 6.965983550076606E14 1485.70/1482.08 c cleaning 490 clauses out of 1020 for limit 1.1509261917960648E15 1485.80/1482.11 c cleaning 515 clauses out of 1030 for limit 1.8796037704771945E15 1485.80/1482.14 c cleaning 507 clauses out of 1015 for limit 3.1455267077862385E15 1485.80/1482.18 c cleaning 498 clauses out of 1010 for limit 5.223516321311112E15 1485.90/1482.21 c cleaning 494 clauses out of 1010 for limit 8.597057263224136E15 1485.90/1482.24 c cleaning 498 clauses out of 1016 for limit 1.4093970960639074E16 1485.90/1482.28 c cleaning 509 clauses out of 1018 for limit 2.319717983197006E16 1486.00/1482.31 c cleaning 498 clauses out of 1009 for limit 3.859647904522006E-4 1486.00/1482.34 c cleaning 499 clauses out of 1013 for limit 6.352641092007895E-4 1486.00/1482.38 c cleaning 497 clauses out of 1014 for limit 0.0010466023290794844 1486.10/1482.41 c cleaning 498 clauses out of 1015 for limit 0.0017208399232965725 1486.10/1482.45 c cleaning 497 clauses out of 1017 for limit 0.0028323143284295035 1486.10/1482.48 c cleaning 497 clauses out of 1021 for limit 0.0046572232729155385 1486.20/1482.51 c cleaning 498 clauses out of 1023 for limit 0.007657703426526584 1486.20/1482.54 c cleaning 501 clauses out of 1026 for limit 0.012604255970697113 1486.20/1482.58 c cleaning 498 clauses out of 1024 for limit 0.02080587542064226 1486.30/1482.61 c cleaning 499 clauses out of 1026 for limit 0.03424478757811805 1486.30/1482.65 c cleaning 492 clauses out of 1027 for limit 0.05641924638314621 1486.30/1482.68 c cleaning 500 clauses out of 1035 for limit 0.0923237128602228 1486.41/1482.72 c cleaning 505 clauses out of 1036 for limit 0.1522594493326946 1486.41/1482.75 c cleaning 503 clauses out of 1030 for limit 0.25230633827281734 1486.41/1482.79 c cleaning 504 clauses out of 1027 for limit 0.41730234848339315 1486.51/1482.82 c cleaning 499 clauses out of 1025 for limit 0.690911334796516 1486.51/1482.85 c cleaning 499 clauses out of 1024 for limit 1.1382380246319357 1486.51/1482.89 c cleaning 495 clauses out of 1025 for limit 1.8752754496954191 1486.60/1482.92 c cleaning 504 clauses out of 1031 for limit 3.0776601903255267 1486.60/1482.96 c cleaning 498 clauses out of 1027 for limit 5.095241529223716 1486.60/1482.99 c cleaning 498 clauses out of 1028 for limit 8.38616648321776 1486.70/1483.03 c cleaning 505 clauses out of 1030 for limit 13.803056217132006 1486.70/1483.06 c cleaning 493 clauses out of 1025 for limit 22.874125686957807 1486.80/1483.10 c cleaning 508 clauses out of 1032 for limit 37.466623678460216 1486.80/1483.13 c cleaning 499 clauses out of 1024 for limit 62.27018928665787 1486.80/1483.17 c cleaning 500 clauses out of 1026 for limit 102.59428768959948 1486.90/1483.20 c cleaning 501 clauses out of 1025 for limit 169.18741352637522 1486.90/1483.23 c cleaning 500 clauses out of 1025 for limit 279.29197036260786 1486.90/1483.27 c cleaning 501 clauses out of 1025 for limit 460.58982213928476 1487.00/1483.30 c cleaning 504 clauses out of 1025 for limit 760.3345678796024 1487.00/1483.33 c cleaning 501 clauses out of 1020 for limit 1258.779914581242 1487.00/1483.37 c cleaning 497 clauses out of 1018 for limit 2077.894882925006 1487.10/1483.40 c cleaning 493 clauses out of 1021 for limit 3416.6579012997436 1487.10/1483.44 c cleaning 500 clauses out of 1028 for limit 5596.158556948169 1487.10/1483.48 c cleaning 504 clauses out of 1029 for limit 9229.074454373243 1487.20/1483.51 c cleaning 503 clauses out of 1026 for limit 15279.761040667554 1487.20/1483.54 c cleaning 498 clauses out of 1021 for limit 25271.152267688496 1487.20/1483.58 c cleaning 495 clauses out of 1023 for limit 41594.0337542158 1487.30/1483.61 c cleaning 503 clauses out of 1029 for limit 68262.42268433659 1487.30/1483.65 c cleaning 501 clauses out of 1025 for limit 112900.16646202671 1487.30/1483.68 c cleaning 501 clauses out of 1024 for limit 186369.30171893298 1487.40/1483.71 c cleaning 495 clauses out of 1023 for limit 307648.3484139003 1487.40/1483.75 c cleaning 500 clauses out of 1028 for limit 504885.61138435977 1487.40/1483.79 c cleaning 496 clauses out of 1028 for limit 832623.9155615174 1487.51/1483.82 c cleaning 498 clauses out of 1032 for limit 1367786.0982994763 1487.51/1483.86 c cleaning 499 clauses out of 1034 for limit 2251299.272160853 1487.51/1483.89 c cleaning 504 clauses out of 1036 for limit 3709235.546464616 1487.61/1483.92 c cleaning 515 clauses out of 1031 for limit 6140544.435362188 1487.61/1483.96 c cleaning 508 clauses out of 1017 for limit 1.0276257769794311E7 1487.61/1483.99 c cleaning 493 clauses out of 1008 for limit 1.7081137379548363E7 1487.70/1484.02 c cleaning 497 clauses out of 1015 for limit 2.7974811091086395E7 1487.70/1484.05 c cleaning 509 clauses out of 1019 for limit 4.599910900189898E7 1487.70/1484.09 c cleaning 503 clauses out of 1009 for limit 7.653389434979583E7 1487.80/1484.12 c cleaning 489 clauses out of 1008 for limit 1.2659290244289735E8 1487.80/1484.15 c cleaning 497 clauses out of 1017 for limit 2.065074860895404E8 1487.80/1484.19 c cleaning 510 clauses out of 1020 for limit 3.395568280781887E8 1487.90/1484.22 c cleaning 496 clauses out of 1011 for limit 5.655250970978099E8 1487.90/1484.25 c cleaning 506 clauses out of 1014 for limit 9.289374223011936E8 1487.90/1484.29 c cleaning 505 clauses out of 1010 for limit 1.5410898162906091E9 1488.00/1484.32 c cleaning 502 clauses out of 1004 for limit 2.5540946465847187E9 1488.00/1484.35 c cleaning 487 clauses out of 1002 for limit 4.220451025846966E9 1488.00/1484.38 c cleaning 490 clauses out of 1014 for limit 6.8708427136346445E9 1488.10/1484.42 c cleaning 500 clauses out of 1024 for limit 1.122028510046164E10 1488.10/1484.45 c cleaning 504 clauses out of 1025 for limit 1.8504202916314133E10 1488.10/1484.48 c cleaning 511 clauses out of 1023 for limit 3.0636808677912888E10 1488.20/1484.51 c cleaning 504 clauses out of 1009 for limit 5.107170345583697E10 1488.20/1484.54 c cleaning 494 clauses out of 1006 for limit 8.455979626760962E10 1488.20/1484.58 c cleaning 495 clauses out of 1012 for limit 1.3862363512842303E11 1488.30/1484.61 c cleaning 500 clauses out of 1016 for limit 2.2748117506651935E11 1488.30/1484.64 c cleaning 508 clauses out of 1016 for limit 3.751468895718424E11 1488.30/1484.67 c cleaning 504 clauses out of 1008 for limit 6.235774659439463E11 1488.40/1484.70 c cleaning 493 clauses out of 1008 for limit 1.0324864169205999E12 1488.40/1484.73 c cleaning 493 clauses out of 1011 for limit 1.6908752348334211E12 1488.40/1484.77 c cleaning 500 clauses out of 1019 for limit 2.7693569306113076E12 1488.50/1484.80 c cleaning 497 clauses out of 1020 for limit 4.567129695964584E12 1488.50/1484.83 c cleaning 500 clauses out of 1021 for limit 7.509389617752592E12 1488.50/1484.87 c cleaning 510 clauses out of 1021 for limit 1.2383988067844277E13 1488.50/1484.90 c cleaning 505 clauses out of 1011 for limit 2.0624859483349875E13 1488.61/1484.93 c cleaning 500 clauses out of 1006 for limit 3.4182203885823797E13 1488.61/1484.96 c cleaning 492 clauses out of 1007 for limit 5.637141926760445E13 1488.61/1484.99 c cleaning 494 clauses out of 1015 for limit 9.223129033209058E13 1488.71/1485.03 c cleaning 502 clauses out of 1022 for limit 1.512111546796083E14 1488.71/1485.06 c cleaning 509 clauses out of 1019 for limit 2.4985147451141838E14 1488.71/1485.09 c cleaning 505 clauses out of 1010 for limit 4.157101362530999E14 1488.80/1485.13 c cleaning 502 clauses out of 1005 for limit 6.889723817535539E14 1488.80/1485.16 c cleaning 486 clauses out of 1003 for limit 1.1384732449858512E15 1488.80/1485.19 c cleaning 508 clauses out of 1016 for limit 1.8516181496948352E15 1488.90/1485.23 c cleaning 504 clauses out of 1008 for limit 3.077800684953853E15 1488.90/1485.26 c cleaning 499 clauses out of 1007 for limit 5.096018264247661E15 1488.90/1485.29 c cleaning 491 clauses out of 1006 for limit 8.395553416249979E15 1489.00/1485.32 c cleaning 508 clauses out of 1016 for limit 1.3722840029755292E16 1489.00/1485.36 c cleaning 503 clauses out of 1007 for limit 2.28102273190108E16 1489.00/1485.39 c cleaning 501 clauses out of 1003 for limit 3.7729367622065416E16 1489.10/1485.42 c cleaning 493 clauses out of 1003 for limit 6.228305761089664E-4 1489.10/1485.45 c cleaning 497 clauses out of 1010 for limit 0.0010200122114949032 1489.10/1485.48 c cleaning 493 clauses out of 1012 for limit 0.0016771333987208325 1489.20/1485.51 c cleaning 499 clauses out of 1019 for limit 0.0027468176108256274 1489.20/1485.54 c cleaning 496 clauses out of 1021 for limit 0.004525521826717095 1489.20/1485.58 c cleaning 502 clauses out of 1024 for limit 0.007433884762539922 1489.30/1485.61 c cleaning 498 clauses out of 1022 for limit 0.012283461596670793 1489.30/1485.64 c cleaning 503 clauses out of 1024 for limit 0.02021750683237664 1489.30/1485.67 c cleaning 500 clauses out of 1022 for limit 0.0334400607831465 1489.40/1485.70 c cleaning 493 clauses out of 1021 for limit 0.055145945479705735 1489.40/1485.73 c cleaning 503 clauses out of 1029 for limit 0.09032632754989935 1489.40/1485.76 c cleaning 503 clauses out of 1025 for limit 0.14939196435269742 1489.40/1485.80 c cleaning 500 clauses out of 1023 for limit 0.2470960871721808 1489.50/1485.83 c cleaning 501 clauses out of 1022 for limit 0.4074853330501283 1489.50/1485.86 c cleaning 499 clauses out of 1021 for limit 0.6726560027401763 1489.50/1485.89 c cleaning 500 clauses out of 1023 for limit 1.1082392551496554 1489.60/1485.93 c cleaning 498 clauses out of 1022 for limit 1.827593658612678 1489.60/1485.96 c cleaning 497 clauses out of 1024 for limit 3.0080598200286155 1489.60/1485.99 c cleaning 502 clauses out of 1030 for limit 4.946620840784106 1489.71/1486.02 c cleaning 503 clauses out of 1026 for limit 8.173072479461242 1489.71/1486.06 c cleaning 500 clauses out of 1022 for limit 13.5177120345275 1489.71/1486.09 c cleaning 503 clauses out of 1023 for limit 22.293017214051787 1489.81/1486.12 c cleaning 498 clauses out of 1021 for limit 36.87305674860485 1489.81/1486.16 c cleaning 505 clauses out of 1022 for limit 60.68835465206845 1489.81/1486.19 c cleaning 504 clauses out of 1018 for limit 100.57704689611629 1489.90/1486.22 c cleaning 502 clauses out of 1017 for limit 166.5271798467506 1489.90/1486.26 c cleaning 494 clauses out of 1010 for limit 275.1490607088757 1489.90/1486.29 c cleaning 501 clauses out of 1017 for limit 451.0854866574154 1490.00/1486.32 c cleaning 496 clauses out of 1015 for limit 744.6207599327172 1490.00/1486.36 c cleaning 500 clauses out of 1021 for limit 1223.2081072206756 1490.00/1486.39 c cleaning 502 clauses out of 1020 for limit 2017.1922753756235 1490.10/1486.42 c cleaning 499 clauses out of 1017 for limit 3333.0965223977205 1490.10/1486.46 c cleaning 500 clauses out of 1018 for limit 5491.322528599324 1490.10/1486.49 c cleaning 501 clauses out of 1018 for limit 9055.925465645347 1490.20/1486.52 c cleaning 498 clauses out of 1017 for limit 14949.11736400751 1490.20/1486.56 c cleaning 501 clauses out of 1019 for limit 24604.707551547715 1490.20/1486.59 c cleaning 501 clauses out of 1019 for limit 40617.071382772876 1490.30/1486.62 c cleaning 499 clauses out of 1017 for limit 67047.59627006232 1800.04/1795.61 c starts : 29 1800.04/1795.61 c conflicts : 7209543 1800.04/1795.61 c decisions : 12348602 1800.04/1795.61 c propagations : 148477483 1800.04/1795.61 c inspects : 3837136903 1800.04/1795.61 c learnt literals : 0 1800.04/1795.61 c learnt binary clauses : 0 1800.04/1795.61 c learnt ternary clauses : 0 1800.04/1795.61 c learnt clauses : 7209543 1800.04/1795.61 c root simplifications : 0 1800.04/1795.61 c removed literals (reason simplification) : 0 1800.04/1795.61 c reason swapping (by a shorter reason) : 0 1800.04/1795.61 c Calls to reduceDB : 461 1800.04/1795.61 c speed (decisions/second) : 6879.068440831643 1800.04/1795.61 c non guided choices 0 1800.04/1795.61 s SATISFIABLE 1800.04/1795.61 v -x1 x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 x34 x35 -x36 x37 -x38 x39 -x40 -x41 -x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 x59 x60 -x61 -x62 x63 -x64 -x65 -x66 x67 -x68 -x69 x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 x116 x117 -x118 x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1800.04/1795.61 c objective function=42 1800.04/1795.61 c Total wall clock time (ms): 1795.525
OK 42
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741444-1338743501/watcher-3741444-1338743501 -o /tmp/evaluation-result-3741444-1338743501/solver-3741444-1338743501 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741444-1338743501.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.05 2.03 2/194 12855 /proc/meminfo: memFree=28404080/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=96324 CPUtime=0 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 1234 0 0 0 0 0 0 0 20 0 2 0 340475536 98635776 943 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 24081 952 722 9 0 16771 0 [pid=12855/tid=12856] ppid=12853 vsize=96324 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 2 0 340475537 98635776 961 33554432000 1073741824 1073778376 140734971352912 140549895560744 214528204029 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 [startup+0.06721 s] /proc/loadavg: 2.00 2.05 2.03 2/194 12855 /proc/meminfo: memFree=28404080/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=2957856 CPUtime=0.05 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 3619 0 1 0 5 0 0 0 20 0 18 0 340475536 3028844544 5848 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 739464 5848 1791 9 0 729885 0 [pid=12855/tid=12856] ppid=12853 vsize=2957856 CPUtime=0.04 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 2409 0 1 0 4 0 0 0 20 0 18 0 340475537 3028844544 5848 33554432000 1073741824 1073778376 140734971352912 140549895557256 214537420469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2957856 [startup+0.100279 s] /proc/loadavg: 2.00 2.05 2.03 2/194 12855 /proc/meminfo: memFree=28404080/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=2957856 CPUtime=0.11 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 4412 0 1 0 10 1 0 0 20 0 18 0 340475536 3028844544 7129 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 739464 7129 2130 9 0 729885 0 [pid=12855/tid=12856] ppid=12853 vsize=2957856 CPUtime=0.08 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 2499 0 1 0 8 0 0 0 20 0 18 0 340475537 3028844544 7129 33554432000 1073741824 1073778376 140734971352912 140549895529440 140549734629095 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 2957856 [startup+0.300199 s] /proc/loadavg: 2.00 2.05 2.03 2/194 12855 /proc/meminfo: memFree=28404080/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=2957856 CPUtime=0.53 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 7308 0 1 0 52 1 0 0 20 0 18 0 340475536 3028844544 11519 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 739464 11547 2240 9 0 729885 0 [pid=12855/tid=12856] ppid=12853 vsize=2957856 CPUtime=0.28 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 2513 0 1 0 28 0 0 0 20 0 18 0 340475537 3028844544 11562 33554432000 1073741824 1073778376 140734971352912 140549895557136 140549734643100 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 2957856 [startup+0.700186 s] /proc/loadavg: 2.00 2.05 2.03 2/194 12855 /proc/meminfo: memFree=28404080/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=3024420 CPUtime=1.25 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 7829 0 1 0 123 2 0 0 20 0 19 0 340475536 3097006080 21974 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 756105 21974 2273 9 0 746526 0 [pid=12855/tid=12856] ppid=12853 vsize=3024420 CPUtime=0.68 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 2551 0 1 0 68 0 0 0 20 0 19 0 340475537 3097006080 21974 33554432000 1073741824 1073778376 140734971352912 140549895565928 140549735144898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 3024420 [startup+1.50052 s] /proc/loadavg: 2.00 2.04 2.03 3/213 12877 /proc/meminfo: memFree=28323124/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=3024420 CPUtime=2.12 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 7836 0 1 0 210 2 0 0 20 0 19 0 340475536 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 756105 23002 2276 9 0 746526 0 [pid=12855/tid=12856] ppid=12853 vsize=3024420 CPUtime=1.48 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 2554 0 1 0 148 0 0 0 20 0 19 0 340475537 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549895565960 140549735194807 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12858] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12858/stat : 12858 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549878991016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12859] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12859/stat : 12859 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549877938472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12860] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12860/stat : 12860 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549876885928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12861] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12861/stat : 12861 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549875833384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12862] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12862/stat : 12862 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549874780840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12863] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12863/stat : 12863 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549873728296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12864] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12864/stat : 12864 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549872675752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12865] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12865/stat : 12865 (java) S 12853 12855 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549871623208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12866] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12866/stat : 12866 (java) S 12853 12855 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 340475538 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549859211368 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12867] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12867/stat : 12867 (java) S 12853 12855 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549858157688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12868] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12868/stat : 12868 (java) S 12853 12855 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549857105032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12869] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12869/stat : 12869 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549856053776 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12870] ppid=12853 vsize=3024420 CPUtime=0.32 cores=0,2,4,6 /proc/12855/task/12870/stat : 12870 (java) S 12853 12855 7854 0 -1 4202560 1964 0 0 0 32 0 0 0 20 0 19 0 340475541 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549855001144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12871] ppid=12853 vsize=3024420 CPUtime=0.29 cores=0,2,4,6 /proc/12855/task/12871/stat : 12871 (java) S 12853 12855 7854 0 -1 4202560 2109 0 0 0 29 0 0 0 20 0 19 0 340475541 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549853948600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12872] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12872/stat : 12872 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549734525944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12873] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12873/stat : 12873 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549733473608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12877] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12877/stat : 12877 (java) S 12853 12855 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340475588 3097006080 23002 33554432000 1073741824 1073778376 140734971352912 140549731341480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.12 Current children cumulated vsize (KiB) 3024420 [startup+3.10051 s] /proc/loadavg: 2.00 2.04 2.03 3/213 12877 /proc/meminfo: memFree=28318300/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=3024420 CPUtime=3.75 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 7842 0 1 0 373 2 0 0 20 0 19 0 340475536 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 756105 24538 2276 9 0 746526 0 [pid=12855/tid=12856] ppid=12853 vsize=3024420 CPUtime=3.08 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 2558 0 1 0 306 2 0 0 20 0 19 0 340475537 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549895563760 140549735144837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12858] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12858/stat : 12858 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549878991016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12859] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12859/stat : 12859 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549877938472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12860] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12860/stat : 12860 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549876885928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12861] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12861/stat : 12861 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549875833384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12862] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12862/stat : 12862 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549874780840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12863] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12863/stat : 12863 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549873728296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12864] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12864/stat : 12864 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549872675752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12865] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12865/stat : 12865 (java) S 12853 12855 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549871623208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12866] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12866/stat : 12866 (java) S 12853 12855 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 340475538 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549859211368 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12867] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12867/stat : 12867 (java) S 12853 12855 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549858157688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12868] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12868/stat : 12868 (java) S 12853 12855 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549857105032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12869] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12869/stat : 12869 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549856053776 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12870] ppid=12853 vsize=3024420 CPUtime=0.34 cores=0,2,4,6 /proc/12855/task/12870/stat : 12870 (java) S 12853 12855 7854 0 -1 4202560 1966 0 0 0 34 0 0 0 20 0 19 0 340475541 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549855001144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12871] ppid=12853 vsize=3024420 CPUtime=0.29 cores=0,2,4,6 /proc/12855/task/12871/stat : 12871 (java) S 12853 12855 7854 0 -1 4202560 2109 0 0 0 29 0 0 0 20 0 19 0 340475541 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549853948600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12872] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12872/stat : 12872 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549734525944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12873] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12873/stat : 12873 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549733473608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12877] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12877/stat : 12877 (java) S 12853 12855 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340475588 3097006080 24538 33554432000 1073741824 1073778376 140734971352912 140549731341480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.75 Current children cumulated vsize (KiB) 3024420 [startup+6.30059 s] /proc/loadavg: 2.00 2.04 2.03 3/213 12877 /proc/meminfo: memFree=28301668/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=3024420 CPUtime=6.96 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 7851 0 1 0 694 2 0 0 20 0 19 0 340475536 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 756105 28634 2276 9 0 746526 0 [pid=12855/tid=12856] ppid=12853 vsize=3024420 CPUtime=6.28 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 2567 0 1 0 626 2 0 0 20 0 19 0 340475537 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549895565736 140549735303981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12858] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12858/stat : 12858 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549878991016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12859] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12859/stat : 12859 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549877938472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12860] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12860/stat : 12860 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549876885928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12861] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12861/stat : 12861 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549875833384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12862] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12862/stat : 12862 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549874780840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12863] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12863/stat : 12863 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549873728296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12864] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12864/stat : 12864 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549872675752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12865] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12865/stat : 12865 (java) S 12853 12855 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340475537 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549871623208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12866] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12866/stat : 12866 (java) S 12853 12855 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 340475538 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549859211368 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12867] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12867/stat : 12867 (java) S 12853 12855 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549858157688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12868] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12868/stat : 12868 (java) S 12853 12855 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549857105032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12869] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12869/stat : 12869 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549856053776 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12870] ppid=12853 vsize=3024420 CPUtime=0.35 cores=0,2,4,6 /proc/12855/task/12870/stat : 12870 (java) S 12853 12855 7854 0 -1 4202560 1966 0 0 0 35 0 0 0 20 0 19 0 340475541 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549855001144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12871] ppid=12853 vsize=3024420 CPUtime=0.29 cores=0,2,4,6 /proc/12855/task/12871/stat : 12871 (java) S 12853 12855 7854 0 -1 4202560 2109 0 0 0 29 0 0 0 20 0 19 0 340475541 3097006080 28634 33554432000 1073741824 1073778376 140734971352912 140549853948600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ [pid=12855/tid=12863] ppid=12853 vsize=3024420 CPUtime=0.63 cores=0,2,4,6 /proc/12855/task/12863/stat : 12863 (java) S 12853 12855 7854 0 -1 4202560 315 0 0 0 44 19 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549873728296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12864] ppid=12853 vsize=3024420 CPUtime=0.49 cores=0,2,4,6 /proc/12855/task/12864/stat : 12864 (java) S 12853 12855 7854 0 -1 4202560 258 0 0 0 36 13 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549872675752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12865] ppid=12853 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/12855/task/12865/stat : 12865 (java) S 12853 12855 7854 0 -1 4202560 412 0 0 0 38 14 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549871623208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12866] ppid=12853 vsize=3024420 CPUtime=1.4 cores=0,2,4,6 /proc/12855/task/12866/stat : 12866 (java) S 12853 12855 7854 0 -1 4202560 72 0 0 0 138 2 0 0 20 0 19 0 340475538 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549859211368 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12867] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12867/stat : 12867 (java) S 12853 12855 7854 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549858157688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12868] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12868/stat : 12868 (java) S 12853 12855 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549857105032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12869] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12869/stat : 12869 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549856053776 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12870] ppid=12853 vsize=3024420 CPUtime=0.42 cores=0,2,4,6 /proc/12855/task/12870/stat : 12870 (java) S 12853 12855 7854 0 -1 4202560 2241 0 0 0 42 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549855001144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12871] ppid=12853 vsize=3024420 CPUtime=0.35 cores=0,2,4,6 /proc/12855/task/12871/stat : 12871 (java) S 12853 12855 7854 0 -1 4202560 2113 0 0 0 35 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549853948600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12872] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12872/stat : 12872 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549734525944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12873] ppid=12853 vsize=3024420 CPUtime=0.34 cores=0,2,4,6 /proc/12855/task/12873/stat : 12873 (java) S 12853 12855 7854 0 -1 4202560 95 0 0 0 18 16 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549733473608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12877] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12877/stat : 12877 (java) S 12853 12855 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340475588 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549731341480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1666.72 Current children cumulated vsize (KiB) 3024420 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/214 13010 /proc/meminfo: memFree=27166964/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=3024420 CPUtime=1726.73 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 11537 0 1 0 172521 152 0 0 20 0 19 0 340475536 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 756105 413117 2304 9 0 746526 0 [pid=12855/tid=12856] ppid=12853 vsize=3024420 CPUtime=1719.46 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 2737 0 1 0 171911 35 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549895564592 140549735194744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12858] ppid=12853 vsize=3024420 CPUtime=0.6 cores=0,2,4,6 /proc/12855/task/12858/stat : 12858 (java) S 12853 12855 7854 0 -1 4202560 360 0 0 0 47 13 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549878991016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12859] ppid=12853 vsize=3024420 CPUtime=0.62 cores=0,2,4,6 /proc/12855/task/12859/stat : 12859 (java) S 12853 12855 7854 0 -1 4202560 335 0 0 0 48 14 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549877938472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12860] ppid=12853 vsize=3024420 CPUtime=0.65 cores=0,2,4,6 /proc/12855/task/12860/stat : 12860 (java) S 12853 12855 7854 0 -1 4202560 426 0 0 0 46 19 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549876885928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12861] ppid=12853 vsize=3024420 CPUtime=0.73 cores=0,2,4,6 /proc/12855/task/12861/stat : 12861 (java) S 12853 12855 7854 0 -1 4202560 376 0 0 0 54 19 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549875833384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12862] ppid=12853 vsize=3024420 CPUtime=0.62 cores=0,2,4,6 /proc/12855/task/12862/stat : 12862 (java) S 12853 12855 7854 0 -1 4202560 596 0 0 0 44 18 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549874780840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12863] ppid=12853 vsize=3024420 CPUtime=0.63 cores=0,2,4,6 /proc/12855/task/12863/stat : 12863 (java) S 12853 12855 7854 0 -1 4202560 315 0 0 0 44 19 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549873728296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12864] ppid=12853 vsize=3024420 CPUtime=0.49 cores=0,2,4,6 /proc/12855/task/12864/stat : 12864 (java) S 12853 12855 7854 0 -1 4202560 258 0 0 0 36 13 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549872675752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12865] ppid=12853 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/12855/task/12865/stat : 12865 (java) S 12853 12855 7854 0 -1 4202560 412 0 0 0 38 14 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549871623208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12866] ppid=12853 vsize=3024420 CPUtime=1.4 cores=0,2,4,6 /proc/12855/task/12866/stat : 12866 (java) S 12853 12855 7854 0 -1 4202560 72 0 0 0 138 2 0 0 20 0 19 0 340475538 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549859211368 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12867] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12867/stat : 12867 (java) S 12853 12855 7854 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549858157688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12868] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12868/stat : 12868 (java) S 12853 12855 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549857105032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12869] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12869/stat : 12869 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549856053776 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12870] ppid=12853 vsize=3024420 CPUtime=0.42 cores=0,2,4,6 /proc/12855/task/12870/stat : 12870 (java) S 12853 12855 7854 0 -1 4202560 2241 0 0 0 42 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549855001144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12871] ppid=12853 vsize=3024420 CPUtime=0.35 cores=0,2,4,6 /proc/12855/task/12871/stat : 12871 (java) S 12853 12855 7854 0 -1 4202560 2113 0 0 0 35 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549853948600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12872] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12872/stat : 12872 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549734525944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12873] ppid=12853 vsize=3024420 CPUtime=0.36 cores=0,2,4,6 /proc/12855/task/12873/stat : 12873 (java) S 12853 12855 7854 0 -1 4202560 99 0 0 0 19 17 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549733473608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12877] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12877/stat : 12877 (java) S 12853 12855 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340475588 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549731341480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1726.73 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 2.11 2.03 2.01 3/213 13010 /proc/meminfo: memFree=27166980/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=3024420 CPUtime=1786.74 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 11541 0 1 0 178521 153 0 0 20 0 19 0 340475536 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 756105 413117 2304 9 0 746526 0 [pid=12855/tid=12856] ppid=12853 vsize=3024420 CPUtime=1779.46 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 2737 0 1 0 177910 36 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549895564592 140549735144855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12858] ppid=12853 vsize=3024420 CPUtime=0.6 cores=0,2,4,6 /proc/12855/task/12858/stat : 12858 (java) S 12853 12855 7854 0 -1 4202560 360 0 0 0 47 13 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549878991016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12859] ppid=12853 vsize=3024420 CPUtime=0.62 cores=0,2,4,6 /proc/12855/task/12859/stat : 12859 (java) S 12853 12855 7854 0 -1 4202560 335 0 0 0 48 14 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549877938472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12860] ppid=12853 vsize=3024420 CPUtime=0.65 cores=0,2,4,6 /proc/12855/task/12860/stat : 12860 (java) S 12853 12855 7854 0 -1 4202560 426 0 0 0 46 19 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549876885928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12861] ppid=12853 vsize=3024420 CPUtime=0.73 cores=0,2,4,6 /proc/12855/task/12861/stat : 12861 (java) S 12853 12855 7854 0 -1 4202560 376 0 0 0 54 19 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549875833384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12862] ppid=12853 vsize=3024420 CPUtime=0.62 cores=0,2,4,6 /proc/12855/task/12862/stat : 12862 (java) S 12853 12855 7854 0 -1 4202560 596 0 0 0 44 18 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549874780840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12863] ppid=12853 vsize=3024420 CPUtime=0.63 cores=0,2,4,6 /proc/12855/task/12863/stat : 12863 (java) S 12853 12855 7854 0 -1 4202560 315 0 0 0 44 19 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549873728296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12864] ppid=12853 vsize=3024420 CPUtime=0.49 cores=0,2,4,6 /proc/12855/task/12864/stat : 12864 (java) S 12853 12855 7854 0 -1 4202560 258 0 0 0 36 13 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549872675752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12865] ppid=12853 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/12855/task/12865/stat : 12865 (java) S 12853 12855 7854 0 -1 4202560 412 0 0 0 38 14 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549871623208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12866] ppid=12853 vsize=3024420 CPUtime=1.41 cores=0,2,4,6 /proc/12855/task/12866/stat : 12866 (java) S 12853 12855 7854 0 -1 4202560 72 0 0 0 139 2 0 0 20 0 19 0 340475538 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549859211368 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12867] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12867/stat : 12867 (java) S 12853 12855 7854 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549858157688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12868] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12868/stat : 12868 (java) S 12853 12855 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549857105032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12869] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12869/stat : 12869 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549856053776 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12870] ppid=12853 vsize=3024420 CPUtime=0.42 cores=0,2,4,6 /proc/12855/task/12870/stat : 12870 (java) S 12853 12855 7854 0 -1 4202560 2241 0 0 0 42 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549855001144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12871] ppid=12853 vsize=3024420 CPUtime=0.35 cores=0,2,4,6 /proc/12855/task/12871/stat : 12871 (java) S 12853 12855 7854 0 -1 4202560 2113 0 0 0 35 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549853948600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12872] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12872/stat : 12872 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549734525944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12873] ppid=12853 vsize=3024420 CPUtime=0.38 cores=0,2,4,6 /proc/12855/task/12873/stat : 12873 (java) S 12853 12855 7854 0 -1 4202560 103 0 0 0 19 19 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549733473608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12877] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12877/stat : 12877 (java) S 12853 12855 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340475588 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549731341480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1786.74 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.6 s] /proc/loadavg: 2.09 2.03 2.00 3/213 13010 /proc/meminfo: memFree=27166856/32873648 swapFree=7116/7116 [pid=12855] ppid=12853 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6 /proc/12855/stat : 12855 (java) S 12853 12855 7854 0 -1 4202496 11541 0 1 0 179851 153 0 0 20 0 19 0 340475536 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140734971344048 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12855/statm: 756105 413117 2304 9 0 746526 0 [pid=12855/tid=12856] ppid=12853 vsize=3024420 CPUtime=1792.77 cores=0,2,4,6 /proc/12855/task/12856/stat : 12856 (java) R 12853 12855 7854 0 -1 4202560 2737 0 1 0 179241 36 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549895564592 140549735303716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12858] ppid=12853 vsize=3024420 CPUtime=0.6 cores=0,2,4,6 /proc/12855/task/12858/stat : 12858 (java) S 12853 12855 7854 0 -1 4202560 360 0 0 0 47 13 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549878991016 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12859] ppid=12853 vsize=3024420 CPUtime=0.62 cores=0,2,4,6 /proc/12855/task/12859/stat : 12859 (java) S 12853 12855 7854 0 -1 4202560 335 0 0 0 48 14 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549877938472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12860] ppid=12853 vsize=3024420 CPUtime=0.65 cores=0,2,4,6 /proc/12855/task/12860/stat : 12860 (java) S 12853 12855 7854 0 -1 4202560 426 0 0 0 46 19 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549876885928 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12861] ppid=12853 vsize=3024420 CPUtime=0.73 cores=0,2,4,6 /proc/12855/task/12861/stat : 12861 (java) S 12853 12855 7854 0 -1 4202560 376 0 0 0 54 19 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549875833384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12862] ppid=12853 vsize=3024420 CPUtime=0.62 cores=0,2,4,6 /proc/12855/task/12862/stat : 12862 (java) S 12853 12855 7854 0 -1 4202560 596 0 0 0 44 18 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549874780840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12863] ppid=12853 vsize=3024420 CPUtime=0.63 cores=0,2,4,6 /proc/12855/task/12863/stat : 12863 (java) S 12853 12855 7854 0 -1 4202560 315 0 0 0 44 19 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549873728296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12864] ppid=12853 vsize=3024420 CPUtime=0.49 cores=0,2,4,6 /proc/12855/task/12864/stat : 12864 (java) S 12853 12855 7854 0 -1 4202560 258 0 0 0 36 13 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549872675752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12865] ppid=12853 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/12855/task/12865/stat : 12865 (java) S 12853 12855 7854 0 -1 4202560 412 0 0 0 38 14 0 0 20 0 19 0 340475537 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549871623208 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12866] ppid=12853 vsize=3024420 CPUtime=1.41 cores=0,2,4,6 /proc/12855/task/12866/stat : 12866 (java) S 12853 12855 7854 0 -1 4202560 72 0 0 0 139 2 0 0 20 0 19 0 340475538 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549859211368 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12867] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12867/stat : 12867 (java) S 12853 12855 7854 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549858157688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12868] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12868/stat : 12868 (java) S 12853 12855 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340475539 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549857105032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12869] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12869/stat : 12869 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549856053776 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12870] ppid=12853 vsize=3024420 CPUtime=0.42 cores=0,2,4,6 /proc/12855/task/12870/stat : 12870 (java) S 12853 12855 7854 0 -1 4202560 2241 0 0 0 42 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549855001144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12855/tid=12871] ppid=12853 vsize=3024420 CPUtime=0.35 cores=0,2,4,6 /proc/12855/task/12871/stat : 12871 (java) S 12853 12855 7854 0 -1 4202560 2113 0 0 0 35 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549853948600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12855/tid=12872] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12872/stat : 12872 (java) S 12853 12855 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549734525944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12855/tid=12873] ppid=12853 vsize=3024420 CPUtime=0.39 cores=0,2,4,6 /proc/12855/task/12873/stat : 12873 (java) S 12853 12855 7854 0 -1 4202560 103 0 0 0 20 19 0 0 20 0 19 0 340475541 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549733473608 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12855/tid=12877] ppid=12853 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/12855/task/12877/stat : 12877 (java) S 12853 12855 7854 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 340475588 3097006080 413117 33554432000 1073741824 1073778376 140734971352912 140549731341480 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 3024420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1795.62 CPU time (s): 1800.47 CPU user time (s): 1798.48 CPU system time (s): 1.9927 CPU usage (%): 100.27 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.48 system time used= 1.9927 maximum resident set size= 1652580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11571 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1080 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 38132 involuntary context switches= 16568 runsolver used 5.98209 second user time and 13.9529 second system time The end
Begin job on node127 at 2012-06-03 19:11:41 IDJOB=3741444 IDBENCH=89859 IDSOLVER=2319 FILE ID=node127/3741444-1338743501 RUNJOBID= node127-1338713637-7870 PBS_JOBID= 14636737 Free space on /tmp= 70480 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741444-1338743501/watcher-3741444-1338743501 -o /tmp/evaluation-result-3741444-1338743501/solver-3741444-1338743501 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741444-1338743501.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 19a2dfea334d8fb7f32d77f6785ba1fe RANDOM SEED=1054392376 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28404236 kB Buffers: 408892 kB Cached: 1949928 kB SwapCached: 1428 kB Active: 2256624 kB Inactive: 1328276 kB Active(anon): 1220052 kB Inactive(anon): 7952 kB Active(file): 1036572 kB Inactive(file): 1320324 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67104508 kB Dirty: 4112 kB Writeback: 0 kB AnonPages: 1262132 kB Mapped: 19092 kB Shmem: 92 kB Slab: 747032 kB SReclaimable: 190536 kB SUnreclaim: 556496 kB KernelStack: 1760 kB PageTables: 6576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1826640 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1226752 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70476 MiB End job on node127 at 2012-06-03 19:41:38