Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 97 | 1800.45 | 1797.06 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 1802.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1901 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6214 |
Number of bits of the biggest sum of numbers | 13 |
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-2008 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.1.1.v20090612 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 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 1342000320 0.08/0.15 c Max memory 1344274432 0.08/0.15 c Total memory 1344274432 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c MiniSAT restarts strategy 0.22/0.22 c Memory based learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-1856741-1244923735.opb 0.22/0.22 c reading problem ... 0.33/0.33 c ... done. Wall clock time 0.116s. 0.33/0.33 c #vars 172 0.33/0.33 c #constraints 14 0.33/0.33 c constraints type 0.33/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 14 0.70/0.58 c SATISFIABLE 0.70/0.58 c OPTIMIZING... 0.70/0.59 c Got one! Elapsed wall clock time (in seconds):0.37 0.70/0.59 o 2837 0.88/0.66 c Got one! Elapsed wall clock time (in seconds):0.445 0.88/0.66 o 2835 1.04/0.70 c Got one! Elapsed wall clock time (in seconds):0.486 1.04/0.70 o 2834 1.04/0.75 c Got one! Elapsed wall clock time (in seconds):0.532 1.04/0.75 o 2833 1.04/0.79 c Got one! Elapsed wall clock time (in seconds):0.572 1.04/0.79 o 2831 1.19/0.82 c Got one! Elapsed wall clock time (in seconds):0.601 1.19/0.82 o 2830 1.19/0.86 c Got one! Elapsed wall clock time (in seconds):0.64 1.19/0.86 o 2823 1.19/0.88 c Got one! Elapsed wall clock time (in seconds):0.667 1.19/0.88 o 2811 1.36/0.91 c Got one! Elapsed wall clock time (in seconds):0.695 1.36/0.91 o 2727 1.36/0.94 c Got one! Elapsed wall clock time (in seconds):0.722 1.36/0.94 o 2725 1.36/0.97 c Got one! Elapsed wall clock time (in seconds):0.75 1.36/0.97 o 2591 1.36/0.99 c Got one! Elapsed wall clock time (in seconds):0.777 1.36/0.99 o 2589 1.46/1.03 c Got one! Elapsed wall clock time (in seconds):0.81 1.46/1.03 o 2586 1.46/1.06 c Got one! Elapsed wall clock time (in seconds):0.847 1.46/1.06 o 2565 1.46/1.10 c Got one! Elapsed wall clock time (in seconds):0.885 1.46/1.10 o 2551 1.60/1.14 c Got one! Elapsed wall clock time (in seconds):0.922 1.60/1.14 o 2522 1.60/1.17 c Got one! Elapsed wall clock time (in seconds):0.953 1.60/1.17 o 2366 1.80/1.27 c Got one! Elapsed wall clock time (in seconds):1.058 1.80/1.27 o 2365 2.00/1.31 c Got one! Elapsed wall clock time (in seconds):1.099 2.00/1.31 o 2344 2.00/1.34 c Got one! Elapsed wall clock time (in seconds):1.126 2.00/1.34 o 2340 2.19/1.46 c Got one! Elapsed wall clock time (in seconds):1.248 2.19/1.46 o 2339 2.39/1.51 c Got one! Elapsed wall clock time (in seconds):1.299 2.39/1.51 o 1886 2.59/1.62 c Got one! Elapsed wall clock time (in seconds):1.405 2.59/1.62 o 1885 2.59/1.65 c Got one! Elapsed wall clock time (in seconds):1.438 2.59/1.65 o 1452 2.73/1.70 c Got one! Elapsed wall clock time (in seconds):1.487 2.73/1.70 o 736 2.73/1.76 c Got one! Elapsed wall clock time (in seconds):1.545 2.73/1.76 o 735 2.90/1.82 c Got one! Elapsed wall clock time (in seconds):1.602 2.90/1.82 o 734 2.90/1.88 c Got one! Elapsed wall clock time (in seconds):1.662 2.90/1.88 o 733 3.04/1.94 c Got one! Elapsed wall clock time (in seconds):1.72 3.04/1.94 o 731 3.04/1.99 c Got one! Elapsed wall clock time (in seconds):1.774 3.04/1.99 o 730 3.18/2.05 c Got one! Elapsed wall clock time (in seconds):1.838 3.18/2.06 o 728 3.29/2.12 c Got one! Elapsed wall clock time (in seconds):1.902 3.29/2.12 o 727 3.29/2.19 c Got one! Elapsed wall clock time (in seconds):1.971 3.29/2.19 o 706 3.39/2.25 c Got one! Elapsed wall clock time (in seconds):2.035 3.39/2.25 o 704 3.49/2.31 c Got one! Elapsed wall clock time (in seconds):2.09 3.49/2.31 o 703 3.49/2.36 c Got one! Elapsed wall clock time (in seconds):2.149 3.49/2.36 o 702 3.59/2.42 c Got one! Elapsed wall clock time (in seconds):2.208 3.59/2.42 o 701 3.59/2.48 c Got one! Elapsed wall clock time (in seconds):2.264 3.59/2.48 o 700 3.69/2.54 c Got one! Elapsed wall clock time (in seconds):2.323 3.69/2.54 o 699 3.79/2.60 c Got one! Elapsed wall clock time (in seconds):2.385 3.79/2.60 o 649 3.79/2.66 c Got one! Elapsed wall clock time (in seconds):2.442 3.79/2.66 o 647 3.89/2.73 c Got one! Elapsed wall clock time (in seconds):2.518 3.89/2.73 o 645 3.99/2.80 c Got one! Elapsed wall clock time (in seconds):2.587 3.99/2.80 o 644 3.99/2.87 c Got one! Elapsed wall clock time (in seconds):2.657 3.99/2.87 o 643 4.28/3.06 c Got one! Elapsed wall clock time (in seconds):2.847 4.28/3.06 o 642 4.38/3.13 c Got one! Elapsed wall clock time (in seconds):2.912 4.38/3.13 o 641 4.65/3.35 c Got one! Elapsed wall clock time (in seconds):3.139 4.65/3.35 o 639 4.74/3.42 c Got one! Elapsed wall clock time (in seconds):3.208 4.74/3.42 o 625 4.84/3.50 c Got one! Elapsed wall clock time (in seconds):3.287 4.84/3.50 o 623 4.94/3.66 c Got one! Elapsed wall clock time (in seconds):3.444 4.94/3.66 o 622 5.04/3.74 c Got one! Elapsed wall clock time (in seconds):3.523 5.04/3.74 o 620 5.14/3.81 c Got one! Elapsed wall clock time (in seconds):3.59 5.14/3.81 o 619 5.14/3.88 c Got one! Elapsed wall clock time (in seconds):3.661 5.14/3.88 o 617 5.34/4.07 c Got one! Elapsed wall clock time (in seconds):3.852 5.34/4.07 o 616 5.44/4.13 c Got one! Elapsed wall clock time (in seconds):3.917 5.44/4.13 o 611 5.54/4.21 c Got one! Elapsed wall clock time (in seconds):3.992 5.54/4.21 o 609 5.54/4.27 c Got one! Elapsed wall clock time (in seconds):4.057 5.54/4.27 o 555 5.65/4.38 c Got one! Elapsed wall clock time (in seconds):4.16 5.65/4.38 o 554 5.76/4.45 c Got one! Elapsed wall clock time (in seconds):4.231 5.76/4.45 o 553 5.97/4.65 c Got one! Elapsed wall clock time (in seconds):4.433 5.97/4.65 o 551 6.07/4.73 c Got one! Elapsed wall clock time (in seconds):4.511 6.07/4.73 o 550 6.17/4.81 c Got one! Elapsed wall clock time (in seconds):4.591 6.17/4.81 o 548 6.17/4.88 c Got one! Elapsed wall clock time (in seconds):4.667 6.17/4.88 o 547 6.27/4.95 c Got one! Elapsed wall clock time (in seconds):4.734 6.27/4.95 o 546 6.37/5.03 c Got one! Elapsed wall clock time (in seconds):4.81 6.37/5.03 o 544 6.47/5.10 c Got one! Elapsed wall clock time (in seconds):4.885 6.47/5.10 o 542 6.47/5.19 c Got one! Elapsed wall clock time (in seconds):4.973 6.47/5.19 o 541 6.58/5.25 c Got one! Elapsed wall clock time (in seconds):5.036 6.58/5.25 o 539 6.68/5.32 c Got one! Elapsed wall clock time (in seconds):5.103 6.68/5.32 o 538 6.68/5.40 c Got one! Elapsed wall clock time (in seconds):5.18 6.68/5.40 o 537 6.98/5.62 c Got one! Elapsed wall clock time (in seconds):5.4 6.98/5.62 o 536 7.08/5.70 c Got one! Elapsed wall clock time (in seconds):5.483 7.08/5.70 o 533 7.08/5.78 c Got one! Elapsed wall clock time (in seconds):5.568 7.08/5.78 o 532 7.18/5.86 c Got one! Elapsed wall clock time (in seconds):5.649 7.18/5.86 o 531 7.28/5.96 c Got one! Elapsed wall clock time (in seconds):5.737 7.28/5.96 o 527 7.40/6.03 c Got one! Elapsed wall clock time (in seconds):5.817 7.40/6.03 o 526 7.50/6.11 c Got one! Elapsed wall clock time (in seconds):5.893 7.50/6.11 o 525 7.50/6.19 c Got one! Elapsed wall clock time (in seconds):5.974 7.50/6.19 o 523 7.60/6.27 c Got one! Elapsed wall clock time (in seconds):6.051 7.60/6.27 o 522 7.70/6.35 c Got one! Elapsed wall clock time (in seconds):6.134 7.70/6.35 o 489 7.81/6.45 c Got one! Elapsed wall clock time (in seconds):6.231 7.81/6.45 o 487 7.93/6.53 c Got one! Elapsed wall clock time (in seconds):6.312 7.93/6.53 o 486 8.03/6.63 c Got one! Elapsed wall clock time (in seconds):6.41 8.03/6.63 o 485 8.12/6.71 c Got one! Elapsed wall clock time (in seconds):6.499 8.12/6.71 o 483 8.72/7.33 c Got one! Elapsed wall clock time (in seconds):7.116 8.72/7.33 o 481 8.82/7.44 c Got one! Elapsed wall clock time (in seconds):7.22 8.82/7.44 o 259 9.75/8.32 c Got one! Elapsed wall clock time (in seconds):8.106 9.75/8.32 o 257 10.05/8.65 c Got one! Elapsed wall clock time (in seconds):8.435 10.05/8.65 o 255 10.55/9.12 c Got one! Elapsed wall clock time (in seconds):8.909 10.55/9.12 o 254 11.45/10.02 c Got one! Elapsed wall clock time (in seconds):9.802 11.45/10.02 o 253 11.66/10.30 c Got one! Elapsed wall clock time (in seconds):10.08 11.66/10.30 o 252 12.20/10.78 c Got one! Elapsed wall clock time (in seconds):10.564 12.20/10.78 o 251 12.69/11.21 c Got one! Elapsed wall clock time (in seconds):10.997 12.69/11.21 o 249 13.99/12.53 c Got one! Elapsed wall clock time (in seconds):12.314 13.99/12.53 o 247 14.60/13.17 c Got one! Elapsed wall clock time (in seconds):12.957 14.60/13.17 o 246 15.12/13.63 c Got one! Elapsed wall clock time (in seconds):13.417 15.12/13.63 o 245 15.32/13.84 c Got one! Elapsed wall clock time (in seconds):13.62 15.32/13.84 o 243 16.12/14.65 c Got one! Elapsed wall clock time (in seconds):14.435 16.12/14.65 o 241 17.42/15.97 c Got one! Elapsed wall clock time (in seconds):15.752 17.42/15.97 o 239 17.72/16.23 c Got one! Elapsed wall clock time (in seconds):16.019 17.72/16.24 o 237 17.93/16.44 c Got one! Elapsed wall clock time (in seconds):16.224 17.93/16.44 o 235 18.12/16.61 c Got one! Elapsed wall clock time (in seconds):16.393 18.12/16.61 o 234 18.42/16.93 c Got one! Elapsed wall clock time (in seconds):16.714 18.42/16.93 o 233 18.82/17.31 c Got one! Elapsed wall clock time (in seconds):17.098 18.82/17.31 o 232 19.03/17.59 c Got one! Elapsed wall clock time (in seconds):17.373 19.03/17.59 o 230 19.22/17.79 c Got one! Elapsed wall clock time (in seconds):17.57 19.22/17.79 o 228 19.96/18.49 c Got one! Elapsed wall clock time (in seconds):18.277 19.96/18.49 o 226 20.56/19.00 c Got one! Elapsed wall clock time (in seconds):18.789 20.56/19.00 o 225 21.06/19.58 c Got one! Elapsed wall clock time (in seconds):19.366 21.06/19.58 o 223 22.36/20.86 c Got one! Elapsed wall clock time (in seconds):20.649 22.36/20.86 o 222 22.86/21.33 c Got one! Elapsed wall clock time (in seconds):21.118 22.86/21.33 o 220 23.36/21.88 c Got one! Elapsed wall clock time (in seconds):21.665 23.36/21.88 o 218 24.50/22.95 c Got one! Elapsed wall clock time (in seconds):22.739 24.50/22.95 o 216 24.99/23.46 c Got one! Elapsed wall clock time (in seconds):23.245 24.99/23.46 o 214 25.19/23.66 c Got one! Elapsed wall clock time (in seconds):23.445 25.19/23.66 o 213 26.09/24.52 c Got one! Elapsed wall clock time (in seconds):24.306 26.09/24.52 o 211 26.90/25.30 c Got one! Elapsed wall clock time (in seconds):25.089 26.90/25.30 o 209 27.79/26.30 c Got one! Elapsed wall clock time (in seconds):26.082 27.79/26.30 o 208 28.89/27.38 c Got one! Elapsed wall clock time (in seconds):27.165 28.89/27.38 o 207 29.44/27.81 c Got one! Elapsed wall clock time (in seconds):27.594 29.44/27.81 o 205 43.51/41.83 c Got one! Elapsed wall clock time (in seconds):41.611 43.51/41.83 o 203 46.43/44.72 c Got one! Elapsed wall clock time (in seconds):44.505 46.43/44.72 o 202 47.13/45.46 c Got one! Elapsed wall clock time (in seconds):45.247 47.13/45.46 o 201 49.04/47.34 c Got one! Elapsed wall clock time (in seconds):47.12 49.04/47.34 o 200 51.53/49.86 c Got one! Elapsed wall clock time (in seconds):49.643 51.53/49.86 o 198 53.04/51.31 c Got one! Elapsed wall clock time (in seconds):51.097 53.04/51.31 o 197 56.65/54.94 c Got one! Elapsed wall clock time (in seconds):54.727 56.65/54.94 o 196 58.54/56.89 c Got one! Elapsed wall clock time (in seconds):56.676 58.54/56.89 o 195 60.14/58.42 c Got one! Elapsed wall clock time (in seconds):58.202 60.14/58.42 o 193 69.38/67.62 c Got one! Elapsed wall clock time (in seconds):67.403 69.38/67.62 o 189 75.88/74.14 c Got one! Elapsed wall clock time (in seconds):73.927 75.88/74.14 o 188 79.10/77.36 c Got one! Elapsed wall clock time (in seconds):77.144 79.10/77.36 o 187 81.80/80.08 c Got one! Elapsed wall clock time (in seconds):79.869 81.80/80.08 o 186 83.20/81.43 c Got one! Elapsed wall clock time (in seconds):81.214 83.20/81.43 o 185 93.02/91.29 c Got one! Elapsed wall clock time (in seconds):91.07 93.02/91.29 o 184 106.75/104.92 c Got one! Elapsed wall clock time (in seconds):104.707 106.75/104.92 o 182 109.35/107.50 c Got one! Elapsed wall clock time (in seconds):107.285 109.35/107.50 o 181 110.05/108.23 c Got one! Elapsed wall clock time (in seconds):108.019 110.05/108.23 o 180 110.85/109.01 c Got one! Elapsed wall clock time (in seconds):108.796 110.85/109.01 o 179 113.75/111.96 c Got one! Elapsed wall clock time (in seconds):111.745 113.75/111.96 o 177 115.35/113.60 c Got one! Elapsed wall clock time (in seconds):113.38 115.35/113.60 o 175 122.06/120.26 c Got one! Elapsed wall clock time (in seconds):120.042 122.06/120.26 o 174 125.27/123.41 c Got one! Elapsed wall clock time (in seconds):123.192 125.27/123.41 o 172 127.36/125.54 c Got one! Elapsed wall clock time (in seconds):125.325 127.36/125.54 o 171 129.16/127.36 c Got one! Elapsed wall clock time (in seconds):127.142 129.16/127.36 o 167 132.56/130.74 c Got one! Elapsed wall clock time (in seconds):130.523 132.56/130.74 o 165 158.32/156.40 c Got one! Elapsed wall clock time (in seconds):156.184 158.32/156.40 o 163 160.82/158.93 c Got one! Elapsed wall clock time (in seconds):158.715 160.82/158.93 o 162 163.63/161.74 c Got one! Elapsed wall clock time (in seconds):161.52 163.63/161.74 o 161 175.35/173.45 c Got one! Elapsed wall clock time (in seconds):173.23 175.35/173.45 o 160 179.45/177.51 c Got one! Elapsed wall clock time (in seconds):177.296 179.45/177.51 o 159 181.65/179.73 c Got one! Elapsed wall clock time (in seconds):179.518 181.65/179.73 o 158 264.18/262.17 c Got one! Elapsed wall clock time (in seconds):261.95 264.18/262.17 o 156 270.28/268.20 c Got one! Elapsed wall clock time (in seconds):267.986 270.28/268.20 o 154 271.88/269.88 c Got one! Elapsed wall clock time (in seconds):269.666 271.88/269.88 o 152 276.20/274.17 c Got one! Elapsed wall clock time (in seconds):273.955 276.20/274.17 o 151 288.10/286.07 c Got one! Elapsed wall clock time (in seconds):285.858 288.10/286.07 o 150 306.32/304.20 c Got one! Elapsed wall clock time (in seconds):303.988 306.32/304.20 o 149 417.74/415.54 c Got one! Elapsed wall clock time (in seconds):415.326 417.74/415.54 o 147 451.72/449.46 c Got one! Elapsed wall clock time (in seconds):449.245 451.72/449.46 o 146 453.52/451.28 c Got one! Elapsed wall clock time (in seconds):451.069 453.52/451.29 o 145 465.42/463.11 c Got one! Elapsed wall clock time (in seconds):462.894 465.42/463.11 o 143 486.55/484.23 c Got one! Elapsed wall clock time (in seconds):484.015 486.55/484.23 o 142 487.95/485.63 c Got one! Elapsed wall clock time (in seconds):485.417 487.95/485.63 o 141 500.15/497.82 c Got one! Elapsed wall clock time (in seconds):497.602 500.15/497.82 o 139 520.38/518.07 c Got one! Elapsed wall clock time (in seconds):517.85 520.38/518.07 o 137 532.37/530.09 c Got one! Elapsed wall clock time (in seconds):529.877 532.37/530.09 o 135 536.67/534.39 c Got one! Elapsed wall clock time (in seconds):534.174 536.67/534.39 o 134 543.17/540.81 c Got one! Elapsed wall clock time (in seconds):540.59 543.17/540.81 o 132 1145.05/1142.13 c Got one! Elapsed wall clock time (in seconds):1141.911 1145.05/1142.13 o 131 1149.64/1146.79 c Got one! Elapsed wall clock time (in seconds):1146.573 1149.64/1146.79 o 130 1153.94/1151.05 c Got one! Elapsed wall clock time (in seconds):1150.832 1153.94/1151.05 o 128 1194.93/1192.06 c Got one! Elapsed wall clock time (in seconds):1191.84 1194.93/1192.06 o 127 1205.39/1202.47 c Got one! Elapsed wall clock time (in seconds):1202.255 1205.39/1202.47 o 126 1208.49/1205.56 c Got one! Elapsed wall clock time (in seconds):1205.345 1208.49/1205.56 o 125 1220.08/1217.17 c Got one! Elapsed wall clock time (in seconds):1216.959 1220.08/1217.17 o 124 1267.32/1264.38 c Got one! Elapsed wall clock time (in seconds):1264.166 1267.32/1264.38 o 123 1319.05/1316.05 c Got one! Elapsed wall clock time (in seconds):1315.836 1319.05/1316.05 o 122 1368.84/1365.89 c Got one! Elapsed wall clock time (in seconds):1365.672 1368.84/1365.89 o 120 1379.99/1376.98 c Got one! Elapsed wall clock time (in seconds):1376.767 1379.99/1376.98 o 118 1397.19/1394.17 c Got one! Elapsed wall clock time (in seconds):1393.957 1397.19/1394.17 o 116 1530.33/1527.23 c Got one! Elapsed wall clock time (in seconds):1527.014 1530.33/1527.23 o 115 1541.87/1538.75 c Got one! Elapsed wall clock time (in seconds):1538.534 1541.87/1538.75 o 113 1568.06/1564.92 c Got one! Elapsed wall clock time (in seconds):1564.7 1568.06/1564.92 o 112 1610.40/1607.28 c Got one! Elapsed wall clock time (in seconds):1607.063 1610.40/1607.28 o 110 1637.49/1634.33 c Got one! Elapsed wall clock time (in seconds):1634.112 1637.49/1634.33 o 108 1660.50/1657.39 c Got one! Elapsed wall clock time (in seconds):1657.172 1660.50/1657.39 o 106 1675.13/1671.93 c Got one! Elapsed wall clock time (in seconds):1671.717 1675.13/1671.93 o 104 1719.33/1716.16 c Got one! Elapsed wall clock time (in seconds):1715.946 1719.33/1716.16 o 102 1722.12/1718.95 c Got one! Elapsed wall clock time (in seconds):1718.733 1722.12/1718.95 o 101 1754.26/1751.06 c Got one! Elapsed wall clock time (in seconds):1750.841 1754.26/1751.06 o 100 1772.85/1769.60 c Got one! Elapsed wall clock time (in seconds):1769.382 1772.85/1769.60 o 99 1798.34/1795.16 c Got one! Elapsed wall clock time (in seconds):1794.948 1798.34/1795.16 o 97 1800.04/1796.81 c starts : 984 1800.04/1796.81 c conflicts : 788644 1800.04/1796.81 c decisions : 980269 1800.04/1796.81 c propagations : 13792863 1800.04/1796.81 c inspects : 4498259372 1800.04/1796.81 c learnt literals : 0 1800.04/1796.81 c learnt binary clauses : 0 1800.04/1796.81 c learnt ternary clauses : 0 1800.04/1796.81 c learnt clauses : 788644 1800.04/1796.81 c ignored clauses : 0 1800.04/1796.81 c root simplifications : 0 1800.04/1796.81 c removed literals (reason simplification) : 9536346 1800.04/1796.81 c reason swapping (by a shorter reason) : 0 1800.04/1796.81 c Calls to reduceDB : 0 1800.04/1796.81 c speed (assignments/second) : 8374537.340619308 1800.04/1796.81 c non guided choices 5279 1800.25/1796.95 c learnt constraints type 1800.25/1796.95 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 788651 1800.25/1796.95 c constraints type 1800.25/1796.95 c org.sat4j.pb.constraints.pb.MaxWatchPb => 15 1800.25/1796.95 s SATISFIABLE 1800.25/1796.95 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 1800.25/1796.95 c objective function=97 1800.25/1796.95 c Total wall clock time (in seconds): 1796.735
OK 97
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856741-1244923735/watcher-1856741-1244923735 -o /tmp/evaluation-result-1856741-1244923735/solver-1856741-1244923735 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856741-1244923735.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17393 /proc/meminfo: memFree=1407824/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=152 CPUtime=0 /proc/17393/stat : 17393 (java6) R 17391 17393 17306 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 159970342 155648 26 1992294400 134512640 134550932 4294956176 18446744073709551615 12407083 0 0 4096 0 0 0 0 17 1 0 0 /proc/17393/statm: 38 26 19 9 0 4 0 [startup+0.038897 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17393 /proc/meminfo: memFree=1407824/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1468752 CPUtime=0.02 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 2983 0 1 0 1 1 0 0 18 0 4 0 159970342 1504002048 2730 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 367188 2730 938 9 0 364539 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1468752 [startup+0.101903 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17393 /proc/meminfo: memFree=1407824/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1472584 CPUtime=0.08 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 3609 0 1 0 6 2 0 0 18 0 12 0 159970342 1507926016 3352 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 368146 3352 1068 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.301926 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17393 /proc/meminfo: memFree=1407824/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1474640 CPUtime=0.33 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 4975 0 1 0 30 3 0 0 18 0 12 0 159970342 1510031360 4713 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 368660 4713 1352 9 0 366003 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1474640 [startup+0.70197 s] /proc/loadavg: 1.00 1.00 1.00 3/64 17393 /proc/meminfo: memFree=1407824/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1479600 CPUtime=1.04 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 7756 0 1 0 100 4 0 0 18 0 13 0 159970342 1515110400 7026 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 369900 7026 1414 9 0 367243 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 1479600 [startup+1.50207 s] /proc/loadavg: 1.08 1.02 1.01 2/77 17406 /proc/meminfo: memFree=1370408/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1490884 CPUtime=2.39 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 20295 0 1 0 230 9 0 0 18 0 13 0 159970342 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 372721 17433 1421 9 0 370064 0 [pid=17393/tid=17395] ppid=17391 vsize=1490884 CPUtime=1.1 /proc/17393/task/17395/stat : 17395 (java) R 17391 17393 17306 0 -1 64 12788 0 1 0 104 6 0 0 19 0 13 0 159970344 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4109140930 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17396] ppid=17391 vsize=1490884 CPUtime=0 /proc/17393/task/17396/stat : 17396 (java) S 17391 17393 17306 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 159970345 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17397] ppid=17391 vsize=1490884 CPUtime=0 /proc/17393/task/17397/stat : 17397 (java) S 17391 17393 17306 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 159970345 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17398] ppid=17391 vsize=1490884 CPUtime=0 /proc/17393/task/17398/stat : 17398 (java) S 17391 17393 17306 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159970347 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17399] ppid=17391 vsize=1490884 CPUtime=0 /proc/17393/task/17399/stat : 17399 (java) S 17391 17393 17306 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159970347 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17400] ppid=17391 vsize=1490884 CPUtime=0 /proc/17393/task/17400/stat : 17400 (java) S 17391 17393 17306 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 159970347 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17401] ppid=17391 vsize=1490884 CPUtime=0 /proc/17393/task/17401/stat : 17401 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159970352 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17402] ppid=17391 vsize=1490884 CPUtime=0.52 /proc/17393/task/17402/stat : 17402 (java) S 17391 17393 17306 0 -1 64 2026 0 0 0 52 0 0 0 17 0 13 0 159970352 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17403] ppid=17391 vsize=1490884 CPUtime=0.74 /proc/17393/task/17403/stat : 17403 (java) R 17391 17393 17306 0 -1 64 4736 0 0 0 73 1 0 0 19 0 13 0 159970352 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 102536372 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17404] ppid=17391 vsize=1490884 CPUtime=0 /proc/17393/task/17404/stat : 17404 (java) S 17391 17393 17306 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159970352 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17405] ppid=17391 vsize=1490884 CPUtime=0 /proc/17393/task/17405/stat : 17405 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159970352 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17406] ppid=17391 vsize=1490884 CPUtime=0 /proc/17393/task/17406/stat : 17406 (java) S 17391 17393 17306 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159970377 1526665216 17433 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 1490884 [startup+3.10223 s] /proc/loadavg: 1.08 1.02 1.01 2/77 17406 /proc/meminfo: memFree=1313960/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1489488 CPUtime=4.38 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 41244 0 1 0 419 19 0 0 18 0 13 0 159970342 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 372372 36573 1432 9 0 369715 0 [pid=17393/tid=17395] ppid=17391 vsize=1489488 CPUtime=2.58 /proc/17393/task/17395/stat : 17395 (java) R 17391 17393 17306 0 -1 64 30953 0 1 0 244 14 0 0 18 0 13 0 159970344 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4109535821 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17396] ppid=17391 vsize=1489488 CPUtime=0 /proc/17393/task/17396/stat : 17396 (java) S 17391 17393 17306 0 -1 64 431 0 0 0 0 0 0 0 16 0 13 0 159970345 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17397] ppid=17391 vsize=1489488 CPUtime=0 /proc/17393/task/17397/stat : 17397 (java) S 17391 17393 17306 0 -1 64 509 0 0 0 0 0 0 0 16 0 13 0 159970345 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17398] ppid=17391 vsize=1489488 CPUtime=0 /proc/17393/task/17398/stat : 17398 (java) S 17391 17393 17306 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 159970347 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17399] ppid=17391 vsize=1489488 CPUtime=0 /proc/17393/task/17399/stat : 17399 (java) S 17391 17393 17306 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159970347 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17400] ppid=17391 vsize=1489488 CPUtime=0 /proc/17393/task/17400/stat : 17400 (java) S 17391 17393 17306 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159970347 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17401] ppid=17391 vsize=1489488 CPUtime=0 /proc/17393/task/17401/stat : 17401 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159970352 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17402] ppid=17391 vsize=1489488 CPUtime=0.76 /proc/17393/task/17402/stat : 17402 (java) S 17391 17393 17306 0 -1 64 3328 0 0 0 75 1 0 0 16 0 13 0 159970352 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17403] ppid=17391 vsize=1489488 CPUtime=0.98 /proc/17393/task/17403/stat : 17403 (java) S 17391 17393 17306 0 -1 64 5270 0 0 0 96 2 0 0 16 0 13 0 159970352 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17404] ppid=17391 vsize=1489488 CPUtime=0 /proc/17393/task/17404/stat : 17404 (java) S 17391 17393 17306 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159970352 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17405] ppid=17391 vsize=1489488 CPUtime=0 /proc/17393/task/17405/stat : 17405 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159970352 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17406] ppid=17391 vsize=1489488 CPUtime=0 /proc/17393/task/17406/stat : 17406 (java) S 17391 17393 17306 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159970377 1525235712 36573 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.38 Current children cumulated vsize (KiB) 1489488 [startup+6.30259 s] /proc/loadavg: 1.08 1.02 1.01 2/77 17406 /proc/meminfo: memFree=1260904/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1487440 CPUtime=7.7 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 43077 0 1 0 750 20 0 0 18 0 13 0 159970342 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 371860 37877 1432 9 0 369203 0 [pid=17393/tid=17395] ppid=17391 vsize=1487440 CPUtime=5.75 /proc/17393/task/17395/stat : 17395 (java) R 17391 17393 17306 0 -1 64 30957 0 1 0 561 14 0 0 25 0 13 0 159970344 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4109552767 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17396] ppid=17391 vsize=1487440 CPUtime=0.02 /proc/17393/task/17396/stat : 17396 (java) S 17391 17393 17306 0 -1 64 1301 0 0 0 2 0 0 0 16 0 13 0 159970345 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17397] ppid=17391 vsize=1487440 CPUtime=0.01 /proc/17393/task/17397/stat : 17397 (java) S 17391 17393 17306 0 -1 64 1451 0 0 0 1 0 0 0 16 0 13 0 159970345 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17398] ppid=17391 vsize=1487440 CPUtime=0 /proc/17393/task/17398/stat : 17398 (java) S 17391 17393 17306 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 159970347 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17399] ppid=17391 vsize=1487440 CPUtime=0 /proc/17393/task/17399/stat : 17399 (java) S 17391 17393 17306 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159970347 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17400] ppid=17391 vsize=1487440 CPUtime=0 /proc/17393/task/17400/stat : 17400 (java) S 17391 17393 17306 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159970347 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17401] ppid=17391 vsize=1487440 CPUtime=0 /proc/17393/task/17401/stat : 17401 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159970352 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17402] ppid=17391 vsize=1487440 CPUtime=0.81 /proc/17393/task/17402/stat : 17402 (java) S 17391 17393 17306 0 -1 64 3328 0 0 0 80 1 0 0 16 0 13 0 159970352 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17403] ppid=17391 vsize=1487440 CPUtime=1.06 /proc/17393/task/17403/stat : 17403 (java) S 17391 17393 17306 0 -1 64 5283 0 0 0 104 2 0 0 17 0 13 0 159970352 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17404] ppid=17391 vsize=1487440 CPUtime=0 /proc/17393/task/17404/stat : 17404 (java) S 17391 17393 17306 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159970352 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17405] ppid=17391 vsize=1487440 CPUtime=0 /proc/17393/task/17405/stat : 17405 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159970352 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17406] ppid=17391 vsize=1487440 CPUtime=0 /proc/17393/task/17406/stat : 17406 (java) S 17391 17393 17306 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159970377 1523138560 37877 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.7 Current children cumulated vsize (KiB) 1487440 [startup+12.7023 s] /proc/loadavg: 1.07 1.02 1.00 2/77 17406 /proc/meminfo: memFree=1248744/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1486860 CPUtime=14.19 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 46265 0 1 0 1397 22 0 0 18 0 13 0 159970342 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 371715 40879 1432 9 0 369058 0 [pid=17393/tid=17395] ppid=17391 vsize=1486860 CPUtime=12.07 /proc/17393/task/17395/stat : 17395 (java) R 17391 17393 17306 0 -1 64 30959 0 1 0 1193 14 0 0 25 0 13 0 159970344 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4109552767 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17396] ppid=17391 vsize=1486860 CPUtime=0.07 /proc/17393/task/17396/stat : 17396 (java) S 17391 17393 17306 0 -1 64 2899 0 0 0 6 1 0 0 17 0 13 0 159970345 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17397] ppid=17391 vsize=1486860 CPUtime=0.07 /proc/17393/task/17397/stat : 17397 (java) S 17391 17393 17306 0 -1 64 3026 0 0 0 6 1 0 0 16 0 13 0 159970345 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17398] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17398/stat : 17398 (java) S 17391 17393 17306 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17399] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17399/stat : 17399 (java) S 17391 17393 17306 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17400] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17400/stat : 17400 (java) S 17391 17393 17306 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17401] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17401/stat : 17401 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159970352 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17402] ppid=17391 vsize=1486860 CPUtime=0.85 /proc/17393/task/17402/stat : 17402 (java) S 17391 17393 17306 0 -1 64 3334 0 0 0 84 1 0 0 16 0 13 0 159970352 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17403] ppid=17391 vsize=1486860 CPUtime=1.08 /proc/17393/task/17403/stat : 17403 (java) S 17391 17393 17306 0 -1 64 5283 0 0 0 106 2 0 0 16 0 13 0 159970352 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17404] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17404/stat : 17404 (java) S 17391 17393 17306 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159970352 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17405] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17405/stat : 17405 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159970352 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17406] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17406/stat : 17406 (java) S 17391 17393 17306 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159970377 1522544640 40879 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.19 Current children cumulated vsize (KiB) 1486860 [startup+25.5017 s] /proc/loadavg: 1.06 1.01 1.00 2/77 17406 /proc/meminfo: memFree=1231656/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1486860 CPUtime=27.09 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 50702 0 1 0 2685 24 0 0 18 0 13 0 159970342 1522544640 45190 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 371715 45190 1432 9 0 369058 0 [pid=17393/tid=17395] ppid=17391 vsize=1486860 CPUtime=24.74 /proc/17393/task/17395/stat : 17395 (java) R 17391 17393 17306 0 -1 64 30962 0 1 0 2460 14 0 0 25 0 13 0 159970344 1522544640 45190 1992294400 134512640 134550932 4294956016 18446744073709551615 4109477462 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17396] ppid=17391 vsize=1486860 CPUtime=0.18 /proc/17393/task/17396/stat : 17396 (java) S 17391 17393 17306 0 -1 64 4747 0 0 0 16 2 0 0 17 0 13 0 159970345 1522544640 45190 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17397] ppid=17391 vsize=1486860 CPUtime=0.18 /proc/17393/task/17397/stat : 17397 (java) S 17391 17393 17306 0 -1 64 5604 0 0 0 16 2 0 0 16 0 13 0 159970345 1522544640 45190 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17398] ppid=17391 vsize=1486860 CPUtime=0 ################ # More data... # ################ [pid=17393/tid=17398] ppid=17391 vsize=1486860 CPUtime=0.01 /proc/17393/task/17398/stat : 17398 (java) S 17391 17393 17306 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 159970347 1522544640 100652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17399] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17399/stat : 17399 (java) S 17391 17393 17306 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 100652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17400] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17400/stat : 17400 (java) S 17391 17393 17306 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 100652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17401] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17401/stat : 17401 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159970352 1522544640 100652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17402] ppid=17391 vsize=1486860 CPUtime=0.87 /proc/17393/task/17402/stat : 17402 (java) S 17391 17393 17306 0 -1 64 3335 0 0 0 86 1 0 0 17 0 13 0 159970352 1522544640 100652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17403] ppid=17391 vsize=1486860 CPUtime=1.08 /proc/17393/task/17403/stat : 17403 (java) S 17391 17393 17306 0 -1 64 5283 0 0 0 106 2 0 0 16 0 13 0 159970352 1522544640 100652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17404] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17404/stat : 17404 (java) S 17391 17393 17306 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159970352 1522544640 100652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17405] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17405/stat : 17405 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159970352 1522544640 100652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17406] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17406/stat : 17406 (java) S 17391 17393 17306 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159970377 1522544640 100652 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1605.45 Current children cumulated vsize (KiB) 1486860 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.03 2/77 17406 /proc/meminfo: memFree=1006248/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1486860 CPUtime=1665.49 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 110021 0 1 0 166485 64 0 0 18 0 13 0 159970342 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 371715 101290 1432 9 0 369058 0 [pid=17393/tid=17395] ppid=17391 vsize=1486860 CPUtime=1658.87 /proc/17393/task/17395/stat : 17395 (java) R 17391 17393 17306 0 -1 64 31026 0 1 0 165865 22 0 0 25 0 13 0 159970344 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4109552767 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17396] ppid=17391 vsize=1486860 CPUtime=2.28 /proc/17393/task/17396/stat : 17396 (java) S 17391 17393 17306 0 -1 64 33417 0 0 0 211 17 0 0 17 0 13 0 159970345 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17397] ppid=17391 vsize=1486860 CPUtime=2.31 /proc/17393/task/17397/stat : 17397 (java) S 17391 17393 17306 0 -1 64 36188 0 0 0 214 17 0 0 16 0 13 0 159970345 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17398] ppid=17391 vsize=1486860 CPUtime=0.01 /proc/17393/task/17398/stat : 17398 (java) S 17391 17393 17306 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 159970347 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17399] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17399/stat : 17399 (java) S 17391 17393 17306 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17400] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17400/stat : 17400 (java) S 17391 17393 17306 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17401] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17401/stat : 17401 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159970352 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17402] ppid=17391 vsize=1486860 CPUtime=0.87 /proc/17393/task/17402/stat : 17402 (java) S 17391 17393 17306 0 -1 64 3335 0 0 0 86 1 0 0 17 0 13 0 159970352 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17403] ppid=17391 vsize=1486860 CPUtime=1.08 /proc/17393/task/17403/stat : 17403 (java) S 17391 17393 17306 0 -1 64 5283 0 0 0 106 2 0 0 16 0 13 0 159970352 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17404] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17404/stat : 17404 (java) S 17391 17393 17306 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159970352 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17405] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17405/stat : 17405 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159970352 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17406] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17406/stat : 17406 (java) S 17391 17393 17306 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159970377 1522544640 101290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1665.49 Current children cumulated vsize (KiB) 1486860 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.03 2/77 17406 /proc/meminfo: memFree=1001704/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1486860 CPUtime=1725.52 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 111191 0 1 0 172487 65 0 0 18 0 13 0 159970342 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 371715 102417 1432 9 0 369058 0 [pid=17393/tid=17395] ppid=17391 vsize=1486860 CPUtime=1718.79 /proc/17393/task/17395/stat : 17395 (java) R 17391 17393 17306 0 -1 64 31027 0 1 0 171857 22 0 0 25 0 13 0 159970344 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4109552767 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17396] ppid=17391 vsize=1486860 CPUtime=2.34 /proc/17393/task/17396/stat : 17396 (java) S 17391 17393 17306 0 -1 64 33803 0 0 0 216 18 0 0 17 0 13 0 159970345 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17397] ppid=17391 vsize=1486860 CPUtime=2.36 /proc/17393/task/17397/stat : 17397 (java) S 17391 17393 17306 0 -1 64 36971 0 0 0 218 18 0 0 16 0 13 0 159970345 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17398] ppid=17391 vsize=1486860 CPUtime=0.01 /proc/17393/task/17398/stat : 17398 (java) S 17391 17393 17306 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 159970347 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17399] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17399/stat : 17399 (java) S 17391 17393 17306 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17400] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17400/stat : 17400 (java) S 17391 17393 17306 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17401] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17401/stat : 17401 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159970352 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17402] ppid=17391 vsize=1486860 CPUtime=0.87 /proc/17393/task/17402/stat : 17402 (java) S 17391 17393 17306 0 -1 64 3335 0 0 0 86 1 0 0 17 0 13 0 159970352 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17403] ppid=17391 vsize=1486860 CPUtime=1.08 /proc/17393/task/17403/stat : 17403 (java) S 17391 17393 17306 0 -1 64 5283 0 0 0 106 2 0 0 16 0 13 0 159970352 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17404] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17404/stat : 17404 (java) S 17391 17393 17306 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159970352 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17405] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17405/stat : 17405 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159970352 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17406] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17406/stat : 17406 (java) S 17391 17393 17306 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159970377 1522544640 102417 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1725.52 Current children cumulated vsize (KiB) 1486860 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.02 2/77 17406 /proc/meminfo: memFree=998632/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1486860 CPUtime=1785.54 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 111965 0 1 0 178489 65 0 0 18 0 13 0 159970342 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 371715 103167 1432 9 0 369058 0 [pid=17393/tid=17395] ppid=17391 vsize=1486860 CPUtime=1778.71 /proc/17393/task/17395/stat : 17395 (java) R 17391 17393 17306 0 -1 64 31028 0 1 0 177849 22 0 0 25 0 13 0 159970344 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4109552767 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17396] ppid=17391 vsize=1486860 CPUtime=2.39 /proc/17393/task/17396/stat : 17396 (java) S 17391 17393 17306 0 -1 64 34158 0 0 0 221 18 0 0 16 0 13 0 159970345 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17397] ppid=17391 vsize=1486860 CPUtime=2.42 /proc/17393/task/17397/stat : 17397 (java) S 17391 17393 17306 0 -1 64 37389 0 0 0 224 18 0 0 17 0 13 0 159970345 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17398] ppid=17391 vsize=1486860 CPUtime=0.01 /proc/17393/task/17398/stat : 17398 (java) S 17391 17393 17306 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 159970347 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17399] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17399/stat : 17399 (java) S 17391 17393 17306 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17400] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17400/stat : 17400 (java) S 17391 17393 17306 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17401] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17401/stat : 17401 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159970352 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17402] ppid=17391 vsize=1486860 CPUtime=0.87 /proc/17393/task/17402/stat : 17402 (java) S 17391 17393 17306 0 -1 64 3335 0 0 0 86 1 0 0 17 0 13 0 159970352 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17403] ppid=17391 vsize=1486860 CPUtime=1.08 /proc/17393/task/17403/stat : 17403 (java) S 17391 17393 17306 0 -1 64 5283 0 0 0 106 2 0 0 16 0 13 0 159970352 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17404] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17404/stat : 17404 (java) S 17391 17393 17306 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159970352 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17405] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17405/stat : 17405 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159970352 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17406] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17406/stat : 17406 (java) S 17391 17393 17306 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159970377 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 1486860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.8 s] /proc/loadavg: 1.00 1.01 1.02 2/77 17406 /proc/meminfo: memFree=998632/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=1486860 CPUtime=1800.04 /proc/17393/stat : 17393 (java) S 17391 17393 17306 0 -1 0 111965 0 1 0 179939 65 0 0 18 0 13 0 159970342 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17393/statm: 371715 103167 1432 9 0 369058 0 [pid=17393/tid=17395] ppid=17391 vsize=1486860 CPUtime=1793.21 /proc/17393/task/17395/stat : 17395 (java) R 17391 17393 17306 0 -1 64 31028 0 1 0 179299 22 0 0 25 0 13 0 159970344 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4109477462 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17396] ppid=17391 vsize=1486860 CPUtime=2.39 /proc/17393/task/17396/stat : 17396 (java) S 17391 17393 17306 0 -1 64 34158 0 0 0 221 18 0 0 16 0 13 0 159970345 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17397] ppid=17391 vsize=1486860 CPUtime=2.42 /proc/17393/task/17397/stat : 17397 (java) S 17391 17393 17306 0 -1 64 37389 0 0 0 224 18 0 0 17 0 13 0 159970345 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17398] ppid=17391 vsize=1486860 CPUtime=0.01 /proc/17393/task/17398/stat : 17398 (java) S 17391 17393 17306 0 -1 64 27 0 0 0 1 0 0 0 16 0 13 0 159970347 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17399] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17399/stat : 17399 (java) S 17391 17393 17306 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17400] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17400/stat : 17400 (java) S 17391 17393 17306 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159970347 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17401] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17401/stat : 17401 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159970352 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17402] ppid=17391 vsize=1486860 CPUtime=0.87 /proc/17393/task/17402/stat : 17402 (java) S 17391 17393 17306 0 -1 64 3335 0 0 0 86 1 0 0 17 0 13 0 159970352 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17403] ppid=17391 vsize=1486860 CPUtime=1.08 /proc/17393/task/17403/stat : 17403 (java) S 17391 17393 17306 0 -1 64 5283 0 0 0 106 2 0 0 16 0 13 0 159970352 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17404] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17404/stat : 17404 (java) S 17391 17393 17306 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 159970352 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=17393/tid=17405] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17405/stat : 17405 (java) S 17391 17393 17306 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159970352 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17393/tid=17406] ppid=17391 vsize=1486860 CPUtime=0 /proc/17393/task/17406/stat : 17406 (java) S 17391 17393 17306 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159970377 1522544640 103167 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1486860 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797 s] /proc/loadavg: 1.00 1.01 1.02 2/77 17406 /proc/meminfo: memFree=998632/2055920 swapFree=4192952/4192956 [pid=17393] ppid=17391 vsize=0 CPUtime=1800.38 /proc/17393/stat : 17393 (java) Z 17391 17393 17306 0 -1 1036 111999 0 1 0 179972 66 0 0 15 0 2 0 159970342 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/17393/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.38 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1797.06 CPU time (s): 1800.45 CPU user time (s): 1799.73 CPU system time (s): 0.72289 CPU usage (%): 100.189 Max. virtual memory (cumulated for all children) (KiB): 1490884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.72289 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111999 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= 37929 involuntary context switches= 38929 runsolver used 2.12868 second user time and 4.44932 second system time The end
Begin job on node42 at 2009-06-13 22:08:55 IDJOB=1856741 IDBENCH=2932 IDSOLVER=682 FILE ID=node42/1856741-1244923735 PBS_JOBID= 9354655 Free space on /tmp= 66272 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856741-1244923735/watcher-1856741-1244923735 -o /tmp/evaluation-result-1856741-1244923735/solver-1856741-1244923735 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856741-1244923735.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED=1960117160 node42.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.214 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.214 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: 1408240 kB Buffers: 73948 kB Cached: 477732 kB SwapCached: 4 kB Active: 45792 kB Inactive: 519796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1408240 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 300 kB Writeback: 0 kB Mapped: 23760 kB Slab: 68040 kB Committed_AS: 139164 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66272 MiB End job on node42 at 2009-06-13 22:38:54