Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 151 | 1800.18 | 1787.24 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
| MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 1802.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18 |
| 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 | 74 |
| 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 | 1648 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 5454 |
| 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-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.19/0.20 --- Begin Solver configuration --- 0.19/0.20 c Stops conflict analysis at the first Unique Implication Point 0.19/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.20 c Learn all clauses as in MiniSAT 0.19/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.19/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.20 c No reason simplification 0.19/0.20 c --- End Solver configuration --- 0.19/0.20 c solving /tmp/evaluation/354943-1176738081/instance-354943-1176738081.opb 0.19/0.20 c reading problem ... 0.31/0.33 c ... done. Wall clock time 0.122s. 0.31/0.33 c CPU time (experimental) 0.27s. 0.31/0.33 c #vars 172 0.31/0.33 c #constraints 14 0.68/0.54 c SATISFIABLE 0.68/0.54 c OPTIMIZING... 0.68/0.54 c Got one! Elapsed wall clock time (in seconds):0.338 0.68/0.54 o 3056 0.88/0.64 c Got one! Elapsed wall clock time (in seconds):0.435 0.88/0.64 o 3055 0.88/0.68 c Got one! Elapsed wall clock time (in seconds):0.473 0.88/0.68 o 3032 1.00/0.71 c Got one! Elapsed wall clock time (in seconds):0.505 1.00/0.71 o 2799 1.00/0.74 c Got one! Elapsed wall clock time (in seconds):0.54 1.00/0.74 o 2797 1.00/0.78 c Got one! Elapsed wall clock time (in seconds):0.572 1.00/0.78 o 2795 1.15/0.81 c Got one! Elapsed wall clock time (in seconds):0.609 1.15/0.81 o 2735 1.15/0.86 c Got one! Elapsed wall clock time (in seconds):0.658 1.15/0.86 o 2706 1.15/0.89 c Got one! Elapsed wall clock time (in seconds):0.687 1.15/0.89 o 2686 1.27/0.92 c Got one! Elapsed wall clock time (in seconds):0.714 1.27/0.92 o 2684 1.27/0.94 c Got one! Elapsed wall clock time (in seconds):0.742 1.27/0.95 o 2679 1.27/0.97 c Got one! Elapsed wall clock time (in seconds):0.77 1.27/0.97 o 2678 1.27/1.00 c Got one! Elapsed wall clock time (in seconds):0.798 1.27/1.00 o 2662 1.37/1.03 c Got one! Elapsed wall clock time (in seconds):0.826 1.37/1.03 o 2659 1.37/1.06 c Got one! Elapsed wall clock time (in seconds):0.854 1.37/1.06 o 2648 1.37/1.09 c Got one! Elapsed wall clock time (in seconds):0.882 1.37/1.09 o 2623 1.48/1.11 c Got one! Elapsed wall clock time (in seconds):0.911 1.48/1.11 o 2612 1.48/1.14 c Got one! Elapsed wall clock time (in seconds):0.94 1.48/1.14 o 2606 1.48/1.18 c Got one! Elapsed wall clock time (in seconds):0.977 1.48/1.18 o 2603 1.62/1.23 c Got one! Elapsed wall clock time (in seconds):1.028 1.62/1.23 o 2384 1.62/1.28 c Got one! Elapsed wall clock time (in seconds):1.076 1.62/1.28 o 2375 1.83/1.33 c Got one! Elapsed wall clock time (in seconds):1.123 1.83/1.33 o 2370 2.02/1.40 c Got one! Elapsed wall clock time (in seconds):1.201 2.02/1.40 o 2367 2.02/1.43 c Got one! Elapsed wall clock time (in seconds):1.228 2.02/1.43 o 2261 2.02/1.46 c Got one! Elapsed wall clock time (in seconds):1.256 2.02/1.46 o 2236 2.02/1.49 c Got one! Elapsed wall clock time (in seconds):1.289 2.02/1.49 o 2222 2.22/1.53 c Got one! Elapsed wall clock time (in seconds):1.325 2.22/1.53 o 2175 2.22/1.58 c Got one! Elapsed wall clock time (in seconds):1.379 2.22/1.58 o 690 2.42/1.64 c Got one! Elapsed wall clock time (in seconds):1.439 2.42/1.64 o 689 2.63/1.73 c Got one! Elapsed wall clock time (in seconds):1.532 2.63/1.73 o 688 2.77/1.86 c Got one! Elapsed wall clock time (in seconds):1.661 2.77/1.86 o 686 2.87/1.95 c Got one! Elapsed wall clock time (in seconds):1.747 2.87/1.95 o 684 2.97/2.04 c Got one! Elapsed wall clock time (in seconds):1.841 2.97/2.04 o 682 3.07/2.13 c Got one! Elapsed wall clock time (in seconds):1.923 3.07/2.13 o 678 3.24/2.23 c Got one! Elapsed wall clock time (in seconds):2.031 3.24/2.23 o 676 3.24/2.28 c Got one! Elapsed wall clock time (in seconds):2.082 3.24/2.29 o 674 3.47/2.41 c Got one! Elapsed wall clock time (in seconds):2.206 3.47/2.41 o 672 3.56/2.50 c Got one! Elapsed wall clock time (in seconds):2.299 3.56/2.50 o 668 3.56/2.58 c Got one! Elapsed wall clock time (in seconds):2.373 3.56/2.58 o 666 3.66/2.70 c Got one! Elapsed wall clock time (in seconds):2.493 3.66/2.70 o 664 3.87/2.80 c Got one! Elapsed wall clock time (in seconds):2.594 3.87/2.80 o 663 3.87/2.87 c Got one! Elapsed wall clock time (in seconds):2.668 3.87/2.87 o 662 4.00/2.96 c Got one! Elapsed wall clock time (in seconds):2.753 4.00/2.96 o 661 4.10/3.04 c Got one! Elapsed wall clock time (in seconds):2.837 4.10/3.04 o 649 4.25/3.13 c Got one! Elapsed wall clock time (in seconds):2.928 4.25/3.13 o 626 4.41/3.20 c Got one! Elapsed wall clock time (in seconds):3.001 4.41/3.20 o 625 4.41/3.28 c Got one! Elapsed wall clock time (in seconds):3.078 4.41/3.28 o 624 4.51/3.38 c Got one! Elapsed wall clock time (in seconds):3.181 4.51/3.38 o 622 4.60/3.47 c Got one! Elapsed wall clock time (in seconds):3.262 4.60/3.47 o 620 4.70/3.57 c Got one! Elapsed wall clock time (in seconds):3.37 4.70/3.57 o 618 4.82/3.67 c Got one! Elapsed wall clock time (in seconds):3.464 4.82/3.67 o 616 4.92/3.76 c Got one! Elapsed wall clock time (in seconds):3.56 4.92/3.76 o 613 5.02/3.85 c Got one! Elapsed wall clock time (in seconds):3.643 5.02/3.85 o 612 5.12/3.96 c Got one! Elapsed wall clock time (in seconds):3.755 5.12/3.96 o 611 5.24/4.04 c Got one! Elapsed wall clock time (in seconds):3.84 5.24/4.04 o 610 5.34/4.15 c Got one! Elapsed wall clock time (in seconds):3.951 5.34/4.15 o 608 5.44/4.25 c Got one! Elapsed wall clock time (in seconds):4.048 5.44/4.25 o 607 5.55/4.36 c Got one! Elapsed wall clock time (in seconds):4.153 5.55/4.36 o 604 5.66/4.48 c Got one! Elapsed wall clock time (in seconds):4.281 5.66/4.48 o 525 5.77/4.57 c Got one! Elapsed wall clock time (in seconds):4.368 5.77/4.57 o 523 5.88/4.68 c Got one! Elapsed wall clock time (in seconds):4.48 5.88/4.68 o 521 6.09/4.80 c Got one! Elapsed wall clock time (in seconds):4.6 6.09/4.80 o 519 6.09/4.89 c Got one! Elapsed wall clock time (in seconds):4.688 6.09/4.89 o 518 6.50/5.21 c Got one! Elapsed wall clock time (in seconds):5.012 6.50/5.21 o 516 6.60/5.32 c Got one! Elapsed wall clock time (in seconds):5.121 6.60/5.32 o 514 6.70/5.43 c Got one! Elapsed wall clock time (in seconds):5.224 6.70/5.43 o 512 6.80/5.57 c Got one! Elapsed wall clock time (in seconds):5.363 6.80/5.57 o 511 6.90/5.67 c Got one! Elapsed wall clock time (in seconds):5.467 6.90/5.67 o 509 7.09/5.84 c Got one! Elapsed wall clock time (in seconds):5.639 7.09/5.84 o 508 7.20/5.92 c Got one! Elapsed wall clock time (in seconds):5.718 7.20/5.92 o 504 7.39/6.14 c Got one! Elapsed wall clock time (in seconds):5.939 7.39/6.14 o 502 7.49/6.25 c Got one! Elapsed wall clock time (in seconds):6.047 7.49/6.25 o 500 7.59/6.35 c Got one! Elapsed wall clock time (in seconds):6.151 7.59/6.35 o 499 7.82/6.55 c Got one! Elapsed wall clock time (in seconds):6.351 7.82/6.55 o 497 8.02/6.70 c Got one! Elapsed wall clock time (in seconds):6.495 8.02/6.70 o 495 8.12/6.82 c Got one! Elapsed wall clock time (in seconds):6.613 8.12/6.82 o 493 8.22/6.95 c Got one! Elapsed wall clock time (in seconds):6.75 8.22/6.95 o 492 8.61/7.32 c Got one! Elapsed wall clock time (in seconds):7.122 8.61/7.32 o 490 9.12/7.87 c Got one! Elapsed wall clock time (in seconds):7.67 9.12/7.87 o 489 9.31/8.01 c Got one! Elapsed wall clock time (in seconds):7.806 9.31/8.01 o 488 9.45/8.17 c Got one! Elapsed wall clock time (in seconds):7.964 9.45/8.17 o 486 9.70/8.35 c Got one! Elapsed wall clock time (in seconds):8.144 9.70/8.35 o 484 9.90/8.52 c Got one! Elapsed wall clock time (in seconds):8.319 9.90/8.52 o 482 10.00/8.69 c Got one! Elapsed wall clock time (in seconds):8.488 10.00/8.69 o 481 10.20/8.80 c Got one! Elapsed wall clock time (in seconds):8.6 10.20/8.80 o 470 11.13/9.79 c Got one! Elapsed wall clock time (in seconds):9.586 11.13/9.79 o 468 11.36/9.97 c Got one! Elapsed wall clock time (in seconds):9.765 11.36/9.97 o 467 12.36/10.98 c Got one! Elapsed wall clock time (in seconds):10.781 12.36/10.98 o 466 12.64/11.16 c Got one! Elapsed wall clock time (in seconds):10.954 12.64/11.16 o 464 14.08/12.55 c Got one! Elapsed wall clock time (in seconds):12.35 14.08/12.55 o 462 15.11/13.56 c Got one! Elapsed wall clock time (in seconds):13.357 15.11/13.56 o 461 15.31/13.77 c Got one! Elapsed wall clock time (in seconds):13.564 15.31/13.77 o 460 15.51/13.95 c Got one! Elapsed wall clock time (in seconds):13.746 15.51/13.95 o 459 15.82/14.21 c Got one! Elapsed wall clock time (in seconds):14.003 15.82/14.21 o 458 16.01/14.42 c Got one! Elapsed wall clock time (in seconds):14.216 16.01/14.42 o 457 16.21/14.61 c Got one! Elapsed wall clock time (in seconds):14.402 16.21/14.61 o 456 16.63/15.06 c Got one! Elapsed wall clock time (in seconds):14.861 16.63/15.06 o 454 16.83/15.28 c Got one! Elapsed wall clock time (in seconds):15.075 16.83/15.28 o 434 17.13/15.51 c Got one! Elapsed wall clock time (in seconds):15.309 17.13/15.51 o 433 17.23/15.66 c Got one! Elapsed wall clock time (in seconds):15.456 17.23/15.66 o 432 17.83/16.28 c Got one! Elapsed wall clock time (in seconds):16.075 17.83/16.28 o 431 18.03/16.46 c Got one! Elapsed wall clock time (in seconds):16.261 18.03/16.46 o 430 18.75/17.16 c Got one! Elapsed wall clock time (in seconds):16.953 18.75/17.16 o 428 18.95/17.30 c Got one! Elapsed wall clock time (in seconds):17.094 18.95/17.30 o 426 19.45/17.86 c Got one! Elapsed wall clock time (in seconds):17.654 19.45/17.86 o 425 19.85/18.26 c Got one! Elapsed wall clock time (in seconds):18.057 19.85/18.26 o 424 20.05/18.44 c Got one! Elapsed wall clock time (in seconds):18.233 20.05/18.44 o 422 20.25/18.67 c Got one! Elapsed wall clock time (in seconds):18.464 20.25/18.67 o 421 21.17/19.53 c Got one! Elapsed wall clock time (in seconds):19.323 21.17/19.53 o 419 21.37/19.75 c Got one! Elapsed wall clock time (in seconds):19.547 21.37/19.75 o 417 21.56/19.93 c Got one! Elapsed wall clock time (in seconds):19.731 21.56/19.93 o 415 21.76/20.16 c Got one! Elapsed wall clock time (in seconds):19.958 21.76/20.16 o 414 22.06/20.40 c Got one! Elapsed wall clock time (in seconds):20.198 22.06/20.40 o 413 22.26/20.70 c Got one! Elapsed wall clock time (in seconds):20.494 22.26/20.70 o 412 22.57/20.93 c Got one! Elapsed wall clock time (in seconds):20.728 22.57/20.93 o 411 22.86/21.24 c Got one! Elapsed wall clock time (in seconds):21.033 22.86/21.24 o 408 23.06/21.46 c Got one! Elapsed wall clock time (in seconds):21.262 23.06/21.46 o 407 23.68/22.03 c Got one! Elapsed wall clock time (in seconds):21.826 23.68/22.03 o 405 24.08/22.40 c Got one! Elapsed wall clock time (in seconds):22.195 24.08/22.40 o 404 24.48/22.83 c Got one! Elapsed wall clock time (in seconds):22.631 24.48/22.83 o 402 24.68/23.05 c Got one! Elapsed wall clock time (in seconds):22.851 24.68/23.05 o 400 25.29/23.62 c Got one! Elapsed wall clock time (in seconds):23.419 25.29/23.62 o 398 25.49/23.86 c Got one! Elapsed wall clock time (in seconds):23.657 25.49/23.86 o 396 26.10/24.48 c Got one! Elapsed wall clock time (in seconds):24.275 26.10/24.48 o 395 26.80/25.14 c Got one! Elapsed wall clock time (in seconds):24.934 26.80/25.14 o 376 27.51/25.82 c Got one! Elapsed wall clock time (in seconds):25.618 27.51/25.82 o 374 28.30/26.60 c Got one! Elapsed wall clock time (in seconds):26.399 28.30/26.60 o 372 28.80/27.11 c Got one! Elapsed wall clock time (in seconds):26.905 28.80/27.11 o 370 29.11/27.48 c Got one! Elapsed wall clock time (in seconds):27.275 29.11/27.48 o 369 29.50/27.90 c Got one! Elapsed wall clock time (in seconds):27.694 29.50/27.90 o 368 31.02/29.31 c Got one! Elapsed wall clock time (in seconds):29.103 31.02/29.31 o 367 31.72/30.07 c Got one! Elapsed wall clock time (in seconds):29.863 31.72/30.07 o 366 32.12/30.49 c Got one! Elapsed wall clock time (in seconds):30.285 32.12/30.49 o 365 32.72/31.00 c Got one! Elapsed wall clock time (in seconds):30.799 32.72/31.00 o 363 33.32/31.67 c Got one! Elapsed wall clock time (in seconds):31.469 33.32/31.67 o 362 34.73/33.02 c Got one! Elapsed wall clock time (in seconds):32.822 34.73/33.02 o 360 35.23/33.57 c Got one! Elapsed wall clock time (in seconds):33.365 35.23/33.57 o 353 35.53/33.88 c Got one! Elapsed wall clock time (in seconds):33.68 35.53/33.88 o 349 35.93/34.24 c Got one! Elapsed wall clock time (in seconds):34.041 35.93/34.24 o 347 36.23/34.55 c Got one! Elapsed wall clock time (in seconds):34.344 36.23/34.55 o 345 41.65/39.90 c Got one! Elapsed wall clock time (in seconds):39.7 41.65/39.90 o 344 42.56/40.87 c Got one! Elapsed wall clock time (in seconds):40.671 42.56/40.87 o 340 45.16/43.43 c Got one! Elapsed wall clock time (in seconds):43.226 45.16/43.43 o 338 45.57/43.86 c Got one! Elapsed wall clock time (in seconds):43.658 45.57/43.86 o 336 46.47/44.75 c Got one! Elapsed wall clock time (in seconds):44.546 46.47/44.75 o 334 47.28/45.50 c Got one! Elapsed wall clock time (in seconds):45.297 47.28/45.50 o 332 48.18/46.44 c Got one! Elapsed wall clock time (in seconds):46.241 48.18/46.44 o 331 48.99/47.29 c Got one! Elapsed wall clock time (in seconds):47.084 48.99/47.29 o 329 49.98/48.22 c Got one! Elapsed wall clock time (in seconds):48.016 49.98/48.22 o 327 50.38/48.70 c Got one! Elapsed wall clock time (in seconds):48.492 50.38/48.70 o 320 51.00/49.21 c Got one! Elapsed wall clock time (in seconds):49.007 51.00/49.21 o 319 51.50/49.78 c Got one! Elapsed wall clock time (in seconds):49.573 51.50/49.78 o 317 51.69/49.98 c Got one! Elapsed wall clock time (in seconds):49.772 51.69/49.98 o 316 52.30/50.57 c Got one! Elapsed wall clock time (in seconds):50.363 52.30/50.57 o 314 52.60/50.89 c Got one! Elapsed wall clock time (in seconds):50.688 52.60/50.89 o 313 53.00/51.21 c Got one! Elapsed wall clock time (in seconds):51.004 53.00/51.21 o 312 53.30/51.52 c Got one! Elapsed wall clock time (in seconds):51.321 53.30/51.52 o 310 54.00/52.21 c Got one! Elapsed wall clock time (in seconds):52.005 54.00/52.21 o 309 54.80/53.07 c Got one! Elapsed wall clock time (in seconds):52.863 54.80/53.07 o 307 55.21/53.41 c Got one! Elapsed wall clock time (in seconds):53.202 55.21/53.41 o 305 57.11/55.37 c Got one! Elapsed wall clock time (in seconds):55.162 57.11/55.37 o 304 57.51/55.75 c Got one! Elapsed wall clock time (in seconds):55.542 57.51/55.75 o 303 59.62/57.84 c Got one! Elapsed wall clock time (in seconds):57.639 59.62/57.84 o 301 60.93/59.11 c Got one! Elapsed wall clock time (in seconds):58.905 60.93/59.11 o 299 61.84/60.06 c Got one! Elapsed wall clock time (in seconds):59.86 61.84/60.06 o 298 63.14/61.37 c Got one! Elapsed wall clock time (in seconds):61.166 63.14/61.37 o 296 63.74/61.92 c Got one! Elapsed wall clock time (in seconds):61.719 63.74/61.92 o 295 65.05/63.22 c Got one! Elapsed wall clock time (in seconds):63.017 65.05/63.22 o 293 67.06/65.20 c Got one! Elapsed wall clock time (in seconds):65.002 67.06/65.20 o 292 67.86/66.07 c Got one! Elapsed wall clock time (in seconds):65.872 67.86/66.08 o 290 70.26/68.48 c Got one! Elapsed wall clock time (in seconds):68.28 70.26/68.48 o 288 71.67/69.86 c Got one! Elapsed wall clock time (in seconds):69.658 71.67/69.86 o 286 72.77/70.92 c Got one! Elapsed wall clock time (in seconds):70.713 72.77/70.92 o 284 73.67/71.87 c Got one! Elapsed wall clock time (in seconds):71.664 73.67/71.87 o 283 75.59/73.71 c Got one! Elapsed wall clock time (in seconds):73.506 75.59/73.71 o 281 77.60/75.72 c Got one! Elapsed wall clock time (in seconds):75.516 77.60/75.72 o 273 79.60/77.74 c Got one! Elapsed wall clock time (in seconds):77.533 79.60/77.74 o 269 81.02/79.18 c Got one! Elapsed wall clock time (in seconds):78.978 81.02/79.18 o 268 81.93/80.01 c Got one! Elapsed wall clock time (in seconds):79.812 81.93/80.01 o 266 82.53/80.60 c Got one! Elapsed wall clock time (in seconds):80.396 82.53/80.60 o 264 87.45/85.50 c Got one! Elapsed wall clock time (in seconds):85.296 87.45/85.50 o 263 87.95/86.04 c Got one! Elapsed wall clock time (in seconds):85.837 87.95/86.04 o 261 88.55/86.68 c Got one! Elapsed wall clock time (in seconds):86.481 88.55/86.68 o 259 103.65/101.60 c Got one! Elapsed wall clock time (in seconds):101.401 103.65/101.60 o 258 104.56/102.55 c Got one! Elapsed wall clock time (in seconds):102.348 104.56/102.55 o 257 106.18/104.19 c Got one! Elapsed wall clock time (in seconds):103.991 106.18/104.19 o 254 106.88/104.89 c Got one! Elapsed wall clock time (in seconds):104.682 106.88/104.89 o 252 108.19/106.18 c Got one! Elapsed wall clock time (in seconds):105.981 108.19/106.18 o 251 109.80/107.71 c Got one! Elapsed wall clock time (in seconds):107.511 109.80/107.71 o 249 111.31/109.26 c Got one! Elapsed wall clock time (in seconds):109.056 111.31/109.26 o 247 112.82/110.74 c Got one! Elapsed wall clock time (in seconds):110.532 112.82/110.74 o 245 114.02/111.96 c Got one! Elapsed wall clock time (in seconds):111.759 114.02/111.96 o 243 119.98/117.88 c Got one! Elapsed wall clock time (in seconds):117.68 119.98/117.88 o 241 120.58/118.43 c Got one! Elapsed wall clock time (in seconds):118.223 120.58/118.43 o 239 121.79/119.69 c Got one! Elapsed wall clock time (in seconds):119.483 121.79/119.69 o 237 122.30/120.17 c Got one! Elapsed wall clock time (in seconds):119.963 122.30/120.17 o 235 123.70/121.51 c Got one! Elapsed wall clock time (in seconds):121.309 123.70/121.51 o 233 131.46/129.20 c Got one! Elapsed wall clock time (in seconds):129.0 131.46/129.20 o 232 131.96/129.80 c Got one! Elapsed wall clock time (in seconds):129.595 131.96/129.80 o 231 132.57/130.34 c Got one! Elapsed wall clock time (in seconds):130.14 132.57/130.34 o 230 133.07/130.81 c Got one! Elapsed wall clock time (in seconds):130.606 133.07/130.81 o 228 133.57/131.38 c Got one! Elapsed wall clock time (in seconds):131.173 133.57/131.38 o 224 134.78/132.52 c Got one! Elapsed wall clock time (in seconds):132.314 134.78/132.52 o 222 137.61/135.36 c Got one! Elapsed wall clock time (in seconds):135.156 137.61/135.36 o 221 138.40/136.11 c Got one! Elapsed wall clock time (in seconds):135.903 138.40/136.11 o 220 138.90/136.69 c Got one! Elapsed wall clock time (in seconds):136.483 138.90/136.69 o 219 140.84/138.52 c Got one! Elapsed wall clock time (in seconds):138.314 140.84/138.52 o 217 141.53/139.22 c Got one! Elapsed wall clock time (in seconds):139.019 141.53/139.22 o 216 143.55/141.29 c Got one! Elapsed wall clock time (in seconds):141.084 143.55/141.29 o 215 144.66/142.31 c Got one! Elapsed wall clock time (in seconds):142.109 144.66/142.31 o 214 147.17/144.82 c Got one! Elapsed wall clock time (in seconds):144.622 147.17/144.83 o 213 148.59/146.28 c Got one! Elapsed wall clock time (in seconds):146.079 148.59/146.28 o 212 150.40/148.08 c Got one! Elapsed wall clock time (in seconds):147.874 150.40/148.08 o 210 153.21/150.83 c Got one! Elapsed wall clock time (in seconds):150.631 153.21/150.83 o 209 154.53/152.16 c Got one! Elapsed wall clock time (in seconds):151.955 154.53/152.16 o 206 159.48/157.04 c Got one! Elapsed wall clock time (in seconds):156.839 159.48/157.04 o 205 161.38/158.95 c Got one! Elapsed wall clock time (in seconds):158.75 161.38/158.95 o 203 162.69/160.21 c Got one! Elapsed wall clock time (in seconds):160.01 162.69/160.21 o 201 166.12/163.68 c Got one! Elapsed wall clock time (in seconds):163.475 166.12/163.68 o 199 166.82/164.32 c Got one! Elapsed wall clock time (in seconds):164.122 166.82/164.32 o 197 172.26/169.73 c Got one! Elapsed wall clock time (in seconds):169.53 172.26/169.73 o 195 176.20/173.67 c Got one! Elapsed wall clock time (in seconds):173.463 176.20/173.67 o 194 180.74/178.11 c Got one! Elapsed wall clock time (in seconds):177.908 180.74/178.11 o 193 186.57/183.90 c Got one! Elapsed wall clock time (in seconds):183.694 186.57/183.90 o 192 194.63/191.91 c Got one! Elapsed wall clock time (in seconds):191.712 194.63/191.91 o 191 195.83/193.16 c Got one! Elapsed wall clock time (in seconds):192.953 195.83/193.16 o 189 196.34/193.69 c Got one! Elapsed wall clock time (in seconds):193.486 196.34/193.69 o 188 198.24/195.56 c Got one! Elapsed wall clock time (in seconds):195.357 198.24/195.56 o 186 199.65/196.96 c Got one! Elapsed wall clock time (in seconds):196.757 199.65/196.96 o 185 202.86/200.14 c Got one! Elapsed wall clock time (in seconds):199.934 202.86/200.14 o 183 205.37/202.68 c Got one! Elapsed wall clock time (in seconds):202.473 205.37/202.68 o 181 211.22/208.46 c Got one! Elapsed wall clock time (in seconds):208.259 211.32/208.54 o 180 213.63/210.87 c Got one! Elapsed wall clock time (in seconds):210.671 213.63/210.87 o 179 214.53/211.78 c Got one! Elapsed wall clock time (in seconds):211.574 214.53/211.78 o 178 216.84/214.03 c Got one! Elapsed wall clock time (in seconds):213.831 216.84/214.03 o 177 233.88/230.96 c Got one! Elapsed wall clock time (in seconds):230.752 233.88/230.96 o 175 236.30/233.33 c Got one! Elapsed wall clock time (in seconds):233.126 236.30/233.33 o 173 246.25/243.22 c Got one! Elapsed wall clock time (in seconds):243.018 246.25/243.22 o 172 247.35/244.34 c Got one! Elapsed wall clock time (in seconds):244.134 247.35/244.34 o 170 257.83/254.76 c Got one! Elapsed wall clock time (in seconds):254.555 257.83/254.76 o 168 266.29/263.19 c Got one! Elapsed wall clock time (in seconds):262.99 266.29/263.19 o 166 272.44/269.24 c Got one! Elapsed wall clock time (in seconds):269.036 272.44/269.24 o 165 294.28/290.97 c Got one! Elapsed wall clock time (in seconds):290.769 294.28/290.97 o 164 301.35/297.96 c Got one! Elapsed wall clock time (in seconds):297.753 301.35/297.96 o 162 313.03/309.52 c Got one! Elapsed wall clock time (in seconds):309.321 313.03/309.52 o 161 322.31/318.72 c Got one! Elapsed wall clock time (in seconds):318.521 322.31/318.72 o 159 328.95/325.36 c Got one! Elapsed wall clock time (in seconds):325.158 328.95/325.36 o 158 350.18/346.48 c Got one! Elapsed wall clock time (in seconds):346.275 350.18/346.48 o 157 354.00/350.23 c Got one! Elapsed wall clock time (in seconds):350.028 354.00/350.23 o 155 360.24/356.45 c Got one! Elapsed wall clock time (in seconds):356.249 360.24/356.45 o 153 374.73/370.83 c Got one! Elapsed wall clock time (in seconds):370.629 374.73/370.83 o 151 1800.03/1787.11 c starts : 1057 1800.03/1787.11 c conflicts : 845230 1800.03/1787.11 c decisions : 1056887 1800.03/1787.11 c propagations : 13282652 1800.03/1787.11 c inspects : 3900033959 1800.03/1787.11 c learnt literals : 0 1800.03/1787.11 c learnt binary clauses : 0 1800.03/1787.11 c learnt ternary clauses : 0 1800.03/1787.11 c learnt clauses : 845230 1800.03/1787.11 c root simplifications : 0 1800.03/1787.11 c removed literals (reason simplification) : 0 1800.03/1787.11 c reason swapping (by a shorter reason) : 0 1800.03/1787.11 c Calls to reduceDB : 0 1800.03/1787.11 c speed (decisions/second) : 746.2420893058501 1800.03/1787.11 c non guided choices 7075 1800.03/1787.11 s SATISFIABLE 1800.03/1787.11 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 1800.03/1787.11 v -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 1800.03/1787.11 v -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 1800.03/1787.11 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 1800.03/1787.11 v -x108 -x109 -x110 -x111 -x112 x113 -x114 x115 x116 -x117 x118 -x119 x120 -x121 -x122 -x123 x124 x125 -x126 x127 -x128 -x129 1800.03/1787.11 v x130 x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 x149 x150 -x151 1800.03/1787.11 v x152 -x153 x154 x155 x156 x157 x158 x159 x160 -x161 -x162 -x163 -x164 -x165 x166 x167 -x168 -x169 x170 x171 x172 1800.03/1787.11 c objective function=151 1800.03/1787.11 c Total wall clock time (ms): 1786.911
OK 151
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-354943-1176738081 -o ROOT/results/node37/solver-354943-1176738081 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354943-1176738081/sat4jPseudoResolution.jar /tmp/evaluation/354943-1176738081/instance-354943-1176738081.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/78 9991 /proc/meminfo: memFree=1821880/2055920 swapFree=4078776/4192956 [pid=9991] ppid=9989 vsize=324 CPUtime=0 /proc/9991/stat : 9991 (java) R 9989 9991 9427 0 -1 0 60 0 0 0 0 0 0 0 20 0 1 0 121720585 331776 44 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 3167012 0 0 4096 0 0 0 0 17 1 0 0 /proc/9991/statm: 81 44 33 9 0 6 0 [startup+0.0956889 s] /proc/loadavg: 0.92 0.98 0.99 3/78 9991 /proc/meminfo: memFree=1821880/2055920 swapFree=4078776/4192956 [pid=9991] ppid=9989 vsize=1780040 CPUtime=0.07 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 3908 0 1 0 6 1 0 0 18 0 12 0 121720585 1822760960 3650 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 445010 3650 1099 9 0 442646 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1780040 [startup+0.102689 s] /proc/loadavg: 0.92 0.98 0.99 3/78 9991 /proc/meminfo: memFree=1821880/2055920 swapFree=4078776/4192956 [pid=9991] ppid=9989 vsize=1780108 CPUtime=0.08 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 3979 0 1 0 6 2 0 0 18 0 12 0 121720585 1822830592 3721 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 445027 3721 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.302727 s] /proc/loadavg: 0.92 0.98 0.99 3/78 9991 /proc/meminfo: memFree=1821880/2055920 swapFree=4078776/4192956 [pid=9991] ppid=9989 vsize=1782288 CPUtime=0.31 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 5110 0 1 0 28 3 0 0 18 0 12 0 121720585 1825062912 4849 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 445572 4849 1264 9 0 443184 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1782288 [startup+0.702801 s] /proc/loadavg: 0.92 0.98 0.99 3/78 9991 /proc/meminfo: memFree=1821880/2055920 swapFree=4078776/4192956 [pid=9991] ppid=9989 vsize=1786212 CPUtime=1 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 8222 0 1 0 96 4 0 0 18 0 13 0 121720585 1829081088 7197 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 446553 7197 1308 9 0 444165 0 Current children cumulated CPU time (s) 1 Current children cumulated vsize (KiB) 1786212 [startup+1.50196 s] /proc/loadavg: 0.92 0.98 0.99 2/91 10016 /proc/meminfo: memFree=1784528/2055920 swapFree=4078776/4192956 [pid=9991] ppid=9989 vsize=1793560 CPUtime=2.22 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 19635 0 1 0 213 9 0 0 18 0 12 0 121720585 1836605440 17450 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 448390 17451 1313 9 0 446002 0 [pid=9991/tid=9993] ppid=9989 vsize=1793560 CPUtime=1.23 /proc/9991/task/9993/stat : 9993 (java) R 9989 9991 9427 0 -1 64 13917 0 1 0 117 6 0 0 21 0 12 0 121720586 1836605440 17451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109187518 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9994] ppid=9989 vsize=1793560 CPUtime=0 /proc/9991/task/9994/stat : 9994 (java) S 9989 9991 9427 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 121720588 1836605440 17451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9995] ppid=9989 vsize=1793560 CPUtime=0 /proc/9991/task/9995/stat : 9995 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 121720588 1836605440 17451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9996] ppid=9989 vsize=1793560 CPUtime=0 /proc/9991/task/9996/stat : 9996 (java) S 9989 9991 9427 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 121720590 1836605440 17451 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9997] ppid=9989 vsize=1793560 CPUtime=0 /proc/9991/task/9997/stat : 9997 (java) S 9989 9991 9427 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 121720591 1836605440 17452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9998] ppid=9989 vsize=1793560 CPUtime=0 /proc/9991/task/9998/stat : 9998 (java) S 9989 9991 9427 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 121720591 1836605440 17452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9999] ppid=9989 vsize=1793560 CPUtime=0 /proc/9991/task/9999/stat : 9999 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 121720594 1836605440 17452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10000] ppid=9989 vsize=1793560 CPUtime=0.58 /proc/9991/task/10000/stat : 10000 (java) R 9989 9991 9427 0 -1 64 3283 0 0 0 57 1 0 0 18 0 12 0 121720594 1836605440 17452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103336908 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10001] ppid=9989 vsize=1793560 CPUtime=0.38 /proc/9991/task/10001/stat : 10001 (java) S 9989 9991 9427 0 -1 64 1705 0 0 0 38 0 0 0 16 0 12 0 121720594 1836605440 17452 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10002] ppid=9989 vsize=1793560 CPUtime=0 /proc/9991/task/10002/stat : 10002 (java) S 9989 9991 9427 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 121720594 1836605440 17453 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10003] ppid=9989 vsize=1793560 CPUtime=0 /proc/9991/task/10003/stat : 10003 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 121720595 1836605440 17453 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 1793560 [startup+3.10225 s] /proc/loadavg: 0.92 0.98 0.99 2/91 10037 /proc/meminfo: memFree=1715216/2055920 swapFree=4078776/4192956 [pid=9991] ppid=9989 vsize=1794092 CPUtime=4.25 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 46607 0 1 0 404 21 0 0 18 0 13 0 121720585 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 448523 42544 1323 9 0 446135 0 [pid=9991/tid=9993] ppid=9989 vsize=1794092 CPUtime=2.77 /proc/9991/task/9993/stat : 9993 (java) R 9989 9991 9427 0 -1 64 37704 0 1 0 259 18 0 0 22 0 13 0 121720586 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109549588 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9994] ppid=9989 vsize=1794092 CPUtime=0.01 /proc/9991/task/9994/stat : 9994 (java) S 9989 9991 9427 0 -1 64 640 0 0 0 1 0 0 0 16 0 13 0 121720588 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9995] ppid=9989 vsize=1794092 CPUtime=0.01 /proc/9991/task/9995/stat : 9995 (java) S 9989 9991 9427 0 -1 64 446 0 0 0 1 0 0 0 16 0 13 0 121720588 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9996] ppid=9989 vsize=1794092 CPUtime=0 /proc/9991/task/9996/stat : 9996 (java) S 9989 9991 9427 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 121720590 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9997] ppid=9989 vsize=1794092 CPUtime=0 /proc/9991/task/9997/stat : 9997 (java) S 9989 9991 9427 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 121720591 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9998] ppid=9989 vsize=1794092 CPUtime=0 /proc/9991/task/9998/stat : 9998 (java) S 9989 9991 9427 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 121720591 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9999] ppid=9989 vsize=1794092 CPUtime=0 /proc/9991/task/9999/stat : 9999 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121720594 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10000] ppid=9989 vsize=1794092 CPUtime=0.89 /proc/9991/task/10000/stat : 10000 (java) S 9989 9991 9427 0 -1 64 4660 0 0 0 87 2 0 0 16 0 13 0 121720594 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10001] ppid=9989 vsize=1794092 CPUtime=0.55 /proc/9991/task/10001/stat : 10001 (java) R 9989 9991 9427 0 -1 64 2414 0 0 0 55 0 0 0 16 0 13 0 121720594 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103336912 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10002] ppid=9989 vsize=1794092 CPUtime=0 /proc/9991/task/10002/stat : 10002 (java) S 9989 9991 9427 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121720594 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10003] ppid=9989 vsize=1794092 CPUtime=0 /proc/9991/task/10003/stat : 10003 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121720595 1837150208 42544 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.25 Current children cumulated vsize (KiB) 1794092 [startup+6.30185 s] /proc/loadavg: 0.93 0.98 0.99 2/91 10069 /proc/meminfo: memFree=1650488/2055920 swapFree=4078776/4192956 [pid=9991] ppid=9989 vsize=1792536 CPUtime=7.59 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 48634 0 1 0 736 23 0 0 18 0 13 0 121720585 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 448134 43860 1331 9 0 445746 0 [pid=9991/tid=9993] ppid=9989 vsize=1792536 CPUtime=5.89 /proc/9991/task/9993/stat : 9993 (java) R 9989 9991 9427 0 -1 64 37723 0 1 0 571 18 0 0 17 0 13 0 121720586 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109520350 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9994] ppid=9989 vsize=1792536 CPUtime=0.02 /proc/9991/task/9994/stat : 9994 (java) S 9989 9991 9427 0 -1 64 1673 0 0 0 2 0 0 0 16 0 13 0 121720588 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9995] ppid=9989 vsize=1792536 CPUtime=0.02 /proc/9991/task/9995/stat : 9995 (java) S 9989 9991 9427 0 -1 64 1115 0 0 0 2 0 0 0 16 0 13 0 121720588 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9996] ppid=9989 vsize=1792536 CPUtime=0 /proc/9991/task/9996/stat : 9996 (java) S 9989 9991 9427 0 -1 64 22 0 0 0 0 0 0 0 16 0 13 0 121720590 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9997] ppid=9989 vsize=1792536 CPUtime=0 /proc/9991/task/9997/stat : 9997 (java) S 9989 9991 9427 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121720591 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9998] ppid=9989 vsize=1792536 CPUtime=0 /proc/9991/task/9998/stat : 9998 (java) S 9989 9991 9427 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 121720591 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9999] ppid=9989 vsize=1792536 CPUtime=0 /proc/9991/task/9999/stat : 9999 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121720594 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10000] ppid=9989 vsize=1792536 CPUtime=0.97 /proc/9991/task/10000/stat : 10000 (java) S 9989 9991 9427 0 -1 64 4675 0 0 0 95 2 0 0 15 0 13 0 121720594 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10001] ppid=9989 vsize=1792536 CPUtime=0.64 /proc/9991/task/10001/stat : 10001 (java) S 9989 9991 9427 0 -1 64 2681 0 0 0 63 1 0 0 16 0 13 0 121720594 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10002] ppid=9989 vsize=1792536 CPUtime=0 /proc/9991/task/10002/stat : 10002 (java) S 9989 9991 9427 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121720594 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10003] ppid=9989 vsize=1792536 CPUtime=0 /proc/9991/task/10003/stat : 10003 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121720595 1835556864 43860 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.59 Current children cumulated vsize (KiB) 1792536 [startup+12.7011 s] /proc/loadavg: 1.09 1.02 1.01 2/91 10093 /proc/meminfo: memFree=1637344/2055920 swapFree=4078776/4192956 [pid=9991] ppid=9989 vsize=1791084 CPUtime=14.28 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 53687 0 1 0 1402 26 0 0 18 0 13 0 121720585 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 447771 47164 1331 9 0 445383 0 [pid=9991/tid=9993] ppid=9989 vsize=1791084 CPUtime=12.14 /proc/9991/task/9993/stat : 9993 (java) R 9989 9991 9427 0 -1 64 37753 0 1 0 1196 18 0 0 17 0 13 0 121720586 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109506357 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9994] ppid=9989 vsize=1791084 CPUtime=0.12 /proc/9991/task/9994/stat : 9994 (java) S 9989 9991 9427 0 -1 64 4363 0 0 0 11 1 0 0 17 0 13 0 121720588 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9995] ppid=9989 vsize=1791084 CPUtime=0.12 /proc/9991/task/9995/stat : 9995 (java) S 9989 9991 9427 0 -1 64 3371 0 0 0 11 1 0 0 16 0 13 0 121720588 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9996] ppid=9989 vsize=1791084 CPUtime=0 /proc/9991/task/9996/stat : 9996 (java) S 9989 9991 9427 0 -1 64 41 0 0 0 0 0 0 0 16 0 13 0 121720590 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9997] ppid=9989 vsize=1791084 CPUtime=0 /proc/9991/task/9997/stat : 9997 (java) S 9989 9991 9427 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121720591 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9998] ppid=9989 vsize=1791084 CPUtime=0 /proc/9991/task/9998/stat : 9998 (java) S 9989 9991 9427 0 -1 64 25 0 0 0 0 0 0 0 17 0 13 0 121720591 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9999] ppid=9989 vsize=1791084 CPUtime=0 /proc/9991/task/9999/stat : 9999 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121720594 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10000] ppid=9989 vsize=1791084 CPUtime=1.06 /proc/9991/task/10000/stat : 10000 (java) S 9989 9991 9427 0 -1 64 4679 0 0 0 104 2 0 0 15 0 13 0 121720594 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10001] ppid=9989 vsize=1791084 CPUtime=0.78 /proc/9991/task/10001/stat : 10001 (java) S 9989 9991 9427 0 -1 64 2691 0 0 0 77 1 0 0 16 0 13 0 121720594 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10002] ppid=9989 vsize=1791084 CPUtime=0 /proc/9991/task/10002/stat : 10002 (java) S 9989 9991 9427 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121720594 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10003] ppid=9989 vsize=1791084 CPUtime=0 /proc/9991/task/10003/stat : 10003 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121720595 1834070016 47164 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.28 Current children cumulated vsize (KiB) 1791084 [startup+25.5025 s] /proc/loadavg: 1.07 1.02 1.00 2/91 10129 /proc/meminfo: memFree=1609024/2055920 swapFree=4078776/4192956 [pid=9991] ppid=9989 vsize=1791044 CPUtime=27.2 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 61544 0 1 0 2689 31 0 0 18 0 13 0 121720585 1834029056 54228 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 447761 54228 1331 9 0 445373 0 [pid=9991/tid=9993] ppid=9989 vsize=1791044 CPUtime=24.8 /proc/9991/task/9993/stat : 9993 (java) R 9989 9991 9427 0 -1 64 38361 0 1 0 2461 19 0 0 25 0 13 0 121720586 1834029056 54228 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109501198 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9994] ppid=9989 vsize=1791044 CPUtime=0.23 /proc/9991/task/9994/stat : 9994 (java) S 9989 9991 9427 0 -1 64 8069 0 0 0 20 3 0 0 17 0 13 0 121720588 1834029056 54228 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9995] ppid=9989 vsize=1791044 CPUtime=0.23 /proc/9991/task/9995/stat : 9995 (java) S 9989 9991 9427 0 -1 64 6888 0 0 0 20 3 0 0 16 0 13 0 121720588 1834029056 54228 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9996] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9996/stat : 9996 (java) S 9989 9991 9427 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 121720590 1834029056 54228 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9997] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9997/stat : 9997 (java) S 9989 9991 9427 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 54228 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9998] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9998/stat : 9998 (java) S 9989 9991 9427 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 54228 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9999] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9999/stat : 9999 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121720594 1834029056 54228 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=9991/tid=9996] ppid=9989 vsize=1791044 CPUtime=0.24 /proc/9991/task/9996/stat : 9996 (java) S 9989 9991 9427 0 -1 64 191 0 0 0 11 13 0 0 16 0 13 0 121720590 1834029056 105374 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9997] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9997/stat : 9997 (java) S 9989 9991 9427 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 105374 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9998] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9998/stat : 9998 (java) S 9989 9991 9427 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 105374 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9999] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9999/stat : 9999 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121720594 1834029056 105374 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10000] ppid=9989 vsize=1791044 CPUtime=1.08 /proc/9991/task/10000/stat : 10000 (java) S 9989 9991 9427 0 -1 64 4681 0 0 0 106 2 0 0 16 0 13 0 121720594 1834029056 105374 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10001] ppid=9989 vsize=1791044 CPUtime=0.8 /proc/9991/task/10001/stat : 10001 (java) S 9989 9991 9427 0 -1 64 2691 0 0 0 79 1 0 0 17 0 13 0 121720594 1834029056 105374 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10002] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10002/stat : 10002 (java) S 9989 9991 9427 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121720594 1834029056 105374 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10003] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10003/stat : 10003 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121720595 1834029056 105374 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10255] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10255/stat : 10255 (java) S 9989 9991 9427 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 121757669 1834029056 105374 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1614.14 Current children cumulated vsize (KiB) 1791044 [startup+1662.3 s] /proc/loadavg: 1.02 1.09 1.04 2/91 10453 /proc/meminfo: memFree=1383816/2055920 swapFree=4079484/4192956 [pid=9991] ppid=9989 vsize=1791044 CPUtime=1674.43 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 202175 0 1 0 167319 124 0 0 18 0 13 0 121720585 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 447761 109832 1331 9 0 445373 0 [pid=9991/tid=9993] ppid=9989 vsize=1791044 CPUtime=1648.77 /proc/9991/task/9993/stat : 9993 (java) R 9989 9991 9427 0 -1 64 89832 0 1 0 164828 49 0 0 25 0 13 0 121720586 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109516862 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9994] ppid=9989 vsize=1791044 CPUtime=11.78 /proc/9991/task/9994/stat : 9994 (java) S 9989 9991 9427 0 -1 64 53484 0 0 0 1150 28 0 0 16 0 13 0 121720588 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9995] ppid=9989 vsize=1791044 CPUtime=11.67 /proc/9991/task/9995/stat : 9995 (java) S 9989 9991 9427 0 -1 64 50475 0 0 0 1140 27 0 0 16 0 13 0 121720588 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9996] ppid=9989 vsize=1791044 CPUtime=0.25 /proc/9991/task/9996/stat : 9996 (java) S 9989 9991 9427 0 -1 64 200 0 0 0 11 14 0 0 16 0 13 0 121720590 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9997] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9997/stat : 9997 (java) S 9989 9991 9427 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9998] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9998/stat : 9998 (java) S 9989 9991 9427 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9999] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9999/stat : 9999 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121720594 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10000] ppid=9989 vsize=1791044 CPUtime=1.08 /proc/9991/task/10000/stat : 10000 (java) S 9989 9991 9427 0 -1 64 4681 0 0 0 106 2 0 0 16 0 13 0 121720594 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10001] ppid=9989 vsize=1791044 CPUtime=0.8 /proc/9991/task/10001/stat : 10001 (java) S 9989 9991 9427 0 -1 64 2691 0 0 0 79 1 0 0 17 0 13 0 121720594 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10002] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10002/stat : 10002 (java) S 9989 9991 9427 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121720594 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10003] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10003/stat : 10003 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121720595 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10255] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10255/stat : 10255 (java) S 9989 9991 9427 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 121757669 1834029056 109832 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1674.43 Current children cumulated vsize (KiB) 1791044 [startup+1722.3 s] /proc/loadavg: 1.01 1.07 1.03 2/91 10453 /proc/meminfo: memFree=1382728/2055920 swapFree=4079484/4192956 [pid=9991] ppid=9989 vsize=1791044 CPUtime=1734.73 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 204229 0 1 0 173347 126 0 0 18 0 13 0 121720585 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 447761 110077 1331 9 0 445373 0 [pid=9991/tid=9993] ppid=9989 vsize=1791044 CPUtime=1708.4 /proc/9991/task/9993/stat : 9993 (java) R 9989 9991 9427 0 -1 64 89840 0 1 0 170791 49 0 0 25 0 13 0 121720586 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109544712 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9994] ppid=9989 vsize=1791044 CPUtime=12.11 /proc/9991/task/9994/stat : 9994 (java) S 9989 9991 9427 0 -1 64 54431 0 0 0 1183 28 0 0 16 0 13 0 121720588 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9995] ppid=9989 vsize=1791044 CPUtime=12 /proc/9991/task/9995/stat : 9995 (java) S 9989 9991 9427 0 -1 64 51574 0 0 0 1172 28 0 0 16 0 13 0 121720588 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9996] ppid=9989 vsize=1791044 CPUtime=0.25 /proc/9991/task/9996/stat : 9996 (java) S 9989 9991 9427 0 -1 64 200 0 0 0 11 14 0 0 16 0 13 0 121720590 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9997] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9997/stat : 9997 (java) S 9989 9991 9427 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9998] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9998/stat : 9998 (java) S 9989 9991 9427 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9999] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9999/stat : 9999 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121720594 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10000] ppid=9989 vsize=1791044 CPUtime=1.08 /proc/9991/task/10000/stat : 10000 (java) S 9989 9991 9427 0 -1 64 4681 0 0 0 106 2 0 0 16 0 13 0 121720594 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10001] ppid=9989 vsize=1791044 CPUtime=0.8 /proc/9991/task/10001/stat : 10001 (java) S 9989 9991 9427 0 -1 64 2691 0 0 0 79 1 0 0 17 0 13 0 121720594 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10002] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10002/stat : 10002 (java) S 9989 9991 9427 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121720594 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10003] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10003/stat : 10003 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121720595 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10255] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10255/stat : 10255 (java) S 9989 9991 9427 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 121757669 1834029056 110077 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1734.73 Current children cumulated vsize (KiB) 1791044 [startup+1782.3 s] /proc/loadavg: 1.00 1.05 1.02 2/91 10453 /proc/meminfo: memFree=1337544/2055920 swapFree=4079548/4192956 [pid=9991] ppid=9989 vsize=1791044 CPUtime=1795.18 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 216865 0 1 0 179385 133 0 0 18 0 13 0 121720585 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 447761 121403 1331 9 0 445373 0 [pid=9991/tid=9993] ppid=9989 vsize=1791044 CPUtime=1767.84 /proc/9991/task/9993/stat : 9993 (java) R 9989 9991 9427 0 -1 64 98936 0 1 0 176730 54 0 0 25 0 13 0 121720586 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550215 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9994] ppid=9989 vsize=1791044 CPUtime=12.63 /proc/9991/task/9994/stat : 9994 (java) S 9989 9991 9427 0 -1 64 56556 0 0 0 1234 29 0 0 16 0 13 0 121720588 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9995] ppid=9989 vsize=1791044 CPUtime=12.48 /proc/9991/task/9995/stat : 9995 (java) S 9989 9991 9427 0 -1 64 52968 0 0 0 1219 29 0 0 16 0 13 0 121720588 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9996] ppid=9989 vsize=1791044 CPUtime=0.26 /proc/9991/task/9996/stat : 9996 (java) S 9989 9991 9427 0 -1 64 221 0 0 0 12 14 0 0 16 0 13 0 121720590 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9997] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9997/stat : 9997 (java) S 9989 9991 9427 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9998] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9998/stat : 9998 (java) S 9989 9991 9427 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9999] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9999/stat : 9999 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121720594 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10000] ppid=9989 vsize=1791044 CPUtime=1.08 /proc/9991/task/10000/stat : 10000 (java) S 9989 9991 9427 0 -1 64 4681 0 0 0 106 2 0 0 16 0 13 0 121720594 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10001] ppid=9989 vsize=1791044 CPUtime=0.8 /proc/9991/task/10001/stat : 10001 (java) S 9989 9991 9427 0 -1 64 2691 0 0 0 79 1 0 0 17 0 13 0 121720594 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10002] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10002/stat : 10002 (java) S 9989 9991 9427 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121720594 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10003] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10003/stat : 10003 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121720595 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10255] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10255/stat : 10255 (java) S 9989 9991 9427 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 121757669 1834029056 121403 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.18 Current children cumulated vsize (KiB) 1791044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.1 s] /proc/loadavg: 1.00 1.05 1.02 2/91 10453 /proc/meminfo: memFree=1337352/2055920 swapFree=4079548/4192956 [pid=9991] ppid=9989 vsize=1791044 CPUtime=1800.03 /proc/9991/stat : 9991 (java) S 9989 9991 9427 0 -1 0 217024 0 1 0 179870 133 0 0 18 0 13 0 121720585 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9991/statm: 447761 121418 1331 9 0 445373 0 [pid=9991/tid=9993] ppid=9989 vsize=1791044 CPUtime=1772.59 /proc/9991/task/9993/stat : 9993 (java) R 9989 9991 9427 0 -1 64 98937 0 1 0 177205 54 0 0 25 0 13 0 121720586 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109544712 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9994] ppid=9989 vsize=1791044 CPUtime=12.68 /proc/9991/task/9994/stat : 9994 (java) S 9989 9991 9427 0 -1 64 56556 0 0 0 1239 29 0 0 17 0 13 0 121720588 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9995] ppid=9989 vsize=1791044 CPUtime=12.53 /proc/9991/task/9995/stat : 9995 (java) S 9989 9991 9427 0 -1 64 53126 0 0 0 1224 29 0 0 17 0 13 0 121720588 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9996] ppid=9989 vsize=1791044 CPUtime=0.26 /proc/9991/task/9996/stat : 9996 (java) S 9989 9991 9427 0 -1 64 221 0 0 0 12 14 0 0 16 0 13 0 121720590 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=9997] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9997/stat : 9997 (java) S 9989 9991 9427 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9998] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9998/stat : 9998 (java) S 9989 9991 9427 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 121720591 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=9999] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/9999/stat : 9999 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 121720594 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10000] ppid=9989 vsize=1791044 CPUtime=1.08 /proc/9991/task/10000/stat : 10000 (java) S 9989 9991 9427 0 -1 64 4681 0 0 0 106 2 0 0 16 0 13 0 121720594 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10001] ppid=9989 vsize=1791044 CPUtime=0.8 /proc/9991/task/10001/stat : 10001 (java) S 9989 9991 9427 0 -1 64 2691 0 0 0 79 1 0 0 17 0 13 0 121720594 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10002] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10002/stat : 10002 (java) S 9989 9991 9427 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 121720594 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9991/tid=10003] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10003/stat : 10003 (java) S 9989 9991 9427 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 121720595 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9991/tid=10255] ppid=9989 vsize=1791044 CPUtime=0 /proc/9991/task/10255/stat : 10255 (java) S 9989 9991 9427 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 121757669 1834029056 121418 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1791044 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.21 s] /proc/loadavg: 1.00 1.05 1.02 2/91 10453 /proc/meminfo: memFree=1337352/2055920 swapFree=4079548/4192956 [pid=9991] ppid=9989 vsize=0 CPUtime=1800.14 /proc/9991/stat : 9991 (java) Z 9989 9991 9427 0 -1 1036 217039 0 1 0 179876 138 0 0 15 0 2 0 121720585 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/9991/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.24 CPU time (s): 1800.18 CPU user time (s): 1798.77 CPU system time (s): 1.40879 CPU usage (%): 100.724 Max. virtual memory (cumulated for all children) (KiB): 1794936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.40878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 217039 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= 45673 involuntary context switches= 49309 runsolver used 1.81572 second user time and 4.91125 second system time The end
Begin job on node37 on Mon Apr 16 15:41:21 UTC 2007 IDJOB= 354943 IDBENCH= 2924 IDSOLVER= 159 FILE ID= node37/354943-1176738081 PBS_JOBID= 4559531 Free space on /tmp= 66483 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354943-1176738081/sat4jPseudoResolution.jar /tmp/evaluation/354943-1176738081/instance-354943-1176738081.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-354943-1176738081 -o ROOT/results/node37/solver-354943-1176738081 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354943-1176738081/sat4jPseudoResolution.jar /tmp/evaluation/354943-1176738081/instance-354943-1176738081.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED= 274114153 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 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.281 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: 1822288 kB Buffers: 32104 kB Cached: 116436 kB SwapCached: 3032 kB Active: 85500 kB Inactive: 89452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1822288 kB SwapTotal: 4192956 kB SwapFree: 4078776 kB Dirty: 3668 kB Writeback: 0 kB Mapped: 33700 kB Slab: 43952 kB Committed_AS: 1132912 kB PageTables: 2000 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= 66483 MiB End job on node37 on Mon Apr 16 16:11:11 UTC 2007