Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 102 | 1800.18 | 1786.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 | 16 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
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.03/0.19 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.03/0.19 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.03/0.19 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.12/0.20 c no version file found!!! 0.12/0.20 c sun.arch.data.model 32 0.12/0.20 c java.version 1.6.0 0.12/0.20 c os.name Linux 0.12/0.20 c os.version 2.6.9-22.EL.rootsmp 0.12/0.20 c os.arch i386 0.12/0.20 c Free memory 1651659224 0.12/0.20 c Max memory 1654456320 0.12/0.20 c Total memory 1654456320 0.12/0.20 c Number of processors 2 0.12/0.25 --- Begin Solver configuration --- 0.12/0.25 c Stops conflict analysis at the first Unique Implication Point 0.12/0.25 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.12/0.25 c Learn all clauses as in MiniSAT 0.12/0.25 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.25 c VSIDS like heuristics from MiniSAT using a heap 0.12/0.25 c No reason simplification 0.12/0.25 c --- End Solver configuration --- 0.12/0.25 c solving /tmp/evaluation/355008-1176749305/instance-355008-1176749305.opb 0.12/0.25 c reading problem ... 0.25/0.37 c ... done. Wall clock time 0.118s. 0.25/0.37 c CPU time (experimental) 0.27s. 0.25/0.37 c #vars 172 0.25/0.37 c #constraints 14 0.78/0.61 c SATISFIABLE 0.78/0.61 c OPTIMIZING... 0.78/0.61 c Got one! Elapsed wall clock time (in seconds):0.353 0.78/0.61 o 2574 0.78/0.65 c Got one! Elapsed wall clock time (in seconds):0.398 0.78/0.65 o 2573 0.78/0.68 c Got one! Elapsed wall clock time (in seconds):0.43 0.78/0.68 o 2572 0.90/0.72 c Got one! Elapsed wall clock time (in seconds):0.47 0.90/0.72 o 2570 0.90/0.76 c Got one! Elapsed wall clock time (in seconds):0.51 0.90/0.76 o 2568 1.03/0.81 c Got one! Elapsed wall clock time (in seconds):0.552 1.03/0.81 o 2233 1.03/0.88 c Got one! Elapsed wall clock time (in seconds):0.625 1.03/0.88 o 961 1.15/0.93 c Got one! Elapsed wall clock time (in seconds):0.679 1.15/0.93 o 958 1.15/0.98 c Got one! Elapsed wall clock time (in seconds):0.73 1.15/0.98 o 949 1.26/1.05 c Got one! Elapsed wall clock time (in seconds):0.792 1.26/1.05 o 948 1.26/1.10 c Got one! Elapsed wall clock time (in seconds):0.843 1.26/1.10 o 946 1.36/1.16 c Got one! Elapsed wall clock time (in seconds):0.91 1.36/1.16 o 945 1.46/1.23 c Got one! Elapsed wall clock time (in seconds):0.977 1.46/1.23 o 944 1.57/1.30 c Got one! Elapsed wall clock time (in seconds):1.044 1.57/1.30 o 942 1.57/1.37 c Got one! Elapsed wall clock time (in seconds):1.12 1.57/1.37 o 940 1.70/1.44 c Got one! Elapsed wall clock time (in seconds):1.182 1.70/1.44 o 882 1.85/1.50 c Got one! Elapsed wall clock time (in seconds):1.244 1.85/1.50 o 593 1.85/1.56 c Got one! Elapsed wall clock time (in seconds):1.306 1.85/1.56 o 591 2.06/1.62 c Got one! Elapsed wall clock time (in seconds):1.364 2.06/1.62 o 588 2.25/1.70 c Got one! Elapsed wall clock time (in seconds):1.448 2.25/1.70 o 586 2.25/1.77 c Got one! Elapsed wall clock time (in seconds):1.519 2.25/1.77 o 584 2.45/1.87 c Got one! Elapsed wall clock time (in seconds):1.613 2.45/1.87 o 582 2.66/1.96 c Got one! Elapsed wall clock time (in seconds):1.702 2.66/1.96 o 579 2.86/2.03 c Got one! Elapsed wall clock time (in seconds):1.78 2.86/2.03 o 578 3.06/2.11 c Got one! Elapsed wall clock time (in seconds):1.86 3.06/2.11 o 576 3.22/2.21 c Got one! Elapsed wall clock time (in seconds):1.96 3.22/2.21 o 575 3.31/2.31 c Got one! Elapsed wall clock time (in seconds):2.058 3.31/2.31 o 574 3.42/2.41 c Got one! Elapsed wall clock time (in seconds):2.155 3.42/2.41 o 573 3.42/2.48 c Got one! Elapsed wall clock time (in seconds):2.224 3.42/2.48 o 572 3.52/2.57 c Got one! Elapsed wall clock time (in seconds):2.316 3.52/2.57 o 570 3.72/2.70 c Got one! Elapsed wall clock time (in seconds):2.445 3.72/2.70 o 568 3.72/2.79 c Got one! Elapsed wall clock time (in seconds):2.536 3.72/2.79 o 567 3.82/2.89 c Got one! Elapsed wall clock time (in seconds):2.641 3.82/2.89 o 566 3.93/2.96 c Got one! Elapsed wall clock time (in seconds):2.709 3.93/2.96 o 564 4.06/3.06 c Got one! Elapsed wall clock time (in seconds):2.807 4.06/3.06 o 562 4.32/3.22 c Got one! Elapsed wall clock time (in seconds):2.97 4.32/3.22 o 561 4.45/3.32 c Got one! Elapsed wall clock time (in seconds):3.065 4.45/3.32 o 559 4.45/3.39 c Got one! Elapsed wall clock time (in seconds):3.139 4.45/3.39 o 558 4.75/3.64 c Got one! Elapsed wall clock time (in seconds):3.389 4.75/3.64 o 556 6.57/5.46 c Got one! Elapsed wall clock time (in seconds):5.204 6.57/5.46 o 555 6.66/5.57 c Got one! Elapsed wall clock time (in seconds):5.319 6.66/5.57 o 553 7.20/6.01 c Got one! Elapsed wall clock time (in seconds):5.759 7.20/6.01 o 552 7.20/6.10 c Got one! Elapsed wall clock time (in seconds):5.843 7.20/6.10 o 551 7.40/6.20 c Got one! Elapsed wall clock time (in seconds):5.95 7.40/6.20 o 549 7.69/6.45 c Got one! Elapsed wall clock time (in seconds):6.195 7.69/6.45 o 548 8.10/6.83 c Got one! Elapsed wall clock time (in seconds):6.574 8.10/6.83 o 546 8.20/6.93 c Got one! Elapsed wall clock time (in seconds):6.672 8.20/6.93 o 545 8.40/7.15 c Got one! Elapsed wall clock time (in seconds):6.894 8.40/7.15 o 544 8.50/7.29 c Got one! Elapsed wall clock time (in seconds):7.036 8.50/7.29 o 542 8.70/7.42 c Got one! Elapsed wall clock time (in seconds):7.169 8.70/7.42 o 540 8.80/7.57 c Got one! Elapsed wall clock time (in seconds):7.315 8.80/7.57 o 539 9.00/7.71 c Got one! Elapsed wall clock time (in seconds):7.455 9.00/7.71 o 537 10.13/8.85 c Got one! Elapsed wall clock time (in seconds):8.595 10.13/8.85 o 536 10.23/8.99 c Got one! Elapsed wall clock time (in seconds):8.732 10.23/8.99 o 534 10.46/9.11 c Got one! Elapsed wall clock time (in seconds):8.858 10.46/9.11 o 533 11.38/10.01 c Got one! Elapsed wall clock time (in seconds):9.754 11.38/10.01 o 532 11.78/10.43 c Got one! Elapsed wall clock time (in seconds):10.178 11.78/10.43 o 531 11.88/10.57 c Got one! Elapsed wall clock time (in seconds):10.321 11.88/10.57 o 529 12.09/10.79 c Got one! Elapsed wall clock time (in seconds):10.536 12.09/10.79 o 526 12.31/11.00 c Got one! Elapsed wall clock time (in seconds):10.743 12.31/11.00 o 525 12.51/11.16 c Got one! Elapsed wall clock time (in seconds):10.91 12.51/11.16 o 524 12.61/11.30 c Got one! Elapsed wall clock time (in seconds):11.043 12.61/11.30 o 522 12.81/11.47 c Got one! Elapsed wall clock time (in seconds):11.213 12.81/11.47 o 520 12.91/11.57 c Got one! Elapsed wall clock time (in seconds):11.319 12.91/11.57 o 500 13.11/11.75 c Got one! Elapsed wall clock time (in seconds):11.497 13.11/11.75 o 498 13.84/12.42 c Got one! Elapsed wall clock time (in seconds):12.164 13.84/12.42 o 496 13.94/12.59 c Got one! Elapsed wall clock time (in seconds):12.332 13.94/12.59 o 495 14.14/12.73 c Got one! Elapsed wall clock time (in seconds):12.48 14.14/12.73 o 493 14.24/12.88 c Got one! Elapsed wall clock time (in seconds):12.626 14.24/12.88 o 491 14.44/13.07 c Got one! Elapsed wall clock time (in seconds):12.82 14.44/13.07 o 490 15.24/13.87 c Got one! Elapsed wall clock time (in seconds):13.612 15.24/13.87 o 488 15.47/14.07 c Got one! Elapsed wall clock time (in seconds):13.817 15.47/14.07 o 486 15.67/14.29 c Got one! Elapsed wall clock time (in seconds):14.034 15.67/14.29 o 484 15.87/14.44 c Got one! Elapsed wall clock time (in seconds):14.187 15.87/14.44 o 483 16.07/14.60 c Got one! Elapsed wall clock time (in seconds):14.345 16.07/14.60 o 481 16.17/14.74 c Got one! Elapsed wall clock time (in seconds):14.484 16.17/14.74 o 480 16.57/15.10 c Got one! Elapsed wall clock time (in seconds):14.844 16.57/15.10 o 478 16.67/15.26 c Got one! Elapsed wall clock time (in seconds):15.009 16.67/15.26 o 477 16.87/15.43 c Got one! Elapsed wall clock time (in seconds):15.178 16.87/15.43 o 475 17.37/15.94 c Got one! Elapsed wall clock time (in seconds):15.688 17.37/15.94 o 474 17.50/16.10 c Got one! Elapsed wall clock time (in seconds):15.842 17.50/16.10 o 472 17.87/16.32 c Got one! Elapsed wall clock time (in seconds):16.07 17.87/16.32 o 470 17.98/16.46 c Got one! Elapsed wall clock time (in seconds):16.204 17.98/16.46 o 469 18.07/16.58 c Got one! Elapsed wall clock time (in seconds):16.33 18.07/16.58 o 468 18.78/17.24 c Got one! Elapsed wall clock time (in seconds):16.983 18.78/17.24 o 467 18.91/17.39 c Got one! Elapsed wall clock time (in seconds):17.135 18.91/17.39 o 466 20.02/18.41 c Got one! Elapsed wall clock time (in seconds):18.159 20.02/18.41 o 464 20.62/19.09 c Got one! Elapsed wall clock time (in seconds):18.84 20.62/19.09 o 462 21.31/19.67 c Got one! Elapsed wall clock time (in seconds):19.412 21.31/19.67 o 460 21.52/19.85 c Got one! Elapsed wall clock time (in seconds):19.591 21.52/19.85 o 459 21.71/20.01 c Got one! Elapsed wall clock time (in seconds):19.757 21.71/20.01 o 455 22.54/20.86 c Got one! Elapsed wall clock time (in seconds):20.61 22.54/20.86 o 453 22.73/21.08 c Got one! Elapsed wall clock time (in seconds):20.826 22.73/21.08 o 451 22.93/21.25 c Got one! Elapsed wall clock time (in seconds):20.992 22.93/21.25 o 449 23.33/21.68 c Got one! Elapsed wall clock time (in seconds):21.425 23.33/21.68 o 447 23.64/21.93 c Got one! Elapsed wall clock time (in seconds):21.679 23.64/21.93 o 445 23.83/22.17 c Got one! Elapsed wall clock time (in seconds):21.914 23.83/22.17 o 444 24.03/22.39 c Got one! Elapsed wall clock time (in seconds):22.134 24.03/22.39 o 443 24.33/22.66 c Got one! Elapsed wall clock time (in seconds):22.402 24.33/22.66 o 441 24.53/22.87 c Got one! Elapsed wall clock time (in seconds):22.612 24.53/22.87 o 432 24.74/23.05 c Got one! Elapsed wall clock time (in seconds):22.797 24.74/23.05 o 431 24.94/23.29 c Got one! Elapsed wall clock time (in seconds):23.032 24.94/23.29 o 429 25.26/23.58 c Got one! Elapsed wall clock time (in seconds):23.329 25.26/23.58 o 427 25.46/23.77 c Got one! Elapsed wall clock time (in seconds):23.517 25.46/23.77 o 426 28.17/26.47 c Got one! Elapsed wall clock time (in seconds):26.22 28.17/26.47 o 424 28.46/26.76 c Got one! Elapsed wall clock time (in seconds):26.509 28.46/26.76 o 423 28.66/26.99 c Got one! Elapsed wall clock time (in seconds):26.735 28.66/26.99 o 422 29.17/27.45 c Got one! Elapsed wall clock time (in seconds):27.198 29.17/27.45 o 421 29.58/27.80 c Got one! Elapsed wall clock time (in seconds):27.548 29.58/27.80 o 420 29.98/28.21 c Got one! Elapsed wall clock time (in seconds):27.953 29.98/28.21 o 418 30.18/28.47 c Got one! Elapsed wall clock time (in seconds):28.214 30.18/28.47 o 417 30.48/28.70 c Got one! Elapsed wall clock time (in seconds):28.45 30.48/28.70 o 414 31.90/30.14 c Got one! Elapsed wall clock time (in seconds):29.885 31.90/30.14 o 412 32.40/30.68 c Got one! Elapsed wall clock time (in seconds):30.425 32.40/30.68 o 410 32.90/31.18 c Got one! Elapsed wall clock time (in seconds):30.925 32.90/31.18 o 408 33.30/31.51 c Got one! Elapsed wall clock time (in seconds):31.254 33.30/31.51 o 406 33.80/32.09 c Got one! Elapsed wall clock time (in seconds):31.833 33.80/32.09 o 405 34.10/32.35 c Got one! Elapsed wall clock time (in seconds):32.099 34.10/32.35 o 404 34.30/32.56 c Got one! Elapsed wall clock time (in seconds):32.301 34.30/32.56 o 403 34.50/32.79 c Got one! Elapsed wall clock time (in seconds):32.535 34.50/32.79 o 402 35.70/33.95 c Got one! Elapsed wall clock time (in seconds):33.692 35.70/33.95 o 401 36.91/35.10 c Got one! Elapsed wall clock time (in seconds):34.849 36.91/35.10 o 400 39.12/37.32 c Got one! Elapsed wall clock time (in seconds):37.07 39.12/37.32 o 399 41.22/39.42 c Got one! Elapsed wall clock time (in seconds):39.164 41.22/39.42 o 397 42.72/40.94 c Got one! Elapsed wall clock time (in seconds):40.684 42.72/40.94 o 392 43.12/41.33 c Got one! Elapsed wall clock time (in seconds):41.079 43.12/41.33 o 390 43.42/41.68 c Got one! Elapsed wall clock time (in seconds):41.426 43.42/41.68 o 385 45.13/43.37 c Got one! Elapsed wall clock time (in seconds):43.112 45.13/43.37 o 384 45.53/43.74 c Got one! Elapsed wall clock time (in seconds):43.484 45.53/43.74 o 378 45.94/44.11 c Got one! Elapsed wall clock time (in seconds):43.851 45.94/44.11 o 377 46.24/44.49 c Got one! Elapsed wall clock time (in seconds):44.238 46.24/44.49 o 375 47.24/45.43 c Got one! Elapsed wall clock time (in seconds):45.176 47.24/45.43 o 373 47.95/46.18 c Got one! Elapsed wall clock time (in seconds):45.928 47.95/46.18 o 371 50.45/48.61 c Got one! Elapsed wall clock time (in seconds):48.357 50.45/48.61 o 369 59.50/57.66 c Got one! Elapsed wall clock time (in seconds):57.406 59.50/57.66 o 367 60.41/58.54 c Got one! Elapsed wall clock time (in seconds):58.29 60.41/58.54 o 365 60.91/59.03 c Got one! Elapsed wall clock time (in seconds):58.78 60.91/59.03 o 364 61.92/60.00 c Got one! Elapsed wall clock time (in seconds):59.748 61.92/60.00 o 362 63.11/61.25 c Got one! Elapsed wall clock time (in seconds):60.999 63.11/61.25 o 360 65.32/63.45 c Got one! Elapsed wall clock time (in seconds):63.192 65.32/63.45 o 359 66.02/64.19 c Got one! Elapsed wall clock time (in seconds):63.941 66.02/64.19 o 357 68.03/66.11 c Got one! Elapsed wall clock time (in seconds):65.86 68.03/66.11 o 355 68.73/66.88 c Got one! Elapsed wall clock time (in seconds):66.624 68.73/66.88 o 354 69.64/67.77 c Got one! Elapsed wall clock time (in seconds):67.52 69.64/67.77 o 352 70.14/68.21 c Got one! Elapsed wall clock time (in seconds):67.956 70.14/68.21 o 351 70.44/68.59 c Got one! Elapsed wall clock time (in seconds):68.337 70.44/68.59 o 350 70.84/68.96 c Got one! Elapsed wall clock time (in seconds):68.703 70.84/68.96 o 348 71.24/69.33 c Got one! Elapsed wall clock time (in seconds):69.072 71.24/69.33 o 347 72.64/70.75 c Got one! Elapsed wall clock time (in seconds):70.5 72.64/70.75 o 346 74.86/73.00 c Got one! Elapsed wall clock time (in seconds):72.742 74.86/73.00 o 344 78.77/76.87 c Got one! Elapsed wall clock time (in seconds):76.616 78.77/76.87 o 342 80.77/78.80 c Got one! Elapsed wall clock time (in seconds):78.548 80.77/78.80 o 341 83.19/81.30 c Got one! Elapsed wall clock time (in seconds):81.047 83.19/81.30 o 340 84.00/82.02 c Got one! Elapsed wall clock time (in seconds):81.766 84.00/82.02 o 339 84.80/82.80 c Got one! Elapsed wall clock time (in seconds):82.547 84.80/82.80 o 337 85.30/83.38 c Got one! Elapsed wall clock time (in seconds):83.121 85.30/83.38 o 336 85.80/83.83 c Got one! Elapsed wall clock time (in seconds):83.581 85.80/83.83 o 332 86.30/84.33 c Got one! Elapsed wall clock time (in seconds):84.074 86.30/84.33 o 330 89.51/87.50 c Got one! Elapsed wall clock time (in seconds):87.25 89.51/87.50 o 328 90.22/88.28 c Got one! Elapsed wall clock time (in seconds):88.024 90.22/88.28 o 327 92.73/90.70 c Got one! Elapsed wall clock time (in seconds):90.448 92.73/90.70 o 325 97.26/95.28 c Got one! Elapsed wall clock time (in seconds):95.029 97.26/95.28 o 323 97.66/95.65 c Got one! Elapsed wall clock time (in seconds):95.391 97.66/95.65 o 321 100.47/98.43 c Got one! Elapsed wall clock time (in seconds):98.179 100.47/98.43 o 320 101.99/99.91 c Got one! Elapsed wall clock time (in seconds):99.657 101.99/99.91 o 319 103.90/101.82 c Got one! Elapsed wall clock time (in seconds):101.568 103.90/101.82 o 317 109.64/107.58 c Got one! Elapsed wall clock time (in seconds):107.321 109.64/107.58 o 315 111.64/109.53 c Got one! Elapsed wall clock time (in seconds):109.272 111.64/109.53 o 314 124.34/122.11 c Got one! Elapsed wall clock time (in seconds):121.851 124.34/122.11 o 307 129.16/126.96 c Got one! Elapsed wall clock time (in seconds):126.705 129.16/126.96 o 305 130.57/128.39 c Got one! Elapsed wall clock time (in seconds):128.14 130.57/128.39 o 302 132.99/130.71 c Got one! Elapsed wall clock time (in seconds):130.46 132.99/130.71 o 300 135.91/133.69 c Got one! Elapsed wall clock time (in seconds):133.439 135.91/133.69 o 299 137.52/135.22 c Got one! Elapsed wall clock time (in seconds):134.964 137.52/135.22 o 297 143.96/141.61 c Got one! Elapsed wall clock time (in seconds):141.352 143.96/141.61 o 295 148.69/146.37 c Got one! Elapsed wall clock time (in seconds):146.116 148.69/146.37 o 293 150.19/147.85 c Got one! Elapsed wall clock time (in seconds):147.6 150.19/147.85 o 291 152.00/149.63 c Got one! Elapsed wall clock time (in seconds):149.375 152.00/149.63 o 289 152.60/150.26 c Got one! Elapsed wall clock time (in seconds):150.007 152.60/150.26 o 288 154.12/151.78 c Got one! Elapsed wall clock time (in seconds):151.522 154.12/151.78 o 286 155.72/153.33 c Got one! Elapsed wall clock time (in seconds):153.075 155.72/153.33 o 285 157.44/155.08 c Got one! Elapsed wall clock time (in seconds):154.822 157.44/155.08 o 283 159.45/157.00 c Got one! Elapsed wall clock time (in seconds):156.745 159.45/157.00 o 282 161.96/159.54 c Got one! Elapsed wall clock time (in seconds):159.289 161.96/159.54 o 280 166.71/164.20 c Got one! Elapsed wall clock time (in seconds):163.943 166.71/164.20 o 278 168.62/166.18 c Got one! Elapsed wall clock time (in seconds):165.93 168.62/166.18 o 277 169.62/167.14 c Got one! Elapsed wall clock time (in seconds):166.89 169.62/167.14 o 275 170.72/168.28 c Got one! Elapsed wall clock time (in seconds):168.027 170.72/168.28 o 273 173.44/170.99 c Got one! Elapsed wall clock time (in seconds):170.738 173.44/170.99 o 269 175.35/172.89 c Got one! Elapsed wall clock time (in seconds):172.634 175.35/172.89 o 267 180.18/177.62 c Got one! Elapsed wall clock time (in seconds):177.362 180.18/177.62 o 265 335.32/331.75 c Got one! Elapsed wall clock time (in seconds):331.492 335.32/331.75 o 263 347.38/343.75 c Got one! Elapsed wall clock time (in seconds):343.501 347.38/343.76 o 261 352.83/349.16 c Got one! Elapsed wall clock time (in seconds):348.908 352.83/349.16 o 260 358.75/355.06 c Got one! Elapsed wall clock time (in seconds):354.81 358.75/355.06 o 259 361.17/357.42 c Got one! Elapsed wall clock time (in seconds):357.169 361.17/357.42 o 258 368.00/364.21 c Got one! Elapsed wall clock time (in seconds):363.959 368.00/364.21 o 257 371.02/367.30 c Got one! Elapsed wall clock time (in seconds):367.042 371.02/367.30 o 256 372.53/368.78 c Got one! Elapsed wall clock time (in seconds):368.527 372.53/368.78 o 252 392.48/388.53 c Got one! Elapsed wall clock time (in seconds):388.272 392.48/388.53 o 251 394.52/390.53 c Got one! Elapsed wall clock time (in seconds):390.279 394.52/390.53 o 249 399.95/395.99 c Got one! Elapsed wall clock time (in seconds):395.741 399.95/396.00 o 248 401.86/397.80 c Got one! Elapsed wall clock time (in seconds):397.549 401.86/397.80 o 246 406.90/402.80 c Got one! Elapsed wall clock time (in seconds):402.546 406.90/402.80 o 245 416.15/412.05 c Got one! Elapsed wall clock time (in seconds):411.799 416.15/412.05 o 244 418.36/414.20 c Got one! Elapsed wall clock time (in seconds):413.95 418.36/414.20 o 242 419.46/415.32 c Got one! Elapsed wall clock time (in seconds):415.064 419.46/415.32 o 241 420.79/416.63 c Got one! Elapsed wall clock time (in seconds):416.378 420.79/416.63 o 240 422.50/418.34 c Got one! Elapsed wall clock time (in seconds):418.085 422.50/418.34 o 239 426.03/421.85 c Got one! Elapsed wall clock time (in seconds):421.597 426.03/421.85 o 237 435.83/431.59 c Got one! Elapsed wall clock time (in seconds):431.337 435.83/431.59 o 235 453.16/448.73 c Got one! Elapsed wall clock time (in seconds):448.478 453.16/448.73 o 232 471.61/467.08 c Got one! Elapsed wall clock time (in seconds):466.824 471.61/467.08 o 230 472.71/468.14 c Got one! Elapsed wall clock time (in seconds):467.887 472.71/468.14 o 229 474.53/469.96 c Got one! Elapsed wall clock time (in seconds):469.707 474.53/469.96 o 227 484.09/479.43 c Got one! Elapsed wall clock time (in seconds):479.175 484.09/479.43 o 225 486.40/481.76 c Got one! Elapsed wall clock time (in seconds):481.502 486.40/481.76 o 220 493.05/488.34 c Got one! Elapsed wall clock time (in seconds):488.091 493.05/488.34 o 219 496.26/491.55 c Got one! Elapsed wall clock time (in seconds):491.293 496.26/491.55 o 218 501.49/496.72 c Got one! Elapsed wall clock time (in seconds):496.463 501.49/496.72 o 216 508.03/503.20 c Got one! Elapsed wall clock time (in seconds):502.947 508.03/503.20 o 215 513.16/508.34 c Got one! Elapsed wall clock time (in seconds):508.082 513.16/508.34 o 213 516.26/511.43 c Got one! Elapsed wall clock time (in seconds):511.18 516.26/511.43 o 212 523.84/518.98 c Got one! Elapsed wall clock time (in seconds):518.724 523.84/518.98 o 210 527.87/522.90 c Got one! Elapsed wall clock time (in seconds):522.646 527.87/522.90 o 208 533.90/528.96 c Got one! Elapsed wall clock time (in seconds):528.709 533.90/528.96 o 207 538.05/533.08 c Got one! Elapsed wall clock time (in seconds):532.824 538.05/533.08 o 205 544.79/539.79 c Got one! Elapsed wall clock time (in seconds):539.539 544.79/539.79 o 203 556.08/550.95 c Got one! Elapsed wall clock time (in seconds):550.701 556.08/550.95 o 201 564.05/558.82 c Got one! Elapsed wall clock time (in seconds):558.569 564.05/558.82 o 200 569.27/564.05 c Got one! Elapsed wall clock time (in seconds):563.792 569.27/564.05 o 199 582.79/577.47 c Got one! Elapsed wall clock time (in seconds):577.216 582.79/577.47 o 198 593.75/588.31 c Got one! Elapsed wall clock time (in seconds):588.053 593.75/588.31 o 196 598.06/592.65 c Got one! Elapsed wall clock time (in seconds):592.392 598.06/592.65 o 194 609.77/604.28 c Got one! Elapsed wall clock time (in seconds):604.028 609.77/604.28 o 192 614.18/608.63 c Got one! Elapsed wall clock time (in seconds):608.372 614.18/608.63 o 191 617.40/611.81 c Got one! Elapsed wall clock time (in seconds):611.554 617.40/611.81 o 189 626.28/620.69 c Got one! Elapsed wall clock time (in seconds):620.437 626.28/620.69 o 187 633.14/627.40 c Got one! Elapsed wall clock time (in seconds):627.148 633.14/627.40 o 185 635.56/629.82 c Got one! Elapsed wall clock time (in seconds):629.561 635.56/629.82 o 184 642.30/636.52 c Got one! Elapsed wall clock time (in seconds):636.269 642.30/636.52 o 183 650.05/644.22 c Got one! Elapsed wall clock time (in seconds):643.968 650.05/644.22 o 181 652.55/646.78 c Got one! Elapsed wall clock time (in seconds):646.522 652.55/646.78 o 180 661.10/655.28 c Got one! Elapsed wall clock time (in seconds):655.028 661.10/655.28 o 178 666.04/660.14 c Got one! Elapsed wall clock time (in seconds):659.889 666.04/660.14 o 176 669.76/663.81 c Got one! Elapsed wall clock time (in seconds):663.552 669.76/663.81 o 174 677.21/671.20 c Got one! Elapsed wall clock time (in seconds):670.943 677.21/671.20 o 173 681.33/675.37 c Got one! Elapsed wall clock time (in seconds):675.113 681.33/675.37 o 171 682.93/676.98 c Got one! Elapsed wall clock time (in seconds):676.727 682.93/676.98 o 170 691.70/685.64 c Got one! Elapsed wall clock time (in seconds):685.386 691.70/685.64 o 163 696.05/689.96 c Got one! Elapsed wall clock time (in seconds):689.71 696.05/689.96 o 162 696.96/690.89 c Got one! Elapsed wall clock time (in seconds):690.641 696.96/690.89 o 160 703.71/697.52 c Got one! Elapsed wall clock time (in seconds):697.263 703.71/697.52 o 158 719.71/713.46 c Got one! Elapsed wall clock time (in seconds):713.203 719.71/713.46 o 156 750.64/744.13 c Got one! Elapsed wall clock time (in seconds):743.875 750.64/744.13 o 154 759.00/752.40 c Got one! Elapsed wall clock time (in seconds):752.149 759.00/752.40 o 153 772.31/765.76 c Got one! Elapsed wall clock time (in seconds):765.501 772.31/765.76 o 152 777.35/770.76 c Got one! Elapsed wall clock time (in seconds):770.506 777.35/770.76 o 151 781.86/775.25 c Got one! Elapsed wall clock time (in seconds):774.998 781.86/775.25 o 150 786.08/779.47 c Got one! Elapsed wall clock time (in seconds):779.211 786.08/779.47 o 148 788.60/781.96 c Got one! Elapsed wall clock time (in seconds):781.709 788.60/781.96 o 147 797.33/790.63 c Got one! Elapsed wall clock time (in seconds):790.375 797.33/790.63 o 146 810.28/803.56 c Got one! Elapsed wall clock time (in seconds):803.304 810.28/803.56 o 144 866.61/859.56 c Got one! Elapsed wall clock time (in seconds):859.305 866.61/859.56 o 143 874.23/867.10 c Got one! Elapsed wall clock time (in seconds):866.844 874.23/867.10 o 141 883.70/876.58 c Got one! Elapsed wall clock time (in seconds):876.329 883.70/876.58 o 139 888.52/881.34 c Got one! Elapsed wall clock time (in seconds):881.088 888.52/881.34 o 138 897.09/889.83 c Got one! Elapsed wall clock time (in seconds):889.577 897.09/889.83 o 137 916.70/909.39 c Got one! Elapsed wall clock time (in seconds):909.131 916.70/909.39 o 135 946.72/939.19 c Got one! Elapsed wall clock time (in seconds):938.936 946.72/939.19 o 134 959.74/952.05 c Got one! Elapsed wall clock time (in seconds):951.792 959.74/952.05 o 132 974.25/966.41 c Got one! Elapsed wall clock time (in seconds):966.152 974.25/966.41 o 131 984.42/976.56 c Got one! Elapsed wall clock time (in seconds):976.308 984.42/976.56 o 130 1010.06/1002.01 c Got one! Elapsed wall clock time (in seconds):1001.757 1010.06/1002.01 o 128 1021.05/1012.92 c Got one! Elapsed wall clock time (in seconds):1012.666 1021.05/1012.92 o 127 1026.30/1018.13 c Got one! Elapsed wall clock time (in seconds):1017.875 1026.30/1018.13 o 125 1035.02/1026.86 c Got one! Elapsed wall clock time (in seconds):1026.609 1035.02/1026.86 o 123 1043.40/1035.19 c Got one! Elapsed wall clock time (in seconds):1034.936 1043.40/1035.19 o 122 1065.48/1057.07 c Got one! Elapsed wall clock time (in seconds):1056.818 1065.48/1057.07 o 120 1089.00/1080.48 c Got one! Elapsed wall clock time (in seconds):1080.223 1089.00/1080.48 o 118 1118.84/1110.13 c Got one! Elapsed wall clock time (in seconds):1109.873 1118.84/1110.13 o 116 1126.20/1117.42 c Got one! Elapsed wall clock time (in seconds):1117.166 1126.20/1117.42 o 114 1141.47/1132.62 c Got one! Elapsed wall clock time (in seconds):1132.366 1141.47/1132.62 o 113 1152.32/1143.49 c Got one! Elapsed wall clock time (in seconds):1143.238 1152.32/1143.49 o 112 1193.29/1184.12 c Got one! Elapsed wall clock time (in seconds):1183.87 1193.29/1184.12 o 108 1224.70/1215.38 c Got one! Elapsed wall clock time (in seconds):1215.126 1224.70/1215.38 o 106 1242.66/1233.20 c Got one! Elapsed wall clock time (in seconds):1232.948 1242.66/1233.20 o 104 1387.74/1377.37 c Got one! Elapsed wall clock time (in seconds):1377.112 1387.74/1377.37 o 103 1708.74/1696.18 c Got one! Elapsed wall clock time (in seconds):1695.926 1708.74/1696.18 o 102 1800.06/1786.81 c starts : 1471 1800.06/1786.81 c conflicts : 743572 1800.06/1786.81 c decisions : 1002932 1800.06/1786.81 c propagations : 12551406 1800.06/1786.81 c inspects : 4001332812 1800.06/1786.81 c learnt literals : 0 1800.06/1786.81 c learnt binary clauses : 0 1800.06/1786.81 c learnt ternary clauses : 0 1800.06/1786.81 c learnt clauses : 743572 1800.06/1786.81 c root simplifications : 0 1800.06/1786.81 c removed literals (reason simplification) : 0 1800.06/1786.81 c reason swapping (by a shorter reason) : 0 1800.06/1786.81 c Calls to reduceDB : 0 1800.06/1786.81 c speed (decisions/second) : 11065.981110424573 1800.06/1786.81 c non guided choices 7932 1800.06/1786.81 s SATISFIABLE 1800.06/1786.81 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 -x28 -x29 1800.06/1786.81 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1800.06/1786.81 v -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 1800.06/1786.81 v -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 1800.06/1786.81 v -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 x124 x125 x126 x127 -x128 -x129 1800.06/1786.81 v -x130 x131 -x132 -x133 -x134 x135 -x136 x137 x138 x139 x140 x141 -x142 -x143 -x144 x145 -x146 x147 -x148 -x149 x150 -x151 x152 1800.06/1786.81 v -x153 x154 x155 -x156 x157 x158 x159 x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 x168 -x169 x170 x171 x172 1800.06/1786.81 c objective function=102 1800.06/1786.81 c Total wall clock time (ms): 1786.56
OK 102
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-355008-1176749305 -o ROOT/results/node29/solver-355008-1176749305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355008-1176749305/sat4jPseudoResolution.jar /tmp/evaluation/355008-1176749305/instance-355008-1176749305.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: 1.08 1.02 1.01 2/77 8642 /proc/meminfo: memFree=1782280/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=152 CPUtime=0 /proc/8642/stat : 8642 (java) D 8640 8642 7764 0 -1 0 41 0 0 0 0 0 0 0 19 0 1 0 122846230 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 4129572 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/8642/statm: 38 26 19 9 0 4 0 [startup+0.011301 s] /proc/loadavg: 1.08 1.02 1.01 2/77 8642 /proc/meminfo: memFree=1782280/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=152 CPUtime=0 /proc/8642/stat : 8642 (java) D 8640 8642 7764 0 -1 0 41 0 0 0 0 0 0 0 19 0 1 0 122846230 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 4129572 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/8642/statm: 38 26 19 9 0 4 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 152 [startup+0.102313 s] /proc/loadavg: 1.08 1.02 1.01 2/77 8642 /proc/meminfo: memFree=1782280/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1777060 CPUtime=0.03 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 3535 0 1 0 2 1 0 0 18 0 5 0 122846230 1819709440 3280 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 444265 3280 1050 9 0 441901 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1777060 [startup+0.302325 s] /proc/loadavg: 1.08 1.02 1.01 2/77 8642 /proc/meminfo: memFree=1782280/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1782176 CPUtime=0.25 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 5005 0 1 0 22 3 0 0 18 0 12 0 122846230 1824948224 4744 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 445544 4744 1247 9 0 443156 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 1782176 [startup+0.70235 s] /proc/loadavg: 1.08 1.02 1.01 2/77 8642 /proc/meminfo: memFree=1782280/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1784376 CPUtime=0.9 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 7855 0 1 0 86 4 0 0 18 0 13 0 122846230 1827201024 6844 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 446094 6844 1308 9 0 443706 0 Current children cumulated CPU time (s) 0.9 Current children cumulated vsize (KiB) 1784376 [startup+1.50141 s] /proc/loadavg: 1.07 1.02 1.00 2/90 8664 /proc/meminfo: memFree=1742304/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1785704 CPUtime=1.85 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 20450 0 1 0 177 8 0 0 18 0 13 0 122846230 1828560896 19255 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 446426 19256 1311 9 0 444038 0 [pid=8642/tid=8644] ppid=8640 vsize=1785704 CPUtime=1.23 /proc/8642/task/8644/stat : 8644 (java) R 8640 8642 7764 0 -1 64 17591 0 1 0 116 7 0 0 20 0 13 0 122846234 1828560896 19257 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109503844 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8645] ppid=8640 vsize=1785704 CPUtime=0 /proc/8642/task/8645/stat : 8645 (java) S 8640 8642 7764 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 122846237 1828560896 19258 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8646] ppid=8640 vsize=1785704 CPUtime=0 /proc/8642/task/8646/stat : 8646 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 122846237 1828560896 19259 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8647] ppid=8640 vsize=1785704 CPUtime=0 /proc/8642/task/8647/stat : 8647 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 122846239 1828560896 19260 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8648] ppid=8640 vsize=1785704 CPUtime=0 /proc/8642/task/8648/stat : 8648 (java) S 8640 8642 7764 0 -1 64 9 0 0 0 0 0 0 0 23 0 13 0 122846240 1828560896 19260 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8649] ppid=8640 vsize=1785704 CPUtime=0 /proc/8642/task/8649/stat : 8649 (java) S 8640 8642 7764 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 122846240 1828560896 19260 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8650] ppid=8640 vsize=1785704 CPUtime=0 /proc/8642/task/8650/stat : 8650 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122846244 1828560896 19260 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8651] ppid=8640 vsize=1785704 CPUtime=0.35 /proc/8642/task/8651/stat : 8651 (java) S 8640 8642 7764 0 -1 64 984 0 0 0 35 0 0 0 16 0 13 0 122846244 1828560896 19260 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8652] ppid=8640 vsize=1785704 CPUtime=0.25 /proc/8642/task/8652/stat : 8652 (java) R 8640 8642 7764 0 -1 64 1153 0 0 0 25 0 0 0 16 0 13 0 122846245 1828560896 19261 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104916689 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8653] ppid=8640 vsize=1785704 CPUtime=0 /proc/8642/task/8653/stat : 8653 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122846245 1828560896 19262 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8654] ppid=8640 vsize=1785704 CPUtime=0 /proc/8642/task/8654/stat : 8654 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122846245 1828560896 19264 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.85 Current children cumulated vsize (KiB) 1785704 [startup+3.1015 s] /proc/loadavg: 1.07 1.02 1.00 5/91 8679 /proc/meminfo: memFree=1664720/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1792388 CPUtime=4.19 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 46625 0 1 0 397 22 0 0 18 0 13 0 122846230 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 448097 42180 1322 9 0 445709 0 [pid=8642/tid=8644] ppid=8640 vsize=1792388 CPUtime=2.77 /proc/8642/task/8644/stat : 8644 (java) R 8640 8642 7764 0 -1 64 37712 0 1 0 260 17 0 0 20 0 13 0 122846234 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8645] ppid=8640 vsize=1792388 CPUtime=0.01 /proc/8642/task/8645/stat : 8645 (java) S 8640 8642 7764 0 -1 64 501 0 0 0 1 0 0 0 16 0 13 0 122846237 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8646] ppid=8640 vsize=1792388 CPUtime=0 /proc/8642/task/8646/stat : 8646 (java) S 8640 8642 7764 0 -1 64 532 0 0 0 0 0 0 0 17 0 13 0 122846237 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8647] ppid=8640 vsize=1792388 CPUtime=0 /proc/8642/task/8647/stat : 8647 (java) S 8640 8642 7764 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 122846239 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8648] ppid=8640 vsize=1792388 CPUtime=0 /proc/8642/task/8648/stat : 8648 (java) S 8640 8642 7764 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122846240 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8649] ppid=8640 vsize=1792388 CPUtime=0 /proc/8642/task/8649/stat : 8649 (java) S 8640 8642 7764 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 122846240 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8650] ppid=8640 vsize=1792388 CPUtime=0 /proc/8642/task/8650/stat : 8650 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122846244 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8651] ppid=8640 vsize=1792388 CPUtime=0.38 /proc/8642/task/8651/stat : 8651 (java) R 8640 8642 7764 0 -1 64 1078 0 0 0 38 0 0 0 16 0 13 0 122846244 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 105860216 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8652] ppid=8640 vsize=1792388 CPUtime=0.98 /proc/8642/task/8652/stat : 8652 (java) S 8640 8642 7764 0 -1 64 6056 0 0 0 96 2 0 0 16 0 13 0 122846245 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8653] ppid=8640 vsize=1792388 CPUtime=0 /proc/8642/task/8653/stat : 8653 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122846245 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8654] ppid=8640 vsize=1792388 CPUtime=0 /proc/8642/task/8654/stat : 8654 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122846245 1835405312 42180 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.19 Current children cumulated vsize (KiB) 1792388 [startup+6.3027 s] /proc/loadavg: 1.07 1.02 1.00 2/90 8694 /proc/meminfo: memFree=1612360/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1791680 CPUtime=7.59 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 49080 0 1 0 736 23 0 0 18 0 13 0 122846230 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 447920 44388 1325 9 0 445532 0 [pid=8642/tid=8644] ppid=8640 vsize=1791680 CPUtime=5.89 /proc/8642/task/8644/stat : 8644 (java) R 8640 8642 7764 0 -1 64 37722 0 1 0 571 18 0 0 17 0 13 0 122846234 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109506618 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8645] ppid=8640 vsize=1791680 CPUtime=0.04 /proc/8642/task/8645/stat : 8645 (java) S 8640 8642 7764 0 -1 64 1772 0 0 0 4 0 0 0 17 0 13 0 122846237 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8646] ppid=8640 vsize=1791680 CPUtime=0.03 /proc/8642/task/8646/stat : 8646 (java) S 8640 8642 7764 0 -1 64 1651 0 0 0 3 0 0 0 16 0 13 0 122846237 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8647] ppid=8640 vsize=1791680 CPUtime=0 /proc/8642/task/8647/stat : 8647 (java) S 8640 8642 7764 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 122846239 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8648] ppid=8640 vsize=1791680 CPUtime=0 /proc/8642/task/8648/stat : 8648 (java) S 8640 8642 7764 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122846240 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8649] ppid=8640 vsize=1791680 CPUtime=0 /proc/8642/task/8649/stat : 8649 (java) S 8640 8642 7764 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 122846240 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8650] ppid=8640 vsize=1791680 CPUtime=0 /proc/8642/task/8650/stat : 8650 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122846244 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8651] ppid=8640 vsize=1791680 CPUtime=0.46 /proc/8642/task/8651/stat : 8651 (java) S 8640 8642 7764 0 -1 64 1106 0 0 0 46 0 0 0 16 0 13 0 122846244 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8652] ppid=8640 vsize=1791680 CPUtime=1.11 /proc/8642/task/8652/stat : 8652 (java) R 8640 8642 7764 0 -1 64 6070 0 0 0 109 2 0 0 17 0 13 0 122846245 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 101901680 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8653] ppid=8640 vsize=1791680 CPUtime=0 /proc/8642/task/8653/stat : 8653 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122846245 1834680320 44388 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8654] ppid=8640 vsize=1791680 CPUtime=0 /proc/8642/task/8654/stat : 8654 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122846245 1834680320 44388 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) 1791680 [startup+12.7011 s] /proc/loadavg: 1.06 1.02 1.00 2/90 8720 /proc/meminfo: memFree=1607768/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1791648 CPUtime=14.14 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 53475 0 1 0 1388 26 0 0 18 0 13 0 122846230 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 447912 47096 1331 9 0 445524 0 [pid=8642/tid=8644] ppid=8640 vsize=1791648 CPUtime=12.17 /proc/8642/task/8644/stat : 8644 (java) R 8640 8642 7764 0 -1 64 37743 0 1 0 1199 18 0 0 17 0 13 0 122846234 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109506753 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8645] ppid=8640 vsize=1791648 CPUtime=0.12 /proc/8642/task/8645/stat : 8645 (java) S 8640 8642 7764 0 -1 64 3808 0 0 0 11 1 0 0 16 0 13 0 122846237 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8646] ppid=8640 vsize=1791648 CPUtime=0.11 /proc/8642/task/8646/stat : 8646 (java) S 8640 8642 7764 0 -1 64 3907 0 0 0 10 1 0 0 17 0 13 0 122846237 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8647] ppid=8640 vsize=1791648 CPUtime=0 /proc/8642/task/8647/stat : 8647 (java) S 8640 8642 7764 0 -1 64 38 0 0 0 0 0 0 0 16 0 13 0 122846239 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8648] ppid=8640 vsize=1791648 CPUtime=0 /proc/8642/task/8648/stat : 8648 (java) S 8640 8642 7764 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122846240 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8649] ppid=8640 vsize=1791648 CPUtime=0 /proc/8642/task/8649/stat : 8649 (java) S 8640 8642 7764 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 122846240 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8650] ppid=8640 vsize=1791648 CPUtime=0 /proc/8642/task/8650/stat : 8650 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122846244 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8651] ppid=8640 vsize=1791648 CPUtime=0.49 /proc/8642/task/8651/stat : 8651 (java) S 8640 8642 7764 0 -1 64 1114 0 0 0 49 0 0 0 15 0 13 0 122846244 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8652] ppid=8640 vsize=1791648 CPUtime=1.17 /proc/8642/task/8652/stat : 8652 (java) S 8640 8642 7764 0 -1 64 6077 0 0 0 115 2 0 0 15 0 13 0 122846245 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8653] ppid=8640 vsize=1791648 CPUtime=0 /proc/8642/task/8653/stat : 8653 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122846245 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8654] ppid=8640 vsize=1791648 CPUtime=0 /proc/8642/task/8654/stat : 8654 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122846245 1834647552 47096 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.14 Current children cumulated vsize (KiB) 1791648 [startup+25.5029 s] /proc/loadavg: 1.20 1.05 1.01 2/90 8759 /proc/meminfo: memFree=1570496/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1791244 CPUtime=27.27 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 62113 0 1 0 2696 31 0 0 18 0 13 0 122846230 1834233856 54858 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 447811 54858 1331 9 0 445423 0 [pid=8642/tid=8644] ppid=8640 vsize=1791244 CPUtime=24.78 /proc/8642/task/8644/stat : 8644 (java) R 8640 8642 7764 0 -1 64 38257 0 1 0 2459 19 0 0 25 0 13 0 122846234 1834233856 54858 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109547032 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8645] ppid=8640 vsize=1791244 CPUtime=0.24 /proc/8642/task/8645/stat : 8645 (java) S 8640 8642 7764 0 -1 64 7735 0 0 0 21 3 0 0 16 0 13 0 122846237 1834233856 54858 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8646] ppid=8640 vsize=1791244 CPUtime=0.25 /proc/8642/task/8646/stat : 8646 (java) S 8640 8642 7764 0 -1 64 8034 0 0 0 22 3 0 0 16 0 13 0 122846237 1834233856 54858 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8647] ppid=8640 vsize=1791244 CPUtime=0.01 /proc/8642/task/8647/stat : 8647 (java) S 8640 8642 7764 0 -1 64 41 0 0 0 1 0 0 0 16 0 13 0 122846239 1834233856 54858 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8648] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8648/stat : 8648 (java) S 8640 8642 7764 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 54858 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8649] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8649/stat : 8649 (java) S 8640 8642 7764 0 -1 64 44 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 54858 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8650] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8650/stat : 8650 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122846244 1834233856 54858 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=8642/tid=8647] ppid=8640 vsize=1791244 CPUtime=0.22 /proc/8642/task/8647/stat : 8647 (java) S 8640 8642 7764 0 -1 64 183 0 0 0 12 10 0 0 16 0 13 0 122846239 1834233856 93920 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8648] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8648/stat : 8648 (java) S 8640 8642 7764 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 93920 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8649] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8649/stat : 8649 (java) S 8640 8642 7764 0 -1 64 44 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 93920 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8650] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8650/stat : 8650 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122846244 1834233856 93920 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8651] ppid=8640 vsize=1791244 CPUtime=0.57 /proc/8642/task/8651/stat : 8651 (java) S 8640 8642 7764 0 -1 64 1116 0 0 0 57 0 0 0 16 0 13 0 122846244 1834233856 93920 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8652] ppid=8640 vsize=1791244 CPUtime=1.37 /proc/8642/task/8652/stat : 8652 (java) S 8640 8642 7764 0 -1 64 6106 0 0 0 135 2 0 0 17 0 13 0 122846245 1834233856 93920 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8653] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8653/stat : 8653 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122846245 1834233856 93920 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8654] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8654/stat : 8654 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122846245 1834233856 93920 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=9141] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/9141/stat : 9141 (java) S 8640 8642 7764 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 122983967 1834233856 93920 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1614.26 Current children cumulated vsize (KiB) 1791244 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 9141 /proc/meminfo: memFree=1404464/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1791244 CPUtime=1674.74 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 183875 0 1 0 167334 140 0 0 18 0 13 0 122846230 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 447811 94641 1331 9 0 445423 0 [pid=8642/tid=8644] ppid=8640 vsize=1791244 CPUtime=1648.8 /proc/8642/task/8644/stat : 8644 (java) R 8640 8642 7764 0 -1 64 80478 0 1 0 164829 51 0 0 25 0 13 0 122846234 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109547080 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8645] ppid=8640 vsize=1791244 CPUtime=11.81 /proc/8642/task/8645/stat : 8645 (java) S 8640 8642 7764 0 -1 64 48550 0 0 0 1146 35 0 0 16 0 13 0 122846237 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8646] ppid=8640 vsize=1791244 CPUtime=11.85 /proc/8642/task/8646/stat : 8646 (java) S 8640 8642 7764 0 -1 64 46616 0 0 0 1149 36 0 0 16 0 13 0 122846237 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8647] ppid=8640 vsize=1791244 CPUtime=0.23 /proc/8642/task/8647/stat : 8647 (java) S 8640 8642 7764 0 -1 64 184 0 0 0 12 11 0 0 16 0 13 0 122846239 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8648] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8648/stat : 8648 (java) S 8640 8642 7764 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8649] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8649/stat : 8649 (java) S 8640 8642 7764 0 -1 64 44 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8650] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8650/stat : 8650 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122846244 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8651] ppid=8640 vsize=1791244 CPUtime=0.57 /proc/8642/task/8651/stat : 8651 (java) S 8640 8642 7764 0 -1 64 1116 0 0 0 57 0 0 0 16 0 13 0 122846244 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8652] ppid=8640 vsize=1791244 CPUtime=1.37 /proc/8642/task/8652/stat : 8652 (java) S 8640 8642 7764 0 -1 64 6106 0 0 0 135 2 0 0 17 0 13 0 122846245 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8653] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8653/stat : 8653 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122846245 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8654] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8654/stat : 8654 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122846245 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=9141] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/9141/stat : 9141 (java) S 8640 8642 7764 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 122983967 1834233856 94641 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1674.74 Current children cumulated vsize (KiB) 1791244 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 9142 /proc/meminfo: memFree=1402408/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1791244 CPUtime=1735.11 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 185271 0 1 0 173369 142 0 0 18 0 13 0 122846230 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 447811 95128 1331 9 0 445423 0 [pid=8642/tid=8644] ppid=8640 vsize=1791244 CPUtime=1708.35 /proc/8642/task/8644/stat : 8644 (java) R 8640 8642 7764 0 -1 64 80491 0 1 0 170784 51 0 0 25 0 13 0 122846234 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109520320 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8645] ppid=8640 vsize=1791244 CPUtime=12.21 /proc/8642/task/8645/stat : 8645 (java) S 8640 8642 7764 0 -1 64 49348 0 0 0 1185 36 0 0 16 0 13 0 122846237 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8646] ppid=8640 vsize=1791244 CPUtime=12.27 /proc/8642/task/8646/stat : 8646 (java) S 8640 8642 7764 0 -1 64 47201 0 0 0 1190 37 0 0 16 0 13 0 122846237 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8647] ppid=8640 vsize=1791244 CPUtime=0.23 /proc/8642/task/8647/stat : 8647 (java) S 8640 8642 7764 0 -1 64 184 0 0 0 12 11 0 0 16 0 13 0 122846239 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8648] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8648/stat : 8648 (java) S 8640 8642 7764 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8649] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8649/stat : 8649 (java) S 8640 8642 7764 0 -1 64 44 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8650] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8650/stat : 8650 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122846244 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8651] ppid=8640 vsize=1791244 CPUtime=0.57 /proc/8642/task/8651/stat : 8651 (java) S 8640 8642 7764 0 -1 64 1116 0 0 0 57 0 0 0 16 0 13 0 122846244 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8652] ppid=8640 vsize=1791244 CPUtime=1.37 /proc/8642/task/8652/stat : 8652 (java) S 8640 8642 7764 0 -1 64 6106 0 0 0 135 2 0 0 17 0 13 0 122846245 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8653] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8653/stat : 8653 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122846245 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8654] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8654/stat : 8654 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122846245 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=9142] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/9142/stat : 9142 (java) S 8640 8642 7764 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 123015848 1834233856 95128 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.11 Current children cumulated vsize (KiB) 1791244 [startup+1782.3 s] /proc/loadavg: 1.10 1.03 1.01 2/90 9142 /proc/meminfo: memFree=1376744/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1791244 CPUtime=1795.53 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 192620 0 1 0 179407 146 0 0 18 0 13 0 122846230 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 447811 101538 1331 9 0 445423 0 [pid=8642/tid=8644] ppid=8640 vsize=1791244 CPUtime=1767.87 /proc/8642/task/8644/stat : 8644 (java) R 8640 8642 7764 0 -1 64 85753 0 1 0 176733 54 0 0 25 0 13 0 122846234 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109493894 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8645] ppid=8640 vsize=1791244 CPUtime=12.64 /proc/8642/task/8645/stat : 8645 (java) S 8640 8642 7764 0 -1 64 50441 0 0 0 1227 37 0 0 16 0 13 0 122846237 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8646] ppid=8640 vsize=1791244 CPUtime=12.72 /proc/8642/task/8646/stat : 8646 (java) S 8640 8642 7764 0 -1 64 48175 0 0 0 1235 37 0 0 16 0 13 0 122846237 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8647] ppid=8640 vsize=1791244 CPUtime=0.24 /proc/8642/task/8647/stat : 8647 (java) S 8640 8642 7764 0 -1 64 204 0 0 0 13 11 0 0 16 0 13 0 122846239 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8648] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8648/stat : 8648 (java) S 8640 8642 7764 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8649] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8649/stat : 8649 (java) S 8640 8642 7764 0 -1 64 44 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8650] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8650/stat : 8650 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122846244 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8651] ppid=8640 vsize=1791244 CPUtime=0.57 /proc/8642/task/8651/stat : 8651 (java) S 8640 8642 7764 0 -1 64 1116 0 0 0 57 0 0 0 16 0 13 0 122846244 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8652] ppid=8640 vsize=1791244 CPUtime=1.37 /proc/8642/task/8652/stat : 8652 (java) S 8640 8642 7764 0 -1 64 6106 0 0 0 135 2 0 0 17 0 13 0 122846245 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8653] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8653/stat : 8653 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122846245 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8654] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8654/stat : 8654 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122846245 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=9142] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/9142/stat : 9142 (java) S 8640 8642 7764 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 123015848 1834233856 101538 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (KiB) 1791244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.8 s] /proc/loadavg: 1.09 1.03 1.01 2/90 9142 /proc/meminfo: memFree=1376744/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=1791244 CPUtime=1800.06 /proc/8642/stat : 8642 (java) S 8640 8642 7764 0 -1 0 192723 0 1 0 179860 146 0 0 18 0 13 0 122846230 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 447811 101540 1331 9 0 445423 0 [pid=8642/tid=8644] ppid=8640 vsize=1791244 CPUtime=1772.34 /proc/8642/task/8644/stat : 8644 (java) R 8640 8642 7764 0 -1 64 85754 0 1 0 177180 54 0 0 25 0 13 0 122846234 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109547080 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8645] ppid=8640 vsize=1791244 CPUtime=12.68 /proc/8642/task/8645/stat : 8645 (java) S 8640 8642 7764 0 -1 64 50441 0 0 0 1231 37 0 0 17 0 13 0 122846237 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8646] ppid=8640 vsize=1791244 CPUtime=12.75 /proc/8642/task/8646/stat : 8646 (java) S 8640 8642 7764 0 -1 64 48277 0 0 0 1238 37 0 0 16 0 13 0 122846237 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8647] ppid=8640 vsize=1791244 CPUtime=0.24 /proc/8642/task/8647/stat : 8647 (java) S 8640 8642 7764 0 -1 64 204 0 0 0 13 11 0 0 16 0 13 0 122846239 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8648] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8648/stat : 8648 (java) S 8640 8642 7764 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8649] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8649/stat : 8649 (java) S 8640 8642 7764 0 -1 64 44 0 0 0 0 0 0 0 16 0 13 0 122846240 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8650] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8650/stat : 8650 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 122846244 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8651] ppid=8640 vsize=1791244 CPUtime=0.57 /proc/8642/task/8651/stat : 8651 (java) S 8640 8642 7764 0 -1 64 1116 0 0 0 57 0 0 0 16 0 13 0 122846244 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8652] ppid=8640 vsize=1791244 CPUtime=1.37 /proc/8642/task/8652/stat : 8652 (java) S 8640 8642 7764 0 -1 64 6106 0 0 0 135 2 0 0 17 0 13 0 122846245 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=8642/tid=8653] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8653/stat : 8653 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 122846245 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=8654] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/8654/stat : 8654 (java) S 8640 8642 7764 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 122846245 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=8642/tid=9142] ppid=8640 vsize=1791244 CPUtime=0 /proc/8642/task/9142/stat : 9142 (java) S 8640 8642 7764 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 123015848 1834233856 101540 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1791244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.91 s] /proc/loadavg: 1.09 1.03 1.01 2/90 9142 /proc/meminfo: memFree=1376744/2055920 swapFree=4155856/4192956 [pid=8642] ppid=8640 vsize=0 CPUtime=1800.17 /proc/8642/stat : 8642 (java) Z 8640 8642 7764 0 -1 1036 192732 0 1 0 179864 153 0 0 16 0 2 0 122846230 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/8642/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1786.92 CPU time (s): 1800.18 CPU user time (s): 1798.65 CPU system time (s): 1.53177 CPU usage (%): 100.742 Max. virtual memory (cumulated for all children) (KiB): 1793956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.65 system time used= 1.53177 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 192732 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= 45443 involuntary context switches= 30973 runsolver used 1.65275 second user time and 4.96324 second system time The end
Begin job on node29 on Mon Apr 16 18:48:25 UTC 2007 IDJOB= 355008 IDBENCH= 2932 IDSOLVER= 159 FILE ID= node29/355008-1176749305 PBS_JOBID= 4580694 Free space on /tmp= 66528 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_3.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355008-1176749305/sat4jPseudoResolution.jar /tmp/evaluation/355008-1176749305/instance-355008-1176749305.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-355008-1176749305 -o ROOT/results/node29/solver-355008-1176749305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/355008-1176749305/sat4jPseudoResolution.jar /tmp/evaluation/355008-1176749305/instance-355008-1176749305.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED= 712578524 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1782752 kB Buffers: 34976 kB Cached: 157104 kB SwapCached: 2536 kB Active: 41672 kB Inactive: 174032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1782752 kB SwapTotal: 4192956 kB SwapFree: 4155856 kB Dirty: 3616 kB Writeback: 0 kB Mapped: 31276 kB Slab: 42956 kB Committed_AS: 2001108 kB PageTables: 1872 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= 66528 MiB End job on node29 on Mon Apr 16 19:18:14 UTC 2007