Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 65 | 1800.03 | 1788.92 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
| MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 1790.84 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 16 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14 |
| Minimum length of a constraint | 75 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 112 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1901 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6214 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.00/0.09 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.00/0.09 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.00/0.09 c no version file found!!! 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 1599470296 0.00/0.09 c Max memory 1607860224 0.00/0.09 c Total memory 1607860224 0.00/0.09 c Number of processors 8 0.07/0.12 --- Begin Solver configuration --- 0.07/0.12 c Stops conflict analysis at the first Unique Implication Point 0.07/0.12 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa 0.07/0.12 c Learn all clauses as in MiniSAT 0.07/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.12 c VSIDS like heuristics from MiniSAT using a heap 0.07/0.12 c No reason simplification 0.07/0.12 c --- End Solver configuration --- 0.07/0.12 c solving HOME/instance-3735003-1338704627.opb 0.07/0.12 c reading problem ... 0.07/0.17 c ... done. Wall clock time 0.055s. 0.07/0.17 c CPU time (experimental) 0.13s. 0.07/0.17 c #vars 172 0.07/0.17 c #constraints 14 0.24/0.25 c SATISFIABLE 0.24/0.25 c OPTIMIZING... 0.24/0.25 c Got one! Elapsed wall clock time (in seconds):0.135 0.24/0.25 o 2574 0.24/0.27 c Got one! Elapsed wall clock time (in seconds):0.154 0.24/0.27 o 2573 0.24/0.28 c Got one! Elapsed wall clock time (in seconds):0.169 0.24/0.28 o 2572 0.47/0.30 c Got one! Elapsed wall clock time (in seconds):0.187 0.47/0.30 o 2570 0.47/0.32 c Got one! Elapsed wall clock time (in seconds):0.206 0.47/0.32 o 2568 0.47/0.33 c Got one! Elapsed wall clock time (in seconds):0.22 0.47/0.33 o 2233 0.47/0.36 c Got one! Elapsed wall clock time (in seconds):0.246 0.47/0.36 o 961 0.47/0.38 c Got one! Elapsed wall clock time (in seconds):0.268 0.47/0.38 o 958 0.63/0.40 c Got one! Elapsed wall clock time (in seconds):0.289 0.63/0.40 o 949 0.63/0.43 c Got one! Elapsed wall clock time (in seconds):0.314 0.63/0.43 o 948 0.63/0.45 c Got one! Elapsed wall clock time (in seconds):0.336 0.63/0.45 o 946 0.63/0.47 c Got one! Elapsed wall clock time (in seconds):0.36 0.63/0.47 o 945 0.73/0.50 c Got one! Elapsed wall clock time (in seconds):0.388 0.73/0.50 o 944 0.73/0.53 c Got one! Elapsed wall clock time (in seconds):0.412 0.73/0.53 o 942 0.73/0.56 c Got one! Elapsed wall clock time (in seconds):0.441 0.73/0.56 o 940 0.73/0.58 c Got one! Elapsed wall clock time (in seconds):0.466 0.73/0.58 o 882 0.88/0.60 c Got one! Elapsed wall clock time (in seconds):0.49 0.88/0.60 o 593 0.88/0.63 c Got one! Elapsed wall clock time (in seconds):0.514 0.88/0.63 o 591 0.88/0.65 c Got one! Elapsed wall clock time (in seconds):0.536 0.88/0.65 o 588 0.88/0.68 c Got one! Elapsed wall clock time (in seconds):0.569 0.88/0.68 o 586 1.08/0.71 c Got one! Elapsed wall clock time (in seconds):0.597 1.08/0.71 o 584 1.08/0.75 c Got one! Elapsed wall clock time (in seconds):0.632 1.08/0.75 o 582 1.08/0.78 c Got one! Elapsed wall clock time (in seconds):0.662 1.08/0.78 o 579 1.24/0.81 c Got one! Elapsed wall clock time (in seconds):0.693 1.24/0.81 o 578 1.24/0.84 c Got one! Elapsed wall clock time (in seconds):0.723 1.24/0.84 o 576 1.24/0.88 c Got one! Elapsed wall clock time (in seconds):0.761 1.24/0.88 o 575 1.36/0.91 c Got one! Elapsed wall clock time (in seconds):0.799 1.36/0.91 o 574 1.36/0.95 c Got one! Elapsed wall clock time (in seconds):0.835 1.36/0.95 o 573 1.36/0.98 c Got one! Elapsed wall clock time (in seconds):0.862 1.36/0.98 o 572 1.46/1.01 c Got one! Elapsed wall clock time (in seconds):0.896 1.46/1.01 o 570 1.46/1.06 c Got one! Elapsed wall clock time (in seconds):0.947 1.46/1.06 o 568 1.46/1.10 c Got one! Elapsed wall clock time (in seconds):0.983 1.46/1.10 o 567 1.56/1.14 c Got one! Elapsed wall clock time (in seconds):1.027 1.56/1.14 o 566 1.56/1.17 c Got one! Elapsed wall clock time (in seconds):1.06 1.56/1.17 o 564 1.70/1.22 c Got one! Elapsed wall clock time (in seconds):1.104 1.70/1.22 o 562 1.70/1.29 c Got one! Elapsed wall clock time (in seconds):1.177 1.70/1.29 o 561 1.82/1.33 c Got one! Elapsed wall clock time (in seconds):1.214 1.82/1.33 o 559 1.82/1.36 c Got one! Elapsed wall clock time (in seconds):1.249 1.82/1.36 o 558 1.92/1.48 c Got one! Elapsed wall clock time (in seconds):1.364 1.92/1.48 o 556 2.85/2.34 c Got one! Elapsed wall clock time (in seconds):2.229 2.85/2.34 o 555 2.85/2.39 c Got one! Elapsed wall clock time (in seconds):2.271 2.85/2.39 o 553 3.06/2.56 c Got one! Elapsed wall clock time (in seconds):2.443 3.06/2.56 o 552 3.06/2.59 c Got one! Elapsed wall clock time (in seconds):2.476 3.06/2.59 o 551 3.16/2.63 c Got one! Elapsed wall clock time (in seconds):2.517 3.16/2.63 o 549 3.31/2.73 c Got one! Elapsed wall clock time (in seconds):2.612 3.31/2.73 o 548 3.41/2.88 c Got one! Elapsed wall clock time (in seconds):2.763 3.41/2.88 o 546 3.51/2.91 c Got one! Elapsed wall clock time (in seconds):2.799 3.51/2.91 o 545 3.61/3.00 c Got one! Elapsed wall clock time (in seconds):2.887 3.61/3.00 o 544 3.61/3.05 c Got one! Elapsed wall clock time (in seconds):2.94 3.61/3.05 o 542 3.71/3.10 c Got one! Elapsed wall clock time (in seconds):2.989 3.71/3.10 o 540 3.71/3.16 c Got one! Elapsed wall clock time (in seconds):3.044 3.71/3.16 o 539 3.81/3.21 c Got one! Elapsed wall clock time (in seconds):3.094 3.81/3.21 o 537 4.21/3.67 c Got one! Elapsed wall clock time (in seconds):3.556 4.21/3.67 o 536 4.32/3.72 c Got one! Elapsed wall clock time (in seconds):3.61 4.32/3.72 o 534 4.32/3.77 c Got one! Elapsed wall clock time (in seconds):3.66 4.32/3.77 o 533 4.73/4.12 c Got one! Elapsed wall clock time (in seconds):4.008 4.73/4.12 o 532 4.96/4.30 c Got one! Elapsed wall clock time (in seconds):4.19 4.96/4.30 o 531 4.96/4.36 c Got one! Elapsed wall clock time (in seconds):4.24 4.96/4.36 o 529 5.08/4.43 c Got one! Elapsed wall clock time (in seconds):4.316 5.08/4.43 o 526 5.18/4.51 c Got one! Elapsed wall clock time (in seconds):4.395 5.18/4.51 o 525 5.18/4.57 c Got one! Elapsed wall clock time (in seconds):4.452 5.18/4.57 o 524 5.28/4.61 c Got one! Elapsed wall clock time (in seconds):4.498 5.28/4.61 o 522 5.28/4.67 c Got one! Elapsed wall clock time (in seconds):4.56 5.28/4.67 o 520 5.39/4.71 c Got one! Elapsed wall clock time (in seconds):4.597 5.39/4.71 o 500 5.39/4.78 c Got one! Elapsed wall clock time (in seconds):4.661 5.39/4.78 o 498 5.69/5.02 c Got one! Elapsed wall clock time (in seconds):4.909 5.69/5.02 o 496 5.69/5.09 c Got one! Elapsed wall clock time (in seconds):4.971 5.69/5.09 o 495 5.79/5.14 c Got one! Elapsed wall clock time (in seconds):5.026 5.79/5.14 o 493 5.79/5.19 c Got one! Elapsed wall clock time (in seconds):5.078 5.79/5.19 o 491 5.89/5.26 c Got one! Elapsed wall clock time (in seconds):5.147 5.89/5.26 o 490 6.19/5.57 c Got one! Elapsed wall clock time (in seconds):5.451 6.19/5.57 o 488 6.29/5.63 c Got one! Elapsed wall clock time (in seconds):5.512 6.29/5.63 o 486 6.39/5.71 c Got one! Elapsed wall clock time (in seconds):5.594 6.39/5.71 o 484 6.39/5.76 c Got one! Elapsed wall clock time (in seconds):5.649 6.39/5.76 o 483 6.51/5.82 c Got one! Elapsed wall clock time (in seconds):5.706 6.51/5.82 o 481 6.51/5.87 c Got one! Elapsed wall clock time (in seconds):5.755 6.51/5.87 o 480 6.71/6.01 c Got one! Elapsed wall clock time (in seconds):5.894 6.71/6.01 o 478 6.71/6.06 c Got one! Elapsed wall clock time (in seconds):5.948 6.71/6.06 o 477 6.81/6.12 c Got one! Elapsed wall clock time (in seconds):6.008 6.81/6.12 o 475 7.01/6.32 c Got one! Elapsed wall clock time (in seconds):6.202 7.01/6.32 o 474 7.01/6.39 c Got one! Elapsed wall clock time (in seconds):6.273 7.01/6.39 o 472 7.20/6.46 c Got one! Elapsed wall clock time (in seconds):6.345 7.20/6.46 o 470 7.30/6.51 c Got one! Elapsed wall clock time (in seconds):6.391 7.30/6.51 o 469 7.30/6.55 c Got one! Elapsed wall clock time (in seconds):6.435 7.30/6.55 o 468 7.61/6.80 c Got one! Elapsed wall clock time (in seconds):6.683 7.61/6.80 o 467 7.61/6.85 c Got one! Elapsed wall clock time (in seconds):6.736 7.61/6.85 o 466 8.01/7.24 c Got one! Elapsed wall clock time (in seconds):7.121 8.01/7.24 o 464 8.21/7.48 c Got one! Elapsed wall clock time (in seconds):7.368 8.21/7.48 o 462 8.41/7.69 c Got one! Elapsed wall clock time (in seconds):7.571 8.41/7.69 o 460 8.52/7.74 c Got one! Elapsed wall clock time (in seconds):7.629 8.52/7.74 o 459 8.52/7.80 c Got one! Elapsed wall clock time (in seconds):7.686 8.52/7.80 o 455 8.92/8.12 c Got one! Elapsed wall clock time (in seconds):8.006 8.92/8.12 o 453 9.02/8.20 c Got one! Elapsed wall clock time (in seconds):8.083 9.02/8.20 o 451 9.02/8.26 c Got one! Elapsed wall clock time (in seconds):8.145 9.02/8.26 o 449 9.27/8.45 c Got one! Elapsed wall clock time (in seconds):8.334 9.27/8.45 o 447 9.37/8.54 c Got one! Elapsed wall clock time (in seconds):8.426 9.37/8.54 o 445 9.47/8.62 c Got one! Elapsed wall clock time (in seconds):8.509 9.47/8.62 o 444 9.57/8.70 c Got one! Elapsed wall clock time (in seconds):8.587 9.57/8.70 o 443 9.57/8.80 c Got one! Elapsed wall clock time (in seconds):8.684 9.57/8.80 o 441 9.68/8.87 c Got one! Elapsed wall clock time (in seconds):8.758 9.68/8.87 o 432 9.78/8.94 c Got one! Elapsed wall clock time (in seconds):8.823 9.78/8.94 o 431 9.87/9.01 c Got one! Elapsed wall clock time (in seconds):8.898 9.87/9.01 o 429 9.97/9.11 c Got one! Elapsed wall clock time (in seconds):9.0 9.97/9.11 o 427 9.97/9.18 c Got one! Elapsed wall clock time (in seconds):9.065 9.97/9.18 o 426 10.97/10.17 c Got one! Elapsed wall clock time (in seconds):10.058 10.97/10.17 o 424 11.07/10.29 c Got one! Elapsed wall clock time (in seconds):10.177 11.07/10.29 o 423 11.21/10.37 c Got one! Elapsed wall clock time (in seconds):10.252 11.21/10.37 o 422 11.41/10.52 c Got one! Elapsed wall clock time (in seconds):10.409 11.41/10.52 o 421 11.51/10.64 c Got one! Elapsed wall clock time (in seconds):10.526 11.51/10.64 o 420 11.61/10.78 c Got one! Elapsed wall clock time (in seconds):10.67 11.61/10.78 o 418 11.71/10.88 c Got one! Elapsed wall clock time (in seconds):10.764 11.71/10.88 o 417 11.81/10.96 c Got one! Elapsed wall clock time (in seconds):10.845 11.81/10.96 o 414 12.31/11.47 c Got one! Elapsed wall clock time (in seconds):11.352 12.31/11.47 o 412 12.51/11.65 c Got one! Elapsed wall clock time (in seconds):11.54 12.51/11.65 o 410 12.71/11.82 c Got one! Elapsed wall clock time (in seconds):11.708 12.71/11.82 o 408 12.82/11.93 c Got one! Elapsed wall clock time (in seconds):11.818 12.82/11.93 o 406 13.02/12.14 c Got one! Elapsed wall clock time (in seconds):12.024 13.02/12.14 o 405 13.12/12.23 c Got one! Elapsed wall clock time (in seconds):12.113 13.12/12.23 o 404 13.21/12.30 c Got one! Elapsed wall clock time (in seconds):12.186 13.21/12.30 o 403 13.37/12.41 c Got one! Elapsed wall clock time (in seconds):12.293 13.37/12.41 o 402 13.77/12.82 c Got one! Elapsed wall clock time (in seconds):12.703 13.77/12.82 o 401 14.18/13.23 c Got one! Elapsed wall clock time (in seconds):13.112 14.18/13.23 o 400 14.97/14.00 c Got one! Elapsed wall clock time (in seconds):13.885 14.97/14.00 o 399 15.73/14.74 c Got one! Elapsed wall clock time (in seconds):14.626 15.73/14.74 o 397 16.23/15.28 c Got one! Elapsed wall clock time (in seconds):15.164 16.23/15.28 o 392 16.44/15.41 c Got one! Elapsed wall clock time (in seconds):15.292 16.44/15.41 o 390 16.54/15.52 c Got one! Elapsed wall clock time (in seconds):15.408 16.54/15.52 o 385 17.13/16.12 c Got one! Elapsed wall clock time (in seconds):16.006 17.13/16.12 o 384 17.23/16.24 c Got one! Elapsed wall clock time (in seconds):16.127 17.23/16.24 o 378 17.33/16.36 c Got one! Elapsed wall clock time (in seconds):16.249 17.33/16.36 o 377 17.43/16.49 c Got one! Elapsed wall clock time (in seconds):16.377 17.43/16.49 o 375 17.83/16.81 c Got one! Elapsed wall clock time (in seconds):16.698 17.83/16.81 o 373 18.03/17.09 c Got one! Elapsed wall clock time (in seconds):16.975 18.03/17.09 o 371 18.99/17.93 c Got one! Elapsed wall clock time (in seconds):17.81 18.99/17.93 o 369 22.04/20.91 c Got one! Elapsed wall clock time (in seconds):20.8 22.04/20.91 o 367 22.33/21.24 c Got one! Elapsed wall clock time (in seconds):21.128 22.33/21.24 o 365 22.57/21.40 c Got one! Elapsed wall clock time (in seconds):21.289 22.57/21.40 o 364 22.87/21.73 c Got one! Elapsed wall clock time (in seconds):21.617 22.87/21.73 o 362 23.27/22.12 c Got one! Elapsed wall clock time (in seconds):22.007 23.27/22.12 o 360 23.97/22.82 c Got one! Elapsed wall clock time (in seconds):22.704 23.97/22.82 o 359 24.17/23.05 c Got one! Elapsed wall clock time (in seconds):22.938 24.17/23.05 o 357 24.77/23.69 c Got one! Elapsed wall clock time (in seconds):23.579 24.77/23.69 o 355 25.09/23.95 c Got one! Elapsed wall clock time (in seconds):23.838 25.09/23.95 o 354 25.39/24.25 c Got one! Elapsed wall clock time (in seconds):24.135 25.39/24.25 o 352 25.49/24.38 c Got one! Elapsed wall clock time (in seconds):24.269 25.49/24.38 o 351 25.68/24.52 c Got one! Elapsed wall clock time (in seconds):24.401 25.68/24.52 o 350 25.79/24.64 c Got one! Elapsed wall clock time (in seconds):24.527 25.79/24.64 o 348 25.88/24.77 c Got one! Elapsed wall clock time (in seconds):24.659 25.88/24.77 o 347 26.38/25.26 c Got one! Elapsed wall clock time (in seconds):25.145 26.38/25.26 o 346 27.18/26.00 c Got one! Elapsed wall clock time (in seconds):25.887 27.18/26.00 o 344 28.50/27.30 c Got one! Elapsed wall clock time (in seconds):27.185 28.50/27.30 o 342 29.10/27.94 c Got one! Elapsed wall clock time (in seconds):27.822 29.10/27.94 o 341 29.93/28.79 c Got one! Elapsed wall clock time (in seconds):28.679 29.93/28.79 o 340 30.22/29.04 c Got one! Elapsed wall clock time (in seconds):28.926 30.22/29.04 o 339 30.52/29.31 c Got one! Elapsed wall clock time (in seconds):29.191 30.52/29.31 o 337 30.62/29.49 c Got one! Elapsed wall clock time (in seconds):29.376 30.62/29.49 o 336 30.82/29.65 c Got one! Elapsed wall clock time (in seconds):29.534 30.82/29.65 o 332 31.03/29.82 c Got one! Elapsed wall clock time (in seconds):29.703 31.03/29.82 o 330 32.03/30.85 c Got one! Elapsed wall clock time (in seconds):30.733 32.03/30.85 o 328 32.32/31.10 c Got one! Elapsed wall clock time (in seconds):30.982 32.32/31.10 o 327 33.17/31.96 c Got one! Elapsed wall clock time (in seconds):31.841 33.17/31.96 o 325 34.66/33.49 c Got one! Elapsed wall clock time (in seconds):33.376 34.66/33.49 o 323 34.86/33.61 c Got one! Elapsed wall clock time (in seconds):33.497 34.86/33.61 o 321 35.77/34.55 c Got one! Elapsed wall clock time (in seconds):34.435 35.77/34.55 o 320 36.27/35.03 c Got one! Elapsed wall clock time (in seconds):34.919 36.27/35.03 o 319 36.87/35.65 c Got one! Elapsed wall clock time (in seconds):35.539 36.87/35.65 o 317 38.79/37.58 c Got one! Elapsed wall clock time (in seconds):37.468 38.79/37.58 o 315 39.38/38.19 c Got one! Elapsed wall clock time (in seconds):38.075 39.38/38.19 o 314 43.65/42.31 c Got one! Elapsed wall clock time (in seconds):42.2 43.65/42.31 o 307 45.15/43.88 c Got one! Elapsed wall clock time (in seconds):43.76 45.15/43.88 o 305 45.65/44.34 c Got one! Elapsed wall clock time (in seconds):44.222 45.65/44.34 o 302 46.35/45.08 c Got one! Elapsed wall clock time (in seconds):44.97 46.35/45.08 o 300 47.35/46.05 c Got one! Elapsed wall clock time (in seconds):45.937 47.35/46.05 o 299 47.87/46.54 c Got one! Elapsed wall clock time (in seconds):46.422 47.87/46.54 o 297 49.97/48.64 c Got one! Elapsed wall clock time (in seconds):48.523 49.97/48.64 o 295 51.48/50.18 c Got one! Elapsed wall clock time (in seconds):50.062 51.48/50.18 o 293 51.98/50.63 c Got one! Elapsed wall clock time (in seconds):50.516 51.98/50.63 o 291 52.48/51.19 c Got one! Elapsed wall clock time (in seconds):51.079 52.48/51.19 o 289 52.68/51.39 c Got one! Elapsed wall clock time (in seconds):51.277 52.68/51.39 o 288 53.18/51.86 c Got one! Elapsed wall clock time (in seconds):51.747 53.18/51.86 o 286 53.68/52.34 c Got one! Elapsed wall clock time (in seconds):52.222 53.68/52.34 o 285 54.18/52.87 c Got one! Elapsed wall clock time (in seconds):52.751 54.18/52.87 o 283 54.80/53.48 c Got one! Elapsed wall clock time (in seconds):53.361 54.80/53.48 o 282 55.60/54.27 c Got one! Elapsed wall clock time (in seconds):54.16 55.60/54.27 o 280 57.20/55.80 c Got one! Elapsed wall clock time (in seconds):55.689 57.20/55.80 o 278 57.80/56.40 c Got one! Elapsed wall clock time (in seconds):56.286 57.80/56.40 o 277 58.12/56.72 c Got one! Elapsed wall clock time (in seconds):56.609 58.12/56.72 o 275 58.42/57.08 c Got one! Elapsed wall clock time (in seconds):56.966 58.42/57.08 o 273 59.32/57.93 c Got one! Elapsed wall clock time (in seconds):57.818 59.32/57.93 o 269 59.91/58.55 c Got one! Elapsed wall clock time (in seconds):58.44 59.91/58.55 o 267 61.41/60.02 c Got one! Elapsed wall clock time (in seconds):59.903 61.41/60.02 o 265 109.36/107.59 c Got one! Elapsed wall clock time (in seconds):107.476 109.36/107.59 o 263 113.18/111.32 c Got one! Elapsed wall clock time (in seconds):111.202 113.18/111.32 o 261 114.88/113.06 c Got one! Elapsed wall clock time (in seconds):112.945 114.88/113.06 o 260 116.82/114.93 c Got one! Elapsed wall clock time (in seconds):114.82 116.82/114.93 o 259 117.52/115.65 c Got one! Elapsed wall clock time (in seconds):115.536 117.52/115.65 o 258 119.62/117.76 c Got one! Elapsed wall clock time (in seconds):117.64 119.62/117.76 o 257 120.61/118.77 c Got one! Elapsed wall clock time (in seconds):118.653 120.61/118.77 o 256 121.11/119.25 c Got one! Elapsed wall clock time (in seconds):119.139 121.11/119.25 o 252 127.27/125.36 c Got one! Elapsed wall clock time (in seconds):125.249 127.27/125.36 o 251 127.97/126.01 c Got one! Elapsed wall clock time (in seconds):125.896 127.97/126.01 o 249 129.67/127.75 c Got one! Elapsed wall clock time (in seconds):127.634 129.67/127.75 o 248 130.27/128.31 c Got one! Elapsed wall clock time (in seconds):128.192 130.27/128.31 o 246 131.90/129.92 c Got one! Elapsed wall clock time (in seconds):129.804 131.90/129.92 o 245 134.69/132.75 c Got one! Elapsed wall clock time (in seconds):132.639 134.69/132.75 o 244 135.39/133.44 c Got one! Elapsed wall clock time (in seconds):133.33 135.39/133.44 o 242 135.79/133.81 c Got one! Elapsed wall clock time (in seconds):133.691 135.79/133.81 o 241 136.20/134.22 c Got one! Elapsed wall clock time (in seconds):134.108 136.20/134.22 o 240 136.69/134.78 c Got one! Elapsed wall clock time (in seconds):134.662 136.69/134.78 o 239 137.89/135.92 c Got one! Elapsed wall clock time (in seconds):135.805 137.89/135.92 o 237 140.82/138.88 c Got one! Elapsed wall clock time (in seconds):138.763 140.82/138.88 o 235 146.26/144.26 c Got one! Elapsed wall clock time (in seconds):144.143 146.26/144.26 o 232 152.11/150.01 c Got one! Elapsed wall clock time (in seconds):149.891 152.11/150.01 o 230 152.41/150.31 c Got one! Elapsed wall clock time (in seconds):150.198 152.41/150.31 o 229 152.92/150.87 c Got one! Elapsed wall clock time (in seconds):150.754 152.92/150.87 o 227 155.84/153.75 c Got one! Elapsed wall clock time (in seconds):153.639 155.84/153.75 o 225 156.54/154.45 c Got one! Elapsed wall clock time (in seconds):154.332 156.54/154.45 o 220 158.54/156.41 c Got one! Elapsed wall clock time (in seconds):156.297 158.54/156.41 o 219 159.45/157.39 c Got one! Elapsed wall clock time (in seconds):157.272 159.45/157.39 o 218 161.08/158.92 c Got one! Elapsed wall clock time (in seconds):158.802 161.08/158.92 o 216 162.99/160.82 c Got one! Elapsed wall clock time (in seconds):160.707 162.99/160.82 o 215 164.49/162.37 c Got one! Elapsed wall clock time (in seconds):162.252 164.49/162.37 o 213 165.39/163.27 c Got one! Elapsed wall clock time (in seconds):163.154 165.39/163.27 o 212 167.73/165.57 c Got one! Elapsed wall clock time (in seconds):165.455 167.73/165.57 o 210 168.93/166.76 c Got one! Elapsed wall clock time (in seconds):166.642 168.93/166.76 o 208 170.76/168.60 c Got one! Elapsed wall clock time (in seconds):168.481 170.76/168.60 o 207 172.06/169.82 c Got one! Elapsed wall clock time (in seconds):169.707 172.06/169.82 o 205 174.06/171.81 c Got one! Elapsed wall clock time (in seconds):171.694 174.06/171.81 o 203 177.38/175.13 c Got one! Elapsed wall clock time (in seconds):175.017 177.38/175.13 o 201 179.68/177.47 c Got one! Elapsed wall clock time (in seconds):177.351 179.68/177.47 o 200 181.34/179.04 c Got one! Elapsed wall clock time (in seconds):178.924 181.34/179.04 o 199 185.36/183.01 c Got one! Elapsed wall clock time (in seconds):182.895 185.36/183.01 o 198 188.62/186.29 c Got one! Elapsed wall clock time (in seconds):186.175 188.62/186.29 o 196 190.01/187.61 c Got one! Elapsed wall clock time (in seconds):187.496 190.01/187.61 o 194 193.56/191.15 c Got one! Elapsed wall clock time (in seconds):191.038 193.56/191.15 o 192 194.86/192.48 c Got one! Elapsed wall clock time (in seconds):192.362 194.86/192.48 o 191 195.86/193.45 c Got one! Elapsed wall clock time (in seconds):193.334 195.86/193.45 o 189 198.59/196.16 c Got one! Elapsed wall clock time (in seconds):196.048 198.59/196.16 o 187 200.69/198.20 c Got one! Elapsed wall clock time (in seconds):198.088 200.69/198.20 o 185 201.41/198.93 c Got one! Elapsed wall clock time (in seconds):198.811 201.41/198.93 o 184 203.42/200.98 c Got one! Elapsed wall clock time (in seconds):200.865 203.42/200.98 o 183 205.82/203.32 c Got one! Elapsed wall clock time (in seconds):203.202 205.82/203.32 o 181 206.52/204.09 c Got one! Elapsed wall clock time (in seconds):203.973 206.52/204.09 o 180 209.15/206.69 c Got one! Elapsed wall clock time (in seconds):206.574 209.15/206.69 o 178 210.75/208.22 c Got one! Elapsed wall clock time (in seconds):208.102 210.75/208.22 o 176 211.85/209.39 c Got one! Elapsed wall clock time (in seconds):209.277 211.85/209.39 o 174 214.29/211.70 c Got one! Elapsed wall clock time (in seconds):211.59 214.29/211.70 o 173 215.48/212.99 c Got one! Elapsed wall clock time (in seconds):212.873 215.48/212.99 o 171 215.99/213.49 c Got one! Elapsed wall clock time (in seconds):213.373 215.99/213.49 o 170 218.78/216.23 c Got one! Elapsed wall clock time (in seconds):216.117 218.78/216.23 o 163 220.22/217.65 c Got one! Elapsed wall clock time (in seconds):217.535 220.22/217.65 o 162 220.52/217.94 c Got one! Elapsed wall clock time (in seconds):217.825 220.52/217.94 o 160 222.62/220.06 c Got one! Elapsed wall clock time (in seconds):219.943 222.62/220.06 o 158 227.76/225.13 c Got one! Elapsed wall clock time (in seconds):225.019 227.76/225.13 o 156 237.33/234.64 c Got one! Elapsed wall clock time (in seconds):234.529 237.33/234.64 o 154 239.93/237.27 c Got one! Elapsed wall clock time (in seconds):237.152 239.93/237.27 o 153 244.16/241.43 c Got one! Elapsed wall clock time (in seconds):241.317 244.16/241.43 o 152 245.76/243.08 c Got one! Elapsed wall clock time (in seconds):242.962 245.76/243.08 o 151 247.19/244.49 c Got one! Elapsed wall clock time (in seconds):244.375 247.19/244.49 o 150 248.59/245.80 c Got one! Elapsed wall clock time (in seconds):245.686 248.59/245.80 o 148 249.39/246.60 c Got one! Elapsed wall clock time (in seconds):246.482 249.39/246.60 o 147 252.09/249.32 c Got one! Elapsed wall clock time (in seconds):249.21 252.09/249.32 o 146 256.02/253.29 c Got one! Elapsed wall clock time (in seconds):253.173 256.02/253.29 o 144 272.66/269.89 c Got one! Elapsed wall clock time (in seconds):269.772 272.66/269.89 o 143 275.06/272.24 c Got one! Elapsed wall clock time (in seconds):272.121 275.06/272.24 o 141 278.02/275.12 c Got one! Elapsed wall clock time (in seconds):275.002 278.02/275.12 o 139 279.41/276.52 c Got one! Elapsed wall clock time (in seconds):276.405 279.41/276.52 o 138 281.99/279.06 c Got one! Elapsed wall clock time (in seconds):278.95 281.99/279.06 o 137 287.79/284.81 c Got one! Elapsed wall clock time (in seconds):284.698 287.79/284.81 o 135 296.65/293.62 c Got one! Elapsed wall clock time (in seconds):293.502 296.65/293.62 o 134 300.45/297.48 c Got one! Elapsed wall clock time (in seconds):297.361 300.45/297.48 o 132 304.91/301.86 c Got one! Elapsed wall clock time (in seconds):301.742 304.91/301.86 o 131 307.95/304.88 c Got one! Elapsed wall clock time (in seconds):304.764 307.95/304.88 o 130 316.05/312.91 c Got one! Elapsed wall clock time (in seconds):312.792 316.05/312.91 o 128 319.49/316.37 c Got one! Elapsed wall clock time (in seconds):316.254 319.49/316.37 o 127 321.10/317.99 c Got one! Elapsed wall clock time (in seconds):317.878 321.10/317.99 o 125 323.79/320.65 c Got one! Elapsed wall clock time (in seconds):320.54 323.79/320.65 o 123 326.43/323.22 c Got one! Elapsed wall clock time (in seconds):323.102 326.43/323.22 o 122 333.37/330.16 c Got one! Elapsed wall clock time (in seconds):330.049 333.37/330.16 o 120 340.68/337.46 c Got one! Elapsed wall clock time (in seconds):337.344 340.68/337.46 o 118 350.08/346.72 c Got one! Elapsed wall clock time (in seconds):346.608 350.08/346.72 o 116 352.37/349.02 c Got one! Elapsed wall clock time (in seconds):348.904 352.37/349.02 o 114 357.07/353.77 c Got one! Elapsed wall clock time (in seconds):353.659 357.07/353.77 o 113 360.63/357.26 c Got one! Elapsed wall clock time (in seconds):357.146 360.63/357.26 o 112 372.97/369.52 c Got one! Elapsed wall clock time (in seconds):369.409 372.97/369.52 o 108 382.85/379.39 c Got one! Elapsed wall clock time (in seconds):379.278 382.85/379.39 o 106 388.45/384.98 c Got one! Elapsed wall clock time (in seconds):384.869 388.45/384.98 o 104 432.55/428.73 c Got one! Elapsed wall clock time (in seconds):428.616 432.55/428.73 o 103 531.01/526.61 c Got one! Elapsed wall clock time (in seconds):526.493 531.01/526.61 o 102 650.24/644.93 c Got one! Elapsed wall clock time (in seconds):644.812 650.24/644.93 o 100 655.03/649.70 c Got one! Elapsed wall clock time (in seconds):649.589 655.03/649.70 o 99 706.81/701.18 c Got one! Elapsed wall clock time (in seconds):701.065 706.81/701.18 o 98 721.46/715.76 c Got one! Elapsed wall clock time (in seconds):715.641 721.46/715.76 o 97 837.96/831.68 c Got one! Elapsed wall clock time (in seconds):831.567 837.96/831.68 o 96 841.44/835.09 c Got one! Elapsed wall clock time (in seconds):834.971 841.44/835.09 o 94 854.23/847.82 c Got one! Elapsed wall clock time (in seconds):847.703 854.23/847.82 o 93 910.82/904.06 c Got one! Elapsed wall clock time (in seconds):903.942 910.82/904.06 o 91 923.22/916.49 c Got one! Elapsed wall clock time (in seconds):916.38 923.22/916.49 o 89 941.50/934.69 c Got one! Elapsed wall clock time (in seconds):934.576 941.50/934.69 o 88 963.46/956.59 c Got one! Elapsed wall clock time (in seconds):956.48 963.46/956.59 o 86 968.15/961.12 c Got one! Elapsed wall clock time (in seconds):961.008 968.15/961.12 o 85 1006.47/999.27 c Got one! Elapsed wall clock time (in seconds):999.154 1006.47/999.27 o 83 1105.16/1097.51 c Got one! Elapsed wall clock time (in seconds):1097.399 1105.16/1097.51 o 81 1257.76/1249.33 c Got one! Elapsed wall clock time (in seconds):1249.212 1257.76/1249.33 o 80 1260.16/1251.75 c Got one! Elapsed wall clock time (in seconds):1251.636 1260.16/1251.75 o 79 1332.82/1324.08 c Got one! Elapsed wall clock time (in seconds):1323.964 1332.82/1324.08 o 78 1360.69/1351.83 c Got one! Elapsed wall clock time (in seconds):1351.719 1360.69/1351.83 o 77 1362.99/1354.15 c Got one! Elapsed wall clock time (in seconds):1354.031 1362.99/1354.15 o 76 1381.08/1372.14 c Got one! Elapsed wall clock time (in seconds):1372.025 1381.08/1372.14 o 75 1412.84/1403.68 c Got one! Elapsed wall clock time (in seconds):1403.566 1412.84/1403.68 o 74 1538.25/1528.59 c Got one! Elapsed wall clock time (in seconds):1528.475 1538.25/1528.59 o 72 1577.61/1567.71 c Got one! Elapsed wall clock time (in seconds):1567.599 1577.61/1567.71 o 70 1629.10/1618.92 c Got one! Elapsed wall clock time (in seconds):1618.808 1629.10/1618.92 o 69 1726.93/1716.01 c Got one! Elapsed wall clock time (in seconds):1715.895 1726.93/1716.01 o 67 1754.73/1743.76 c Got one! Elapsed wall clock time (in seconds):1743.643 1754.73/1743.76 o 65 1800.03/1788.91 c starts : 1744 1800.03/1788.91 c conflicts : 1374315 1800.03/1788.91 c decisions : 1721851 1800.03/1788.91 c propagations : 21660592 1800.03/1788.91 c inspects : 13405024017 1800.03/1788.91 c learnt literals : 0 1800.03/1788.91 c learnt binary clauses : 0 1800.03/1788.91 c learnt ternary clauses : 0 1800.03/1788.91 c learnt clauses : 1374315 1800.03/1788.91 c root simplifications : 0 1800.03/1788.91 c removed literals (reason simplification) : 0 1800.03/1788.91 c reason swapping (by a shorter reason) : 0 1800.03/1788.91 c Calls to reduceDB : 0 1800.03/1788.91 c speed (decisions/second) : 38133.700972249906 1800.03/1788.91 c non guided choices 8648 1800.03/1788.91 s SATISFIABLE 1800.03/1788.91 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.03/1788.91 c objective function=65 1800.03/1788.91 c Total wall clock time (ms): 1788.797
OK 65
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735003-1338704627/watcher-3735003-1338704627 -o /tmp/evaluation-result-3735003-1338704627/solver-3735003-1338704627 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3735003-1338704627.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.98 1.99 3/194 20883 /proc/meminfo: memFree=28186680/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/20883/stat : 20883 (java) D 20881 20883 7849 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 336588278 9515008 182 33554432000 1073741824 1073778376 140735348727152 140735348718184 214369648309 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/20883/statm: 2323 182 140 9 0 71 0 [startup+0.102134 s] /proc/loadavg: 1.99 1.98 1.99 3/194 20883 /proc/meminfo: memFree=28186680/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=2957856 CPUtime=0.07 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 4208 0 1 0 6 1 0 0 20 0 18 0 336588278 3028844544 5414 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 739464 5414 1791 9 0 729885 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2957856 [startup+0.200246 s] /proc/loadavg: 1.99 1.98 1.99 3/194 20883 /proc/meminfo: memFree=28186680/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=3024420 CPUtime=0.24 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 6331 0 1 0 22 2 0 0 20 0 19 0 336588278 3097006080 7661 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 756105 7669 2220 9 0 746526 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 3024420 [startup+0.300255 s] /proc/loadavg: 1.99 1.98 1.99 3/194 20883 /proc/meminfo: memFree=28186680/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=3024420 CPUtime=0.47 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 7768 0 1 0 45 2 0 0 20 0 19 0 336588278 3097006080 10031 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 756105 10031 2254 9 0 746526 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 3024420 [startup+0.700234 s] /proc/loadavg: 1.99 1.98 1.99 3/194 20883 /proc/meminfo: memFree=28186680/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=3024420 CPUtime=1.08 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 11021 0 1 0 104 4 0 0 20 0 19 0 336588278 3097006080 29846 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 756105 29846 2260 9 0 746526 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 3024420 [startup+1.50067 s] /proc/loadavg: 2.07 2.00 2.00 3/213 20933 /proc/meminfo: memFree=28000896/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=3024420 CPUtime=2.02 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 12133 0 1 0 196 6 0 0 20 0 19 0 336588278 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 756105 67382 2265 9 0 746526 0 [pid=20883/tid=20885] ppid=20881 vsize=3024420 CPUtime=1.45 cores=0,2,4,6 /proc/20883/task/20885/stat : 20885 (java) R 20881 20883 7849 0 -1 4202560 3204 0 1 0 140 5 0 0 20 0 19 0 336588279 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197736948328 140197609367072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20886] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20886/stat : 20886 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197602470568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20887] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20887/stat : 20887 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197601418024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20888] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20888/stat : 20888 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197600365480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20889] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20889/stat : 20889 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197599312936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20890] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20890/stat : 20890 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197396211880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20891] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20891/stat : 20891 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197395159336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20892] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20892/stat : 20892 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197394106792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20893] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20893/stat : 20893 (java) S 20881 20883 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197393054248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20894] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20894/stat : 20894 (java) S 20881 20883 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336588281 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197380856424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20895] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20895/stat : 20895 (java) S 20881 20883 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336588282 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197379802744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20896] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20896/stat : 20896 (java) S 20881 20883 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336588282 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197378750088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20897] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20897/stat : 20897 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197377698832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20898] ppid=20881 vsize=3024420 CPUtime=0.14 cores=0,2,4,6 /proc/20883/task/20898/stat : 20898 (java) S 20881 20883 7849 0 -1 4202560 1227 0 0 0 14 0 0 0 20 0 19 0 336588285 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197376645176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20899] ppid=20881 vsize=3024420 CPUtime=0.39 cores=0,2,4,6 /proc/20883/task/20899/stat : 20899 (java) S 20881 20883 7849 0 -1 4202560 6427 0 0 0 38 1 0 0 20 0 19 0 336588285 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197375592632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20900] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20900/stat : 20900 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197374540280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20901] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20901/stat : 20901 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3097006080 67382 33554432000 1073741824 1073778376 140733423219664 140197373487944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 3024420 [startup+3.10069 s] /proc/loadavg: 2.07 2.00 2.00 3/213 20941 /proc/meminfo: memFree=27760064/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=3024420 CPUtime=3.71 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 13263 0 1 0 361 10 0 0 20 0 19 0 336588278 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 756105 114019 2281 9 0 746526 0 [pid=20883/tid=20885] ppid=20881 vsize=3024420 CPUtime=3.04 cores=0,2,4,6 /proc/20883/task/20885/stat : 20885 (java) R 20881 20883 7849 0 -1 4202560 3296 0 1 0 296 8 0 0 20 0 19 0 336588279 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197736948328 140197609333361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20886] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20886/stat : 20886 (java) S 20881 20883 7849 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197602470568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20887] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20887/stat : 20887 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197601418024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20888] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20888/stat : 20888 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197600365480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20889] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20889/stat : 20889 (java) S 20881 20883 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197599312936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20890] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20890/stat : 20890 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197396211880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20891] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20891/stat : 20891 (java) S 20881 20883 7849 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197395159336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20892] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20892/stat : 20892 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197394106792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20893] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20893/stat : 20893 (java) S 20881 20883 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336588280 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197393054248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20894] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20894/stat : 20894 (java) S 20881 20883 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336588281 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197380856424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20895] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20895/stat : 20895 (java) S 20881 20883 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336588282 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197379802744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20896] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20896/stat : 20896 (java) S 20881 20883 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336588282 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197378750088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20897] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20897/stat : 20897 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197377698832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20898] ppid=20881 vsize=3024420 CPUtime=0.21 cores=0,2,4,6 /proc/20883/task/20898/stat : 20898 (java) S 20881 20883 7849 0 -1 4202560 2218 0 0 0 21 0 0 0 20 0 19 0 336588285 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197376645176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20899] ppid=20881 vsize=3024420 CPUtime=0.39 cores=0,2,4,6 /proc/20883/task/20899/stat : 20899 (java) S 20881 20883 7849 0 -1 4202560 6427 0 0 0 38 1 0 0 20 0 19 0 336588285 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197375592632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20900] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20900/stat : 20900 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197374540280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20901] ppid=20881 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20901/stat : 20901 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3097006080 114019 33554432000 1073741824 1073778376 140733423219664 140197373487944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.71 Current children cumulated vsize (KiB) 3024420 [startup+6.3007 s] /proc/loadavg: 1.99 1.98 1.99 3/213 20972 /proc/meminfo: memFree=27723540/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=3090984 CPUtime=7.01 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 13490 0 1 0 689 12 0 0 20 0 19 0 336588278 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 772746 117172 2287 9 0 763167 0 [pid=20883/tid=20885] ppid=20881 vsize=3090984 CPUtime=6.21 cores=0,2,4,6 /proc/20883/task/20885/stat : 20885 (java) R 20881 20883 7849 0 -1 4202560 3323 0 1 0 613 8 0 0 20 0 19 0 336588279 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197736946128 140197609322914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20886] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20886/stat : 20886 (java) S 20881 20883 7849 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 336588280 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197602470568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20887] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20887/stat : 20887 (java) S 20881 20883 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336588280 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197601418024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20888] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20888/stat : 20888 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588280 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197600365480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20889] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20889/stat : 20889 (java) S 20881 20883 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 336588280 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197599312936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20890] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20890/stat : 20890 (java) S 20881 20883 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336588280 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197396211880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20891] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20891/stat : 20891 (java) S 20881 20883 7849 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336588280 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197395159336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20892] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20892/stat : 20892 (java) S 20881 20883 7849 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336588280 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197394106792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20893] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20893/stat : 20893 (java) S 20881 20883 7849 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 336588280 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197393054248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20894] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20894/stat : 20894 (java) S 20881 20883 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336588281 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197380856424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20895] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20895/stat : 20895 (java) S 20881 20883 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336588282 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197379802744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20896] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20896/stat : 20896 (java) S 20881 20883 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336588282 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197378750088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20897] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20897/stat : 20897 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197377698832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20898] ppid=20881 vsize=3090984 CPUtime=0.23 cores=0,2,4,6 /proc/20883/task/20898/stat : 20898 (java) S 20881 20883 7849 0 -1 4202560 2291 0 0 0 23 0 0 0 20 0 19 0 336588285 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197376645176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20899] ppid=20881 vsize=3090984 CPUtime=0.44 cores=0,2,4,6 /proc/20883/task/20899/stat : 20899 (java) S 20881 20883 7849 0 -1 4202560 6443 0 0 0 43 1 0 0 20 0 19 0 336588285 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197375592632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20900] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20900/stat : 20900 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197374540280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20901] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20901/stat : 20901 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3165167616 117172 33554432000 1073741824 1073778376 140733423219664 140197373487944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.01 Current children cumulated vsize (KiB) 3090984 [startup+12.7007 s] /proc/loadavg: 1.91 1.96 1.99 3/213 21018 /proc/meminfo: memFree=27698640/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=3090984 CPUtime=13.67 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 13760 0 1 0 1348 19 0 0 20 0 19 0 336588278 3165167616 130496 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 772746 130496 2288 9 0 763167 0 [pid=20883/tid=20885] ppid=20881 vsize=3090984 CPUtime=12.5 cores=0,2,4,6 ################ # More data... # ################ [pid=20883/tid=20898] ppid=20881 vsize=3090984 CPUtime=0.26 cores=0,2,4,6 /proc/20883/task/20898/stat : 20898 (java) S 20881 20883 7849 0 -1 4202560 2297 0 0 0 26 0 0 0 20 0 19 0 336588285 3165167616 275766 33554432000 1073741824 1073778376 140733423219664 140197376645176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20899] ppid=20881 vsize=3090984 CPUtime=0.48 cores=0,2,4,6 /proc/20883/task/20899/stat : 20899 (java) S 20881 20883 7849 0 -1 4202560 6450 0 0 0 47 1 0 0 20 0 19 0 336588285 3165167616 275766 33554432000 1073741824 1073778376 140733423219664 140197375592632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20900] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20900/stat : 20900 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3165167616 275766 33554432000 1073741824 1073778376 140733423219664 140197374540280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20901] ppid=20881 vsize=3090984 CPUtime=0.65 cores=0,2,4,6 /proc/20883/task/20901/stat : 20901 (java) S 20881 20883 7849 0 -1 4202560 95 0 0 0 36 29 0 0 20 0 19 0 336588285 3165167616 275766 33554432000 1073741824 1073778376 140733423219664 140197373487944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=21367] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/21367/stat : 21367 (java) S 20881 20883 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336750170 3165167616 275766 33554432000 1073741824 1073778376 140733423219664 140197370303912 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1672.76 Current children cumulated vsize (KiB) 3090984 [startup+1722.3 s] /proc/loadavg: 2.22 2.14 2.09 3/212 21368 /proc/meminfo: memFree=27256216/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=3090984 CPUtime=1733.22 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 15633 0 1 0 173232 90 0 0 20 0 19 0 336588278 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 772746 279358 2288 9 0 763167 0 [pid=20883/tid=20885] ppid=20881 vsize=3090984 CPUtime=1713.37 cores=0,2,4,6 /proc/20883/task/20885/stat : 20885 (java) R 20881 20883 7849 0 -1 4202560 3570 0 1 0 171298 39 0 0 20 0 19 0 336588279 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197736948584 140197609408294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20886] ppid=20881 vsize=3090984 CPUtime=1.81 cores=0,2,4,6 /proc/20883/task/20886/stat : 20886 (java) S 20881 20883 7849 0 -1 4202560 169 0 0 0 176 5 0 0 20 0 19 0 336588280 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197602470568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20887] ppid=20881 vsize=3090984 CPUtime=1.7 cores=0,2,4,6 /proc/20883/task/20887/stat : 20887 (java) S 20881 20883 7849 0 -1 4202560 127 0 0 0 164 6 0 0 20 0 19 0 336588280 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197601418024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20888] ppid=20881 vsize=3090984 CPUtime=1.73 cores=0,2,4,6 /proc/20883/task/20888/stat : 20888 (java) S 20881 20883 7849 0 -1 4202560 187 0 0 0 167 6 0 0 20 0 19 0 336588280 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197600365480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20889] ppid=20881 vsize=3090984 CPUtime=1.8 cores=0,2,4,6 /proc/20883/task/20889/stat : 20889 (java) S 20881 20883 7849 0 -1 4202560 169 0 0 0 174 6 0 0 20 0 19 0 336588280 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197599312936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20890] ppid=20881 vsize=3090984 CPUtime=1.68 cores=0,2,4,6 /proc/20883/task/20890/stat : 20890 (java) S 20881 20883 7849 0 -1 4202560 131 0 0 0 163 5 0 0 20 0 19 0 336588280 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197396211880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20891] ppid=20881 vsize=3090984 CPUtime=1.83 cores=0,2,4,6 /proc/20883/task/20891/stat : 20891 (java) S 20881 20883 7849 0 -1 4202560 163 0 0 0 175 8 0 0 20 0 19 0 336588280 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197395159336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20892] ppid=20881 vsize=3090984 CPUtime=2.01 cores=0,2,4,6 /proc/20883/task/20892/stat : 20892 (java) S 20881 20883 7849 0 -1 4202560 148 0 0 0 194 7 0 0 20 0 19 0 336588280 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197394106792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20893] ppid=20881 vsize=3090984 CPUtime=1.66 cores=0,2,4,6 /proc/20883/task/20893/stat : 20893 (java) S 20881 20883 7849 0 -1 4202560 141 0 0 0 161 5 0 0 20 0 19 0 336588280 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197393054248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20894] ppid=20881 vsize=3090984 CPUtime=0.06 cores=0,2,4,6 /proc/20883/task/20894/stat : 20894 (java) S 20881 20883 7849 0 -1 4202560 93 0 0 0 3 3 0 0 20 0 19 0 336588281 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197380856424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20895] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20895/stat : 20895 (java) S 20881 20883 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336588282 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197379802744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20896] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20896/stat : 20896 (java) S 20881 20883 7849 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336588282 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197378750088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20897] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20897/stat : 20897 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197377698832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20898] ppid=20881 vsize=3090984 CPUtime=0.26 cores=0,2,4,6 /proc/20883/task/20898/stat : 20898 (java) S 20881 20883 7849 0 -1 4202560 2297 0 0 0 26 0 0 0 20 0 19 0 336588285 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197376645176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20899] ppid=20881 vsize=3090984 CPUtime=0.48 cores=0,2,4,6 /proc/20883/task/20899/stat : 20899 (java) S 20881 20883 7849 0 -1 4202560 6450 0 0 0 47 1 0 0 20 0 19 0 336588285 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197375592632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20900] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20900/stat : 20900 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197374540280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20901] ppid=20881 vsize=3090984 CPUtime=0.67 cores=0,2,4,6 /proc/20883/task/20901/stat : 20901 (java) S 20881 20883 7849 0 -1 4202560 99 0 0 0 38 29 0 0 20 0 19 0 336588285 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197373487944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=21368] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/21368/stat : 21368 (java) S 20881 20883 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336759879 3165167616 279358 33554432000 1073741824 1073778376 140733423219664 140197370304040 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1733.22 Current children cumulated vsize (KiB) 3090984 [startup+1782.3 s] /proc/loadavg: 2.08 2.12 2.08 3/213 21370 /proc/meminfo: memFree=27245968/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=3090984 CPUtime=1793.31 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 15645 0 1 0 179240 91 0 0 20 0 19 0 336588278 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 772746 279870 2288 9 0 763167 0 [pid=20883/tid=20885] ppid=20881 vsize=3090984 CPUtime=1773.16 cores=0,2,4,6 /proc/20883/task/20885/stat : 20885 (java) R 20881 20883 7849 0 -1 4202560 3571 0 1 0 177277 39 0 0 20 0 19 0 336588279 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197736948584 140197609408294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20886] ppid=20881 vsize=3090984 CPUtime=1.84 cores=0,2,4,6 /proc/20883/task/20886/stat : 20886 (java) S 20881 20883 7849 0 -1 4202560 169 0 0 0 179 5 0 0 20 0 19 0 336588280 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197602470568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20887] ppid=20881 vsize=3090984 CPUtime=1.72 cores=0,2,4,6 /proc/20883/task/20887/stat : 20887 (java) S 20881 20883 7849 0 -1 4202560 127 0 0 0 166 6 0 0 20 0 19 0 336588280 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197601418024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20888] ppid=20881 vsize=3090984 CPUtime=1.77 cores=0,2,4,6 /proc/20883/task/20888/stat : 20888 (java) S 20881 20883 7849 0 -1 4202560 188 0 0 0 171 6 0 0 20 0 19 0 336588280 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197600365480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20889] ppid=20881 vsize=3090984 CPUtime=1.81 cores=0,2,4,6 /proc/20883/task/20889/stat : 20889 (java) S 20881 20883 7849 0 -1 4202560 169 0 0 0 175 6 0 0 20 0 19 0 336588280 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197599312936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20890] ppid=20881 vsize=3090984 CPUtime=1.69 cores=0,2,4,6 /proc/20883/task/20890/stat : 20890 (java) S 20881 20883 7849 0 -1 4202560 131 0 0 0 164 5 0 0 20 0 19 0 336588280 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197396211880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20891] ppid=20881 vsize=3090984 CPUtime=1.84 cores=0,2,4,6 /proc/20883/task/20891/stat : 20891 (java) S 20881 20883 7849 0 -1 4202560 164 0 0 0 176 8 0 0 20 0 19 0 336588280 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197395159336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20892] ppid=20881 vsize=3090984 CPUtime=2.02 cores=0,2,4,6 /proc/20883/task/20892/stat : 20892 (java) S 20881 20883 7849 0 -1 4202560 148 0 0 0 195 7 0 0 20 0 19 0 336588280 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197394106792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20893] ppid=20881 vsize=3090984 CPUtime=1.67 cores=0,2,4,6 /proc/20883/task/20893/stat : 20893 (java) S 20881 20883 7849 0 -1 4202560 142 0 0 0 162 5 0 0 20 0 19 0 336588280 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197393054248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20894] ppid=20881 vsize=3090984 CPUtime=0.06 cores=0,2,4,6 /proc/20883/task/20894/stat : 20894 (java) S 20881 20883 7849 0 -1 4202560 95 0 0 0 3 3 0 0 20 0 19 0 336588281 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197380856424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20895] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20895/stat : 20895 (java) S 20881 20883 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336588282 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197379802744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20896] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20896/stat : 20896 (java) S 20881 20883 7849 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336588282 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197378750088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20897] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20897/stat : 20897 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197377698832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20898] ppid=20881 vsize=3090984 CPUtime=0.26 cores=0,2,4,6 /proc/20883/task/20898/stat : 20898 (java) S 20881 20883 7849 0 -1 4202560 2297 0 0 0 26 0 0 0 20 0 19 0 336588285 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197376645176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20899] ppid=20881 vsize=3090984 CPUtime=0.48 cores=0,2,4,6 /proc/20883/task/20899/stat : 20899 (java) S 20881 20883 7849 0 -1 4202560 6450 0 0 0 47 1 0 0 20 0 19 0 336588285 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197375592632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20900] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20900/stat : 20900 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197374540280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20901] ppid=20881 vsize=3090984 CPUtime=0.69 cores=0,2,4,6 /proc/20883/task/20901/stat : 20901 (java) S 20881 20883 7849 0 -1 4202560 103 0 0 0 38 31 0 0 20 0 19 0 336588285 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197373487944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=21370] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/21370/stat : 21370 (java) S 20881 20883 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336762654 3165167616 279870 33554432000 1073741824 1073778376 140733423219664 140197370304168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1793.31 Current children cumulated vsize (KiB) 3090984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1788.9 s] /proc/loadavg: 2.15 2.13 2.09 3/213 21370 /proc/meminfo: memFree=27241872/32873844 swapFree=7632/7632 [pid=20883] ppid=20881 vsize=3090984 CPUtime=1800.03 cores=0,2,4,6 /proc/20883/stat : 20883 (java) S 20881 20883 7849 0 -1 4202496 15654 0 1 0 179911 92 0 0 20 0 19 0 336588278 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140733423210800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/20883/statm: 772746 280894 2288 9 0 763167 0 [pid=20883/tid=20885] ppid=20881 vsize=3090984 CPUtime=1779.71 cores=0,2,4,6 /proc/20883/task/20885/stat : 20885 (java) R 20881 20883 7849 0 -1 4202560 3572 0 1 0 177931 40 0 0 20 0 19 0 336588279 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197736946976 140197609408294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20886] ppid=20881 vsize=3090984 CPUtime=1.85 cores=0,2,4,6 /proc/20883/task/20886/stat : 20886 (java) S 20881 20883 7849 0 -1 4202560 170 0 0 0 180 5 0 0 20 0 19 0 336588280 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197602470568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20887] ppid=20881 vsize=3090984 CPUtime=1.74 cores=0,2,4,6 /proc/20883/task/20887/stat : 20887 (java) S 20881 20883 7849 0 -1 4202560 127 0 0 0 168 6 0 0 20 0 19 0 336588280 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197601418024 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20888] ppid=20881 vsize=3090984 CPUtime=1.78 cores=0,2,4,6 /proc/20883/task/20888/stat : 20888 (java) S 20881 20883 7849 0 -1 4202560 189 0 0 0 172 6 0 0 20 0 19 0 336588280 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197600365480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20889] ppid=20881 vsize=3090984 CPUtime=1.82 cores=0,2,4,6 /proc/20883/task/20889/stat : 20889 (java) S 20881 20883 7849 0 -1 4202560 170 0 0 0 176 6 0 0 20 0 19 0 336588280 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197599312936 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20890] ppid=20881 vsize=3090984 CPUtime=1.71 cores=0,2,4,6 /proc/20883/task/20890/stat : 20890 (java) S 20881 20883 7849 0 -1 4202560 132 0 0 0 166 5 0 0 20 0 19 0 336588280 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197396211880 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20891] ppid=20881 vsize=3090984 CPUtime=1.85 cores=0,2,4,6 /proc/20883/task/20891/stat : 20891 (java) S 20881 20883 7849 0 -1 4202560 164 0 0 0 177 8 0 0 20 0 19 0 336588280 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197395159336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20892] ppid=20881 vsize=3090984 CPUtime=2.05 cores=0,2,4,6 /proc/20883/task/20892/stat : 20892 (java) S 20881 20883 7849 0 -1 4202560 149 0 0 0 198 7 0 0 20 0 19 0 336588280 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197394106792 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=20893] ppid=20881 vsize=3090984 CPUtime=1.68 cores=0,2,4,6 /proc/20883/task/20893/stat : 20893 (java) S 20881 20883 7849 0 -1 4202560 143 0 0 0 163 5 0 0 20 0 19 0 336588280 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197393054248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20894] ppid=20881 vsize=3090984 CPUtime=0.06 cores=0,2,4,6 /proc/20883/task/20894/stat : 20894 (java) S 20881 20883 7849 0 -1 4202560 97 0 0 0 3 3 0 0 20 0 19 0 336588281 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197380856424 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20895] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20895/stat : 20895 (java) S 20881 20883 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336588282 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197379802744 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20896] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20896/stat : 20896 (java) S 20881 20883 7849 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 19 0 336588282 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197378750088 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=20883/tid=20897] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20897/stat : 20897 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197377698832 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20898] ppid=20881 vsize=3090984 CPUtime=0.26 cores=0,2,4,6 /proc/20883/task/20898/stat : 20898 (java) S 20881 20883 7849 0 -1 4202560 2297 0 0 0 26 0 0 0 20 0 19 0 336588285 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197376645176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=20883/tid=20899] ppid=20881 vsize=3090984 CPUtime=0.48 cores=0,2,4,6 /proc/20883/task/20899/stat : 20899 (java) S 20881 20883 7849 0 -1 4202560 6450 0 0 0 47 1 0 0 20 0 19 0 336588285 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197375592632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20900] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/20900/stat : 20900 (java) S 20881 20883 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336588285 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197374540280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=20883/tid=20901] ppid=20881 vsize=3090984 CPUtime=0.69 cores=0,2,4,6 /proc/20883/task/20901/stat : 20901 (java) S 20881 20883 7849 0 -1 4202560 103 0 0 0 38 31 0 0 20 0 19 0 336588285 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197373487944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=20883/tid=21370] ppid=20881 vsize=3090984 CPUtime=0 cores=0,2,4,6 /proc/20883/task/21370/stat : 21370 (java) S 20881 20883 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336762654 3165167616 280894 33554432000 1073741824 1073778376 140733423219664 140197370304168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 3090984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20883 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=589180 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=361792 # CPU time returned by wait4() is 1795.95 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1788.92 CPU time (s): 1800.03 CPU user time (s): 1799.11 CPU system time (s): 0.92 CPU usage (%): 100.621 Max. virtual memory (cumulated for all children) (KiB): 3090984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.59 system time used= 1.36179 maximum resident set size= 1123660 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15676 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45226 involuntary context switches= 50179 runsolver used 6.48001 second user time and 14.3038 second system time The end
Begin job on node130 at 2012-06-03 08:23:47 IDJOB=3735003 IDBENCH=2932 IDSOLVER=2319 FILE ID=node130/3735003-1338704627 RUNJOBID= node130-1338679215-16919 PBS_JOBID= 14636683 Free space on /tmp= 70980 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735003-1338704627/watcher-3735003-1338704627 -o /tmp/evaluation-result-3735003-1338704627/solver-3735003-1338704627 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3735003-1338704627.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED=528017297 node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28186944 kB Buffers: 413484 kB Cached: 2383320 kB SwapCached: 4256 kB Active: 2111824 kB Inactive: 1706156 kB Active(anon): 1013368 kB Inactive(anon): 8128 kB Active(file): 1098456 kB Inactive(file): 1698028 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67099280 kB Dirty: 3584 kB Writeback: 12 kB AnonPages: 1029812 kB Mapped: 17552 kB Shmem: 4 kB Slab: 722256 kB SReclaimable: 163836 kB SUnreclaim: 558420 kB KernelStack: 1648 kB PageTables: 5732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1826284 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 993280 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70976 MiB End job on node130 at 2012-06-03 08:53:38