Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 175 | 1800.48 | 1797.06 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_1.opb |
MD5SUM | 7b9886d41278c23acb93039c546a310e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 11 |
Best CPU time to get the best result obtained on this benchmark | 1802.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 13 |
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 | 73 |
Maximum length of a constraint | 75 |
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 | 1488 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4975 |
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.23/0.21 c Pseudo Boolean Optimization 0.23/0.21 c --- Begin Solver configuration --- 0.23/0.21 c Stops conflict analysis at the first Unique Implication Point 0.23/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.23/0.21 c Learn all clauses as in MiniSAT 0.23/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.23/0.21 c Expensive reason simplification 0.23/0.21 c MiniSAT restarts strategy 0.23/0.21 c Memory based learned constraints deletion strategy 0.23/0.21 c timeout=2147483s 0.23/0.21 c DB Simplification allowed=false 0.23/0.21 c --- End Solver configuration --- 0.23/0.21 c solving HOME/instance-1856713-1244922169.opb 0.23/0.21 c reading problem ... 0.33/0.32 c ... done. Wall clock time 0.11s. 0.33/0.32 c #vars 172 0.33/0.32 c #constraints 14 0.33/0.32 c constraints type 0.33/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 14 0.71/0.57 c SATISFIABLE 0.71/0.57 c OPTIMIZING... 0.71/0.57 c Got one! Elapsed wall clock time (in seconds):0.36 0.71/0.57 o 2351 0.88/0.65 c Got one! Elapsed wall clock time (in seconds):0.434 0.88/0.65 o 2349 1.03/0.72 c Got one! Elapsed wall clock time (in seconds):0.504 1.03/0.72 o 2348 1.03/0.76 c Got one! Elapsed wall clock time (in seconds):0.541 1.03/0.76 o 2346 1.03/0.79 c Got one! Elapsed wall clock time (in seconds):0.575 1.03/0.79 o 2340 1.15/0.82 c Got one! Elapsed wall clock time (in seconds):0.602 1.15/0.82 o 2330 1.15/0.85 c Got one! Elapsed wall clock time (in seconds):0.636 1.15/0.85 o 2224 1.31/0.90 c Got one! Elapsed wall clock time (in seconds):0.684 1.31/0.90 o 2163 1.31/0.93 c Got one! Elapsed wall clock time (in seconds):0.712 1.31/0.93 o 2162 1.31/0.95 c Got one! Elapsed wall clock time (in seconds):0.741 1.31/0.95 o 2043 1.31/0.98 c Got one! Elapsed wall clock time (in seconds):0.77 1.31/0.98 o 2042 1.42/1.02 c Got one! Elapsed wall clock time (in seconds):0.81 1.42/1.02 o 2041 1.42/1.06 c Got one! Elapsed wall clock time (in seconds):0.851 1.42/1.06 o 2040 1.42/1.10 c Got one! Elapsed wall clock time (in seconds):0.885 1.42/1.10 o 2035 1.52/1.16 c Got one! Elapsed wall clock time (in seconds):0.946 1.52/1.16 o 2031 1.52/1.19 c Got one! Elapsed wall clock time (in seconds):0.977 1.52/1.19 o 2028 1.72/1.23 c Got one! Elapsed wall clock time (in seconds):1.014 1.72/1.23 o 2026 1.92/1.33 c Got one! Elapsed wall clock time (in seconds):1.119 1.92/1.33 o 2024 1.92/1.39 c Got one! Elapsed wall clock time (in seconds):1.18 1.92/1.39 o 2022 2.11/1.42 c Got one! Elapsed wall clock time (in seconds):1.209 2.11/1.42 o 2019 2.31/1.52 c Got one! Elapsed wall clock time (in seconds):1.31 2.31/1.52 o 1670 2.31/1.58 c Got one! Elapsed wall clock time (in seconds):1.366 2.31/1.58 o 1033 2.51/1.65 c Got one! Elapsed wall clock time (in seconds):1.439 2.51/1.65 o 1032 2.71/1.71 c Got one! Elapsed wall clock time (in seconds):1.5 2.71/1.71 o 1030 2.71/1.76 c Got one! Elapsed wall clock time (in seconds):1.544 2.71/1.76 o 1029 2.86/1.81 c Got one! Elapsed wall clock time (in seconds):1.595 2.86/1.81 o 1027 2.86/1.85 c Got one! Elapsed wall clock time (in seconds):1.64 2.86/1.85 o 1025 3.02/1.92 c Got one! Elapsed wall clock time (in seconds):1.709 3.02/1.92 o 1024 3.02/1.97 c Got one! Elapsed wall clock time (in seconds):1.761 3.02/1.98 o 588 3.14/2.05 c Got one! Elapsed wall clock time (in seconds):1.835 3.14/2.05 o 586 3.24/2.12 c Got one! Elapsed wall clock time (in seconds):1.91 3.24/2.12 o 585 3.35/2.28 c Got one! Elapsed wall clock time (in seconds):2.065 3.35/2.28 o 584 3.46/2.38 c Got one! Elapsed wall clock time (in seconds):2.165 3.46/2.38 o 583 3.56/2.46 c Got one! Elapsed wall clock time (in seconds):2.245 3.56/2.46 o 582 3.76/2.61 c Got one! Elapsed wall clock time (in seconds):2.4 3.76/2.61 o 581 3.76/2.70 c Got one! Elapsed wall clock time (in seconds):2.481 3.76/2.70 o 579 3.85/2.77 c Got one! Elapsed wall clock time (in seconds):2.559 3.85/2.77 o 577 4.05/2.90 c Got one! Elapsed wall clock time (in seconds):2.686 4.05/2.90 o 576 4.05/2.99 c Got one! Elapsed wall clock time (in seconds):2.773 4.05/2.99 o 572 4.16/3.09 c Got one! Elapsed wall clock time (in seconds):2.876 4.16/3.09 o 571 4.28/3.15 c Got one! Elapsed wall clock time (in seconds):2.94 4.28/3.15 o 569 4.40/3.23 c Got one! Elapsed wall clock time (in seconds):3.02 4.40/3.23 o 567 4.40/3.29 c Got one! Elapsed wall clock time (in seconds):3.076 4.40/3.29 o 566 4.50/3.34 c Got one! Elapsed wall clock time (in seconds):3.127 4.50/3.34 o 562 4.50/3.40 c Got one! Elapsed wall clock time (in seconds):3.184 4.50/3.40 o 561 4.65/3.45 c Got one! Elapsed wall clock time (in seconds):3.239 4.65/3.45 o 560 4.80/3.51 c Got one! Elapsed wall clock time (in seconds):3.297 4.80/3.51 o 559 4.80/3.58 c Got one! Elapsed wall clock time (in seconds):3.364 4.80/3.58 o 558 4.90/3.63 c Got one! Elapsed wall clock time (in seconds):3.418 4.90/3.63 o 556 4.90/3.68 c Got one! Elapsed wall clock time (in seconds):3.471 4.90/3.68 o 429 5.30/4.06 c Got one! Elapsed wall clock time (in seconds):3.847 5.30/4.06 o 427 5.80/4.51 c Got one! Elapsed wall clock time (in seconds):4.292 5.80/4.51 o 426 5.90/4.69 c Got one! Elapsed wall clock time (in seconds):4.48 5.90/4.69 o 425 6.00/4.77 c Got one! Elapsed wall clock time (in seconds):4.552 6.00/4.77 o 423 6.10/4.85 c Got one! Elapsed wall clock time (in seconds):4.638 6.10/4.85 o 421 6.20/4.93 c Got one! Elapsed wall clock time (in seconds):4.718 6.20/4.93 o 419 6.40/5.14 c Got one! Elapsed wall clock time (in seconds):4.929 6.40/5.14 o 417 6.50/5.23 c Got one! Elapsed wall clock time (in seconds):5.016 6.50/5.23 o 415 6.71/5.50 c Got one! Elapsed wall clock time (in seconds):5.287 6.71/5.50 o 414 6.84/5.58 c Got one! Elapsed wall clock time (in seconds):5.363 6.84/5.58 o 406 7.04/5.71 c Got one! Elapsed wall clock time (in seconds):5.494 7.04/5.71 o 404 7.14/5.83 c Got one! Elapsed wall clock time (in seconds):5.616 7.14/5.83 o 397 7.54/6.24 c Got one! Elapsed wall clock time (in seconds):6.026 7.54/6.24 o 395 7.74/6.44 c Got one! Elapsed wall clock time (in seconds):6.223 7.74/6.44 o 394 7.84/6.55 c Got one! Elapsed wall clock time (in seconds):6.334 7.84/6.55 o 393 8.14/6.84 c Got one! Elapsed wall clock time (in seconds):6.622 8.14/6.84 o 392 8.34/7.01 c Got one! Elapsed wall clock time (in seconds):6.792 8.34/7.01 o 391 8.44/7.15 c Got one! Elapsed wall clock time (in seconds):6.932 8.44/7.15 o 390 9.14/7.84 c Got one! Elapsed wall clock time (in seconds):7.623 9.14/7.84 o 388 9.76/8.48 c Got one! Elapsed wall clock time (in seconds):8.261 9.76/8.48 o 386 9.96/8.66 c Got one! Elapsed wall clock time (in seconds):8.444 9.96/8.66 o 384 10.36/9.00 c Got one! Elapsed wall clock time (in seconds):8.784 10.36/9.00 o 383 10.66/9.32 c Got one! Elapsed wall clock time (in seconds):9.102 10.66/9.32 o 382 11.16/9.83 c Got one! Elapsed wall clock time (in seconds):9.612 11.16/9.83 o 381 12.09/10.75 c Got one! Elapsed wall clock time (in seconds):10.532 12.09/10.75 o 380 12.29/10.91 c Got one! Elapsed wall clock time (in seconds):10.701 12.29/10.91 o 378 14.22/12.88 c Got one! Elapsed wall clock time (in seconds):12.666 14.22/12.88 o 376 14.62/13.21 c Got one! Elapsed wall clock time (in seconds):12.992 14.62/13.21 o 374 14.72/13.37 c Got one! Elapsed wall clock time (in seconds):13.152 14.72/13.37 o 372 14.92/13.52 c Got one! Elapsed wall clock time (in seconds):13.31 14.92/13.52 o 371 19.15/17.79 c Got one! Elapsed wall clock time (in seconds):17.572 19.15/17.79 o 369 19.56/18.16 c Got one! Elapsed wall clock time (in seconds):17.942 19.56/18.16 o 368 19.96/18.54 c Got one! Elapsed wall clock time (in seconds):18.329 19.96/18.54 o 367 20.17/18.79 c Got one! Elapsed wall clock time (in seconds):18.574 20.17/18.79 o 366 20.36/18.94 c Got one! Elapsed wall clock time (in seconds):18.73 20.36/18.94 o 365 20.66/19.23 c Got one! Elapsed wall clock time (in seconds):19.012 20.66/19.23 o 363 20.90/19.47 c Got one! Elapsed wall clock time (in seconds):19.255 20.90/19.47 o 361 21.60/20.17 c Got one! Elapsed wall clock time (in seconds):19.956 21.60/20.17 o 358 21.90/20.44 c Got one! Elapsed wall clock time (in seconds):20.222 21.90/20.44 o 353 22.20/20.74 c Got one! Elapsed wall clock time (in seconds):20.529 22.20/20.74 o 351 22.92/21.46 c Got one! Elapsed wall clock time (in seconds):21.247 22.92/21.46 o 349 23.23/21.76 c Got one! Elapsed wall clock time (in seconds):21.542 23.23/21.76 o 347 23.62/22.14 c Got one! Elapsed wall clock time (in seconds):21.93 23.62/22.14 o 346 23.92/22.45 c Got one! Elapsed wall clock time (in seconds):22.233 23.92/22.45 o 345 24.53/23.02 c Got one! Elapsed wall clock time (in seconds):22.809 24.53/23.02 o 343 25.12/23.62 c Got one! Elapsed wall clock time (in seconds):23.407 25.12/23.62 o 342 25.32/23.83 c Got one! Elapsed wall clock time (in seconds):23.619 25.32/23.83 o 341 25.73/24.24 c Got one! Elapsed wall clock time (in seconds):24.023 25.73/24.24 o 340 26.32/24.85 c Got one! Elapsed wall clock time (in seconds):24.638 26.32/24.85 o 339 26.78/25.22 c Got one! Elapsed wall clock time (in seconds):25.002 26.78/25.22 o 338 27.38/25.83 c Got one! Elapsed wall clock time (in seconds):25.614 27.38/25.83 o 336 27.68/26.18 c Got one! Elapsed wall clock time (in seconds):25.967 27.68/26.18 o 334 28.17/26.60 c Got one! Elapsed wall clock time (in seconds):26.386 28.17/26.60 o 333 28.47/26.98 c Got one! Elapsed wall clock time (in seconds):26.765 28.47/26.98 o 332 28.87/27.39 c Got one! Elapsed wall clock time (in seconds):27.178 28.87/27.39 o 331 29.47/27.92 c Got one! Elapsed wall clock time (in seconds):27.71 29.47/27.92 o 329 29.67/28.16 c Got one! Elapsed wall clock time (in seconds):27.946 29.67/28.16 o 327 29.97/28.44 c Got one! Elapsed wall clock time (in seconds):28.227 29.97/28.44 o 326 30.88/29.32 c Got one! Elapsed wall clock time (in seconds):29.11 30.88/29.32 o 324 31.18/29.62 c Got one! Elapsed wall clock time (in seconds):29.404 31.18/29.62 o 323 32.62/31.01 c Got one! Elapsed wall clock time (in seconds):30.795 32.62/31.01 o 321 32.82/31.30 c Got one! Elapsed wall clock time (in seconds):31.083 32.82/31.30 o 320 33.43/31.83 c Got one! Elapsed wall clock time (in seconds):31.621 33.43/31.83 o 318 33.92/32.30 c Got one! Elapsed wall clock time (in seconds):32.089 33.92/32.30 o 316 35.72/34.18 c Got one! Elapsed wall clock time (in seconds):33.965 35.72/34.18 o 315 36.62/35.07 c Got one! Elapsed wall clock time (in seconds):34.858 36.62/35.07 o 313 57.53/55.89 c Got one! Elapsed wall clock time (in seconds):55.672 57.53/55.89 o 311 58.73/57.04 c Got one! Elapsed wall clock time (in seconds):56.822 58.73/57.04 o 310 59.13/57.43 c Got one! Elapsed wall clock time (in seconds):57.217 59.13/57.43 o 309 59.63/57.91 c Got one! Elapsed wall clock time (in seconds):57.696 59.63/57.91 o 307 62.95/61.24 c Got one! Elapsed wall clock time (in seconds):61.029 62.95/61.24 o 305 64.25/62.53 c Got one! Elapsed wall clock time (in seconds):62.32 64.25/62.53 o 304 64.85/63.16 c Got one! Elapsed wall clock time (in seconds):62.945 64.85/63.16 o 303 68.55/66.85 c Got one! Elapsed wall clock time (in seconds):66.631 68.55/66.85 o 301 71.17/69.40 c Got one! Elapsed wall clock time (in seconds):69.185 71.17/69.40 o 299 80.08/78.33 c Got one! Elapsed wall clock time (in seconds):78.118 80.08/78.33 o 298 81.08/79.36 c Got one! Elapsed wall clock time (in seconds):79.147 81.08/79.36 o 296 82.28/80.54 c Got one! Elapsed wall clock time (in seconds):80.329 82.28/80.54 o 295 82.88/81.13 c Got one! Elapsed wall clock time (in seconds):80.917 82.88/81.13 o 293 83.48/81.73 c Got one! Elapsed wall clock time (in seconds):81.513 83.48/81.73 o 291 85.58/83.86 c Got one! Elapsed wall clock time (in seconds):83.649 85.58/83.86 o 289 86.88/85.13 c Got one! Elapsed wall clock time (in seconds):84.916 86.88/85.13 o 288 88.48/86.75 c Got one! Elapsed wall clock time (in seconds):86.537 88.48/86.75 o 287 90.08/88.36 c Got one! Elapsed wall clock time (in seconds):88.145 90.08/88.36 o 285 90.68/88.91 c Got one! Elapsed wall clock time (in seconds):88.697 90.68/88.91 o 283 93.00/91.27 c Got one! Elapsed wall clock time (in seconds):91.053 93.00/91.27 o 282 121.94/120.18 c Got one! Elapsed wall clock time (in seconds):119.964 121.94/120.18 o 280 123.14/121.32 c Got one! Elapsed wall clock time (in seconds):121.104 123.14/121.32 o 278 124.64/122.81 c Got one! Elapsed wall clock time (in seconds):122.592 124.64/122.81 o 276 125.84/124.05 c Got one! Elapsed wall clock time (in seconds):123.839 125.84/124.05 o 274 129.04/127.20 c Got one! Elapsed wall clock time (in seconds):126.985 129.04/127.20 o 272 135.66/133.85 c Got one! Elapsed wall clock time (in seconds):133.635 135.66/133.85 o 270 142.66/140.83 c Got one! Elapsed wall clock time (in seconds):140.618 142.66/140.83 o 268 151.38/149.60 c Got one! Elapsed wall clock time (in seconds):149.385 151.38/149.60 o 266 152.27/150.45 c Got one! Elapsed wall clock time (in seconds):150.236 152.27/150.45 o 265 156.07/154.21 c Got one! Elapsed wall clock time (in seconds):153.991 156.07/154.21 o 263 156.87/155.01 c Got one! Elapsed wall clock time (in seconds):154.792 156.87/155.01 o 253 158.07/156.28 c Got one! Elapsed wall clock time (in seconds):156.063 158.07/156.28 o 252 160.97/159.15 c Got one! Elapsed wall clock time (in seconds):158.941 160.97/159.15 o 250 163.30/161.49 c Got one! Elapsed wall clock time (in seconds):161.276 163.30/161.49 o 249 164.60/162.74 c Got one! Elapsed wall clock time (in seconds):162.525 164.60/162.74 o 247 168.29/166.45 c Got one! Elapsed wall clock time (in seconds):166.233 168.29/166.45 o 245 173.19/171.31 c Got one! Elapsed wall clock time (in seconds):171.101 173.19/171.32 o 243 174.50/172.68 c Got one! Elapsed wall clock time (in seconds):172.465 174.50/172.68 o 241 177.29/175.46 c Got one! Elapsed wall clock time (in seconds):175.241 177.29/175.46 o 236 184.01/182.11 c Got one! Elapsed wall clock time (in seconds):181.892 184.01/182.11 o 235 186.51/184.64 c Got one! Elapsed wall clock time (in seconds):184.424 186.51/184.64 o 233 195.51/193.62 c Got one! Elapsed wall clock time (in seconds):193.406 195.51/193.62 o 231 196.51/194.66 c Got one! Elapsed wall clock time (in seconds):194.451 196.51/194.66 o 230 216.84/214.96 c Got one! Elapsed wall clock time (in seconds):214.744 216.84/214.96 o 229 324.66/322.60 c Got one! Elapsed wall clock time (in seconds):322.39 324.66/322.60 o 228 371.90/369.80 c Got one! Elapsed wall clock time (in seconds):369.585 371.90/369.80 o 227 376.99/374.94 c Got one! Elapsed wall clock time (in seconds):374.721 376.99/374.94 o 226 384.49/382.43 c Got one! Elapsed wall clock time (in seconds):382.211 384.49/382.43 o 224 389.72/387.63 c Got one! Elapsed wall clock time (in seconds):387.413 389.72/387.63 o 222 394.32/392.24 c Got one! Elapsed wall clock time (in seconds):392.03 394.32/392.24 o 220 404.51/402.47 c Got one! Elapsed wall clock time (in seconds):402.254 404.51/402.47 o 218 416.84/414.74 c Got one! Elapsed wall clock time (in seconds):414.525 416.84/414.74 o 217 420.74/418.68 c Got one! Elapsed wall clock time (in seconds):418.465 420.74/418.68 o 215 426.14/424.06 c Got one! Elapsed wall clock time (in seconds):423.846 426.14/424.06 o 213 433.03/430.98 c Got one! Elapsed wall clock time (in seconds):430.771 433.03/430.98 o 212 478.48/476.32 c Got one! Elapsed wall clock time (in seconds):476.107 478.48/476.32 o 210 520.32/518.19 c Got one! Elapsed wall clock time (in seconds):517.975 520.32/518.19 o 208 533.31/531.19 c Got one! Elapsed wall clock time (in seconds):530.978 533.31/531.19 o 206 539.41/537.21 c Got one! Elapsed wall clock time (in seconds):537.0 539.41/537.21 o 204 565.34/563.11 c Got one! Elapsed wall clock time (in seconds):562.9 565.34/563.11 o 202 567.54/565.35 c Got one! Elapsed wall clock time (in seconds):565.136 567.54/565.35 o 201 581.33/579.15 c Got one! Elapsed wall clock time (in seconds):578.934 581.33/579.15 o 200 596.56/594.35 c Got one! Elapsed wall clock time (in seconds):594.136 596.56/594.35 o 198 610.65/608.48 c Got one! Elapsed wall clock time (in seconds):608.264 610.65/608.48 o 196 710.67/708.32 c Got one! Elapsed wall clock time (in seconds):708.109 710.67/708.32 o 194 742.35/740.07 c Got one! Elapsed wall clock time (in seconds):739.858 742.35/740.07 o 193 759.78/757.44 c Got one! Elapsed wall clock time (in seconds):757.222 759.78/757.44 o 192 1464.65/1461.60 c Got one! Elapsed wall clock time (in seconds):1461.384 1464.65/1461.60 o 190 1474.05/1471.05 c Got one! Elapsed wall clock time (in seconds):1470.831 1474.05/1471.05 o 188 1488.35/1485.32 c Got one! Elapsed wall clock time (in seconds):1485.11 1488.35/1485.32 o 186 1535.49/1532.44 c Got one! Elapsed wall clock time (in seconds):1532.229 1535.49/1532.44 o 185 1561.59/1558.57 c Got one! Elapsed wall clock time (in seconds):1558.36 1561.59/1558.57 o 184 1572.98/1569.90 c Got one! Elapsed wall clock time (in seconds):1569.685 1572.98/1569.90 o 183 1588.54/1585.44 c Got one! Elapsed wall clock time (in seconds):1585.228 1588.54/1585.44 o 182 1614.83/1611.79 c Got one! Elapsed wall clock time (in seconds):1611.579 1614.83/1611.79 o 181 1714.71/1711.55 c Got one! Elapsed wall clock time (in seconds):1711.338 1714.71/1711.55 o 179 1727.10/1723.98 c Got one! Elapsed wall clock time (in seconds):1723.765 1727.10/1723.98 o 177 1749.00/1745.88 c Got one! Elapsed wall clock time (in seconds):1745.667 1749.00/1745.88 o 176 1755.79/1752.61 c Got one! Elapsed wall clock time (in seconds):1752.399 1755.79/1752.61 o 175 1800.05/1796.81 c starts : 1011 1800.05/1796.81 c conflicts : 880808 1800.05/1796.81 c decisions : 1100416 1800.05/1796.81 c propagations : 17318835 1800.05/1796.81 c inspects : 4369221341 1800.05/1796.81 c learnt literals : 0 1800.05/1796.81 c learnt binary clauses : 0 1800.05/1796.81 c learnt ternary clauses : 0 1800.05/1796.81 c learnt clauses : 880809 1800.05/1796.81 c ignored clauses : 0 1800.05/1796.81 c root simplifications : 0 1800.05/1796.81 c removed literals (reason simplification) : 10511450 1800.05/1796.81 c reason swapping (by a shorter reason) : 0 1800.05/1796.81 c Calls to reduceDB : 0 1800.05/1796.81 c speed (assignments/second) : 391828.9366515837 1800.05/1796.81 c non guided choices 5176 1800.25/1796.97 c learnt constraints type 1800.25/1796.97 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 880826 1800.25/1796.97 c constraints type 1800.25/1796.97 c org.sat4j.pb.constraints.pb.MaxWatchPb => 15 1800.25/1796.97 s SATISFIABLE 1800.25/1796.97 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.97 c objective function=175 1800.25/1796.97 c Total wall clock time (in seconds): 1796.757
OK 175
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856713-1244922169/watcher-1856713-1244922169 -o /tmp/evaluation-result-1856713-1244922169/solver-1856713-1244922169 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856713-1244922169.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.02 1.00 3/64 11398 /proc/meminfo: memFree=1329240/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1612 CPUtime=0 /proc/11398/stat : 11398 (java6) D 11396 11398 11093 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 159814218 1650688 147 1992294400 134512640 134550932 4294956176 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/11398/statm: 403 147 111 9 0 45 0 [startup+0.0246359 s] /proc/loadavg: 1.00 1.02 1.00 3/64 11398 /proc/meminfo: memFree=1329240/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1466136 CPUtime=0.01 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 2261 0 1 0 0 1 0 0 18 0 3 0 159814218 1501323264 2010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 366534 2012 413 9 0 364286 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1466136 [startup+0.10264 s] /proc/loadavg: 1.00 1.02 1.00 3/64 11398 /proc/meminfo: memFree=1329240/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1472584 CPUtime=0.08 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 3638 0 1 0 6 2 0 0 18 0 12 0 159814218 1507926016 3381 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 368146 3381 1068 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.301666 s] /proc/loadavg: 1.00 1.02 1.00 3/64 11398 /proc/meminfo: memFree=1329240/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1474788 CPUtime=0.33 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 4994 0 1 0 30 3 0 0 18 0 12 0 159814218 1510182912 4731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 368697 4731 1352 9 0 366040 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1474788 [startup+0.701709 s] /proc/loadavg: 1.00 1.02 1.00 3/64 11398 /proc/meminfo: memFree=1329240/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1478632 CPUtime=1.03 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 7533 0 1 0 99 4 0 0 18 0 13 0 159814218 1514119168 7015 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 369658 7015 1414 9 0 367001 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 1478632 [startup+1.50179 s] /proc/loadavg: 1.00 1.02 1.00 2/77 11411 /proc/meminfo: memFree=1294192/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1490564 CPUtime=2.31 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 18727 0 1 0 223 8 0 0 18 0 13 0 159814218 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 372641 16197 1421 9 0 369984 0 [pid=11398/tid=11400] ppid=11396 vsize=1490564 CPUtime=1.11 /proc/11398/task/11400/stat : 11400 (java) R 11396 11398 11093 0 -1 64 11644 0 1 0 106 5 0 0 19 0 13 0 159814219 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4109162696 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11401] ppid=11396 vsize=1490564 CPUtime=0 /proc/11398/task/11401/stat : 11401 (java) S 11396 11398 11093 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 159814220 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11402] ppid=11396 vsize=1490564 CPUtime=0 /proc/11398/task/11402/stat : 11402 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 159814220 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11403] ppid=11396 vsize=1490564 CPUtime=0 /proc/11398/task/11403/stat : 11403 (java) S 11396 11398 11093 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 159814222 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11404] ppid=11396 vsize=1490564 CPUtime=0 /proc/11398/task/11404/stat : 11404 (java) S 11396 11398 11093 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159814222 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11405] ppid=11396 vsize=1490564 CPUtime=0 /proc/11398/task/11405/stat : 11405 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 159814223 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11406] ppid=11396 vsize=1490564 CPUtime=0 /proc/11398/task/11406/stat : 11406 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159814227 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11407] ppid=11396 vsize=1490564 CPUtime=0.52 /proc/11398/task/11407/stat : 11407 (java) R 11396 11398 11093 0 -1 64 1869 0 0 0 52 0 0 0 16 0 13 0 159814227 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 102064064 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11408] ppid=11396 vsize=1490564 CPUtime=0.64 /proc/11398/task/11408/stat : 11408 (java) R 11396 11398 11093 0 -1 64 4466 0 0 0 63 1 0 0 17 0 13 0 159814227 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 104163874 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11409] ppid=11396 vsize=1490564 CPUtime=0 /proc/11398/task/11409/stat : 11409 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159814227 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11410] ppid=11396 vsize=1490564 CPUtime=0 /proc/11398/task/11410/stat : 11410 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159814227 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11411] ppid=11396 vsize=1490564 CPUtime=0 /proc/11398/task/11411/stat : 11411 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159814252 1526337536 16197 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.31 Current children cumulated vsize (KiB) 1490564 [startup+3.10294 s] /proc/loadavg: 1.00 1.02 1.00 2/77 11411 /proc/meminfo: memFree=1241072/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1487092 CPUtime=4.28 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 38656 0 1 0 411 17 0 0 18 0 13 0 159814218 1522782208 34253 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 371773 34254 1423 9 0 369116 0 [pid=11398/tid=11400] ppid=11396 vsize=1487092 CPUtime=2.6 /proc/11398/task/11400/stat : 11400 (java) R 11396 11398 11093 0 -1 64 29959 0 1 0 247 13 0 0 25 0 13 0 159814219 1522782208 34255 1992294400 134512640 134550932 4294956016 18446744073709551615 4109483248 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11401] ppid=11396 vsize=1487092 CPUtime=0 /proc/11398/task/11401/stat : 11401 (java) S 11396 11398 11093 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 159814220 1522782208 34256 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11402] ppid=11396 vsize=1487092 CPUtime=0 /proc/11398/task/11402/stat : 11402 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 159814220 1522782208 34256 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11403] ppid=11396 vsize=1487092 CPUtime=0 /proc/11398/task/11403/stat : 11403 (java) S 11396 11398 11093 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159814222 1522782208 34257 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11404] ppid=11396 vsize=1487092 CPUtime=0 /proc/11398/task/11404/stat : 11404 (java) S 11396 11398 11093 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159814222 1522782208 34258 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11405] ppid=11396 vsize=1487092 CPUtime=0 /proc/11398/task/11405/stat : 11405 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 159814223 1522782208 34258 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11406] ppid=11396 vsize=1487092 CPUtime=0 /proc/11398/task/11406/stat : 11406 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159814227 1522782208 34259 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11407] ppid=11396 vsize=1487092 CPUtime=0.79 /proc/11398/task/11407/stat : 11407 (java) S 11396 11398 11093 0 -1 64 3008 0 0 0 78 1 0 0 17 0 13 0 159814227 1522782208 34260 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11408] ppid=11396 vsize=1487092 CPUtime=0.87 /proc/11398/task/11408/stat : 11408 (java) S 11396 11398 11093 0 -1 64 4943 0 0 0 85 2 0 0 16 0 13 0 159814227 1522782208 34260 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11409] ppid=11396 vsize=1487092 CPUtime=0 /proc/11398/task/11409/stat : 11409 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159814227 1522782208 34261 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11410] ppid=11396 vsize=1487092 CPUtime=0 /proc/11398/task/11410/stat : 11410 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159814227 1522782208 34262 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11411] ppid=11396 vsize=1487092 CPUtime=0 /proc/11398/task/11411/stat : 11411 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159814252 1522782208 34262 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.28 Current children cumulated vsize (KiB) 1487092 [startup+6.30227 s] /proc/loadavg: 1.00 1.02 1.00 3/77 11411 /proc/meminfo: memFree=1190320/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1485716 CPUtime=7.64 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 42637 0 1 0 744 20 0 0 18 0 13 0 159814218 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 371429 37800 1432 9 0 368772 0 [pid=11398/tid=11400] ppid=11396 vsize=1485716 CPUtime=5.75 /proc/11398/task/11400/stat : 11400 (java) R 11396 11398 11093 0 -1 64 30964 0 1 0 561 14 0 0 25 0 13 0 159814219 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4109469049 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11401] ppid=11396 vsize=1485716 CPUtime=0.02 /proc/11398/task/11401/stat : 11401 (java) S 11396 11398 11093 0 -1 64 1360 0 0 0 2 0 0 0 16 0 13 0 159814220 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11402] ppid=11396 vsize=1485716 CPUtime=0.02 /proc/11398/task/11402/stat : 11402 (java) S 11396 11398 11093 0 -1 64 1590 0 0 0 1 1 0 0 16 0 13 0 159814220 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11403] ppid=11396 vsize=1485716 CPUtime=0 /proc/11398/task/11403/stat : 11403 (java) S 11396 11398 11093 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159814222 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11404] ppid=11396 vsize=1485716 CPUtime=0 /proc/11398/task/11404/stat : 11404 (java) S 11396 11398 11093 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159814222 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11405] ppid=11396 vsize=1485716 CPUtime=0 /proc/11398/task/11405/stat : 11405 (java) S 11396 11398 11093 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159814223 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11406] ppid=11396 vsize=1485716 CPUtime=0 /proc/11398/task/11406/stat : 11406 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159814227 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11407] ppid=11396 vsize=1485716 CPUtime=0.85 /proc/11398/task/11407/stat : 11407 (java) S 11396 11398 11093 0 -1 64 3017 0 0 0 84 1 0 0 16 0 13 0 159814227 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11408] ppid=11396 vsize=1485716 CPUtime=0.95 /proc/11398/task/11408/stat : 11408 (java) S 11396 11398 11093 0 -1 64 4950 0 0 0 93 2 0 0 16 0 13 0 159814227 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11409] ppid=11396 vsize=1485716 CPUtime=0 /proc/11398/task/11409/stat : 11409 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159814227 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11410] ppid=11396 vsize=1485716 CPUtime=0 /proc/11398/task/11410/stat : 11410 (java) R 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159814227 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11411] ppid=11396 vsize=1485716 CPUtime=0 /proc/11398/task/11411/stat : 11411 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159814252 1521373184 37800 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.64 Current children cumulated vsize (KiB) 1485716 [startup+12.7029 s] /proc/loadavg: 1.00 1.02 1.00 2/77 11411 /proc/meminfo: memFree=1170288/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1484212 CPUtime=14.12 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 46161 0 1 0 1391 21 0 0 18 0 13 0 159814218 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 371053 40915 1432 9 0 368396 0 [pid=11398/tid=11400] ppid=11396 vsize=1484212 CPUtime=12.08 /proc/11398/task/11400/stat : 11400 (java) R 11396 11398 11093 0 -1 64 30966 0 1 0 1194 14 0 0 25 0 13 0 159814219 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4109509725 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11401] ppid=11396 vsize=1484212 CPUtime=0.08 /proc/11398/task/11401/stat : 11401 (java) S 11396 11398 11093 0 -1 64 3146 0 0 0 7 1 0 0 16 0 13 0 159814220 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11402] ppid=11396 vsize=1484212 CPUtime=0.08 /proc/11398/task/11402/stat : 11402 (java) S 11396 11398 11093 0 -1 64 3317 0 0 0 7 1 0 0 17 0 13 0 159814220 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11403] ppid=11396 vsize=1484212 CPUtime=0 /proc/11398/task/11403/stat : 11403 (java) S 11396 11398 11093 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 159814222 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11404] ppid=11396 vsize=1484212 CPUtime=0 /proc/11398/task/11404/stat : 11404 (java) S 11396 11398 11093 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159814222 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11405] ppid=11396 vsize=1484212 CPUtime=0 /proc/11398/task/11405/stat : 11405 (java) S 11396 11398 11093 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159814223 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11406] ppid=11396 vsize=1484212 CPUtime=0 /proc/11398/task/11406/stat : 11406 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159814227 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11407] ppid=11396 vsize=1484212 CPUtime=0.89 /proc/11398/task/11407/stat : 11407 (java) S 11396 11398 11093 0 -1 64 3020 0 0 0 88 1 0 0 16 0 13 0 159814227 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11408] ppid=11396 vsize=1484212 CPUtime=0.95 /proc/11398/task/11408/stat : 11408 (java) S 11396 11398 11093 0 -1 64 4950 0 0 0 93 2 0 0 16 0 13 0 159814227 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11409] ppid=11396 vsize=1484212 CPUtime=0 /proc/11398/task/11409/stat : 11409 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159814227 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11410] ppid=11396 vsize=1484212 CPUtime=0 /proc/11398/task/11410/stat : 11410 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159814227 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11411] ppid=11396 vsize=1484212 CPUtime=0 /proc/11398/task/11411/stat : 11411 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159814252 1519833088 40915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.12 Current children cumulated vsize (KiB) 1484212 [startup+25.5022 s] /proc/loadavg: 1.00 1.02 1.00 2/77 11411 /proc/meminfo: memFree=1151280/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1483892 CPUtime=27.08 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 51314 0 1 0 2685 23 0 0 18 0 13 0 159814218 1519505408 45656 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 370973 45656 1432 9 0 368316 0 [pid=11398/tid=11400] ppid=11396 vsize=1483892 CPUtime=24.72 /proc/11398/task/11400/stat : 11400 (java) R 11396 11398 11093 0 -1 64 30969 0 1 0 2458 14 0 0 25 0 13 0 159814219 1519505408 45656 1992294400 134512640 134550932 4294956016 18446744073709551615 4109460581 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11401] ppid=11396 vsize=1483892 CPUtime=0.21 /proc/11398/task/11401/stat : 11401 (java) S 11396 11398 11093 0 -1 64 5563 0 0 0 19 2 0 0 16 0 13 0 159814220 1519505408 45656 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11402] ppid=11396 vsize=1483892 CPUtime=0.21 /proc/11398/task/11402/stat : 11402 (java) S 11396 11398 11093 0 -1 64 6042 0 0 0 19 2 0 0 16 0 13 0 159814220 1519505408 45656 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11403] ppid=11396 vsize=1483892 CPUtime=0 ################ # More data... # ################ [pid=11398/tid=11403] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11403/stat : 11403 (java) S 11396 11398 11093 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 159814222 1519505408 106694 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11404] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11404/stat : 11404 (java) S 11396 11398 11093 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159814222 1519505408 106694 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11405] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11405/stat : 11405 (java) S 11396 11398 11093 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159814223 1519505408 106694 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11406] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11406/stat : 11406 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159814227 1519505408 106694 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11407] ppid=11396 vsize=1483892 CPUtime=0.92 /proc/11398/task/11407/stat : 11407 (java) S 11396 11398 11093 0 -1 64 3021 0 0 0 91 1 0 0 17 0 13 0 159814227 1519505408 106694 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11408] ppid=11396 vsize=1483892 CPUtime=0.99 /proc/11398/task/11408/stat : 11408 (java) S 11396 11398 11093 0 -1 64 4950 0 0 0 97 2 0 0 16 0 13 0 159814227 1519505408 106694 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11409] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11409/stat : 11409 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159814227 1519505408 106694 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11410] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11410/stat : 11410 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159814227 1519505408 106694 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11411] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11411/stat : 11411 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159814252 1519505408 106694 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1605.43 Current children cumulated vsize (KiB) 1483892 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11419 /proc/meminfo: memFree=902192/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1483892 CPUtime=1665.47 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 116891 0 1 0 166489 58 0 0 18 0 13 0 159814218 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 370973 107658 1432 9 0 368316 0 [pid=11398/tid=11400] ppid=11396 vsize=1483892 CPUtime=1658.36 /proc/11398/task/11400/stat : 11400 (java) R 11396 11398 11093 0 -1 64 31035 0 1 0 165820 16 0 0 25 0 13 0 159814219 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4109581875 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11401] ppid=11396 vsize=1483892 CPUtime=2.56 /proc/11398/task/11401/stat : 11401 (java) S 11396 11398 11093 0 -1 64 40402 0 0 0 238 18 0 0 16 0 13 0 159814220 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11402] ppid=11396 vsize=1483892 CPUtime=2.58 /proc/11398/task/11402/stat : 11402 (java) S 11396 11398 11093 0 -1 64 36714 0 0 0 240 18 0 0 16 0 13 0 159814220 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11403] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11403/stat : 11403 (java) S 11396 11398 11093 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 159814222 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11404] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11404/stat : 11404 (java) S 11396 11398 11093 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159814222 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11405] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11405/stat : 11405 (java) S 11396 11398 11093 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159814223 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11406] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11406/stat : 11406 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159814227 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11407] ppid=11396 vsize=1483892 CPUtime=0.92 /proc/11398/task/11407/stat : 11407 (java) S 11396 11398 11093 0 -1 64 3021 0 0 0 91 1 0 0 17 0 13 0 159814227 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11408] ppid=11396 vsize=1483892 CPUtime=0.99 /proc/11398/task/11408/stat : 11408 (java) S 11396 11398 11093 0 -1 64 4950 0 0 0 97 2 0 0 16 0 13 0 159814227 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11409] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11409/stat : 11409 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159814227 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11410] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11410/stat : 11410 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159814227 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11411] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11411/stat : 11411 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159814252 1519505408 107658 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1665.47 Current children cumulated vsize (KiB) 1483892 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11419 /proc/meminfo: memFree=898928/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1483892 CPUtime=1725.5 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 117729 0 1 0 172492 58 0 0 18 0 13 0 159814218 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 370973 108468 1432 9 0 368316 0 [pid=11398/tid=11400] ppid=11396 vsize=1483892 CPUtime=1718.29 /proc/11398/task/11400/stat : 11400 (java) R 11396 11398 11093 0 -1 64 31036 0 1 0 171813 16 0 0 25 0 13 0 159814219 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4109581767 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11401] ppid=11396 vsize=1483892 CPUtime=2.62 /proc/11398/task/11401/stat : 11401 (java) S 11396 11398 11093 0 -1 64 40864 0 0 0 244 18 0 0 17 0 13 0 159814220 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11402] ppid=11396 vsize=1483892 CPUtime=2.63 /proc/11398/task/11402/stat : 11402 (java) S 11396 11398 11093 0 -1 64 37089 0 0 0 245 18 0 0 16 0 13 0 159814220 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11403] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11403/stat : 11403 (java) S 11396 11398 11093 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 159814222 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11404] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11404/stat : 11404 (java) S 11396 11398 11093 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159814222 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11405] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11405/stat : 11405 (java) S 11396 11398 11093 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159814223 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11406] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11406/stat : 11406 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159814227 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11407] ppid=11396 vsize=1483892 CPUtime=0.92 /proc/11398/task/11407/stat : 11407 (java) S 11396 11398 11093 0 -1 64 3021 0 0 0 91 1 0 0 17 0 13 0 159814227 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11408] ppid=11396 vsize=1483892 CPUtime=0.99 /proc/11398/task/11408/stat : 11408 (java) S 11396 11398 11093 0 -1 64 4950 0 0 0 97 2 0 0 16 0 13 0 159814227 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11409] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11409/stat : 11409 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159814227 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11410] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11410/stat : 11410 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159814227 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11411] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11411/stat : 11411 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159814252 1519505408 108468 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1725.5 Current children cumulated vsize (KiB) 1483892 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11419 /proc/meminfo: memFree=894896/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1483892 CPUtime=1785.55 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 118736 0 1 0 178497 58 0 0 18 0 13 0 159814218 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 370973 109460 1432 9 0 368316 0 [pid=11398/tid=11400] ppid=11396 vsize=1483892 CPUtime=1778.21 /proc/11398/task/11400/stat : 11400 (java) R 11396 11398 11093 0 -1 64 31037 0 1 0 177805 16 0 0 25 0 13 0 159814219 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4109581767 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11401] ppid=11396 vsize=1483892 CPUtime=2.68 /proc/11398/task/11401/stat : 11401 (java) S 11396 11398 11093 0 -1 64 41551 0 0 0 250 18 0 0 16 0 13 0 159814220 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11402] ppid=11396 vsize=1483892 CPUtime=2.69 /proc/11398/task/11402/stat : 11402 (java) S 11396 11398 11093 0 -1 64 37408 0 0 0 251 18 0 0 16 0 13 0 159814220 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11403] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11403/stat : 11403 (java) S 11396 11398 11093 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 159814222 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11404] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11404/stat : 11404 (java) S 11396 11398 11093 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159814222 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11405] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11405/stat : 11405 (java) S 11396 11398 11093 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159814223 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11406] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11406/stat : 11406 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159814227 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11407] ppid=11396 vsize=1483892 CPUtime=0.92 /proc/11398/task/11407/stat : 11407 (java) S 11396 11398 11093 0 -1 64 3021 0 0 0 91 1 0 0 17 0 13 0 159814227 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11408] ppid=11396 vsize=1483892 CPUtime=0.99 /proc/11398/task/11408/stat : 11408 (java) S 11396 11398 11093 0 -1 64 4950 0 0 0 97 2 0 0 16 0 13 0 159814227 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11409] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11409/stat : 11409 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159814227 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11410] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11410/stat : 11410 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159814227 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11411] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11411/stat : 11411 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159814252 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 1483892 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/77 11419 /proc/meminfo: memFree=894896/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=1483892 CPUtime=1800.05 /proc/11398/stat : 11398 (java) S 11396 11398 11093 0 -1 0 118736 0 1 0 179947 58 0 0 18 0 13 0 159814218 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 370973 109460 1432 9 0 368316 0 [pid=11398/tid=11400] ppid=11396 vsize=1483892 CPUtime=1792.71 /proc/11398/task/11400/stat : 11400 (java) R 11396 11398 11093 0 -1 64 31037 0 1 0 179255 16 0 0 25 0 13 0 159814219 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4109581767 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11401] ppid=11396 vsize=1483892 CPUtime=2.68 /proc/11398/task/11401/stat : 11401 (java) S 11396 11398 11093 0 -1 64 41551 0 0 0 250 18 0 0 16 0 13 0 159814220 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11402] ppid=11396 vsize=1483892 CPUtime=2.69 /proc/11398/task/11402/stat : 11402 (java) S 11396 11398 11093 0 -1 64 37408 0 0 0 251 18 0 0 16 0 13 0 159814220 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11403] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11403/stat : 11403 (java) S 11396 11398 11093 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 159814222 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11404] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11404/stat : 11404 (java) S 11396 11398 11093 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159814222 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11405] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11405/stat : 11405 (java) S 11396 11398 11093 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159814223 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11406] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11406/stat : 11406 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 159814227 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11407] ppid=11396 vsize=1483892 CPUtime=0.92 /proc/11398/task/11407/stat : 11407 (java) S 11396 11398 11093 0 -1 64 3021 0 0 0 91 1 0 0 17 0 13 0 159814227 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11408] ppid=11396 vsize=1483892 CPUtime=0.99 /proc/11398/task/11408/stat : 11408 (java) S 11396 11398 11093 0 -1 64 4950 0 0 0 97 2 0 0 16 0 13 0 159814227 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=11398/tid=11409] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11409/stat : 11409 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159814227 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11410] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11410/stat : 11410 (java) S 11396 11398 11093 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159814227 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=11398/tid=11411] ppid=11396 vsize=1483892 CPUtime=0 /proc/11398/task/11411/stat : 11411 (java) S 11396 11398 11093 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159814252 1519505408 109460 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1483892 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.00 1.00 2/77 11419 /proc/meminfo: memFree=894896/2055920 swapFree=4192952/4192956 [pid=11398] ppid=11396 vsize=0 CPUtime=1800.4 /proc/11398/stat : 11398 (java) Z 11396 11398 11093 0 -1 1036 118765 0 1 0 179981 59 0 0 15 0 2 0 159814218 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/11398/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.4 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1797.06 CPU time (s): 1800.48 CPU user time (s): 1799.82 CPU system time (s): 0.661899 CPU usage (%): 100.19 Max. virtual memory (cumulated for all children) (KiB): 1490564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.661899 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 118765 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= 37976 involuntary context switches= 40406 runsolver used 1.9567 second user time and 4.75828 second system time The end
Begin job on node36 at 2009-06-13 21:42:49 IDJOB=1856713 IDBENCH=2918 IDSOLVER=682 FILE ID=node36/1856713-1244922169 PBS_JOBID= 9354616 Free space on /tmp= 66236 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_1.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856713-1244922169/watcher-1856713-1244922169 -o /tmp/evaluation-result-1856713-1244922169/solver-1856713-1244922169 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856713-1244922169.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e RANDOM SEED=1431117843 node36.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.230 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.230 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: 1329784 kB Buffers: 68664 kB Cached: 579304 kB SwapCached: 4 kB Active: 51660 kB Inactive: 610248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1329784 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 292 kB Writeback: 0 kB Mapped: 23760 kB Slab: 50356 kB Committed_AS: 128028 kB PageTables: 1360 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= 66232 MiB End job on node36 at 2009-06-13 22:12:48