Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCPClause 2007-03-23 | SAT (TO) | 419427197259 | 1800.18 | 1777.14 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mas76.opb |
MD5SUM | 1a1687e6de95bc6822d45f4331f81d44 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 209715197291 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 143487941105 |
Optimality of the best value was proved | NO |
Number of variables | 240 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 239 |
Number of terms in the objective function | 240 |
Biggest coefficient in the objective function | 1934281311383406679529881600000 |
Number of bits for the biggest coefficient in the objective function | 101 |
Sum of the numbers in the objective function | 3868562622766813359059763201675 |
Number of bits of the sum of numbers in the objective function | 102 |
Biggest number in a constraint | 1208925819614629174706176000000000 |
Number of bits of the biggest number in a constraint | 110 |
Biggest sum of numbers in a constraint | 2417851639229258350907097073774043 |
Number of bits of the biggest sum of numbers | 111 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.08/0.19 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause) 0.08/0.19 --- Begin Solver configuration --- 0.08/0.19 c Stops conflict analysis at the first Unique Implication Point 0.08/0.19 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.08/0.19 c Learn all clauses as in MiniSAT 0.08/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.08/0.19 c VSIDS like heuristics from MiniSAT using a heap 0.08/0.19 c No reason simplification 0.08/0.19 c --- End Solver configuration --- 0.08/0.19 c Simplify asserted PB constraints to clauses 0.08/0.19 c solving /tmp/evaluation/354401-1176707716/instance-354401-1176707716.opb 0.08/0.19 c reading problem ... 0.52/0.47 c ... done. Wall clock time 0.286s. 0.52/0.48 c CPU time (experimental) 0.37s. 0.52/0.48 c #vars 240 0.52/0.48 c #constraints 13 4.22/2.71 c SATISFIABLE 4.22/2.71 c OPTIMIZING... 4.22/2.71 c Got one! Elapsed wall clock time (in seconds):2.521 4.22/2.72 o 3200000000000000480 5.64/3.94 c Got one! Elapsed wall clock time (in seconds):3.75 5.64/3.94 o 3200000000000000448 6.88/5.11 c Got one! Elapsed wall clock time (in seconds):4.921 6.88/5.11 o 3200000000000000416 8.28/6.40 c Got one! Elapsed wall clock time (in seconds):6.21 8.28/6.40 o 3200000000000000384 9.68/7.78 c Got one! Elapsed wall clock time (in seconds):7.588 9.68/7.78 o 3200000000000000352 11.11/9.12 c Got one! Elapsed wall clock time (in seconds):8.933 11.11/9.12 o 3199999999999997355 12.54/10.55 c Got one! Elapsed wall clock time (in seconds):10.359 12.54/10.55 o 3199999999999994230 14.43/12.29 c Got one! Elapsed wall clock time (in seconds):12.096 14.43/12.29 o 3199999999999972355 15.96/13.79 c Got one! Elapsed wall clock time (in seconds):13.596 15.96/13.79 o 3199999999999947355 17.88/15.61 c Got one! Elapsed wall clock time (in seconds):15.418 17.88/15.61 o 3199999999999947323 19.63/17.35 c Got one! Elapsed wall clock time (in seconds):17.163 19.63/17.35 o 3199999986892797355 21.65/19.37 c Got one! Elapsed wall clock time (in seconds):19.183 21.65/19.37 o 3199998938316797355 23.78/21.44 c Got one! Elapsed wall clock time (in seconds):21.247 23.78/21.44 o 3199992227430397355 25.81/23.44 c Got one! Elapsed wall clock time (in seconds):23.251 25.81/23.44 o 3078632557772797355 27.25/24.89 c Got one! Elapsed wall clock time (in seconds):24.699 27.25/24.89 o 1759218604441597355 29.78/27.40 c Got one! Elapsed wall clock time (in seconds):27.208 29.88/27.40 o 1759218604441597323 32.39/29.94 c Got one! Elapsed wall clock time (in seconds):29.753 32.39/29.94 o 1759205182668797355 34.62/32.19 c Got one! Elapsed wall clock time (in seconds):32.002 34.62/32.19 o 1757500617523197355 36.97/34.30 c Got one! Elapsed wall clock time (in seconds):34.108 36.97/34.30 o 1649267441663997355 39.09/36.36 c Got one! Elapsed wall clock time (in seconds):36.171 39.09/36.36 o 1649213754572797355 41.51/38.75 c Got one! Elapsed wall clock time (in seconds):38.56 41.51/38.75 o 1539316278886397355 43.94/41.18 c Got one! Elapsed wall clock time (in seconds):40.987 43.94/41.18 o 1429365116108797355 46.68/43.90 c Got one! Elapsed wall clock time (in seconds):43.707 46.68/43.90 o 1429365116108747355 49.70/46.78 c Got one! Elapsed wall clock time (in seconds):46.587 49.70/46.78 o 1427647129190397355 51.82/48.88 c Got one! Elapsed wall clock time (in seconds):48.691 51.82/48.88 o 1319413953331197355 54.83/51.89 c Got one! Elapsed wall clock time (in seconds):51.699 54.83/51.89 o 1319199204966397355 57.87/54.88 c Got one! Elapsed wall clock time (in seconds):54.689 57.87/54.88 o 1315977979494397355 60.69/57.60 c Got one! Elapsed wall clock time (in seconds):57.409 60.69/57.60 o 879609302220797355 63.33/60.24 c Got one! Elapsed wall clock time (in seconds):60.049 63.33/60.24 o 769658139443197355 66.05/62.93 c Got one! Elapsed wall clock time (in seconds):62.738 66.05/62.93 o 439804651110397355 68.97/65.87 c Got one! Elapsed wall clock time (in seconds):65.676 68.97/65.87 o 426060755763197355 72.00/68.82 c Got one! Elapsed wall clock time (in seconds):68.627 72.00/68.82 o 329853488332797355 75.33/72.14 c Got one! Elapsed wall clock time (in seconds):71.947 75.33/72.14 o 219902325555197355 78.36/75.10 c Got one! Elapsed wall clock time (in seconds):74.909 78.36/75.10 o 109951162777597355 81.99/78.76 c Got one! Elapsed wall clock time (in seconds):78.572 81.99/78.76 o 82463372083197355 86.22/82.98 c Got one! Elapsed wall clock time (in seconds):82.79 86.22/82.98 o 68719476735997355 90.07/86.80 c Got one! Elapsed wall clock time (in seconds):86.606 90.07/86.80 o 68719476735947355 93.83/90.47 c Got one! Elapsed wall clock time (in seconds):90.285 93.83/90.47 o 68716121292797355 98.86/95.50 c Got one! Elapsed wall clock time (in seconds):95.307 98.96/95.50 o 61847529062397355 102.29/98.83 c Got one! Elapsed wall clock time (in seconds):98.637 102.29/98.83 o 61844173619197355 107.34/103.87 c Got one! Elapsed wall clock time (in seconds):103.682 107.34/103.87 o 61840818175997355 111.50/107.97 c Got one! Elapsed wall clock time (in seconds):107.784 111.50/107.97 o 61418032332797355 115.45/111.85 c Got one! Elapsed wall clock time (in seconds):111.66 115.45/111.85 o 61414676889597355 119.49/115.89 c Got one! Elapsed wall clock time (in seconds):115.702 119.49/115.89 o 61404610559997355 124.73/121.07 c Got one! Elapsed wall clock time (in seconds):120.882 124.73/121.07 o 61404610559997323 127.86/124.12 c Got one! Elapsed wall clock time (in seconds):123.932 127.86/124.12 o 61404610559997291 131.60/127.87 c Got one! Elapsed wall clock time (in seconds):127.683 131.60/127.87 o 61404610559994230 136.94/133.19 c Got one! Elapsed wall clock time (in seconds):133.0 136.94/133.19 o 61404610559991105 143.26/139.43 c Got one! Elapsed wall clock time (in seconds):139.239 143.26/139.43 o 61404610559987980 148.82/144.94 c Got one! Elapsed wall clock time (in seconds):144.752 148.82/144.94 o 61404610559984855 153.57/149.67 c Got one! Elapsed wall clock time (in seconds):149.477 153.57/149.67 o 61404610559981730 157.20/153.27 c Got one! Elapsed wall clock time (in seconds):153.076 157.20/153.27 o 61404610559981698 162.05/158.07 c Got one! Elapsed wall clock time (in seconds):157.883 162.05/158.07 o 61404610559947355 167.18/163.13 c Got one! Elapsed wall clock time (in seconds):162.939 167.18/163.13 o 61404610558397355 173.63/169.57 c Got one! Elapsed wall clock time (in seconds):169.377 173.63/169.57 o 61404610547197355 178.97/174.83 c Got one! Elapsed wall clock time (in seconds):174.639 178.97/174.83 o 61404505702397355 185.03/180.87 c Got one! Elapsed wall clock time (in seconds):180.683 185.03/180.87 o 61391188787197355 190.08/185.84 c Got one! Elapsed wall clock time (in seconds):185.653 190.08/185.84 o 61310658150397355 197.73/193.48 c Got one! Elapsed wall clock time (in seconds):193.293 197.73/193.48 o 61297236377597355 203.58/199.25 c Got one! Elapsed wall clock time (in seconds):199.065 203.58/199.25 o 61283814604797355 208.73/204.31 c Got one! Elapsed wall clock time (in seconds):204.115 208.73/204.31 o 61283814604797323 215.78/211.35 c Got one! Elapsed wall clock time (in seconds):211.162 215.78/211.35 o 61280459161597355 222.64/218.11 c Got one! Elapsed wall clock time (in seconds):217.923 222.64/218.11 o 54975581388797323 227.99/223.43 c Got one! Elapsed wall clock time (in seconds):223.24 227.99/223.43 o 54975581388397355 234.64/230.02 c Got one! Elapsed wall clock time (in seconds):229.826 234.64/230.02 o 27487790694397355 240.22/235.59 c Got one! Elapsed wall clock time (in seconds):235.398 240.22/235.59 o 13743895347197355 245.25/240.52 c Got one! Elapsed wall clock time (in seconds):240.331 245.25/240.52 o 6871947673597355 251.70/246.92 c Got one! Elapsed wall clock time (in seconds):246.728 251.70/246.93 o 6871947673597323 260.00/255.20 c Got one! Elapsed wall clock time (in seconds):255.011 260.00/255.20 o 6871108812797355 265.96/261.03 c Got one! Elapsed wall clock time (in seconds):260.836 265.96/261.03 o 6442450943997355 272.81/267.82 c Got one! Elapsed wall clock time (in seconds):267.634 272.81/267.82 o 5153960755197355 279.97/274.91 c Got one! Elapsed wall clock time (in seconds):274.716 279.97/274.91 o 3435973836797355 287.34/282.21 c Got one! Elapsed wall clock time (in seconds):282.024 287.34/282.21 o 3435973836797323 294.52/289.34 c Got one! Elapsed wall clock time (in seconds):289.149 294.52/289.34 o 3006477107197355 300.27/295.06 c Got one! Elapsed wall clock time (in seconds):294.871 300.27/295.06 o 2899102924797355 307.33/302.03 c Got one! Elapsed wall clock time (in seconds):301.836 307.33/302.03 o 2899102924794230 314.88/309.51 c Got one! Elapsed wall clock time (in seconds):309.324 314.88/309.51 o 2898264063997355 323.28/317.83 c Got one! Elapsed wall clock time (in seconds):317.642 323.28/317.83 o 2897425203197355 328.92/323.44 c Got one! Elapsed wall clock time (in seconds):323.252 328.92/323.44 o 2872259379197355 337.79/332.27 c Got one! Elapsed wall clock time (in seconds):332.077 337.79/332.27 o 2872259379194230 346.17/340.58 c Got one! Elapsed wall clock time (in seconds):340.392 346.17/340.58 o 2871839948797355 355.14/349.41 c Got one! Elapsed wall clock time (in seconds):349.219 355.14/349.41 o 2865548492797355 364.13/358.31 c Got one! Elapsed wall clock time (in seconds):358.121 364.13/358.31 o 2863870771197355 372.92/367.06 c Got one! Elapsed wall clock time (in seconds):366.875 372.92/367.06 o 2845415833597355 385.33/379.39 c Got one! Elapsed wall clock time (in seconds):379.198 385.33/379.39 o 2791728742397355 393.20/387.13 c Got one! Elapsed wall clock time (in seconds):386.945 393.20/387.13 o 2576980377597355 400.06/393.96 c Got one! Elapsed wall clock time (in seconds):393.769 400.06/393.96 o 1717986918397355 406.33/400.11 c Got one! Elapsed wall clock time (in seconds):399.916 406.33/400.11 o 1717934489597355 415.52/409.26 c Got one! Elapsed wall clock time (in seconds):409.071 415.52/409.26 o 1691143372797355 422.78/416.50 c Got one! Elapsed wall clock time (in seconds):416.306 422.78/416.50 o 1691143372797323 431.77/425.31 c Got one! Elapsed wall clock time (in seconds):425.117 431.77/425.31 o 1691143372797291 441.05/434.57 c Got one! Elapsed wall clock time (in seconds):434.383 441.05/434.57 o 1691143372794230 448.92/442.36 c Got one! Elapsed wall clock time (in seconds):442.173 448.92/442.36 o 1691143372791105 455.98/449.39 c Got one! Elapsed wall clock time (in seconds):449.205 455.98/449.39 o 1691143372787980 467.60/460.87 c Got one! Elapsed wall clock time (in seconds):460.683 467.60/460.87 o 1691143372784855 477.37/470.54 c Got one! Elapsed wall clock time (in seconds):470.355 477.37/470.54 o 1691143372784823 488.28/481.34 c Got one! Elapsed wall clock time (in seconds):481.152 488.28/481.34 o 1691143372781730 496.65/489.61 c Got one! Elapsed wall clock time (in seconds):489.419 496.65/489.61 o 1691143371997355 511.47/504.39 c Got one! Elapsed wall clock time (in seconds):504.198 511.47/504.39 o 1691143371897355 520.97/513.73 c Got one! Elapsed wall clock time (in seconds):513.544 520.97/513.73 o 1691143270397355 529.65/522.38 c Got one! Elapsed wall clock time (in seconds):522.186 529.65/522.38 o 1690723942397355 540.04/532.61 c Got one! Elapsed wall clock time (in seconds):532.418 540.04/532.61 o 1610612735997355 549.84/542.39 c Got one! Elapsed wall clock time (in seconds):542.201 549.84/542.39 o 1288490188797355 562.26/554.70 c Got one! Elapsed wall clock time (in seconds):554.506 562.26/554.70 o 1181116006397355 570.71/563.06 c Got one! Elapsed wall clock time (in seconds):562.868 570.71/563.06 o 1127428915197355 584.16/576.35 c Got one! Elapsed wall clock time (in seconds):576.159 584.26/576.43 o 1127428915197323 591.53/583.63 c Got one! Elapsed wall clock time (in seconds):583.438 591.53/583.63 o 1100585369597355 598.61/590.60 c Got one! Elapsed wall clock time (in seconds):590.413 598.61/590.60 o 1100585369597259 608.90/600.88 c Got one! Elapsed wall clock time (in seconds):600.693 608.90/600.88 o 1100532940797355 618.31/610.14 c Got one! Elapsed wall clock time (in seconds):609.945 618.31/610.14 o 1087163596797355 636.47/628.18 c Got one! Elapsed wall clock time (in seconds):627.991 636.47/628.18 o 1087163590397355 653.12/644.64 c Got one! Elapsed wall clock time (in seconds):644.454 653.12/644.64 o 858993459197067 664.73/656.14 c Got one! Elapsed wall clock time (in seconds):655.955 664.73/656.14 o 429496729597355 673.83/665.10 c Got one! Elapsed wall clock time (in seconds):664.908 673.83/665.10 o 322122547197355 683.63/674.88 c Got one! Elapsed wall clock time (in seconds):674.687 683.63/674.88 o 322122547197323 697.75/688.89 c Got one! Elapsed wall clock time (in seconds):688.696 697.75/688.89 o 315411660797355 707.45/698.42 c Got one! Elapsed wall clock time (in seconds):698.231 707.45/698.42 o 295279001597355 721.08/711.90 c Got one! Elapsed wall clock time (in seconds):711.71 721.08/711.90 o 288568115197355 732.28/723.00 c Got one! Elapsed wall clock time (in seconds):722.815 732.28/723.00 o 268435455997355 745.70/736.33 c Got one! Elapsed wall clock time (in seconds):736.144 745.70/736.33 o 241591910397355 752.58/743.17 c Got one! Elapsed wall clock time (in seconds):742.976 752.58/743.17 o 241578803197355 762.69/753.12 c Got one! Elapsed wall clock time (in seconds):752.933 762.69/753.12 o 214748364797355 773.73/764.09 c Got one! Elapsed wall clock time (in seconds):763.901 773.73/764.09 o 161061273597355 785.65/775.87 c Got one! Elapsed wall clock time (in seconds):775.676 785.65/775.87 o 107374182397067 800.31/790.34 c Got one! Elapsed wall clock time (in seconds):790.149 800.31/790.34 o 107347967997355 811.72/801.67 c Got one! Elapsed wall clock time (in seconds):801.483 811.72/801.67 o 100663295997355 827.90/817.60 c Got one! Elapsed wall clock time (in seconds):817.416 827.90/817.61 o 80530636797355 841.64/831.26 c Got one! Elapsed wall clock time (in seconds):831.07 841.64/831.26 o 80504422397355 855.79/845.28 c Got one! Elapsed wall clock time (in seconds):845.087 855.79/845.28 o 78852915197355 868.54/857.87 c Got one! Elapsed wall clock time (in seconds):857.677 868.54/857.87 o 78433484797355 880.08/869.20 c Got one! Elapsed wall clock time (in seconds):869.015 880.08/869.20 o 67108863997355 900.57/889.54 c Got one! Elapsed wall clock time (in seconds):889.35 900.57/889.54 o 53687091197195 917.14/905.98 c Got one! Elapsed wall clock time (in seconds):905.789 917.14/905.98 o 26843545597355 929.45/918.18 c Got one! Elapsed wall clock time (in seconds):917.988 929.45/918.18 o 26843545597323 946.62/935.16 c Got one! Elapsed wall clock time (in seconds):934.966 946.62/935.16 o 26843545597291 959.58/947.92 c Got one! Elapsed wall clock time (in seconds):947.726 959.58/947.92 o 26843545597259 975.05/963.26 c Got one! Elapsed wall clock time (in seconds):963.069 975.05/963.26 o 26843545597227 989.20/977.24 c Got one! Elapsed wall clock time (in seconds):977.048 989.20/977.24 o 26843545594230 1000.37/988.21 c Got one! Elapsed wall clock time (in seconds):988.018 1000.37/988.21 o 26843545591105 1015.01/1002.71 c Got one! Elapsed wall clock time (in seconds):1002.519 1015.01/1002.71 o 26843545587980 1026.67/1014.27 c Got one! Elapsed wall clock time (in seconds):1014.076 1026.67/1014.27 o 26843545587948 1043.23/1030.69 c Got one! Elapsed wall clock time (in seconds):1030.503 1043.23/1030.69 o 26843545547355 1055.49/1042.76 c Got one! Elapsed wall clock time (in seconds):1042.57 1055.49/1042.76 o 26843542397355 1066.73/1053.87 c Got one! Elapsed wall clock time (in seconds):1053.682 1066.73/1053.87 o 26843135997355 1079.89/1066.80 c Got one! Elapsed wall clock time (in seconds):1066.614 1079.89/1066.80 o 26836991997355 1094.54/1081.33 c Got one! Elapsed wall clock time (in seconds):1081.136 1094.54/1081.33 o 26817331197355 1107.31/1093.92 c Got one! Elapsed wall clock time (in seconds):1093.729 1107.31/1093.92 o 25165823997355 1123.60/1110.00 c Got one! Elapsed wall clock time (in seconds):1109.813 1123.60/1110.00 o 24746393597355 1137.36/1123.66 c Got one! Elapsed wall clock time (in seconds):1123.473 1137.36/1123.66 o 24720179197355 1151.13/1137.25 c Got one! Elapsed wall clock time (in seconds):1137.06 1151.13/1137.25 o 24693964797355 1163.00/1148.94 c Got one! Elapsed wall clock time (in seconds):1148.751 1163.00/1148.94 o 24536678397355 1176.48/1162.21 c Got one! Elapsed wall clock time (in seconds):1162.017 1176.48/1162.21 o 24523571197355 1193.51/1178.65 c Got one! Elapsed wall clock time (in seconds):1178.457 1193.51/1178.65 o 24484249597355 1209.47/1194.42 c Got one! Elapsed wall clock time (in seconds):1194.233 1209.47/1194.42 o 20132659197355 1224.18/1208.92 c Got one! Elapsed wall clock time (in seconds):1208.731 1224.18/1208.92 o 20132659147355 1244.61/1229.11 c Got one! Elapsed wall clock time (in seconds):1228.918 1244.61/1229.11 o 13421772797355 1262.91/1247.29 c Got one! Elapsed wall clock time (in seconds):1247.1 1262.91/1247.29 o 11744051197355 1277.92/1262.00 c Got one! Elapsed wall clock time (in seconds):1261.811 1277.92/1262.00 o 11324620797355 1297.87/1281.70 c Got one! Elapsed wall clock time (in seconds):1281.509 1297.87/1281.70 o 11324620797323 1306.97/1290.76 c Got one! Elapsed wall clock time (in seconds):1290.567 1306.97/1290.76 o 11324415997355 1329.06/1312.55 c Got one! Elapsed wall clock time (in seconds):1312.361 1329.06/1312.55 o 11114905597355 1342.94/1326.28 c Got one! Elapsed wall clock time (in seconds):1326.087 1342.94/1326.28 o 6710886397355 1355.43/1338.58 c Got one! Elapsed wall clock time (in seconds):1338.389 1355.43/1338.58 o 5033164797355 1368.51/1351.43 c Got one! Elapsed wall clock time (in seconds):1351.236 1368.51/1351.43 o 4613734397355 1385.20/1367.94 c Got one! Elapsed wall clock time (in seconds):1367.745 1385.20/1367.94 o 4613734397323 1402.56/1385.01 c Got one! Elapsed wall clock time (in seconds):1384.825 1402.56/1385.01 o 4613734384855 1417.84/1400.16 c Got one! Elapsed wall clock time (in seconds):1399.974 1417.84/1400.16 o 4404019197355 1431.83/1413.91 c Got one! Elapsed wall clock time (in seconds):1413.721 1431.83/1413.91 o 4299161597355 1445.82/1427.78 c Got one! Elapsed wall clock time (in seconds):1427.591 1445.82/1427.78 o 4299161397355 1458.71/1440.47 c Got one! Elapsed wall clock time (in seconds):1440.284 1458.71/1440.47 o 4194303997355 1476.98/1458.47 c Got one! Elapsed wall clock time (in seconds):1458.281 1476.98/1458.47 o 4168089597355 1496.30/1477.54 c Got one! Elapsed wall clock time (in seconds):1477.354 1496.30/1477.54 o 4141875197355 1513.53/1494.50 c Got one! Elapsed wall clock time (in seconds):1494.315 1513.53/1494.50 o 3355443197355 1529.37/1510.13 c Got one! Elapsed wall clock time (in seconds):1509.94 1529.37/1510.13 o 1677721597355 1546.62/1527.18 c Got one! Elapsed wall clock time (in seconds):1526.985 1546.62/1527.18 o 1677721547355 1561.65/1541.96 c Got one! Elapsed wall clock time (in seconds):1541.771 1561.65/1541.96 o 1677721547323 1582.92/1562.96 c Got one! Elapsed wall clock time (in seconds):1562.765 1582.92/1562.96 o 838860797355 1598.45/1578.29 c Got one! Elapsed wall clock time (in seconds):1578.1 1598.45/1578.29 o 419430397355 1614.75/1594.37 c Got one! Elapsed wall clock time (in seconds):1594.176 1614.75/1594.37 o 419430397323 1636.46/1615.74 c Got one! Elapsed wall clock time (in seconds):1615.555 1636.46/1615.74 o 419430397291 1653.79/1632.89 c Got one! Elapsed wall clock time (in seconds):1632.699 1653.79/1632.89 o 419430397259 1668.59/1647.49 c Got one! Elapsed wall clock time (in seconds):1647.299 1668.59/1647.49 o 419430394230 1691.61/1670.18 c Got one! Elapsed wall clock time (in seconds):1669.995 1691.61/1670.18 o 419430391105 1711.99/1690.24 c Got one! Elapsed wall clock time (in seconds):1690.048 1711.99/1690.24 o 419430387980 1727.73/1705.70 c Got one! Elapsed wall clock time (in seconds):1705.514 1727.73/1705.70 o 419430384855 1749.72/1727.44 c Got one! Elapsed wall clock time (in seconds):1727.246 1749.72/1727.44 o 419430378605 1771.05/1748.46 c Got one! Elapsed wall clock time (in seconds):1748.276 1771.05/1748.47 o 419430347355 1799.32/1776.31 c Got one! Elapsed wall clock time (in seconds):1776.123 1799.32/1776.31 o 419427197259 1800.02/1777.01 c starts : 377 1800.02/1777.01 c conflicts : 18924 1800.02/1777.01 c decisions : 147334 1800.02/1777.01 c propagations : 390767 1800.02/1777.01 c inspects : 458172507 1800.02/1777.01 c learnt literals : 0 1800.02/1777.01 c learnt binary clauses : 0 1800.02/1777.01 c learnt ternary clauses : 0 1800.02/1777.01 c learnt clauses : 18924 1800.02/1777.01 c root simplifications : 0 1800.02/1777.01 c removed literals (reason simplification) : 0 1800.02/1777.01 c reason swapping (by a shorter reason) : 0 1800.02/1777.01 c Calls to reduceDB : 0 1800.02/1777.01 c speed (decisions/second) : 211080.22922636106 1800.02/1777.01 c non guided choices 0 1800.02/1777.01 s SATISFIABLE 1800.02/1777.01 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 1800.02/1777.01 v x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 1800.02/1777.01 v 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 1800.02/1777.01 v -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 1800.02/1777.01 v -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 1800.02/1777.01 v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 1800.02/1777.01 v -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 1800.02/1777.01 v -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 1800.02/1777.01 v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 1800.02/1777.01 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 1800.02/1777.01 v -x238 -x239 -x240 1800.02/1777.01 c objective function=419427197259 1800.02/1777.01 c Total wall clock time (ms): 1776.825
OK 419427197259
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-354401-1176707716 -o ROOT/results/node54/solver-354401-1176707716 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354401-1176707716/sat4jPseudoCPClause.jar /tmp/evaluation/354401-1176707716/instance-354401-1176707716.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/66 32324 /proc/meminfo: memFree=1828464/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=18568 CPUtime=0 /proc/32324/stat : 32324 (runsolver) R 32322 32324 31890 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 118146067 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 234211568935 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/32324/statm: 4642 292 257 24 0 2626 0 [startup+0.0805221 s] /proc/loadavg: 0.92 0.98 0.99 2/66 32324 /proc/meminfo: memFree=1828464/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1777708 CPUtime=0.06 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 3765 0 1 0 4 2 0 0 18 0 7 0 118146067 1820372992 3507 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 444427 3507 1085 9 0 442063 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1777708 [startup+0.101521 s] /proc/loadavg: 0.92 0.98 0.99 2/66 32324 /proc/meminfo: memFree=1828464/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1780112 CPUtime=0.08 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 3959 0 1 0 6 2 0 0 18 0 12 0 118146067 1822834688 3700 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 445028 3700 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780112 [startup+0.301535 s] /proc/loadavg: 0.92 0.98 0.99 2/66 32324 /proc/meminfo: memFree=1828464/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1781924 CPUtime=0.37 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 5068 0 1 0 34 3 0 0 18 0 12 0 118146067 1824690176 4804 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 445481 4804 1267 9 0 443092 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 1781924 [startup+0.701587 s] /proc/loadavg: 0.92 0.98 0.99 2/66 32324 /proc/meminfo: memFree=1828464/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1792004 CPUtime=1.1 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 9069 0 1 0 106 4 0 0 18 0 13 0 118146067 1835012096 7766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 448001 7766 1306 9 0 445612 0 Current children cumulated CPU time (s) 1.1 Current children cumulated vsize (KiB) 1792004 [startup+1.50169 s] /proc/loadavg: 0.92 0.98 0.99 3/79 32337 /proc/meminfo: memFree=1792008/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1799276 CPUtime=2.69 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 24935 0 1 0 257 12 0 0 18 0 13 0 118146067 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 449819 17810 1316 9 0 447430 0 [pid=32324/tid=32326] ppid=32322 vsize=1799276 CPUtime=0.86 /proc/32324/task/32326/stat : 32326 (java) R 32322 32324 31890 0 -1 64 12752 0 1 0 80 6 0 0 18 0 13 0 118146069 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109578354 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32327] ppid=32322 vsize=1799276 CPUtime=0 /proc/32324/task/32327/stat : 32327 (java) S 32322 32324 31890 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 118146070 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32328] ppid=32322 vsize=1799276 CPUtime=0 /proc/32324/task/32328/stat : 32328 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 118146070 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32329] ppid=32322 vsize=1799276 CPUtime=0 /proc/32324/task/32329/stat : 32329 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 118146073 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32330] ppid=32322 vsize=1799276 CPUtime=0 /proc/32324/task/32330/stat : 32330 (java) S 32322 32324 31890 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 118146073 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32331] ppid=32322 vsize=1799276 CPUtime=0 /proc/32324/task/32331/stat : 32331 (java) S 32322 32324 31890 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 118146073 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32332] ppid=32322 vsize=1799276 CPUtime=0 /proc/32324/task/32332/stat : 32332 (java) S 32322 32324 31890 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 118146077 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32333] ppid=32322 vsize=1799276 CPUtime=0.96 /proc/32324/task/32333/stat : 32333 (java) R 32322 32324 31890 0 -1 64 7073 0 0 0 93 3 0 0 18 0 13 0 118146077 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336912 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32334] ppid=32322 vsize=1799276 CPUtime=0.83 /proc/32324/task/32334/stat : 32334 (java) R 32322 32324 31890 0 -1 64 4385 0 0 0 82 1 0 0 18 0 13 0 118146077 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105290419 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32335] ppid=32322 vsize=1799276 CPUtime=0 /proc/32324/task/32335/stat : 32335 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118146077 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32336] ppid=32322 vsize=1799276 CPUtime=0 /proc/32324/task/32336/stat : 32336 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 118146077 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32337] ppid=32322 vsize=1799276 CPUtime=0 /proc/32324/task/32337/stat : 32337 (java) S 32322 32324 31890 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 118146117 1842458624 17810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.69 Current children cumulated vsize (KiB) 1799276 [startup+3.1029 s] /proc/loadavg: 1.09 1.02 1.01 4/79 32337 /proc/meminfo: memFree=1696712/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1794676 CPUtime=4.8 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 52030 0 1 0 457 23 0 0 18 0 13 0 118146067 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 448669 42823 1326 9 0 446280 0 [pid=32324/tid=32326] ppid=32322 vsize=1794676 CPUtime=2.23 /proc/32324/task/32326/stat : 32326 (java) R 32322 32324 31890 0 -1 64 37743 0 1 0 207 16 0 0 25 0 13 0 118146069 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109588199 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32327] ppid=32322 vsize=1794676 CPUtime=0.01 /proc/32324/task/32327/stat : 32327 (java) S 32322 32324 31890 0 -1 64 532 0 0 0 1 0 0 0 16 0 13 0 118146070 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32328] ppid=32322 vsize=1794676 CPUtime=0.01 /proc/32324/task/32328/stat : 32328 (java) S 32322 32324 31890 0 -1 64 510 0 0 0 1 0 0 0 16 0 13 0 118146070 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32329] ppid=32322 vsize=1794676 CPUtime=0 /proc/32324/task/32329/stat : 32329 (java) S 32322 32324 31890 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 118146073 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32330] ppid=32322 vsize=1794676 CPUtime=0 /proc/32324/task/32330/stat : 32330 (java) S 32322 32324 31890 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118146073 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32331] ppid=32322 vsize=1794676 CPUtime=0 /proc/32324/task/32331/stat : 32331 (java) S 32322 32324 31890 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118146073 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32332] ppid=32322 vsize=1794676 CPUtime=0 /proc/32324/task/32332/stat : 32332 (java) S 32322 32324 31890 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 118146077 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32333] ppid=32322 vsize=1794676 CPUtime=1.36 /proc/32324/task/32333/stat : 32333 (java) S 32322 32324 31890 0 -1 64 8110 0 0 0 133 3 0 0 16 0 13 0 118146077 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32334] ppid=32322 vsize=1794676 CPUtime=1.13 /proc/32324/task/32334/stat : 32334 (java) S 32322 32324 31890 0 -1 64 4402 0 0 0 112 1 0 0 16 0 13 0 118146077 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32335] ppid=32322 vsize=1794676 CPUtime=0 /proc/32324/task/32335/stat : 32335 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118146077 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32336] ppid=32322 vsize=1794676 CPUtime=0 /proc/32324/task/32336/stat : 32336 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118146077 1837748224 42823 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.8 Current children cumulated vsize (KiB) 1794676 [startup+6.30231 s] /proc/loadavg: 1.09 1.02 1.01 2/79 32340 /proc/meminfo: memFree=1661872/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1792884 CPUtime=8.18 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 57763 0 1 0 793 25 0 0 18 0 13 0 118146067 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 448221 46863 1328 9 0 445832 0 [pid=32324/tid=32326] ppid=32322 vsize=1792884 CPUtime=5.3 /proc/32324/task/32326/stat : 32326 (java) R 32322 32324 31890 0 -1 64 38705 0 1 0 514 16 0 0 25 0 13 0 118146069 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109574039 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32327] ppid=32322 vsize=1792884 CPUtime=0.1 /proc/32324/task/32327/stat : 32327 (java) S 32322 32324 31890 0 -1 64 2953 0 0 0 9 1 0 0 16 0 13 0 118146070 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32328] ppid=32322 vsize=1792884 CPUtime=0.11 /proc/32324/task/32328/stat : 32328 (java) S 32322 32324 31890 0 -1 64 2831 0 0 0 10 1 0 0 16 0 13 0 118146070 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32329] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32329/stat : 32329 (java) S 32322 32324 31890 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 118146073 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32330] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32330/stat : 32330 (java) S 32322 32324 31890 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118146073 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32331] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32331/stat : 32331 (java) S 32322 32324 31890 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118146073 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32332] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32332/stat : 32332 (java) S 32322 32324 31890 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 118146077 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32333] ppid=32322 vsize=1792884 CPUtime=1.46 /proc/32324/task/32333/stat : 32333 (java) S 32322 32324 31890 0 -1 64 8119 0 0 0 143 3 0 0 15 0 13 0 118146077 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32334] ppid=32322 vsize=1792884 CPUtime=1.16 /proc/32324/task/32334/stat : 32334 (java) S 32322 32324 31890 0 -1 64 4402 0 0 0 115 1 0 0 16 0 13 0 118146077 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32335] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32335/stat : 32335 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118146077 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32336] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32336/stat : 32336 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118146077 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32340] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32340/stat : 32340 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 118146580 1835913216 46863 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.18 Current children cumulated vsize (KiB) 1792884 [startup+12.7021 s] /proc/loadavg: 1.07 1.02 1.00 2/79 32344 /proc/meminfo: memFree=1617232/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1792884 CPUtime=14.94 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 65384 0 1 0 1464 30 0 0 18 0 13 0 118146067 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 448221 54080 1332 9 0 445832 0 [pid=32324/tid=32326] ppid=32322 vsize=1792884 CPUtime=11.57 /proc/32324/task/32326/stat : 32326 (java) R 32322 32324 31890 0 -1 64 41476 0 1 0 1139 18 0 0 20 0 13 0 118146069 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109547700 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32327] ppid=32322 vsize=1792884 CPUtime=0.21 /proc/32324/task/32327/stat : 32327 (java) S 32322 32324 31890 0 -1 64 5757 0 0 0 18 3 0 0 16 0 13 0 118146070 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32328] ppid=32322 vsize=1792884 CPUtime=0.2 /proc/32324/task/32328/stat : 32328 (java) S 32322 32324 31890 0 -1 64 4845 0 0 0 18 2 0 0 16 0 13 0 118146070 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32329] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32329/stat : 32329 (java) S 32322 32324 31890 0 -1 64 29 0 0 0 0 0 0 0 17 0 13 0 118146073 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32330] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32330/stat : 32330 (java) S 32322 32324 31890 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118146073 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32331] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32331/stat : 32331 (java) S 32322 32324 31890 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 118146073 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32332] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32332/stat : 32332 (java) S 32322 32324 31890 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 118146077 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32333] ppid=32322 vsize=1792884 CPUtime=1.54 /proc/32324/task/32333/stat : 32333 (java) S 32322 32324 31890 0 -1 64 8123 0 0 0 151 3 0 0 16 0 13 0 118146077 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32334] ppid=32322 vsize=1792884 CPUtime=1.36 /proc/32324/task/32334/stat : 32334 (java) S 32322 32324 31890 0 -1 64 4419 0 0 0 135 1 0 0 18 0 13 0 118146077 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32335] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32335/stat : 32335 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118146077 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32336] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32336/stat : 32336 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118146077 1835913216 54080 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.94 Current children cumulated vsize (KiB) 1792884 [startup+25.5028 s] /proc/loadavg: 1.06 1.01 1.00 2/79 32352 /proc/meminfo: memFree=1602576/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1792884 CPUtime=27.97 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 69908 0 1 0 2763 34 0 0 18 0 13 0 118146067 1835913216 58024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 448221 58024 1337 9 0 445832 0 [pid=32324/tid=32326] ppid=32322 vsize=1792884 CPUtime=24.19 /proc/32324/task/32326/stat : 32326 (java) R 32322 32324 31890 0 -1 64 41494 0 1 0 2401 18 0 0 17 0 13 0 118146069 1835913216 58024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109925208 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32327] ppid=32322 vsize=1792884 CPUtime=0.34 /proc/32324/task/32327/stat : 32327 (java) S 32322 32324 31890 0 -1 64 8264 0 0 0 30 4 0 0 16 0 13 0 118146070 1835913216 58024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32328] ppid=32322 vsize=1792884 CPUtime=0.34 /proc/32324/task/32328/stat : 32328 (java) S 32322 32324 31890 0 -1 64 6828 0 0 0 31 3 0 0 16 0 13 0 118146070 1835913216 58024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32329] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32329/stat : 32329 (java) S 32322 32324 31890 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 118146073 1835913216 58024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32330] ppid=32322 vsize=1792884 CPUtime=0 /proc/32324/task/32330/stat : 32330 (java) S 32322 32324 31890 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118146073 1835913216 58024 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 ################ # More data... # ################ [pid=32324/tid=32329] ppid=32322 vsize=1793208 CPUtime=0.22 /proc/32324/task/32329/stat : 32329 (java) S 32322 32324 31890 0 -1 64 107 0 0 0 13 9 0 0 15 0 13 0 118146073 1836244992 138346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32330] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32330/stat : 32330 (java) S 32322 32324 31890 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118146073 1836244992 138346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32331] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32331/stat : 32331 (java) S 32322 32324 31890 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 118146073 1836244992 138346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32332] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32332/stat : 32332 (java) S 32322 32324 31890 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 118146077 1836244992 138346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32333] ppid=32322 vsize=1793208 CPUtime=2.32 /proc/32324/task/32333/stat : 32333 (java) S 32322 32324 31890 0 -1 64 10629 0 0 0 228 4 0 0 16 0 13 0 118146077 1836244992 138346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32334] ppid=32322 vsize=1793208 CPUtime=1.72 /proc/32324/task/32334/stat : 32334 (java) S 32322 32324 31890 0 -1 64 4431 0 0 0 171 1 0 0 17 0 13 0 118146077 1836244992 138346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32335] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32335/stat : 32335 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118146077 1836244992 138346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32336] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32336/stat : 32336 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118146077 1836244992 138346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32513] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32513/stat : 32513 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 118300264 1836244992 138346 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1562.05 Current children cumulated vsize (KiB) 1793208 [startup+1602.3 s] /proc/loadavg: 1.02 1.04 1.00 2/79 32516 /proc/meminfo: memFree=1269744/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1793208 CPUtime=1622.86 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 200577 0 1 0 162183 103 0 0 18 0 13 0 118146067 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 448302 139856 1337 9 0 445913 0 [pid=32324/tid=32326] ppid=32322 vsize=1793208 CPUtime=1582.02 /proc/32324/task/32326/stat : 32326 (java) R 32322 32324 31890 0 -1 64 57973 0 1 0 158172 30 0 0 25 0 13 0 118146069 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109547700 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32327] ppid=32322 vsize=1793208 CPUtime=18.23 /proc/32324/task/32327/stat : 32327 (java) S 32322 32324 31890 0 -1 64 63523 0 0 0 1797 26 0 0 17 0 13 0 118146070 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32328] ppid=32322 vsize=1793208 CPUtime=18.25 /proc/32324/task/32328/stat : 32328 (java) S 32322 32324 31890 0 -1 64 62905 0 0 0 1797 28 0 0 16 0 13 0 118146070 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32329] ppid=32322 vsize=1793208 CPUtime=0.23 /proc/32324/task/32329/stat : 32329 (java) S 32322 32324 31890 0 -1 64 107 0 0 0 14 9 0 0 16 0 13 0 118146073 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32330] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32330/stat : 32330 (java) S 32322 32324 31890 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118146073 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32331] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32331/stat : 32331 (java) S 32322 32324 31890 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 118146073 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32332] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32332/stat : 32332 (java) S 32322 32324 31890 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 118146077 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32333] ppid=32322 vsize=1793208 CPUtime=2.32 /proc/32324/task/32333/stat : 32333 (java) S 32322 32324 31890 0 -1 64 10629 0 0 0 228 4 0 0 16 0 13 0 118146077 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32334] ppid=32322 vsize=1793208 CPUtime=1.72 /proc/32324/task/32334/stat : 32334 (java) S 32322 32324 31890 0 -1 64 4431 0 0 0 171 1 0 0 17 0 13 0 118146077 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32335] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32335/stat : 32335 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118146077 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32336] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32336/stat : 32336 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118146077 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32516] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32516/stat : 32516 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 118305504 1836244992 139856 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1622.86 Current children cumulated vsize (KiB) 1793208 [startup+1662.3 s] /proc/loadavg: 1.00 1.03 1.00 2/79 32519 /proc/meminfo: memFree=1263128/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1793208 CPUtime=1683.7 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 202460 0 1 0 168266 104 0 0 18 0 13 0 118146067 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 448302 141492 1337 9 0 445913 0 [pid=32324/tid=32326] ppid=32322 vsize=1793208 CPUtime=1641.11 /proc/32324/task/32326/stat : 32326 (java) S 32322 32324 31890 0 -1 64 57995 0 1 0 164081 30 0 0 25 0 13 0 118146069 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32327] ppid=32322 vsize=1793208 CPUtime=19.09 /proc/32324/task/32327/stat : 32327 (java) R 32322 32324 31890 0 -1 64 64721 0 0 0 1883 26 0 0 16 0 13 0 118146070 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070795 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32328] ppid=32322 vsize=1793208 CPUtime=19.12 /proc/32324/task/32328/stat : 32328 (java) R 32322 32324 31890 0 -1 64 63563 0 0 0 1883 29 0 0 16 0 13 0 118146070 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070793 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32329] ppid=32322 vsize=1793208 CPUtime=0.23 /proc/32324/task/32329/stat : 32329 (java) S 32322 32324 31890 0 -1 64 107 0 0 0 14 9 0 0 15 0 13 0 118146073 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32330] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32330/stat : 32330 (java) S 32322 32324 31890 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118146073 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32331] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32331/stat : 32331 (java) S 32322 32324 31890 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 118146073 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32332] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32332/stat : 32332 (java) S 32322 32324 31890 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 118146077 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32333] ppid=32322 vsize=1793208 CPUtime=2.32 /proc/32324/task/32333/stat : 32333 (java) S 32322 32324 31890 0 -1 64 10629 0 0 0 228 4 0 0 16 0 13 0 118146077 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32334] ppid=32322 vsize=1793208 CPUtime=1.72 /proc/32324/task/32334/stat : 32334 (java) S 32322 32324 31890 0 -1 64 4431 0 0 0 171 1 0 0 17 0 13 0 118146077 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32335] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32335/stat : 32335 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118146077 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32336] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32336/stat : 32336 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118146077 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32519] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32519/stat : 32519 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 118310817 1836244992 141492 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1683.7 Current children cumulated vsize (KiB) 1793208 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/79 32522 /proc/meminfo: memFree=1256640/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1793208 CPUtime=1744.58 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 204357 0 1 0 174352 106 0 0 18 0 13 0 118146067 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 448302 143162 1337 9 0 445913 0 [pid=32324/tid=32326] ppid=32322 vsize=1793208 CPUtime=1700.17 /proc/32324/task/32326/stat : 32326 (java) R 32322 32324 31890 0 -1 64 58018 0 1 0 169987 30 0 0 25 0 13 0 118146069 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109512969 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32327] ppid=32322 vsize=1793208 CPUtime=20 /proc/32324/task/32327/stat : 32327 (java) S 32322 32324 31890 0 -1 64 65580 0 0 0 1973 27 0 0 16 0 13 0 118146070 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32328] ppid=32322 vsize=1793208 CPUtime=20.03 /proc/32324/task/32328/stat : 32328 (java) S 32322 32324 31890 0 -1 64 64572 0 0 0 1974 29 0 0 16 0 13 0 118146070 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32329] ppid=32322 vsize=1793208 CPUtime=0.23 /proc/32324/task/32329/stat : 32329 (java) S 32322 32324 31890 0 -1 64 107 0 0 0 14 9 0 0 16 0 13 0 118146073 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32330] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32330/stat : 32330 (java) S 32322 32324 31890 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118146073 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32331] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32331/stat : 32331 (java) S 32322 32324 31890 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 118146073 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32332] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32332/stat : 32332 (java) S 32322 32324 31890 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 118146077 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32333] ppid=32322 vsize=1793208 CPUtime=2.32 /proc/32324/task/32333/stat : 32333 (java) S 32322 32324 31890 0 -1 64 10629 0 0 0 228 4 0 0 16 0 13 0 118146077 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32334] ppid=32322 vsize=1793208 CPUtime=1.72 /proc/32324/task/32334/stat : 32334 (java) S 32322 32324 31890 0 -1 64 4431 0 0 0 171 1 0 0 17 0 13 0 118146077 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32335] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32335/stat : 32335 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118146077 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32336] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32336/stat : 32336 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118146077 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32522] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32522/stat : 32522 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 118316638 1836244992 143162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1744.58 Current children cumulated vsize (KiB) 1793208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1777 s] /proc/loadavg: 1.03 1.03 1.00 2/79 32525 /proc/meminfo: memFree=1252008/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=1793208 CPUtime=1800.02 /proc/32324/stat : 32324 (java) S 32322 32324 31890 0 -1 0 205543 0 1 0 179895 107 0 0 18 0 13 0 118146067 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32324/statm: 448302 144226 1337 9 0 445913 0 [pid=32324/tid=32326] ppid=32322 vsize=1793208 CPUtime=1754.1 /proc/32324/task/32326/stat : 32326 (java) R 32322 32324 31890 0 -1 64 58038 0 1 0 175380 30 0 0 22 0 13 0 118146069 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109544402 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32327] ppid=32322 vsize=1793208 CPUtime=20.76 /proc/32324/task/32327/stat : 32327 (java) S 32322 32324 31890 0 -1 64 65949 0 0 0 2049 27 0 0 16 0 13 0 118146070 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32328] ppid=32322 vsize=1793208 CPUtime=20.78 /proc/32324/task/32328/stat : 32328 (java) S 32322 32324 31890 0 -1 64 65364 0 0 0 2048 30 0 0 16 0 13 0 118146070 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32329] ppid=32322 vsize=1793208 CPUtime=0.24 /proc/32324/task/32329/stat : 32329 (java) S 32322 32324 31890 0 -1 64 107 0 0 0 15 9 0 0 15 0 13 0 118146073 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32330] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32330/stat : 32330 (java) S 32322 32324 31890 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118146073 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32331] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32331/stat : 32331 (java) S 32322 32324 31890 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 118146073 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32332] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32332/stat : 32332 (java) S 32322 32324 31890 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 118146077 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32333] ppid=32322 vsize=1793208 CPUtime=2.32 /proc/32324/task/32333/stat : 32333 (java) S 32322 32324 31890 0 -1 64 10629 0 0 0 228 4 0 0 16 0 13 0 118146077 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32334] ppid=32322 vsize=1793208 CPUtime=1.72 /proc/32324/task/32334/stat : 32334 (java) S 32322 32324 31890 0 -1 64 4431 0 0 0 171 1 0 0 17 0 13 0 118146077 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32335] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32335/stat : 32335 (java) S 32322 32324 31890 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118146077 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32324/tid=32336] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32336/stat : 32336 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118146077 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32324/tid=32525] ppid=32322 vsize=1793208 CPUtime=0 /proc/32324/task/32525/stat : 32525 (java) S 32322 32324 31890 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 118323699 1836244992 144226 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1793208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1777.11 s] /proc/loadavg: 1.03 1.03 1.00 2/79 32525 /proc/meminfo: memFree=1252008/2055920 swapFree=4183732/4192956 [pid=32324] ppid=32322 vsize=0 CPUtime=1800.14 /proc/32324/stat : 32324 (java) Z 32322 32324 31890 0 -1 1036 205558 0 1 0 179901 113 0 0 16 0 2 0 118146067 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32324/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1777.14 CPU time (s): 1800.18 CPU user time (s): 1799.01 CPU system time (s): 1.16482 CPU usage (%): 101.296 Max. virtual memory (cumulated for all children) (KiB): 1799640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.01 system time used= 1.16482 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 205558 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46106 involuntary context switches= 41174 runsolver used 1.91171 second user time and 5.48017 second system time The end
Begin job on node54 on Mon Apr 16 07:15:16 UTC 2007 IDJOB= 354401 IDBENCH= 2510 IDSOLVER= 164 FILE ID= node54/354401-1176707716 PBS_JOBID= 4560051 Free space on /tmp= 66448 MiB SOLVER NAME= sat4jPseudoCPClause 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354401-1176707716/sat4jPseudoCPClause.jar /tmp/evaluation/354401-1176707716/instance-354401-1176707716.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-354401-1176707716 -o ROOT/results/node54/solver-354401-1176707716 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354401-1176707716/sat4jPseudoCPClause.jar /tmp/evaluation/354401-1176707716/instance-354401-1176707716.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 1a1687e6de95bc6822d45f4331f81d44 RANDOM SEED= 373513197 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1828872 kB Buffers: 6100 kB Cached: 152496 kB SwapCached: 2156 kB Active: 38384 kB Inactive: 130140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828872 kB SwapTotal: 4192956 kB SwapFree: 4183732 kB Dirty: 3680 kB Writeback: 0 kB Mapped: 16644 kB Slab: 44428 kB Committed_AS: 1984132 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66448 MiB End job on node54 on Mon Apr 16 07:44:55 UTC 2007