Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 218 | 1800.47 | 1796.89 |
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 | 15 |
Best CPU time to get the best result obtained on this benchmark | 1802.17 |
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-2008 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.1.1.v20090612 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1342000320 0.08/0.15 c Max memory 1344274432 0.08/0.15 c Total memory 1344274432 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c MiniSAT restarts strategy 0.22/0.22 c Memory based learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-1856667-1244919878.opb 0.22/0.22 c reading problem ... 0.33/0.37 c ... done. Wall clock time 0.148s. 0.33/0.37 c #vars 198 0.33/0.37 c #constraints 16 0.33/0.37 c constraints type 0.33/0.37 c org.sat4j.pb.constraints.pb.MaxWatchPb => 16 0.89/0.63 c SATISFIABLE 0.89/0.63 c OPTIMIZING... 0.89/0.63 c Got one! Elapsed wall clock time (in seconds):0.414 0.89/0.63 o 3757 1.06/0.70 c Got one! Elapsed wall clock time (in seconds):0.484 1.06/0.70 o 3756 1.06/0.74 c Got one! Elapsed wall clock time (in seconds):0.526 1.06/0.74 o 3754 1.06/0.79 c Got one! Elapsed wall clock time (in seconds):0.572 1.06/0.79 o 3536 1.19/0.85 c Got one! Elapsed wall clock time (in seconds):0.63 1.19/0.85 o 3263 1.19/0.89 c Got one! Elapsed wall clock time (in seconds):0.673 1.19/0.89 o 3010 1.32/0.93 c Got one! Elapsed wall clock time (in seconds):0.711 1.32/0.93 o 3008 1.32/0.96 c Got one! Elapsed wall clock time (in seconds):0.747 1.32/0.96 o 2840 1.32/1.00 c Got one! Elapsed wall clock time (in seconds):0.784 1.32/1.00 o 2807 1.47/1.04 c Got one! Elapsed wall clock time (in seconds):0.82 1.47/1.04 o 2801 1.47/1.08 c Got one! Elapsed wall clock time (in seconds):0.864 1.47/1.08 o 2768 1.67/1.12 c Got one! Elapsed wall clock time (in seconds):0.906 1.67/1.12 o 2764 1.67/1.16 c Got one! Elapsed wall clock time (in seconds):0.941 1.67/1.16 o 2763 1.67/1.20 c Got one! Elapsed wall clock time (in seconds):0.978 1.67/1.20 o 2311 1.86/1.29 c Got one! Elapsed wall clock time (in seconds):1.073 1.86/1.29 o 2310 2.06/1.33 c Got one! Elapsed wall clock time (in seconds):1.116 2.06/1.33 o 2308 2.06/1.36 c Got one! Elapsed wall clock time (in seconds):1.146 2.06/1.36 o 2307 2.06/1.40 c Got one! Elapsed wall clock time (in seconds):1.179 2.06/1.40 o 2304 2.26/1.45 c Got one! Elapsed wall clock time (in seconds):1.23 2.26/1.45 o 2025 2.64/1.60 c Got one! Elapsed wall clock time (in seconds):1.386 2.64/1.60 o 2023 2.64/1.69 c Got one! Elapsed wall clock time (in seconds):1.474 2.64/1.69 o 2021 2.81/1.73 c Got one! Elapsed wall clock time (in seconds):1.508 2.81/1.73 o 2019 2.81/1.75 c Got one! Elapsed wall clock time (in seconds):1.537 2.81/1.75 o 2017 2.93/1.80 c Got one! Elapsed wall clock time (in seconds):1.579 2.93/1.80 o 2016 2.93/1.83 c Got one! Elapsed wall clock time (in seconds):1.611 2.93/1.83 o 2015 2.93/1.88 c Got one! Elapsed wall clock time (in seconds):1.661 2.93/1.88 o 2013 3.08/1.91 c Got one! Elapsed wall clock time (in seconds):1.692 3.08/1.91 o 2012 3.08/1.95 c Got one! Elapsed wall clock time (in seconds):1.731 3.08/1.95 o 2010 3.08/1.98 c Got one! Elapsed wall clock time (in seconds):1.76 3.08/1.98 o 2009 3.18/2.01 c Got one! Elapsed wall clock time (in seconds):1.793 3.18/2.01 o 2008 3.18/2.04 c Got one! Elapsed wall clock time (in seconds):1.822 3.18/2.04 o 2007 3.18/2.07 c Got one! Elapsed wall clock time (in seconds):1.854 3.18/2.07 o 2003 3.27/2.12 c Got one! Elapsed wall clock time (in seconds):1.904 3.27/2.12 o 2001 3.27/2.15 c Got one! Elapsed wall clock time (in seconds):1.937 3.27/2.15 o 2000 3.27/2.19 c Got one! Elapsed wall clock time (in seconds):1.974 3.27/2.19 o 1994 3.38/2.22 c Got one! Elapsed wall clock time (in seconds):2.008 3.38/2.22 o 1991 3.38/2.26 c Got one! Elapsed wall clock time (in seconds):2.042 3.38/2.26 o 1989 3.48/2.32 c Got one! Elapsed wall clock time (in seconds):2.099 3.48/2.32 o 1221 3.48/2.38 c Got one! Elapsed wall clock time (in seconds):2.159 3.48/2.38 o 1220 3.65/2.45 c Got one! Elapsed wall clock time (in seconds):2.238 3.65/2.45 o 1218 3.65/2.49 c Got one! Elapsed wall clock time (in seconds):2.269 3.65/2.49 o 1217 3.75/2.54 c Got one! Elapsed wall clock time (in seconds):2.324 3.75/2.54 o 1216 3.85/2.61 c Got one! Elapsed wall clock time (in seconds):2.392 3.85/2.61 o 1215 3.85/2.68 c Got one! Elapsed wall clock time (in seconds):2.464 3.85/2.68 o 1212 3.95/2.74 c Got one! Elapsed wall clock time (in seconds):2.526 3.95/2.74 o 1209 4.05/2.81 c Got one! Elapsed wall clock time (in seconds):2.594 4.05/2.81 o 1208 4.05/2.85 c Got one! Elapsed wall clock time (in seconds):2.635 4.05/2.85 o 1207 4.05/2.89 c Got one! Elapsed wall clock time (in seconds):2.67 4.05/2.89 o 1206 4.15/2.96 c Got one! Elapsed wall clock time (in seconds):2.744 4.15/2.96 o 1205 4.25/3.04 c Got one! Elapsed wall clock time (in seconds):2.821 4.25/3.04 o 1202 4.35/3.11 c Got one! Elapsed wall clock time (in seconds):2.895 4.35/3.11 o 1200 4.35/3.19 c Got one! Elapsed wall clock time (in seconds):2.976 4.35/3.19 o 1199 4.48/3.27 c Got one! Elapsed wall clock time (in seconds):3.054 4.48/3.27 o 1197 4.58/3.35 c Got one! Elapsed wall clock time (in seconds):3.137 4.58/3.35 o 1174 4.68/3.43 c Got one! Elapsed wall clock time (in seconds):3.209 4.68/3.43 o 1173 4.68/3.48 c Got one! Elapsed wall clock time (in seconds):3.267 4.68/3.48 o 1171 4.78/3.54 c Got one! Elapsed wall clock time (in seconds):3.32 4.78/3.54 o 844 4.90/3.64 c Got one! Elapsed wall clock time (in seconds):3.422 4.90/3.64 o 843 4.90/3.70 c Got one! Elapsed wall clock time (in seconds):3.48 4.90/3.70 o 841 5.01/3.76 c Got one! Elapsed wall clock time (in seconds):3.542 5.01/3.76 o 839 5.11/3.83 c Got one! Elapsed wall clock time (in seconds):3.609 5.11/3.83 o 837 5.11/3.89 c Got one! Elapsed wall clock time (in seconds):3.674 5.11/3.89 o 835 5.21/3.97 c Got one! Elapsed wall clock time (in seconds):3.749 5.21/3.97 o 834 5.31/4.04 c Got one! Elapsed wall clock time (in seconds):3.819 5.31/4.04 o 833 5.41/4.10 c Got one! Elapsed wall clock time (in seconds):3.885 5.41/4.10 o 831 5.41/4.16 c Got one! Elapsed wall clock time (in seconds):3.946 5.41/4.16 o 830 5.61/4.32 c Got one! Elapsed wall clock time (in seconds):4.106 5.61/4.32 o 826 5.61/4.39 c Got one! Elapsed wall clock time (in seconds):4.175 5.61/4.39 o 825 5.72/4.48 c Got one! Elapsed wall clock time (in seconds):4.262 5.72/4.48 o 823 5.83/4.55 c Got one! Elapsed wall clock time (in seconds):4.334 5.83/4.55 o 821 6.03/4.71 c Got one! Elapsed wall clock time (in seconds):4.49 6.03/4.71 o 820 6.03/4.79 c Got one! Elapsed wall clock time (in seconds):4.57 6.03/4.79 o 818 6.14/4.86 c Got one! Elapsed wall clock time (in seconds):4.641 6.14/4.86 o 817 6.24/4.94 c Got one! Elapsed wall clock time (in seconds):4.727 6.24/4.94 o 813 6.37/5.02 c Got one! Elapsed wall clock time (in seconds):4.802 6.37/5.02 o 812 6.47/5.10 c Got one! Elapsed wall clock time (in seconds):4.883 6.47/5.10 o 806 6.47/5.18 c Got one! Elapsed wall clock time (in seconds):4.962 6.47/5.18 o 805 6.57/5.25 c Got one! Elapsed wall clock time (in seconds):5.035 6.57/5.25 o 803 6.67/5.34 c Got one! Elapsed wall clock time (in seconds):5.122 6.67/5.34 o 801 6.79/5.44 c Got one! Elapsed wall clock time (in seconds):5.221 6.79/5.44 o 800 6.90/5.54 c Got one! Elapsed wall clock time (in seconds):5.319 6.90/5.54 o 798 6.99/5.62 c Got one! Elapsed wall clock time (in seconds):5.401 6.99/5.62 o 797 7.09/5.71 c Got one! Elapsed wall clock time (in seconds):5.489 7.09/5.71 o 796 7.09/5.79 c Got one! Elapsed wall clock time (in seconds):5.575 7.09/5.79 o 795 7.19/5.88 c Got one! Elapsed wall clock time (in seconds):5.659 7.19/5.88 o 794 7.30/5.95 c Got one! Elapsed wall clock time (in seconds):5.729 7.30/5.95 o 793 7.40/6.02 c Got one! Elapsed wall clock time (in seconds):5.805 7.40/6.02 o 792 7.50/6.10 c Got one! Elapsed wall clock time (in seconds):5.885 7.50/6.10 o 771 7.50/6.19 c Got one! Elapsed wall clock time (in seconds):5.97 7.50/6.19 o 769 7.60/6.27 c Got one! Elapsed wall clock time (in seconds):6.054 7.60/6.27 o 765 7.70/6.35 c Got one! Elapsed wall clock time (in seconds):6.13 7.70/6.35 o 683 7.80/6.42 c Got one! Elapsed wall clock time (in seconds):6.204 7.80/6.42 o 681 7.80/6.50 c Got one! Elapsed wall clock time (in seconds):6.281 7.80/6.50 o 672 8.00/6.60 c Got one! Elapsed wall clock time (in seconds):6.385 8.00/6.60 o 670 8.00/6.68 c Got one! Elapsed wall clock time (in seconds):6.464 8.00/6.68 o 668 8.10/6.77 c Got one! Elapsed wall clock time (in seconds):6.552 8.10/6.77 o 666 8.20/6.86 c Got one! Elapsed wall clock time (in seconds):6.647 8.20/6.86 o 665 8.30/6.97 c Got one! Elapsed wall clock time (in seconds):6.756 8.30/6.97 o 664 8.40/7.06 c Got one! Elapsed wall clock time (in seconds):6.84 8.40/7.06 o 662 8.70/7.32 c Got one! Elapsed wall clock time (in seconds):7.098 8.70/7.32 o 661 8.80/7.46 c Got one! Elapsed wall clock time (in seconds):7.241 8.80/7.46 o 660 8.90/7.59 c Got one! Elapsed wall clock time (in seconds):7.369 8.90/7.59 o 658 9.00/7.69 c Got one! Elapsed wall clock time (in seconds):7.472 9.00/7.69 o 656 9.10/7.78 c Got one! Elapsed wall clock time (in seconds):7.562 9.10/7.78 o 650 9.20/7.87 c Got one! Elapsed wall clock time (in seconds):7.657 9.20/7.87 o 649 9.30/7.98 c Got one! Elapsed wall clock time (in seconds):7.76 9.30/7.98 o 648 9.40/8.09 c Got one! Elapsed wall clock time (in seconds):7.869 9.40/8.09 o 646 9.50/8.18 c Got one! Elapsed wall clock time (in seconds):7.964 9.50/8.18 o 644 9.60/8.27 c Got one! Elapsed wall clock time (in seconds):8.053 9.60/8.27 o 642 9.93/8.50 c Got one! Elapsed wall clock time (in seconds):8.285 9.93/8.50 o 640 9.93/8.58 c Got one! Elapsed wall clock time (in seconds):8.365 9.93/8.58 o 637 10.03/8.70 c Got one! Elapsed wall clock time (in seconds):8.484 10.03/8.70 o 635 10.24/8.81 c Got one! Elapsed wall clock time (in seconds):8.593 10.24/8.81 o 634 10.63/9.23 c Got one! Elapsed wall clock time (in seconds):9.017 10.63/9.23 o 632 10.73/9.37 c Got one! Elapsed wall clock time (in seconds):9.151 10.73/9.37 o 630 10.83/9.49 c Got one! Elapsed wall clock time (in seconds):9.278 10.83/9.49 o 629 11.03/9.61 c Got one! Elapsed wall clock time (in seconds):9.393 11.03/9.61 o 628 11.13/9.73 c Got one! Elapsed wall clock time (in seconds):9.515 11.13/9.73 o 627 11.24/9.88 c Got one! Elapsed wall clock time (in seconds):9.659 11.24/9.88 o 625 11.34/9.99 c Got one! Elapsed wall clock time (in seconds):9.775 11.34/9.99 o 624 11.53/10.12 c Got one! Elapsed wall clock time (in seconds):9.901 11.53/10.12 o 622 11.63/10.26 c Got one! Elapsed wall clock time (in seconds):10.046 11.63/10.26 o 620 11.83/10.47 c Got one! Elapsed wall clock time (in seconds):10.249 11.83/10.47 o 618 11.93/10.59 c Got one! Elapsed wall clock time (in seconds):10.378 11.93/10.60 o 615 12.13/10.73 c Got one! Elapsed wall clock time (in seconds):10.515 12.13/10.73 o 614 12.23/10.86 c Got one! Elapsed wall clock time (in seconds):10.641 12.23/10.86 o 613 12.34/10.97 c Got one! Elapsed wall clock time (in seconds):10.753 12.34/10.97 o 612 12.73/11.32 c Got one! Elapsed wall clock time (in seconds):11.101 12.73/11.32 o 611 12.83/11.47 c Got one! Elapsed wall clock time (in seconds):11.255 12.83/11.47 o 610 12.93/11.59 c Got one! Elapsed wall clock time (in seconds):11.377 12.93/11.59 o 609 13.65/12.28 c Got one! Elapsed wall clock time (in seconds):12.066 13.65/12.28 o 606 13.85/12.40 c Got one! Elapsed wall clock time (in seconds):12.181 13.85/12.40 o 604 13.95/12.52 c Got one! Elapsed wall clock time (in seconds):12.304 13.95/12.52 o 603 14.96/13.52 c Got one! Elapsed wall clock time (in seconds):13.298 14.96/13.52 o 602 15.06/13.68 c Got one! Elapsed wall clock time (in seconds):13.462 15.06/13.68 o 601 15.67/14.23 c Got one! Elapsed wall clock time (in seconds):14.013 15.67/14.23 o 589 15.96/14.59 c Got one! Elapsed wall clock time (in seconds):14.375 15.96/14.59 o 587 16.16/14.76 c Got one! Elapsed wall clock time (in seconds):14.543 16.16/14.76 o 586 16.36/14.90 c Got one! Elapsed wall clock time (in seconds):14.686 16.36/14.90 o 584 16.60/15.11 c Got one! Elapsed wall clock time (in seconds):14.895 16.60/15.11 o 583 17.00/15.56 c Got one! Elapsed wall clock time (in seconds):15.345 17.00/15.56 o 581 17.50/16.06 c Got one! Elapsed wall clock time (in seconds):15.845 17.50/16.06 o 580 17.70/16.25 c Got one! Elapsed wall clock time (in seconds):16.036 17.70/16.25 o 579 17.90/16.42 c Got one! Elapsed wall clock time (in seconds):16.2 17.90/16.42 o 577 18.00/16.58 c Got one! Elapsed wall clock time (in seconds):16.368 18.00/16.58 o 573 18.19/16.73 c Got one! Elapsed wall clock time (in seconds):16.508 18.19/16.73 o 572 18.29/16.88 c Got one! Elapsed wall clock time (in seconds):16.665 18.29/16.88 o 570 18.49/17.02 c Got one! Elapsed wall clock time (in seconds):16.802 18.49/17.02 o 569 18.59/17.19 c Got one! Elapsed wall clock time (in seconds):16.968 18.59/17.19 o 568 18.79/17.32 c Got one! Elapsed wall clock time (in seconds):17.1 18.79/17.32 o 567 18.89/17.46 c Got one! Elapsed wall clock time (in seconds):17.244 18.89/17.46 o 565 19.29/17.88 c Got one! Elapsed wall clock time (in seconds):17.658 19.29/17.88 o 564 19.49/18.05 c Got one! Elapsed wall clock time (in seconds):17.835 19.49/18.05 o 549 19.69/18.29 c Got one! Elapsed wall clock time (in seconds):18.07 19.69/18.29 o 547 19.89/18.49 c Got one! Elapsed wall clock time (in seconds):18.275 19.89/18.49 o 545 20.39/18.94 c Got one! Elapsed wall clock time (in seconds):18.724 20.39/18.94 o 543 20.64/19.15 c Got one! Elapsed wall clock time (in seconds):18.931 20.64/19.15 o 540 20.84/19.31 c Got one! Elapsed wall clock time (in seconds):19.093 20.84/19.31 o 538 21.64/20.19 c Got one! Elapsed wall clock time (in seconds):19.977 21.64/20.19 o 536 21.94/20.48 c Got one! Elapsed wall clock time (in seconds):20.261 21.94/20.48 o 535 22.24/20.70 c Got one! Elapsed wall clock time (in seconds):20.483 22.24/20.70 o 297 22.63/21.12 c Got one! Elapsed wall clock time (in seconds):20.899 22.63/21.12 o 296 24.48/22.93 c Got one! Elapsed wall clock time (in seconds):22.71 24.48/22.93 o 294 25.58/24.07 c Got one! Elapsed wall clock time (in seconds):23.849 25.58/24.07 o 293 25.88/24.37 c Got one! Elapsed wall clock time (in seconds):24.152 25.88/24.37 o 292 27.42/25.81 c Got one! Elapsed wall clock time (in seconds):25.59 27.42/25.81 o 291 29.32/27.78 c Got one! Elapsed wall clock time (in seconds):27.561 29.32/27.78 o 290 30.95/29.37 c Got one! Elapsed wall clock time (in seconds):29.154 30.95/29.37 o 288 31.75/30.18 c Got one! Elapsed wall clock time (in seconds):29.965 31.75/30.18 o 287 37.59/35.98 c Got one! Elapsed wall clock time (in seconds):35.762 37.59/35.98 o 285 51.34/49.60 c Got one! Elapsed wall clock time (in seconds):49.382 51.34/49.60 o 284 51.74/50.10 c Got one! Elapsed wall clock time (in seconds):49.881 51.74/50.10 o 283 52.34/50.64 c Got one! Elapsed wall clock time (in seconds):50.42 52.34/50.64 o 282 55.15/53.49 c Got one! Elapsed wall clock time (in seconds):53.276 55.15/53.49 o 280 57.55/55.80 c Got one! Elapsed wall clock time (in seconds):55.586 57.55/55.80 o 278 67.97/66.20 c Got one! Elapsed wall clock time (in seconds):65.988 67.97/66.20 o 276 72.59/70.88 c Got one! Elapsed wall clock time (in seconds):70.661 72.59/70.88 o 274 73.19/71.48 c Got one! Elapsed wall clock time (in seconds):71.267 73.19/71.48 o 273 87.31/85.52 c Got one! Elapsed wall clock time (in seconds):85.306 87.31/85.52 o 271 92.72/90.93 c Got one! Elapsed wall clock time (in seconds):90.712 92.72/90.93 o 269 104.16/102.31 c Got one! Elapsed wall clock time (in seconds):102.095 104.16/102.31 o 267 108.16/106.38 c Got one! Elapsed wall clock time (in seconds):106.161 108.16/106.38 o 261 114.77/112.95 c Got one! Elapsed wall clock time (in seconds):112.735 114.77/112.95 o 260 116.36/114.58 c Got one! Elapsed wall clock time (in seconds):114.36 116.36/114.58 o 257 135.90/134.06 c Got one! Elapsed wall clock time (in seconds):133.846 135.90/134.06 o 256 147.62/145.76 c Got one! Elapsed wall clock time (in seconds):145.542 147.62/145.76 o 254 162.65/160.74 c Got one! Elapsed wall clock time (in seconds):160.527 162.65/160.74 o 252 181.17/179.27 c Got one! Elapsed wall clock time (in seconds):179.057 181.17/179.27 o 251 184.50/182.53 c Got one! Elapsed wall clock time (in seconds):182.308 184.50/182.53 o 249 187.59/185.65 c Got one! Elapsed wall clock time (in seconds):185.428 187.59/185.65 o 247 191.79/189.88 c Got one! Elapsed wall clock time (in seconds):189.665 191.79/189.88 o 245 199.91/197.96 c Got one! Elapsed wall clock time (in seconds):197.742 199.91/197.96 o 244 207.10/205.12 c Got one! Elapsed wall clock time (in seconds):204.9 207.10/205.12 o 243 212.20/210.26 c Got one! Elapsed wall clock time (in seconds):210.044 212.20/210.26 o 241 232.74/230.74 c Got one! Elapsed wall clock time (in seconds):230.527 232.74/230.74 o 239 235.15/233.14 c Got one! Elapsed wall clock time (in seconds):232.924 235.15/233.14 o 237 250.66/248.66 c Got one! Elapsed wall clock time (in seconds):248.444 250.66/248.66 o 235 256.26/254.27 c Got one! Elapsed wall clock time (in seconds):254.054 256.26/254.27 o 233 260.35/258.37 c Got one! Elapsed wall clock time (in seconds):258.156 260.35/258.37 o 231 267.67/265.60 c Got one! Elapsed wall clock time (in seconds):265.384 267.67/265.60 o 230 285.30/283.26 c Got one! Elapsed wall clock time (in seconds):283.046 285.30/283.26 o 229 289.29/287.23 c Got one! Elapsed wall clock time (in seconds):287.01 289.29/287.23 o 228 349.04/346.93 c Got one! Elapsed wall clock time (in seconds):346.712 349.04/346.93 o 226 395.70/393.54 c Got one! Elapsed wall clock time (in seconds):393.321 395.70/393.54 o 224 569.40/567.07 c Got one! Elapsed wall clock time (in seconds):566.852 569.40/567.07 o 222 670.70/668.20 c Got one! Elapsed wall clock time (in seconds):667.983 670.70/668.20 o 221 682.05/679.53 c Got one! Elapsed wall clock time (in seconds):679.313 682.05/679.53 o 219 734.96/732.42 c Got one! Elapsed wall clock time (in seconds):732.199 734.96/732.42 o 218 1800.02/1796.61 c starts : 903 1800.02/1796.61 c conflicts : 882279 1800.02/1796.61 c decisions : 1152696 1800.02/1796.61 c propagations : 17839481 1800.02/1796.61 c inspects : 4284150027 1800.02/1796.61 c learnt literals : 0 1800.02/1796.61 c learnt binary clauses : 0 1800.02/1796.61 c learnt ternary clauses : 0 1800.02/1796.61 c learnt clauses : 882279 1800.02/1796.61 c ignored clauses : 0 1800.02/1796.61 c root simplifications : 0 1800.02/1796.61 c removed literals (reason simplification) : 11429994 1800.02/1796.61 c reason swapping (by a shorter reason) : 0 1800.02/1796.61 c Calls to reduceDB : 0 1800.02/1796.61 c speed (assignments/second) : 16763.341527312637 1800.02/1796.61 c non guided choices 6824 1800.23/1796.76 c learnt constraints type 1800.23/1796.76 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 882293 1800.23/1796.76 c constraints type 1800.23/1796.76 c org.sat4j.pb.constraints.pb.MaxWatchPb => 17 1800.23/1796.76 s SATISFIABLE 1800.23/1796.76 v -x1 x2 -x3 x4 -x5 -x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 -x75 x76 -x77 x78 -x79 -x80 -x81 x82 x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 -x134 -x135 x136 x137 x138 x139 -x140 x141 x142 x143 x144 x145 -x146 -x147 x148 x149 x150 -x151 -x152 -x153 x154 x155 x156 x157 -x158 -x159 x160 -x161 -x162 x163 -x164 x165 x166 -x167 x168 x169 -x170 x171 x172 -x173 -x174 -x175 -x176 x177 x178 x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 -x190 x191 -x192 -x193 -x194 x195 -x196 x197 x198 1800.23/1796.76 c objective function=218 1800.23/1796.76 c Total wall clock time (in seconds): 1796.547
OK 218
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856667-1244919878/watcher-1856667-1244919878 -o /tmp/evaluation-result-1856667-1244919878/solver-1856667-1244919878 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856667-1244919878.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 0.99 3/64 18676 /proc/meminfo: memFree=1327632/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=18576 CPUtime=0 /proc/18676/stat : 18676 (runsolver) R 18674 18676 18424 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 159588598 19021824 284 1992294400 4194304 4302564 548682068448 18446744073709551615 268582841639 0 0 4096 24578 0 0 0 17 0 0 0 /proc/18676/statm: 4644 284 249 26 0 2626 0 [startup+0.0368901 s] /proc/loadavg: 0.99 1.00 0.99 3/64 18676 /proc/meminfo: memFree=1327632/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1468752 CPUtime=0.02 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 2899 0 1 0 1 1 0 0 18 0 4 0 159588598 1504002048 2646 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 367188 2646 915 9 0 364539 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1468752 [startup+0.102902 s] /proc/loadavg: 0.99 1.00 0.99 3/64 18676 /proc/meminfo: memFree=1327632/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1472584 CPUtime=0.08 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 3605 0 1 0 6 2 0 0 18 0 12 0 159588598 1507926016 3348 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 368146 3348 1066 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.302942 s] /proc/loadavg: 0.99 1.00 0.99 3/64 18676 /proc/meminfo: memFree=1327632/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1475112 CPUtime=0.33 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 5028 0 1 0 29 4 0 0 18 0 12 0 159588598 1510514688 4765 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 368778 4765 1352 9 0 366121 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1475112 [startup+0.703017 s] /proc/loadavg: 0.99 1.00 0.99 3/64 18676 /proc/meminfo: memFree=1327632/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1478720 CPUtime=1.06 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 7331 0 1 0 101 5 0 0 18 0 13 0 159588598 1514209280 6568 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 369680 6568 1414 9 0 367023 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 1478720 [startup+1.50118 s] /proc/loadavg: 0.99 1.00 0.99 3/77 18689 /proc/meminfo: memFree=1294824/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1492760 CPUtime=2.46 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 20124 0 1 0 235 11 0 0 18 0 13 0 159588598 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 373190 17027 1417 9 0 370533 0 [pid=18676/tid=18678] ppid=18674 vsize=1492760 CPUtime=1.09 /proc/18676/task/18678/stat : 18678 (java) R 18674 18676 18424 0 -1 64 11840 0 1 0 102 7 0 0 18 0 13 0 159588600 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 101913088 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18679] ppid=18674 vsize=1492760 CPUtime=0 /proc/18676/task/18679/stat : 18679 (java) S 18674 18676 18424 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 159588601 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18680] ppid=18674 vsize=1492760 CPUtime=0 /proc/18676/task/18680/stat : 18680 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 159588601 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18681] ppid=18674 vsize=1492760 CPUtime=0 /proc/18676/task/18681/stat : 18681 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 159588603 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18682] ppid=18674 vsize=1492760 CPUtime=0 /proc/18676/task/18682/stat : 18682 (java) S 18674 18676 18424 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159588603 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18683] ppid=18674 vsize=1492760 CPUtime=0 /proc/18676/task/18683/stat : 18683 (java) S 18674 18676 18424 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 159588603 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18684] ppid=18674 vsize=1492760 CPUtime=0 /proc/18676/task/18684/stat : 18684 (java) S 18674 18676 18424 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159588608 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18685] ppid=18674 vsize=1492760 CPUtime=0.85 /proc/18676/task/18685/stat : 18685 (java) R 18674 18676 18424 0 -1 64 4481 0 0 0 83 2 0 0 17 0 13 0 159588608 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 105495949 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18686] ppid=18674 vsize=1492760 CPUtime=0.5 /proc/18676/task/18686/stat : 18686 (java) R 18674 18676 18424 0 -1 64 3056 0 0 0 49 1 0 0 16 0 13 0 159588608 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 2653856 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18687] ppid=18674 vsize=1492760 CPUtime=0 /proc/18676/task/18687/stat : 18687 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159588608 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18688] ppid=18674 vsize=1492760 CPUtime=0 /proc/18676/task/18688/stat : 18688 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159588608 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18689] ppid=18674 vsize=1492760 CPUtime=0 /proc/18676/task/18689/stat : 18689 (java) S 18674 18676 18424 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 159588637 1528586240 17027 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.46 Current children cumulated vsize (KiB) 1492760 [startup+3.10249 s] /proc/loadavg: 0.99 1.00 0.99 2/77 18689 /proc/meminfo: memFree=1242536/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1489864 CPUtime=4.35 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 37820 0 1 0 417 18 0 0 18 0 13 0 159588598 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 372466 33626 1423 9 0 369809 0 [pid=18676/tid=18678] ppid=18674 vsize=1489864 CPUtime=2.49 /proc/18676/task/18678/stat : 18678 (java) R 18674 18676 18424 0 -1 64 28766 0 1 0 235 14 0 0 25 0 13 0 159588600 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4109513117 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18679] ppid=18674 vsize=1489864 CPUtime=0 /proc/18676/task/18679/stat : 18679 (java) S 18674 18676 18424 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 159588601 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18680] ppid=18674 vsize=1489864 CPUtime=0 /proc/18676/task/18680/stat : 18680 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 159588601 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18681] ppid=18674 vsize=1489864 CPUtime=0 /proc/18676/task/18681/stat : 18681 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 159588603 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18682] ppid=18674 vsize=1489864 CPUtime=0 /proc/18676/task/18682/stat : 18682 (java) S 18674 18676 18424 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159588603 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18683] ppid=18674 vsize=1489864 CPUtime=0 /proc/18676/task/18683/stat : 18683 (java) S 18674 18676 18424 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 159588603 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18684] ppid=18674 vsize=1489864 CPUtime=0 /proc/18676/task/18684/stat : 18684 (java) S 18674 18676 18424 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159588608 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18685] ppid=18674 vsize=1489864 CPUtime=1.04 /proc/18676/task/18685/stat : 18685 (java) S 18674 18676 18424 0 -1 64 4634 0 0 0 102 2 0 0 16 0 13 0 159588608 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18686] ppid=18674 vsize=1489864 CPUtime=0.79 /proc/18676/task/18686/stat : 18686 (java) S 18674 18676 18424 0 -1 64 3673 0 0 0 78 1 0 0 16 0 13 0 159588608 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18687] ppid=18674 vsize=1489864 CPUtime=0 /proc/18676/task/18687/stat : 18687 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159588608 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18688] ppid=18674 vsize=1489864 CPUtime=0 /proc/18676/task/18688/stat : 18688 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159588608 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18689] ppid=18674 vsize=1489864 CPUtime=0 /proc/18676/task/18689/stat : 18689 (java) S 18674 18676 18424 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 159588637 1525620736 33626 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.35 Current children cumulated vsize (KiB) 1489864 [startup+6.30111 s] /proc/loadavg: 0.99 1.00 0.99 2/77 18689 /proc/meminfo: memFree=1184872/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1489328 CPUtime=7.7 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 43387 0 1 0 749 21 0 0 18 0 13 0 159588598 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 372332 39009 1432 9 0 369675 0 [pid=18676/tid=18678] ppid=18674 vsize=1489328 CPUtime=5.61 /proc/18676/task/18678/stat : 18678 (java) R 18674 18676 18424 0 -1 64 30979 0 1 0 545 16 0 0 25 0 13 0 159588600 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4109585407 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18679] ppid=18674 vsize=1489328 CPUtime=0.02 /proc/18676/task/18679/stat : 18679 (java) S 18674 18676 18424 0 -1 64 1618 0 0 0 2 0 0 0 16 0 13 0 159588601 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18680] ppid=18674 vsize=1489328 CPUtime=0.02 /proc/18676/task/18680/stat : 18680 (java) S 18674 18676 18424 0 -1 64 1710 0 0 0 2 0 0 0 16 0 13 0 159588601 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18681] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18681/stat : 18681 (java) S 18674 18676 18424 0 -1 64 12 0 0 0 0 0 0 0 17 0 13 0 159588603 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18682] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18682/stat : 18682 (java) S 18674 18676 18424 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18683] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18683/stat : 18683 (java) S 18674 18676 18424 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18684] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18684/stat : 18684 (java) S 18674 18676 18424 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159588608 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18685] ppid=18674 vsize=1489328 CPUtime=1.15 /proc/18676/task/18685/stat : 18685 (java) S 18674 18676 18424 0 -1 64 4643 0 0 0 113 2 0 0 15 0 13 0 159588608 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18686] ppid=18674 vsize=1489328 CPUtime=0.85 /proc/18676/task/18686/stat : 18686 (java) S 18674 18676 18424 0 -1 64 3680 0 0 0 84 1 0 0 15 0 13 0 159588608 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18687] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18687/stat : 18687 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159588608 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18688] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18688/stat : 18688 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159588608 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18689] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18689/stat : 18689 (java) S 18674 18676 18424 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 159588637 1525071872 39009 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.7 Current children cumulated vsize (KiB) 1489328 [startup+12.7014 s] /proc/loadavg: 0.99 1.00 0.99 2/77 18689 /proc/meminfo: memFree=1160744/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1489328 CPUtime=14.15 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 47329 0 1 0 1392 23 0 0 18 0 13 0 159588598 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 372332 42868 1432 9 0 369675 0 [pid=18676/tid=18678] ppid=18674 vsize=1489328 CPUtime=11.95 /proc/18676/task/18678/stat : 18678 (java) R 18674 18676 18424 0 -1 64 30981 0 1 0 1179 16 0 0 25 0 13 0 159588600 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4109585407 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18679] ppid=18674 vsize=1489328 CPUtime=0.08 /proc/18676/task/18679/stat : 18679 (java) S 18674 18676 18424 0 -1 64 3582 0 0 0 7 1 0 0 16 0 13 0 159588601 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18680] ppid=18674 vsize=1489328 CPUtime=0.07 /proc/18676/task/18680/stat : 18680 (java) S 18674 18676 18424 0 -1 64 3678 0 0 0 6 1 0 0 17 0 13 0 159588601 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18681] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18681/stat : 18681 (java) S 18674 18676 18424 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18682] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18682/stat : 18682 (java) S 18674 18676 18424 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18683] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18683/stat : 18683 (java) S 18674 18676 18424 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18684] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18684/stat : 18684 (java) S 18674 18676 18424 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159588608 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18685] ppid=18674 vsize=1489328 CPUtime=1.15 /proc/18676/task/18685/stat : 18685 (java) S 18674 18676 18424 0 -1 64 4643 0 0 0 113 2 0 0 16 0 13 0 159588608 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18686] ppid=18674 vsize=1489328 CPUtime=0.85 /proc/18676/task/18686/stat : 18686 (java) S 18674 18676 18424 0 -1 64 3680 0 0 0 84 1 0 0 15 0 13 0 159588608 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18687] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18687/stat : 18687 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159588608 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18688] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18688/stat : 18688 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159588608 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18689] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18689/stat : 18689 (java) S 18674 18676 18424 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 159588637 1525071872 42868 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.15 Current children cumulated vsize (KiB) 1489328 [startup+25.5029 s] /proc/loadavg: 0.99 1.00 0.99 2/77 18689 /proc/meminfo: memFree=1140776/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1489328 CPUtime=27.12 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 54547 0 1 0 2684 28 0 0 18 0 13 0 159588598 1525071872 49366 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 372332 49366 1432 9 0 369675 0 [pid=18676/tid=18678] ppid=18674 vsize=1489328 CPUtime=24.57 /proc/18676/task/18678/stat : 18678 (java) R 18674 18676 18424 0 -1 64 30985 0 1 0 2441 16 0 0 25 0 13 0 159588600 1525071872 49366 1992294400 134512640 134550932 4294956016 18446744073709551615 4109528925 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18679] ppid=18674 vsize=1489328 CPUtime=0.25 /proc/18676/task/18679/stat : 18679 (java) S 18674 18676 18424 0 -1 64 7051 0 0 0 22 3 0 0 16 0 13 0 159588601 1525071872 49366 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18680] ppid=18674 vsize=1489328 CPUtime=0.24 /proc/18676/task/18680/stat : 18680 (java) S 18674 18676 18424 0 -1 64 7419 0 0 0 21 3 0 0 16 0 13 0 159588601 1525071872 49366 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18681] ppid=18674 vsize=1489328 CPUtime=0 ################ # More data... # ################ [pid=18676] ppid=18674 vsize=1489328 CPUtime=1665.62 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 124250 0 1 0 166495 67 0 0 18 0 13 0 159588598 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 372332 114778 1432 9 0 369675 0 [pid=18676/tid=18678] ppid=18674 vsize=1489328 CPUtime=1658.13 /proc/18676/task/18678/stat : 18678 (java) R 18674 18676 18424 0 -1 64 31062 0 1 0 165794 19 0 0 25 0 13 0 159588600 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4109510374 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18679] ppid=18674 vsize=1489328 CPUtime=2.68 /proc/18676/task/18679/stat : 18679 (java) S 18674 18676 18424 0 -1 64 42424 0 0 0 249 19 0 0 16 0 13 0 159588601 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18680] ppid=18674 vsize=1489328 CPUtime=2.7 /proc/18676/task/18680/stat : 18680 (java) S 18674 18676 18424 0 -1 64 41672 0 0 0 248 22 0 0 17 0 13 0 159588601 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18681] ppid=18674 vsize=1489328 CPUtime=0.01 /proc/18676/task/18681/stat : 18681 (java) S 18674 18676 18424 0 -1 64 23 0 0 0 1 0 0 0 16 0 13 0 159588603 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18682] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18682/stat : 18682 (java) S 18674 18676 18424 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18683] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18683/stat : 18683 (java) S 18674 18676 18424 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18684] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18684/stat : 18684 (java) S 18674 18676 18424 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159588608 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18685] ppid=18674 vsize=1489328 CPUtime=1.17 /proc/18676/task/18685/stat : 18685 (java) S 18674 18676 18424 0 -1 64 4644 0 0 0 115 2 0 0 16 0 13 0 159588608 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18686] ppid=18674 vsize=1489328 CPUtime=0.85 /proc/18676/task/18686/stat : 18686 (java) S 18674 18676 18424 0 -1 64 3680 0 0 0 84 1 0 0 15 0 13 0 159588608 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18687] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18687/stat : 18687 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159588608 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18688] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18688/stat : 18688 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159588608 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18689] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18689/stat : 18689 (java) S 18674 18676 18424 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 159588637 1525071872 114778 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1665.62 Current children cumulated vsize (KiB) 1489328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 18689 /proc/meminfo: memFree=863336/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1489328 CPUtime=1725.69 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 126408 0 1 0 172501 68 0 0 18 0 13 0 159588598 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 372332 116915 1432 9 0 369675 0 [pid=18676/tid=18678] ppid=18674 vsize=1489328 CPUtime=1718.01 /proc/18676/task/18678/stat : 18678 (java) R 18674 18676 18424 0 -1 64 31064 0 1 0 171782 19 0 0 25 0 13 0 159588600 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4109585407 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18679] ppid=18674 vsize=1489328 CPUtime=2.79 /proc/18676/task/18679/stat : 18679 (java) S 18674 18676 18424 0 -1 64 43529 0 0 0 259 20 0 0 17 0 13 0 159588601 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18680] ppid=18674 vsize=1489328 CPUtime=2.81 /proc/18676/task/18680/stat : 18680 (java) S 18674 18676 18424 0 -1 64 42723 0 0 0 258 23 0 0 16 0 13 0 159588601 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18681] ppid=18674 vsize=1489328 CPUtime=0.01 /proc/18676/task/18681/stat : 18681 (java) S 18674 18676 18424 0 -1 64 23 0 0 0 1 0 0 0 16 0 13 0 159588603 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18682] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18682/stat : 18682 (java) S 18674 18676 18424 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18683] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18683/stat : 18683 (java) S 18674 18676 18424 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18684] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18684/stat : 18684 (java) S 18674 18676 18424 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159588608 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18685] ppid=18674 vsize=1489328 CPUtime=1.17 /proc/18676/task/18685/stat : 18685 (java) S 18674 18676 18424 0 -1 64 4644 0 0 0 115 2 0 0 16 0 13 0 159588608 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18686] ppid=18674 vsize=1489328 CPUtime=0.85 /proc/18676/task/18686/stat : 18686 (java) S 18674 18676 18424 0 -1 64 3680 0 0 0 84 1 0 0 15 0 13 0 159588608 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18687] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18687/stat : 18687 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159588608 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18688] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18688/stat : 18688 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159588608 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18689] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18689/stat : 18689 (java) S 18674 18676 18424 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 159588637 1525071872 116915 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1725.69 Current children cumulated vsize (KiB) 1489328 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 18689 /proc/meminfo: memFree=860264/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1489328 CPUtime=1785.72 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 127212 0 1 0 178503 69 0 0 18 0 13 0 159588598 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 372332 117660 1432 9 0 369675 0 [pid=18676/tid=18678] ppid=18674 vsize=1489328 CPUtime=1777.94 /proc/18676/task/18678/stat : 18678 (java) R 18674 18676 18424 0 -1 64 31065 0 1 0 177774 20 0 0 25 0 13 0 159588600 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4109529494 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18679] ppid=18674 vsize=1489328 CPUtime=2.83 /proc/18676/task/18679/stat : 18679 (java) S 18674 18676 18424 0 -1 64 44055 0 0 0 263 20 0 0 17 0 13 0 159588601 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18680] ppid=18674 vsize=1489328 CPUtime=2.86 /proc/18676/task/18680/stat : 18680 (java) S 18674 18676 18424 0 -1 64 43000 0 0 0 263 23 0 0 16 0 13 0 159588601 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18681] ppid=18674 vsize=1489328 CPUtime=0.01 /proc/18676/task/18681/stat : 18681 (java) S 18674 18676 18424 0 -1 64 23 0 0 0 1 0 0 0 16 0 13 0 159588603 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18682] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18682/stat : 18682 (java) S 18674 18676 18424 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18683] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18683/stat : 18683 (java) S 18674 18676 18424 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18684] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18684/stat : 18684 (java) S 18674 18676 18424 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159588608 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18685] ppid=18674 vsize=1489328 CPUtime=1.17 /proc/18676/task/18685/stat : 18685 (java) S 18674 18676 18424 0 -1 64 4644 0 0 0 115 2 0 0 16 0 13 0 159588608 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18686] ppid=18674 vsize=1489328 CPUtime=0.85 /proc/18676/task/18686/stat : 18686 (java) S 18674 18676 18424 0 -1 64 3680 0 0 0 84 1 0 0 15 0 13 0 159588608 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18687] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18687/stat : 18687 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159588608 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18688] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18688/stat : 18688 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159588608 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18689] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18689/stat : 18689 (java) S 18674 18676 18424 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 159588637 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1785.72 Current children cumulated vsize (KiB) 1489328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.6 s] /proc/loadavg: 1.00 1.00 1.00 2/77 18689 /proc/meminfo: memFree=860264/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1489328 CPUtime=1800.02 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 127212 0 1 0 179933 69 0 0 18 0 13 0 159588598 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/18676/statm: 372332 117660 1432 9 0 369675 0 [pid=18676/tid=18678] ppid=18674 vsize=1489328 CPUtime=1792.24 /proc/18676/task/18678/stat : 18678 (java) R 18674 18676 18424 0 -1 64 31065 0 1 0 179204 20 0 0 25 0 13 0 159588600 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4109585407 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18679] ppid=18674 vsize=1489328 CPUtime=2.83 /proc/18676/task/18679/stat : 18679 (java) S 18674 18676 18424 0 -1 64 44055 0 0 0 263 20 0 0 17 0 13 0 159588601 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18680] ppid=18674 vsize=1489328 CPUtime=2.86 /proc/18676/task/18680/stat : 18680 (java) S 18674 18676 18424 0 -1 64 43000 0 0 0 263 23 0 0 16 0 13 0 159588601 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18681] ppid=18674 vsize=1489328 CPUtime=0.01 /proc/18676/task/18681/stat : 18681 (java) S 18674 18676 18424 0 -1 64 23 0 0 0 1 0 0 0 16 0 13 0 159588603 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18682] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18682/stat : 18682 (java) S 18674 18676 18424 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18683] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18683/stat : 18683 (java) S 18674 18676 18424 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159588603 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18684] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18684/stat : 18684 (java) S 18674 18676 18424 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159588608 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18685] ppid=18674 vsize=1489328 CPUtime=1.17 /proc/18676/task/18685/stat : 18685 (java) S 18674 18676 18424 0 -1 64 4644 0 0 0 115 2 0 0 16 0 13 0 159588608 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18686] ppid=18674 vsize=1489328 CPUtime=0.85 /proc/18676/task/18686/stat : 18686 (java) S 18674 18676 18424 0 -1 64 3680 0 0 0 84 1 0 0 15 0 13 0 159588608 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18687] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18687/stat : 18687 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159588608 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18688] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18688/stat : 18688 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 159588608 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18689] ppid=18674 vsize=1489328 CPUtime=0 /proc/18676/task/18689/stat : 18689 (java) S 18674 18676 18424 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 159588637 1525071872 117660 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1489328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/77 18689 /proc/meminfo: memFree=860264/2055924 swapFree=4191900/4192956 [pid=18676] ppid=18674 vsize=1489976 CPUtime=1800.37 /proc/18676/stat : 18676 (java) S 18674 18676 18424 0 -1 0 127242 0 1 0 179968 69 0 0 16 0 14 0 159588598 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/18676/statm: 372494 117690 1435 9 0 369837 0 [pid=18676/tid=18678] ppid=18674 vsize=1489976 CPUtime=1792.43 /proc/18676/task/18678/stat : 18678 (java) R 18674 18676 18424 0 -1 64 31065 0 1 0 179223 20 0 0 25 0 14 0 159588600 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4109529494 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18679] ppid=18674 vsize=1489976 CPUtime=2.83 /proc/18676/task/18679/stat : 18679 (java) S 18674 18676 18424 0 -1 64 44055 0 0 0 263 20 0 0 17 0 14 0 159588601 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18680] ppid=18674 vsize=1489976 CPUtime=2.86 /proc/18676/task/18680/stat : 18680 (java) S 18674 18676 18424 0 -1 64 43000 0 0 0 263 23 0 0 16 0 14 0 159588601 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18681] ppid=18674 vsize=1489976 CPUtime=0.01 /proc/18676/task/18681/stat : 18681 (java) S 18674 18676 18424 0 -1 64 23 0 0 0 1 0 0 0 16 0 14 0 159588603 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18682] ppid=18674 vsize=1489976 CPUtime=0 /proc/18676/task/18682/stat : 18682 (java) S 18674 18676 18424 0 -1 64 10 0 0 0 0 0 0 0 16 0 14 0 159588603 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18683] ppid=18674 vsize=1489976 CPUtime=0 /proc/18676/task/18683/stat : 18683 (java) S 18674 18676 18424 0 -1 64 7 0 0 0 0 0 0 0 16 0 14 0 159588603 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18684] ppid=18674 vsize=1489976 CPUtime=0 /proc/18676/task/18684/stat : 18684 (java) S 18674 18676 18424 0 -1 64 6 0 0 0 0 0 0 0 18 0 14 0 159588608 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18685] ppid=18674 vsize=1489976 CPUtime=1.21 /proc/18676/task/18685/stat : 18685 (java) S 18674 18676 18424 0 -1 64 4649 0 0 0 119 2 0 0 16 0 14 0 159588608 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18686] ppid=18674 vsize=1489976 CPUtime=0.85 /proc/18676/task/18686/stat : 18686 (java) S 18674 18676 18424 0 -1 64 3680 0 0 0 84 1 0 0 15 0 14 0 159588608 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18687] ppid=18674 vsize=1489976 CPUtime=0 /proc/18676/task/18687/stat : 18687 (java) S 18674 18676 18424 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 159588608 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=18676/tid=18688] ppid=18674 vsize=1489976 CPUtime=0 /proc/18676/task/18688/stat : 18688 (java) S 18674 18676 18424 0 -1 64 2 0 0 0 0 0 0 0 15 0 14 0 159588608 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=18676/tid=18689] ppid=18674 vsize=1489976 CPUtime=0 /proc/18676/task/18689/stat : 18689 (java) S 18674 18676 18424 0 -1 64 4 0 0 0 0 0 0 0 19 0 14 0 159588637 1525735424 117690 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 1489976 Child status: 143 Real time (s): 1796.89 CPU time (s): 1800.47 CPU user time (s): 1799.7 CPU system time (s): 0.764883 CPU usage (%): 100.199 Max. virtual memory (cumulated for all children) (KiB): 1492760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.7 system time used= 0.764883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 127242 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= 38322 involuntary context switches= 39358 runsolver used 2.15867 second user time and 4.42333 second system time The end
Begin job on node6 at 2009-06-13 21:04:38 IDJOB=1856667 IDBENCH=2895 IDSOLVER=682 FILE ID=node6/1856667-1244919878 PBS_JOBID= 9354622 Free space on /tmp= 66352 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856667-1244919878/watcher-1856667-1244919878 -o /tmp/evaluation-result-1856667-1244919878/solver-1856667-1244919878 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856667-1244919878.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=1129271461 node6.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 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.265 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: 2055924 kB MemFree: 1328048 kB Buffers: 69656 kB Cached: 572964 kB SwapCached: 524 kB Active: 47220 kB Inactive: 608988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1328048 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 292 kB Writeback: 0 kB Mapped: 21808 kB Slab: 57600 kB Committed_AS: 128008 kB PageTables: 1456 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= 66352 MiB End job on node6 at 2009-06-13 21:34:37