Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 310 | 1800.16 | 1787.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 39 |
Best CPU time to get the best result obtained on this benchmark | 1802.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
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 | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6340 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.19/0.20 --- Begin Solver configuration --- 0.19/0.20 c Stops conflict analysis at the first Unique Implication Point 0.19/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.19/0.20 c Learn all clauses as in MiniSAT 0.19/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.19/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.19/0.20 c No reason simplification 0.19/0.20 c --- End Solver configuration --- 0.19/0.20 c solving /tmp/evaluation/354774-1176725366/instance-354774-1176725366.opb 0.19/0.20 c reading problem ... 0.31/0.36 c ... done. Wall clock time 0.158s. 0.31/0.36 c CPU time (experimental) 0.29s. 0.31/0.36 c #vars 198 0.31/0.36 c #constraints 16 0.66/0.58 c SATISFIABLE 0.66/0.58 c OPTIMIZING... 0.66/0.58 c Got one! Elapsed wall clock time (in seconds):0.373 0.66/0.58 o 3776 0.83/0.63 c Got one! Elapsed wall clock time (in seconds):0.431 0.83/0.63 o 3623 0.83/0.68 c Got one! Elapsed wall clock time (in seconds):0.476 0.83/0.68 o 3622 0.96/0.71 c Got one! Elapsed wall clock time (in seconds):0.512 0.96/0.71 o 3604 0.96/0.75 c Got one! Elapsed wall clock time (in seconds):0.547 0.96/0.75 o 3290 0.96/0.79 c Got one! Elapsed wall clock time (in seconds):0.583 0.96/0.79 o 3288 1.10/0.82 c Got one! Elapsed wall clock time (in seconds):0.616 1.10/0.82 o 3239 1.10/0.86 c Got one! Elapsed wall clock time (in seconds):0.657 1.10/0.86 o 3032 1.10/0.89 c Got one! Elapsed wall clock time (in seconds):0.69 1.10/0.89 o 2903 1.22/0.92 c Got one! Elapsed wall clock time (in seconds):0.719 1.22/0.92 o 2902 1.22/0.95 c Got one! Elapsed wall clock time (in seconds):0.751 1.22/0.95 o 2687 1.22/0.98 c Got one! Elapsed wall clock time (in seconds):0.781 1.22/0.98 o 2651 1.33/1.02 c Got one! Elapsed wall clock time (in seconds):0.821 1.33/1.02 o 2645 1.33/1.06 c Got one! Elapsed wall clock time (in seconds):0.855 1.33/1.06 o 2617 1.33/1.10 c Got one! Elapsed wall clock time (in seconds):0.893 1.33/1.10 o 2615 1.50/1.13 c Got one! Elapsed wall clock time (in seconds):0.926 1.50/1.13 o 2576 1.50/1.17 c Got one! Elapsed wall clock time (in seconds):0.963 1.50/1.17 o 2570 1.69/1.22 c Got one! Elapsed wall clock time (in seconds):1.015 1.69/1.22 o 2567 1.69/1.26 c Got one! Elapsed wall clock time (in seconds):1.062 1.69/1.27 o 2234 1.89/1.37 c Got one! Elapsed wall clock time (in seconds):1.166 1.89/1.37 o 2223 2.10/1.40 c Got one! Elapsed wall clock time (in seconds):1.198 2.10/1.40 o 2219 2.10/1.45 c Got one! Elapsed wall clock time (in seconds):1.242 2.10/1.45 o 2217 2.10/1.48 c Got one! Elapsed wall clock time (in seconds):1.276 2.10/1.48 o 2158 2.30/1.53 c Got one! Elapsed wall clock time (in seconds):1.324 2.30/1.53 o 2148 2.30/1.57 c Got one! Elapsed wall clock time (in seconds):1.369 2.30/1.57 o 2146 2.50/1.63 c Got one! Elapsed wall clock time (in seconds):1.424 2.50/1.63 o 2144 2.50/1.66 c Got one! Elapsed wall clock time (in seconds):1.461 2.50/1.66 o 2142 2.50/1.70 c Got one! Elapsed wall clock time (in seconds):1.494 2.50/1.70 o 2141 2.69/1.75 c Got one! Elapsed wall clock time (in seconds):1.543 2.69/1.75 o 2140 2.89/1.82 c Got one! Elapsed wall clock time (in seconds):1.62 2.89/1.82 o 2139 2.89/1.86 c Got one! Elapsed wall clock time (in seconds):1.657 2.89/1.86 o 2137 2.89/1.90 c Got one! Elapsed wall clock time (in seconds):1.693 2.89/1.90 o 2136 3.02/1.94 c Got one! Elapsed wall clock time (in seconds):1.739 3.02/1.94 o 2135 3.02/1.98 c Got one! Elapsed wall clock time (in seconds):1.775 3.02/1.98 o 2134 3.12/2.05 c Got one! Elapsed wall clock time (in seconds):1.852 3.12/2.06 o 1198 3.24/2.15 c Got one! Elapsed wall clock time (in seconds):1.947 3.24/2.15 o 1197 3.33/2.25 c Got one! Elapsed wall clock time (in seconds):2.05 3.33/2.25 o 1196 3.43/2.35 c Got one! Elapsed wall clock time (in seconds):2.148 3.43/2.35 o 1195 3.58/2.45 c Got one! Elapsed wall clock time (in seconds):2.246 3.58/2.45 o 1188 3.71/2.54 c Got one! Elapsed wall clock time (in seconds):2.34 3.71/2.55 o 1186 3.83/2.61 c Got one! Elapsed wall clock time (in seconds):2.403 3.83/2.61 o 1183 3.83/2.68 c Got one! Elapsed wall clock time (in seconds):2.475 3.83/2.68 o 1181 4.02/2.85 c Got one! Elapsed wall clock time (in seconds):2.647 4.02/2.85 o 1179 4.13/2.93 c Got one! Elapsed wall clock time (in seconds):2.728 4.13/2.93 o 1178 4.23/3.02 c Got one! Elapsed wall clock time (in seconds):2.813 4.23/3.02 o 1177 4.33/3.12 c Got one! Elapsed wall clock time (in seconds):2.914 4.33/3.12 o 1175 4.43/3.21 c Got one! Elapsed wall clock time (in seconds):3.011 4.43/3.21 o 1174 4.43/3.29 c Got one! Elapsed wall clock time (in seconds):3.09 4.43/3.29 o 1172 4.55/3.39 c Got one! Elapsed wall clock time (in seconds):3.185 4.55/3.39 o 1159 4.66/3.49 c Got one! Elapsed wall clock time (in seconds):3.287 4.66/3.49 o 1157 4.87/3.60 c Got one! Elapsed wall clock time (in seconds):3.402 4.87/3.60 o 1155 4.99/3.73 c Got one! Elapsed wall clock time (in seconds):3.531 4.99/3.73 o 1154 4.99/3.78 c Got one! Elapsed wall clock time (in seconds):3.58 4.99/3.78 o 1153 5.20/3.91 c Got one! Elapsed wall clock time (in seconds):3.703 5.20/3.91 o 1151 5.31/4.00 c Got one! Elapsed wall clock time (in seconds):3.799 5.31/4.00 o 1149 5.31/4.08 c Got one! Elapsed wall clock time (in seconds):3.881 5.31/4.08 o 1148 5.51/4.23 c Got one! Elapsed wall clock time (in seconds):4.023 5.51/4.23 o 1146 5.61/4.34 c Got one! Elapsed wall clock time (in seconds):4.136 5.61/4.34 o 1145 5.73/4.46 c Got one! Elapsed wall clock time (in seconds):4.254 5.73/4.46 o 973 5.83/4.55 c Got one! Elapsed wall clock time (in seconds):4.348 5.83/4.55 o 971 5.92/4.65 c Got one! Elapsed wall clock time (in seconds):4.444 5.92/4.65 o 969 6.03/4.73 c Got one! Elapsed wall clock time (in seconds):4.53 6.03/4.73 o 967 6.13/4.84 c Got one! Elapsed wall clock time (in seconds):4.633 6.13/4.84 o 966 6.23/4.95 c Got one! Elapsed wall clock time (in seconds):4.749 6.23/4.95 o 964 6.33/5.06 c Got one! Elapsed wall clock time (in seconds):4.857 6.33/5.06 o 963 6.43/5.15 c Got one! Elapsed wall clock time (in seconds):4.95 6.43/5.15 o 961 6.53/5.27 c Got one! Elapsed wall clock time (in seconds):5.069 6.53/5.27 o 960 6.63/5.38 c Got one! Elapsed wall clock time (in seconds):5.173 6.63/5.38 o 958 6.89/5.53 c Got one! Elapsed wall clock time (in seconds):5.331 6.89/5.53 o 956 6.98/5.65 c Got one! Elapsed wall clock time (in seconds):5.451 6.98/5.65 o 954 7.18/5.80 c Got one! Elapsed wall clock time (in seconds):5.6 7.18/5.80 o 952 7.28/5.91 c Got one! Elapsed wall clock time (in seconds):5.703 7.28/5.91 o 950 7.40/6.03 c Got one! Elapsed wall clock time (in seconds):5.827 7.40/6.03 o 949 7.50/6.15 c Got one! Elapsed wall clock time (in seconds):5.952 7.50/6.15 o 948 7.60/6.28 c Got one! Elapsed wall clock time (in seconds):6.073 7.60/6.28 o 946 7.69/6.39 c Got one! Elapsed wall clock time (in seconds):6.191 7.69/6.39 o 922 7.91/6.53 c Got one! Elapsed wall clock time (in seconds):6.324 7.91/6.53 o 918 8.08/6.66 c Got one! Elapsed wall clock time (in seconds):6.46 8.08/6.66 o 912 8.20/6.78 c Got one! Elapsed wall clock time (in seconds):6.573 8.20/6.78 o 911 8.30/6.84 c Got one! Elapsed wall clock time (in seconds):6.642 8.30/6.84 o 909 8.40/6.99 c Got one! Elapsed wall clock time (in seconds):6.787 8.40/6.99 o 908 8.60/7.10 c Got one! Elapsed wall clock time (in seconds):6.897 8.60/7.10 o 907 8.60/7.19 c Got one! Elapsed wall clock time (in seconds):6.985 8.60/7.19 o 844 8.70/7.29 c Got one! Elapsed wall clock time (in seconds):7.091 8.70/7.29 o 843 8.80/7.38 c Got one! Elapsed wall clock time (in seconds):7.18 8.80/7.38 o 842 9.02/7.54 c Got one! Elapsed wall clock time (in seconds):7.34 9.02/7.54 o 840 9.24/7.72 c Got one! Elapsed wall clock time (in seconds):7.513 9.24/7.72 o 838 9.34/7.83 c Got one! Elapsed wall clock time (in seconds):7.623 9.34/7.83 o 837 9.44/7.92 c Got one! Elapsed wall clock time (in seconds):7.722 9.44/7.92 o 561 9.74/8.29 c Got one! Elapsed wall clock time (in seconds):8.092 9.74/8.29 o 560 9.94/8.42 c Got one! Elapsed wall clock time (in seconds):8.219 9.94/8.42 o 557 10.04/8.52 c Got one! Elapsed wall clock time (in seconds):8.322 10.04/8.52 o 556 10.46/8.95 c Got one! Elapsed wall clock time (in seconds):8.745 10.46/8.95 o 555 10.76/9.23 c Got one! Elapsed wall clock time (in seconds):9.03 10.76/9.23 o 553 10.96/9.49 c Got one! Elapsed wall clock time (in seconds):9.286 10.96/9.49 o 551 11.26/9.77 c Got one! Elapsed wall clock time (in seconds):9.567 11.26/9.77 o 545 12.79/11.28 c Got one! Elapsed wall clock time (in seconds):11.075 12.79/11.28 o 542 13.12/11.57 c Got one! Elapsed wall clock time (in seconds):11.366 13.12/11.57 o 540 13.32/11.70 c Got one! Elapsed wall clock time (in seconds):11.496 13.32/11.70 o 538 13.72/12.20 c Got one! Elapsed wall clock time (in seconds):11.994 13.72/12.20 o 536 14.02/12.45 c Got one! Elapsed wall clock time (in seconds):12.25 14.02/12.45 o 535 14.84/13.26 c Got one! Elapsed wall clock time (in seconds):13.059 14.84/13.26 o 533 15.14/13.57 c Got one! Elapsed wall clock time (in seconds):13.365 15.14/13.57 o 531 15.64/14.09 c Got one! Elapsed wall clock time (in seconds):13.889 15.64/14.09 o 530 16.25/14.65 c Got one! Elapsed wall clock time (in seconds):14.449 16.25/14.65 o 529 16.45/14.82 c Got one! Elapsed wall clock time (in seconds):14.617 16.45/14.82 o 528 16.75/15.11 c Got one! Elapsed wall clock time (in seconds):14.91 16.75/15.11 o 526 17.15/15.51 c Got one! Elapsed wall clock time (in seconds):15.31 17.15/15.51 o 525 17.97/16.36 c Got one! Elapsed wall clock time (in seconds):16.154 17.97/16.36 o 523 18.37/16.73 c Got one! Elapsed wall clock time (in seconds):16.525 18.37/16.73 o 521 18.67/17.02 c Got one! Elapsed wall clock time (in seconds):16.816 18.67/17.02 o 519 20.57/18.95 c Got one! Elapsed wall clock time (in seconds):18.752 20.57/18.95 o 518 20.98/19.31 c Got one! Elapsed wall clock time (in seconds):19.104 20.98/19.31 o 516 22.49/20.90 c Got one! Elapsed wall clock time (in seconds):20.695 22.49/20.90 o 514 22.89/21.25 c Got one! Elapsed wall clock time (in seconds):21.043 22.89/21.25 o 513 23.39/21.72 c Got one! Elapsed wall clock time (in seconds):21.513 23.39/21.72 o 512 23.59/21.97 c Got one! Elapsed wall clock time (in seconds):21.772 23.59/21.97 o 510 23.79/22.18 c Got one! Elapsed wall clock time (in seconds):21.974 23.79/22.18 o 509 23.99/22.39 c Got one! Elapsed wall clock time (in seconds):22.189 23.99/22.39 o 508 24.61/22.91 c Got one! Elapsed wall clock time (in seconds):22.711 24.61/22.91 o 507 25.21/23.50 c Got one! Elapsed wall clock time (in seconds):23.295 25.21/23.50 o 506 25.81/24.19 c Got one! Elapsed wall clock time (in seconds):23.984 25.81/24.19 o 504 26.31/24.68 c Got one! Elapsed wall clock time (in seconds):24.481 26.31/24.68 o 503 26.71/25.10 c Got one! Elapsed wall clock time (in seconds):24.893 26.71/25.10 o 501 26.91/25.30 c Got one! Elapsed wall clock time (in seconds):25.094 26.91/25.30 o 500 27.11/25.48 c Got one! Elapsed wall clock time (in seconds):25.275 27.11/25.48 o 498 27.41/25.73 c Got one! Elapsed wall clock time (in seconds):25.524 27.41/25.73 o 494 28.51/26.80 c Got one! Elapsed wall clock time (in seconds):26.6 28.51/26.80 o 493 29.12/27.48 c Got one! Elapsed wall clock time (in seconds):27.282 29.12/27.48 o 492 32.33/30.61 c Got one! Elapsed wall clock time (in seconds):30.406 32.33/30.61 o 490 32.63/30.96 c Got one! Elapsed wall clock time (in seconds):30.756 32.63/30.96 o 488 35.84/34.14 c Got one! Elapsed wall clock time (in seconds):33.939 35.84/34.14 o 486 36.03/34.39 c Got one! Elapsed wall clock time (in seconds):34.183 36.03/34.39 o 485 36.33/34.67 c Got one! Elapsed wall clock time (in seconds):34.467 36.33/34.67 o 483 36.85/35.10 c Got one! Elapsed wall clock time (in seconds):34.902 36.85/35.10 o 481 37.25/35.58 c Got one! Elapsed wall clock time (in seconds):35.381 37.25/35.58 o 479 37.85/36.12 c Got one! Elapsed wall clock time (in seconds):35.92 37.85/36.12 o 478 38.45/36.78 c Got one! Elapsed wall clock time (in seconds):36.574 38.45/36.78 o 477 38.95/37.27 c Got one! Elapsed wall clock time (in seconds):37.065 38.95/37.27 o 475 39.35/37.68 c Got one! Elapsed wall clock time (in seconds):37.478 39.35/37.68 o 473 40.35/38.67 c Got one! Elapsed wall clock time (in seconds):38.469 40.35/38.67 o 471 40.95/39.29 c Got one! Elapsed wall clock time (in seconds):39.091 40.95/39.29 o 470 41.96/40.25 c Got one! Elapsed wall clock time (in seconds):40.043 41.96/40.25 o 469 42.27/40.54 c Got one! Elapsed wall clock time (in seconds):40.335 42.27/40.54 o 467 43.88/42.15 c Got one! Elapsed wall clock time (in seconds):41.944 43.88/42.15 o 466 44.28/42.54 c Got one! Elapsed wall clock time (in seconds):42.336 44.28/42.54 o 464 44.68/42.93 c Got one! Elapsed wall clock time (in seconds):42.728 44.68/42.93 o 462 45.27/43.50 c Got one! Elapsed wall clock time (in seconds):43.296 45.27/43.50 o 460 45.68/43.96 c Got one! Elapsed wall clock time (in seconds):43.754 45.68/43.96 o 458 46.58/44.89 c Got one! Elapsed wall clock time (in seconds):44.691 46.58/44.89 o 456 47.99/46.21 c Got one! Elapsed wall clock time (in seconds):46.008 47.99/46.21 o 455 48.69/46.91 c Got one! Elapsed wall clock time (in seconds):46.705 48.69/46.91 o 454 49.70/47.98 c Got one! Elapsed wall clock time (in seconds):47.775 49.70/47.98 o 453 50.11/48.34 c Got one! Elapsed wall clock time (in seconds):48.141 50.11/48.34 o 450 52.21/50.47 c Got one! Elapsed wall clock time (in seconds):50.27 52.21/50.47 o 449 52.51/50.74 c Got one! Elapsed wall clock time (in seconds):50.533 52.51/50.74 o 438 53.21/51.44 c Got one! Elapsed wall clock time (in seconds):51.239 53.21/51.44 o 436 53.71/51.92 c Got one! Elapsed wall clock time (in seconds):51.72 53.71/51.92 o 435 54.01/52.27 c Got one! Elapsed wall clock time (in seconds):52.065 54.01/52.27 o 434 55.01/53.23 c Got one! Elapsed wall clock time (in seconds):53.025 55.01/53.23 o 432 55.42/53.69 c Got one! Elapsed wall clock time (in seconds):53.483 55.42/53.69 o 431 57.63/55.88 c Got one! Elapsed wall clock time (in seconds):55.682 57.63/55.88 o 430 58.33/56.55 c Got one! Elapsed wall clock time (in seconds):56.345 58.33/56.55 o 429 60.55/58.78 c Got one! Elapsed wall clock time (in seconds):58.581 60.55/58.78 o 427 63.48/61.64 c Got one! Elapsed wall clock time (in seconds):61.436 63.48/61.64 o 425 63.97/62.14 c Got one! Elapsed wall clock time (in seconds):61.933 63.97/62.14 o 424 66.28/64.50 c Got one! Elapsed wall clock time (in seconds):64.293 66.28/64.50 o 423 69.09/67.22 c Got one! Elapsed wall clock time (in seconds):67.016 69.09/67.22 o 421 70.30/68.40 c Got one! Elapsed wall clock time (in seconds):68.198 70.30/68.40 o 420 70.70/68.81 c Got one! Elapsed wall clock time (in seconds):68.608 70.70/68.81 o 419 74.92/73.05 c Got one! Elapsed wall clock time (in seconds):72.85 74.92/73.05 o 418 79.54/77.64 c Got one! Elapsed wall clock time (in seconds):77.438 79.54/77.64 o 417 81.85/79.99 c Got one! Elapsed wall clock time (in seconds):79.786 81.85/79.99 o 415 83.36/81.50 c Got one! Elapsed wall clock time (in seconds):81.294 83.36/81.50 o 414 87.08/85.14 c Got one! Elapsed wall clock time (in seconds):84.936 87.08/85.14 o 412 90.31/88.33 c Got one! Elapsed wall clock time (in seconds):88.124 90.31/88.33 o 408 125.99/123.74 c Got one! Elapsed wall clock time (in seconds):123.536 125.99/123.74 o 406 149.87/147.49 c Got one! Elapsed wall clock time (in seconds):147.291 149.87/147.49 o 405 151.99/149.59 c Got one! Elapsed wall clock time (in seconds):149.391 151.99/149.59 o 404 153.79/151.31 c Got one! Elapsed wall clock time (in seconds):151.111 153.79/151.31 o 402 157.53/155.10 c Got one! Elapsed wall clock time (in seconds):154.895 157.53/155.10 o 400 161.45/158.93 c Got one! Elapsed wall clock time (in seconds):158.727 161.45/158.93 o 399 183.42/180.77 c Got one! Elapsed wall clock time (in seconds):180.566 183.42/180.77 o 397 203.89/201.02 c Got one! Elapsed wall clock time (in seconds):200.817 203.89/201.02 o 395 206.21/203.33 c Got one! Elapsed wall clock time (in seconds):203.127 206.21/203.33 o 394 207.71/204.80 c Got one! Elapsed wall clock time (in seconds):204.598 207.71/204.80 o 392 211.53/208.69 c Got one! Elapsed wall clock time (in seconds):208.492 211.53/208.69 o 391 230.28/227.23 c Got one! Elapsed wall clock time (in seconds):227.029 230.28/227.23 o 390 240.43/237.32 c Got one! Elapsed wall clock time (in seconds):237.115 240.43/237.32 o 389 252.10/248.98 c Got one! Elapsed wall clock time (in seconds):248.777 252.10/248.98 o 388 304.96/301.44 c Got one! Elapsed wall clock time (in seconds):301.233 304.96/301.44 o 387 354.00/350.15 c Got one! Elapsed wall clock time (in seconds):349.952 354.00/350.15 o 386 367.48/363.56 c Got one! Elapsed wall clock time (in seconds):363.362 367.48/363.56 o 384 379.47/375.43 c Got one! Elapsed wall clock time (in seconds):375.228 379.47/375.43 o 382 409.78/405.56 c Got one! Elapsed wall clock time (in seconds):405.356 409.78/405.56 o 381 421.47/417.19 c Got one! Elapsed wall clock time (in seconds):416.983 421.47/417.19 o 379 428.30/423.97 c Got one! Elapsed wall clock time (in seconds):423.772 428.30/423.98 o 377 437.89/433.44 c Got one! Elapsed wall clock time (in seconds):433.235 437.89/433.44 o 376 441.60/437.13 c Got one! Elapsed wall clock time (in seconds):436.929 441.60/437.13 o 375 446.42/441.98 c Got one! Elapsed wall clock time (in seconds):441.78 446.42/441.98 o 373 452.88/448.34 c Got one! Elapsed wall clock time (in seconds):448.136 452.88/448.34 o 371 456.18/451.60 c Got one! Elapsed wall clock time (in seconds):451.4 456.18/451.60 o 370 479.15/474.49 c Got one! Elapsed wall clock time (in seconds):474.291 479.15/474.49 o 368 504.50/499.68 c Got one! Elapsed wall clock time (in seconds):499.476 504.50/499.68 o 365 508.82/503.95 c Got one! Elapsed wall clock time (in seconds):503.743 508.82/503.95 o 363 512.95/508.06 c Got one! Elapsed wall clock time (in seconds):507.859 512.95/508.06 o 361 516.76/511.88 c Got one! Elapsed wall clock time (in seconds):511.68 516.76/511.88 o 360 524.11/519.19 c Got one! Elapsed wall clock time (in seconds):518.992 524.11/519.19 o 358 526.02/521.05 c Got one! Elapsed wall clock time (in seconds):520.851 526.02/521.05 o 357 531.16/526.11 c Got one! Elapsed wall clock time (in seconds):525.91 531.16/526.11 o 355 543.70/538.66 c Got one! Elapsed wall clock time (in seconds):538.456 543.70/538.66 o 353 548.83/543.73 c Got one! Elapsed wall clock time (in seconds):543.522 548.83/543.73 o 352 554.48/549.36 c Got one! Elapsed wall clock time (in seconds):549.156 554.48/549.36 o 351 559.90/554.73 c Got one! Elapsed wall clock time (in seconds):554.527 559.90/554.73 o 349 567.46/562.24 c Got one! Elapsed wall clock time (in seconds):562.033 567.46/562.24 o 347 586.93/581.52 c Got one! Elapsed wall clock time (in seconds):581.314 586.93/581.52 o 346 591.75/586.34 c Got one! Elapsed wall clock time (in seconds):586.134 591.75/586.34 o 345 598.20/592.70 c Got one! Elapsed wall clock time (in seconds):592.502 598.20/592.70 o 342 602.62/597.14 c Got one! Elapsed wall clock time (in seconds):596.938 602.62/597.14 o 340 603.92/598.43 c Got one! Elapsed wall clock time (in seconds):598.226 603.92/598.43 o 339 610.75/605.23 c Got one! Elapsed wall clock time (in seconds):605.031 610.75/605.23 o 337 615.77/610.29 c Got one! Elapsed wall clock time (in seconds):610.09 615.77/610.29 o 335 648.24/642.43 c Got one! Elapsed wall clock time (in seconds):642.226 648.24/642.43 o 333 693.10/687.00 c Got one! Elapsed wall clock time (in seconds):686.8 693.10/687.00 o 332 697.12/691.09 c Got one! Elapsed wall clock time (in seconds):690.884 697.12/691.09 o 330 758.96/752.45 c Got one! Elapsed wall clock time (in seconds):752.244 758.96/752.45 o 328 777.40/770.85 c Got one! Elapsed wall clock time (in seconds):770.646 777.40/770.85 o 326 1281.95/1272.08 c Got one! Elapsed wall clock time (in seconds):1271.873 1281.95/1272.08 o 324 1527.80/1516.23 c Got one! Elapsed wall clock time (in seconds):1516.023 1527.80/1516.23 o 322 1685.14/1672.62 c Got one! Elapsed wall clock time (in seconds):1672.421 1685.14/1672.62 o 321 1699.69/1687.17 c Got one! Elapsed wall clock time (in seconds):1686.964 1699.69/1687.17 o 320 1710.51/1697.90 c Got one! Elapsed wall clock time (in seconds):1697.696 1710.51/1697.90 o 319 1713.01/1700.41 c Got one! Elapsed wall clock time (in seconds):1700.21 1713.01/1700.41 o 317 1720.55/1707.98 c Got one! Elapsed wall clock time (in seconds):1707.777 1720.55/1707.98 o 314 1764.94/1752.04 c Got one! Elapsed wall clock time (in seconds):1751.833 1764.94/1752.04 o 312 1784.21/1771.28 c Got one! Elapsed wall clock time (in seconds):1771.075 1784.21/1771.28 o 310 1800.03/1786.91 c starts : 1117 1800.03/1786.91 c conflicts : 779526 1800.03/1786.91 c decisions : 1103092 1800.03/1786.91 c propagations : 15436691 1800.03/1786.91 c inspects : 3622619000 1800.03/1786.91 c learnt literals : 0 1800.03/1786.91 c learnt binary clauses : 0 1800.03/1786.91 c learnt ternary clauses : 0 1800.03/1786.91 c learnt clauses : 779526 1800.03/1786.91 c root simplifications : 0 1800.03/1786.91 c removed literals (reason simplification) : 0 1800.03/1786.91 c reason swapping (by a shorter reason) : 0 1800.03/1786.91 c Calls to reduceDB : 0 1800.03/1786.91 c speed (decisions/second) : 70561.76037868611 1800.03/1786.91 c non guided choices 7699 1800.03/1786.91 s SATISFIABLE 1800.03/1786.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 1800.03/1786.91 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1800.03/1786.91 v -x58 -x59 x60 x61 x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 1800.03/1786.91 v -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.03/1786.91 v -x109 -x110 -x111 -x112 -x113 x114 x115 x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 1800.03/1786.91 v x131 x132 x133 x134 x135 -x136 -x137 -x138 -x139 x140 x141 x142 -x143 -x144 -x145 -x146 x147 -x148 x149 -x150 x151 x152 x153 1800.03/1786.91 v -x154 -x155 -x156 -x157 x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 x172 x173 x174 x175 1800.03/1786.91 v x176 x177 -x178 -x179 x180 -x181 x182 x183 x184 -x185 x186 x187 -x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 -x198 1800.03/1786.91 c objective function=310 1800.03/1786.91 c Total wall clock time (ms): 1786.711
OK 310
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-354774-1176725366 -o ROOT/results/node19/solver-354774-1176725366 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354774-1176725366/sat4jPseudoResolution.jar /tmp/evaluation/354774-1176725366/instance-354774-1176725366.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 2/77 32625 /proc/meminfo: memFree=1728448/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=48 CPUtime=0 /proc/32625/stat : 32625 (java) R 32623 32625 31474 0 -1 0 16 0 0 0 0 0 0 0 19 0 1 0 120453980 49152 1 18446744073709551615 0 0 4294956984 18446744073709551615 255236566311 0 0 4096 0 0 0 0 17 1 0 0 /proc/32625/statm: 35 3 0 9 0 1 0 [startup+0.0924861 s] /proc/loadavg: 0.99 0.98 0.99 2/77 32625 /proc/meminfo: memFree=1728448/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1777844 CPUtime=0.07 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 3865 0 1 0 5 2 0 0 18 0 7 0 120453980 1820512256 3608 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 444461 3608 1092 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.101486 s] /proc/loadavg: 0.99 0.98 0.99 2/77 32625 /proc/meminfo: memFree=1728448/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1780108 CPUtime=0.08 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 3967 0 1 0 6 2 0 0 18 0 12 0 120453980 1822830592 3709 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 445027 3709 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.301504 s] /proc/loadavg: 0.99 0.98 0.99 2/77 32625 /proc/meminfo: memFree=1728448/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1781996 CPUtime=0.31 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 5105 0 1 0 28 3 0 0 18 0 12 0 120453980 1824763904 4844 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 445499 4844 1264 9 0 443111 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 1781996 [startup+0.701551 s] /proc/loadavg: 0.99 0.98 0.99 2/77 32625 /proc/meminfo: memFree=1728448/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1784920 CPUtime=0.96 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 7875 0 1 0 92 4 0 0 18 0 13 0 120453980 1827758080 6895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 446230 6895 1313 9 0 443842 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 1784920 [startup+1.50264 s] /proc/loadavg: 1.07 1.00 1.00 2/90 32650 /proc/meminfo: memFree=1690392/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1794688 CPUtime=2.3 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 21724 0 1 0 220 10 0 0 18 0 13 0 120453980 1837760512 18571 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 448672 18572 1317 9 0 446284 0 [pid=32625/tid=32627] ppid=32623 vsize=1794688 CPUtime=1.16 /proc/32625/task/32627/stat : 32627 (java) R 32623 32625 31474 0 -1 64 14876 0 1 0 110 6 0 0 19 0 13 0 120453981 1837760512 18573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109513303 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32628] ppid=32623 vsize=1794688 CPUtime=0 /proc/32625/task/32628/stat : 32628 (java) S 32623 32625 31474 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 120453983 1837760512 18573 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32629] ppid=32623 vsize=1794688 CPUtime=0 /proc/32625/task/32629/stat : 32629 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 120453983 1837760512 18574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32630] ppid=32623 vsize=1794688 CPUtime=0 /proc/32625/task/32630/stat : 32630 (java) S 32623 32625 31474 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 120453985 1837760512 18575 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32631] ppid=32623 vsize=1794688 CPUtime=0 /proc/32625/task/32631/stat : 32631 (java) S 32623 32625 31474 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 120453985 1837760512 18577 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32632] ppid=32623 vsize=1794688 CPUtime=0 /proc/32625/task/32632/stat : 32632 (java) S 32623 32625 31474 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 120453986 1837760512 18577 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32633] ppid=32623 vsize=1794688 CPUtime=0 /proc/32625/task/32633/stat : 32633 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 120453989 1837760512 18578 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32634] ppid=32623 vsize=1794688 CPUtime=0.37 /proc/32625/task/32634/stat : 32634 (java) S 32623 32625 31474 0 -1 64 1423 0 0 0 37 0 0 0 16 0 13 0 120453989 1837760512 18579 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32635] ppid=32623 vsize=1794688 CPUtime=0.73 /proc/32625/task/32635/stat : 32635 (java) R 32623 32625 31474 0 -1 64 4694 0 0 0 72 1 0 0 18 0 13 0 120453989 1837760512 18580 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103313591 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32636] ppid=32623 vsize=1794688 CPUtime=0 /proc/32625/task/32636/stat : 32636 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 120453989 1837760512 18581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32637] ppid=32623 vsize=1794688 CPUtime=0 /proc/32625/task/32637/stat : 32637 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 120453989 1837760512 18581 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.3 Current children cumulated vsize (KiB) 1794688 [startup+3.10281 s] /proc/loadavg: 1.07 1.00 1.00 2/90 32673 /proc/meminfo: memFree=1623824/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1793240 CPUtime=4.33 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 47118 0 1 0 412 21 0 0 18 0 13 0 120453980 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 448310 42321 1327 9 0 445922 0 [pid=32625/tid=32627] ppid=32623 vsize=1793240 CPUtime=2.69 /proc/32625/task/32627/stat : 32627 (java) R 32623 32625 31474 0 -1 64 37710 0 1 0 252 17 0 0 25 0 13 0 120453981 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109564834 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32628] ppid=32623 vsize=1793240 CPUtime=0 /proc/32625/task/32628/stat : 32628 (java) S 32623 32625 31474 0 -1 64 509 0 0 0 0 0 0 0 16 0 13 0 120453983 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32629] ppid=32623 vsize=1793240 CPUtime=0 /proc/32625/task/32629/stat : 32629 (java) S 32623 32625 31474 0 -1 64 571 0 0 0 0 0 0 0 16 0 13 0 120453983 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32630] ppid=32623 vsize=1793240 CPUtime=0 /proc/32625/task/32630/stat : 32630 (java) S 32623 32625 31474 0 -1 64 15 0 0 0 0 0 0 0 17 0 13 0 120453985 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32631] ppid=32623 vsize=1793240 CPUtime=0 /proc/32625/task/32631/stat : 32631 (java) S 32623 32625 31474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120453985 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32632] ppid=32623 vsize=1793240 CPUtime=0 /proc/32625/task/32632/stat : 32632 (java) S 32623 32625 31474 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 120453986 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32633] ppid=32623 vsize=1793240 CPUtime=0 /proc/32625/task/32633/stat : 32633 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 120453989 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32634] ppid=32623 vsize=1793240 CPUtime=0.48 /proc/32625/task/32634/stat : 32634 (java) S 32623 32625 31474 0 -1 64 1686 0 0 0 48 0 0 0 16 0 13 0 120453989 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32635] ppid=32623 vsize=1793240 CPUtime=1.11 /proc/32625/task/32635/stat : 32635 (java) S 32623 32625 31474 0 -1 64 5896 0 0 0 109 2 0 0 17 0 13 0 120453989 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32636] ppid=32623 vsize=1793240 CPUtime=0 /proc/32625/task/32636/stat : 32636 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 120453989 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32637] ppid=32623 vsize=1793240 CPUtime=0 /proc/32625/task/32637/stat : 32637 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 120453989 1836277760 42321 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.33 Current children cumulated vsize (KiB) 1793240 [startup+6.30115 s] /proc/loadavg: 1.23 1.03 1.01 4/90 32706 /proc/meminfo: memFree=1557752/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1792264 CPUtime=7.69 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 49920 0 1 0 746 23 0 0 18 0 13 0 120453980 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 448066 44744 1334 9 0 445678 0 [pid=32625/tid=32627] ppid=32623 vsize=1792264 CPUtime=5.74 /proc/32625/task/32627/stat : 32627 (java) R 32623 32625 31474 0 -1 64 37734 0 1 0 557 17 0 0 16 0 13 0 120453981 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109532419 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32628] ppid=32623 vsize=1792264 CPUtime=0.03 /proc/32625/task/32628/stat : 32628 (java) S 32623 32625 31474 0 -1 64 2026 0 0 0 3 0 0 0 16 0 13 0 120453983 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32629] ppid=32623 vsize=1792264 CPUtime=0.03 /proc/32625/task/32629/stat : 32629 (java) S 32623 32625 31474 0 -1 64 1751 0 0 0 3 0 0 0 16 0 13 0 120453983 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32630] ppid=32623 vsize=1792264 CPUtime=0 /proc/32625/task/32630/stat : 32630 (java) S 32623 32625 31474 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 120453985 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32631] ppid=32623 vsize=1792264 CPUtime=0 /proc/32625/task/32631/stat : 32631 (java) S 32623 32625 31474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120453985 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32632] ppid=32623 vsize=1792264 CPUtime=0 /proc/32625/task/32632/stat : 32632 (java) S 32623 32625 31474 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 120453986 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32633] ppid=32623 vsize=1792264 CPUtime=0 /proc/32625/task/32633/stat : 32633 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 120453989 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32634] ppid=32623 vsize=1792264 CPUtime=0.61 /proc/32625/task/32634/stat : 32634 (java) S 32623 32625 31474 0 -1 64 1712 0 0 0 61 0 0 0 15 0 13 0 120453989 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32635] ppid=32623 vsize=1792264 CPUtime=1.21 /proc/32625/task/32635/stat : 32635 (java) S 32623 32625 31474 0 -1 64 5907 0 0 0 119 2 0 0 15 0 13 0 120453989 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32636] ppid=32623 vsize=1792264 CPUtime=0 /proc/32625/task/32636/stat : 32636 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 120453989 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32637] ppid=32623 vsize=1792264 CPUtime=0 /proc/32625/task/32637/stat : 32637 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 120453989 1835278336 44744 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.69 Current children cumulated vsize (KiB) 1792264 [startup+12.701 s] /proc/loadavg: 1.21 1.03 1.01 2/90 32737 /proc/meminfo: memFree=1537296/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1791624 CPUtime=14.32 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 56004 0 1 0 1405 27 0 0 18 0 13 0 120453980 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 447906 48810 1334 9 0 445518 0 [pid=32625/tid=32627] ppid=32623 vsize=1791624 CPUtime=12.01 /proc/32625/task/32627/stat : 32627 (java) S 32623 32625 31474 0 -1 64 37751 0 1 0 1184 17 0 0 25 0 13 0 120453981 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32628] ppid=32623 vsize=1791624 CPUtime=0.13 /proc/32625/task/32628/stat : 32628 (java) R 32623 32625 31474 0 -1 64 4898 0 0 0 12 1 0 0 16 0 13 0 120453983 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102355541 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32629] ppid=32623 vsize=1791624 CPUtime=0.13 /proc/32625/task/32629/stat : 32629 (java) R 32623 32625 31474 0 -1 64 4865 0 0 0 11 2 0 0 16 0 13 0 120453983 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102355125 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32630] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32630/stat : 32630 (java) S 32623 32625 31474 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 120453985 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32631] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32631/stat : 32631 (java) S 32623 32625 31474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120453985 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32632] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32632/stat : 32632 (java) S 32623 32625 31474 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 120453986 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32633] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32633/stat : 32633 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 120453989 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32634] ppid=32623 vsize=1791624 CPUtime=0.71 /proc/32625/task/32634/stat : 32634 (java) S 32623 32625 31474 0 -1 64 1719 0 0 0 71 0 0 0 16 0 13 0 120453989 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32635] ppid=32623 vsize=1791624 CPUtime=1.25 /proc/32625/task/32635/stat : 32635 (java) S 32623 32625 31474 0 -1 64 5909 0 0 0 123 2 0 0 16 0 13 0 120453989 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32636] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32636/stat : 32636 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 120453989 1834622976 48810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32637] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32637/stat : 32637 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 120453989 1834622976 48811 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.32 Current children cumulated vsize (KiB) 1791624 [startup+25.5024 s] /proc/loadavg: 1.18 1.03 1.01 2/90 32762 /proc/meminfo: memFree=1515072/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1791624 CPUtime=27.21 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 62900 0 1 0 2690 31 0 0 18 0 13 0 120453980 1834622976 54283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 447906 54283 1334 9 0 445518 0 [pid=32625/tid=32627] ppid=32623 vsize=1791624 CPUtime=24.7 /proc/32625/task/32627/stat : 32627 (java) R 32623 32625 31474 0 -1 64 38363 0 1 0 2452 18 0 0 25 0 13 0 120453981 1834622976 54283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109544748 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32628] ppid=32623 vsize=1791624 CPUtime=0.23 /proc/32625/task/32628/stat : 32628 (java) S 32623 32625 31474 0 -1 64 8022 0 0 0 20 3 0 0 16 0 13 0 120453983 1834622976 54283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32629] ppid=32623 vsize=1791624 CPUtime=0.23 /proc/32625/task/32629/stat : 32629 (java) S 32623 32625 31474 0 -1 64 8014 0 0 0 19 4 0 0 17 0 13 0 120453983 1834622976 54283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32630] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32630/stat : 32630 (java) S 32623 32625 31474 0 -1 64 43 0 0 0 0 0 0 0 17 0 13 0 120453985 1834622976 54283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32631] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32631/stat : 32631 (java) S 32623 32625 31474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120453985 1834622976 54283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32632] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32632/stat : 32632 (java) S 32623 32625 31474 0 -1 64 45 0 0 0 0 0 0 0 16 0 13 0 120453986 1834622976 54283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32633] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32633/stat : 32633 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 120453989 1834622976 54283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=32625/tid=32630] ppid=32623 vsize=1791624 CPUtime=0.27 /proc/32625/task/32630/stat : 32630 (java) S 32623 32625 31474 0 -1 64 245 0 0 0 13 14 0 0 16 0 13 0 120453985 1834622976 127895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32631] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32631/stat : 32631 (java) S 32623 32625 31474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120453985 1834622976 127895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32632] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32632/stat : 32632 (java) S 32623 32625 31474 0 -1 64 45 0 0 0 0 0 0 0 16 0 13 0 120453986 1834622976 127895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32633] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32633/stat : 32633 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 120453989 1834622976 127895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32634] ppid=32623 vsize=1791624 CPUtime=0.72 /proc/32625/task/32634/stat : 32634 (java) S 32623 32625 31474 0 -1 64 1719 0 0 0 72 0 0 0 16 0 13 0 120453989 1834622976 127895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32635] ppid=32623 vsize=1791624 CPUtime=1.27 /proc/32625/task/32635/stat : 32635 (java) S 32623 32625 31474 0 -1 64 5909 0 0 0 125 2 0 0 16 0 13 0 120453989 1834622976 127895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32636] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32636/stat : 32636 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 120453989 1834622976 127895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32637] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32637/stat : 32637 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 120453989 1834622976 127895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=399] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/399/stat : 399 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 120605603 1834622976 127895 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1614.37 Current children cumulated vsize (KiB) 1791624 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 399 /proc/meminfo: memFree=1208712/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1791624 CPUtime=1674.79 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 220899 0 1 0 167344 135 0 0 18 0 13 0 120453980 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 447906 130243 1334 9 0 445518 0 [pid=32625/tid=32627] ppid=32623 vsize=1791624 CPUtime=1648.32 /proc/32625/task/32627/stat : 32627 (java) R 32623 32625 31474 0 -1 64 108790 0 1 0 164777 55 0 0 25 0 13 0 120453981 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109533830 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32628] ppid=32623 vsize=1791624 CPUtime=12.03 /proc/32625/task/32628/stat : 32628 (java) S 32623 32625 31474 0 -1 64 55190 0 0 0 1173 30 0 0 16 0 13 0 120453983 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32629] ppid=32623 vsize=1791624 CPUtime=12.1 /proc/32625/task/32629/stat : 32629 (java) S 32623 32625 31474 0 -1 64 48212 0 0 0 1180 30 0 0 17 0 13 0 120453983 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32630] ppid=32623 vsize=1791624 CPUtime=0.28 /proc/32625/task/32630/stat : 32630 (java) S 32623 32625 31474 0 -1 64 249 0 0 0 13 15 0 0 16 0 13 0 120453985 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32631] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32631/stat : 32631 (java) S 32623 32625 31474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120453985 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32632] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32632/stat : 32632 (java) S 32623 32625 31474 0 -1 64 45 0 0 0 0 0 0 0 16 0 13 0 120453986 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32633] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32633/stat : 32633 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 120453989 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32634] ppid=32623 vsize=1791624 CPUtime=0.72 /proc/32625/task/32634/stat : 32634 (java) S 32623 32625 31474 0 -1 64 1719 0 0 0 72 0 0 0 16 0 13 0 120453989 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32635] ppid=32623 vsize=1791624 CPUtime=1.27 /proc/32625/task/32635/stat : 32635 (java) S 32623 32625 31474 0 -1 64 5909 0 0 0 125 2 0 0 16 0 13 0 120453989 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32636] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32636/stat : 32636 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 120453989 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32637] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32637/stat : 32637 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 120453989 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=399] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/399/stat : 399 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 120605603 1834622976 130243 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1674.79 Current children cumulated vsize (KiB) 1791624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 406 /proc/meminfo: memFree=1202144/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1791624 CPUtime=1735.03 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 223373 0 1 0 173366 137 0 0 18 0 13 0 120453980 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 447906 131788 1334 9 0 445518 0 [pid=32625/tid=32627] ppid=32623 vsize=1791624 CPUtime=1708.03 /proc/32625/task/32627/stat : 32627 (java) R 32623 32625 31474 0 -1 64 108797 0 1 0 170748 55 0 0 25 0 13 0 120453981 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109510699 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32628] ppid=32623 vsize=1791624 CPUtime=12.28 /proc/32625/task/32628/stat : 32628 (java) S 32623 32625 31474 0 -1 64 56323 0 0 0 1198 30 0 0 17 0 13 0 120453983 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32629] ppid=32623 vsize=1791624 CPUtime=12.35 /proc/32625/task/32629/stat : 32629 (java) S 32623 32625 31474 0 -1 64 49546 0 0 0 1205 30 0 0 17 0 13 0 120453983 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32630] ppid=32623 vsize=1791624 CPUtime=0.28 /proc/32625/task/32630/stat : 32630 (java) S 32623 32625 31474 0 -1 64 249 0 0 0 13 15 0 0 16 0 13 0 120453985 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32631] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32631/stat : 32631 (java) S 32623 32625 31474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120453985 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32632] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32632/stat : 32632 (java) S 32623 32625 31474 0 -1 64 45 0 0 0 0 0 0 0 16 0 13 0 120453986 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32633] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32633/stat : 32633 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 120453989 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32634] ppid=32623 vsize=1791624 CPUtime=0.72 /proc/32625/task/32634/stat : 32634 (java) S 32623 32625 31474 0 -1 64 1719 0 0 0 72 0 0 0 16 0 13 0 120453989 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32635] ppid=32623 vsize=1791624 CPUtime=1.27 /proc/32625/task/32635/stat : 32635 (java) S 32623 32625 31474 0 -1 64 5909 0 0 0 125 2 0 0 16 0 13 0 120453989 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32636] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32636/stat : 32636 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 120453989 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32637] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32637/stat : 32637 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 120453989 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=406] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/406/stat : 406 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 120624778 1834622976 131788 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1735.03 Current children cumulated vsize (KiB) 1791624 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 408 /proc/meminfo: memFree=1199696/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1791624 CPUtime=1795.39 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 225894 0 1 0 179401 138 0 0 18 0 13 0 120453980 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 447906 132458 1334 9 0 445518 0 [pid=32625/tid=32627] ppid=32623 vsize=1791624 CPUtime=1767.63 /proc/32625/task/32627/stat : 32627 (java) R 32623 32625 31474 0 -1 64 108807 0 1 0 176708 55 0 0 25 0 13 0 120453981 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109534314 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32628] ppid=32623 vsize=1791624 CPUtime=12.66 /proc/32625/task/32628/stat : 32628 (java) S 32623 32625 31474 0 -1 64 58011 0 0 0 1235 31 0 0 16 0 13 0 120453983 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32629] ppid=32623 vsize=1791624 CPUtime=12.74 /proc/32625/task/32629/stat : 32629 (java) S 32623 32625 31474 0 -1 64 50369 0 0 0 1243 31 0 0 16 0 13 0 120453983 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32630] ppid=32623 vsize=1791624 CPUtime=0.28 /proc/32625/task/32630/stat : 32630 (java) S 32623 32625 31474 0 -1 64 249 0 0 0 13 15 0 0 16 0 13 0 120453985 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32631] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32631/stat : 32631 (java) S 32623 32625 31474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120453985 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32632] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32632/stat : 32632 (java) S 32623 32625 31474 0 -1 64 45 0 0 0 0 0 0 0 16 0 13 0 120453986 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32633] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32633/stat : 32633 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 120453989 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32634] ppid=32623 vsize=1791624 CPUtime=0.72 /proc/32625/task/32634/stat : 32634 (java) S 32623 32625 31474 0 -1 64 1719 0 0 0 72 0 0 0 16 0 13 0 120453989 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32635] ppid=32623 vsize=1791624 CPUtime=1.27 /proc/32625/task/32635/stat : 32635 (java) S 32623 32625 31474 0 -1 64 5909 0 0 0 125 2 0 0 16 0 13 0 120453989 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32636] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32636/stat : 32636 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 120453989 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32637] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32637/stat : 32637 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 120453989 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=408] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/408/stat : 408 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 120631108 1834622976 132458 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1795.39 Current children cumulated vsize (KiB) 1791624 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.9 s] /proc/loadavg: 1.00 1.00 1.00 2/90 408 /proc/meminfo: memFree=1200336/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=1791624 CPUtime=1800.03 /proc/32625/stat : 32625 (java) S 32623 32625 31474 0 -1 0 226086 0 1 0 179865 138 0 0 18 0 13 0 120453980 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32625/statm: 447906 132295 1334 9 0 445518 0 [pid=32625/tid=32627] ppid=32623 vsize=1791624 CPUtime=1772.19 /proc/32625/task/32627/stat : 32627 (java) R 32623 32625 31474 0 -1 64 108808 0 1 0 177164 55 0 0 25 0 13 0 120453981 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109533830 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32628] ppid=32623 vsize=1791624 CPUtime=12.7 /proc/32625/task/32628/stat : 32628 (java) S 32623 32625 31474 0 -1 64 58048 0 0 0 1239 31 0 0 16 0 13 0 120453983 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32629] ppid=32623 vsize=1791624 CPUtime=12.78 /proc/32625/task/32629/stat : 32629 (java) S 32623 32625 31474 0 -1 64 50523 0 0 0 1247 31 0 0 17 0 13 0 120453983 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32630] ppid=32623 vsize=1791624 CPUtime=0.28 /proc/32625/task/32630/stat : 32630 (java) S 32623 32625 31474 0 -1 64 249 0 0 0 13 15 0 0 16 0 13 0 120453985 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32631] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32631/stat : 32631 (java) S 32623 32625 31474 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 120453985 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32632] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32632/stat : 32632 (java) S 32623 32625 31474 0 -1 64 45 0 0 0 0 0 0 0 16 0 13 0 120453986 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32633] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32633/stat : 32633 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 120453989 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32634] ppid=32623 vsize=1791624 CPUtime=0.72 /proc/32625/task/32634/stat : 32634 (java) S 32623 32625 31474 0 -1 64 1719 0 0 0 72 0 0 0 16 0 13 0 120453989 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32625/tid=32635] ppid=32623 vsize=1791624 CPUtime=1.27 /proc/32625/task/32635/stat : 32635 (java) S 32623 32625 31474 0 -1 64 5909 0 0 0 125 2 0 0 16 0 13 0 120453989 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32636] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32636/stat : 32636 (java) S 32623 32625 31474 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 120453989 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=32637] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/32637/stat : 32637 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 120453989 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32625/tid=408] ppid=32623 vsize=1791624 CPUtime=0 /proc/32625/task/408/stat : 408 (java) S 32623 32625 31474 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 120631108 1834622976 132295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1791624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.01 s] /proc/loadavg: 1.00 1.00 1.00 2/90 408 /proc/meminfo: memFree=1200336/2055920 swapFree=4159444/4192956 [pid=32625] ppid=32623 vsize=0 CPUtime=1800.15 /proc/32625/stat : 32625 (java) Z 32623 32625 31474 0 -1 1036 226094 0 1 0 179869 146 0 0 16 0 2 0 120453980 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/32625/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1787.03 CPU time (s): 1800.16 CPU user time (s): 1798.69 CPU system time (s): 1.47178 CPU usage (%): 100.735 Max. virtual memory (cumulated for all children) (KiB): 1794804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.69 system time used= 1.47178 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 226094 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= 45488 involuntary context switches= 63244 runsolver used 1.90771 second user time and 5.2282 second system time The end
Begin job on node19 on Mon Apr 16 12:09:26 UTC 2007 IDJOB= 354774 IDBENCH= 2895 IDSOLVER= 159 FILE ID= node19/354774-1176725366 PBS_JOBID= 4559447 Free space on /tmp= 66504 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_8_70_2.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354774-1176725366/sat4jPseudoResolution.jar /tmp/evaluation/354774-1176725366/instance-354774-1176725366.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-354774-1176725366 -o ROOT/results/node19/solver-354774-1176725366 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354774-1176725366/sat4jPseudoResolution.jar /tmp/evaluation/354774-1176725366/instance-354774-1176725366.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED= 728137702 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1728792 kB Buffers: 32604 kB Cached: 219780 kB SwapCached: 2548 kB Active: 87628 kB Inactive: 188832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1728792 kB SwapTotal: 4192956 kB SwapFree: 4159444 kB Dirty: 3684 kB Writeback: 0 kB Mapped: 31708 kB Slab: 36028 kB Committed_AS: 2934996 kB PageTables: 1788 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= 66504 MiB End job on node19 on Mon Apr 16 12:39:15 UTC 2007