Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | OPT | 1228810444800 | 723.425 | 719.034 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb |
MD5SUM | 34e6501168eba14fba603ee8987209fc |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1228810444800 |
Best CPU time to get the best result obtained on this benchmark | 723.425 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1470471039630 |
Optimality of the best value was proved | NO |
Number of variables | 780 |
Total number of constraints | 405 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 101 |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 1073761158741413 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 71583145981965762560 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 303620978593259231065 |
Number of bits of the biggest sum of numbers | 69 |
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.23/0.22 c Pseudo Boolean Optimization 0.23/0.22 c --- Begin Solver configuration --- 0.23/0.22 c Stops conflict analysis at the first Unique Implication Point 0.23/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.23/0.22 c Learn all clauses as in MiniSAT 0.23/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.23/0.22 c Expensive reason simplification 0.23/0.22 c MiniSAT restarts strategy 0.23/0.22 c Memory based learned constraints deletion strategy 0.23/0.22 c timeout=2147483s 0.23/0.22 c DB Simplification allowed=false 0.23/0.22 c --- End Solver configuration --- 0.23/0.22 c solving HOME/instance-1856405-1244910298.opb 0.23/0.22 c reading problem ... 2.12/1.23 c ... done. Wall clock time 1.011s. 2.12/1.23 c #vars 780 2.12/1.23 c #constraints 445 2.12/1.23 c constraints type 2.12/1.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 36 2.12/1.23 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 36 2.12/1.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 369 2.80/1.65 c SATISFIABLE 2.80/1.65 c OPTIMIZING... 2.80/1.65 c Got one! Elapsed wall clock time (in seconds):1.437 2.80/1.65 o 1072964779950702 3.16/1.86 c Got one! Elapsed wall clock time (in seconds):1.644 3.16/1.86 o 1072834356157885 3.58/2.18 c Got one! Elapsed wall clock time (in seconds):1.958 3.58/2.38 o 1072834356155280 3.86/2.40 c Got one! Elapsed wall clock time (in seconds):2.181 3.86/2.40 o 1072758819777409 3.97/2.55 c Got one! Elapsed wall clock time (in seconds):2.329 3.97/2.55 o 1072726029950408 4.50/2.93 c Got one! Elapsed wall clock time (in seconds):2.708 4.50/2.93 o 1072725927113364 4.68/3.05 c Got one! Elapsed wall clock time (in seconds):2.829 4.68/3.05 o 1072715113124849 4.78/3.20 c Got one! Elapsed wall clock time (in seconds):2.98 4.78/3.20 o 838884180946686 4.88/3.29 c Got one! Elapsed wall clock time (in seconds):3.075 4.88/3.29 o 535843465905109 4.99/3.38 c Got one! Elapsed wall clock time (in seconds):3.164 4.99/3.38 o 535835438110664 5.30/3.50 c Got one! Elapsed wall clock time (in seconds):3.287 5.30/3.50 o 535830621367780 5.30/3.59 c Got one! Elapsed wall clock time (in seconds):3.373 5.30/3.59 o 535830496606540 5.40/3.69 c Got one! Elapsed wall clock time (in seconds):3.475 5.40/3.69 o 535826484835345 5.61/3.85 c Got one! Elapsed wall clock time (in seconds):3.632 5.61/3.85 o 402643846305025 5.72/3.94 c Got one! Elapsed wall clock time (in seconds):3.721 5.72/3.94 o 267386988409300 5.82/4.04 c Got one! Elapsed wall clock time (in seconds):3.826 5.82/4.04 o 267386907212665 5.92/4.13 c Got one! Elapsed wall clock time (in seconds):3.911 5.92/4.13 o 267386651783553 6.02/4.22 c Got one! Elapsed wall clock time (in seconds):3.999 6.02/4.22 o 267382854723007 6.02/4.30 c Got one! Elapsed wall clock time (in seconds):4.079 6.02/4.30 o 267382767615088 6.12/4.37 c Got one! Elapsed wall clock time (in seconds):4.152 6.12/4.37 o 267382405389264 6.22/4.49 c Got one! Elapsed wall clock time (in seconds):4.271 6.22/4.49 o 267378801126910 6.33/4.59 c Got one! Elapsed wall clock time (in seconds):4.372 6.33/4.59 o 267377729134016 6.45/4.69 c Got one! Elapsed wall clock time (in seconds):4.469 6.45/4.69 o 267374704711147 6.67/4.88 c Got one! Elapsed wall clock time (in seconds):4.66 6.67/4.88 o 167774596209020 6.77/4.95 c Got one! Elapsed wall clock time (in seconds):4.731 6.77/4.95 o 133152846191605 6.87/5.05 c Got one! Elapsed wall clock time (in seconds):4.83 6.87/5.05 o 133152800931284 7.27/5.43 c Got one! Elapsed wall clock time (in seconds):5.21 7.27/5.43 o 133152800931152 7.37/5.52 c Got one! Elapsed wall clock time (in seconds):5.306 7.37/5.52 o 133148717374920 7.48/5.65 c Got one! Elapsed wall clock time (in seconds):5.435 7.48/5.65 o 133148716635334 7.58/5.75 c Got one! Elapsed wall clock time (in seconds):5.534 7.58/5.75 o 133148700180419 7.67/5.85 c Got one! Elapsed wall clock time (in seconds):5.63 7.67/5.85 o 133148215468158 7.77/5.91 c Got one! Elapsed wall clock time (in seconds):5.689 7.77/5.91 o 133137507792417 7.87/6.07 c Got one! Elapsed wall clock time (in seconds):5.857 7.87/6.07 o 67108890009658 7.97/6.17 c Got one! Elapsed wall clock time (in seconds):5.955 7.97/6.17 o 66027648529149 8.07/6.30 c Got one! Elapsed wall clock time (in seconds):6.079 8.07/6.30 o 66027563806007 8.29/6.42 c Got one! Elapsed wall clock time (in seconds):6.2 8.29/6.42 o 66027553014404 8.38/6.58 c Got one! Elapsed wall clock time (in seconds):6.367 8.38/6.58 o 66011623874739 8.48/6.68 c Got one! Elapsed wall clock time (in seconds):6.465 8.48/6.68 o 66011101452422 8.59/6.78 c Got one! Elapsed wall clock time (in seconds):6.564 8.59/6.78 o 66011101447755 8.69/6.89 c Got one! Elapsed wall clock time (in seconds):6.678 8.69/6.89 o 66010927417216 8.78/7.00 c Got one! Elapsed wall clock time (in seconds):6.78 8.78/7.00 o 65995429330113 8.98/7.14 c Got one! Elapsed wall clock time (in seconds):6.925 8.98/7.14 o 65995429328023 9.09/7.26 c Got one! Elapsed wall clock time (in seconds):7.044 9.09/7.26 o 65995154183617 9.19/7.36 c Got one! Elapsed wall clock time (in seconds):7.138 9.19/7.36 o 65995051937036 9.40/7.53 c Got one! Elapsed wall clock time (in seconds):7.309 9.40/7.53 o 7880490451971 9.50/7.61 c Got one! Elapsed wall clock time (in seconds):7.397 9.50/7.61 o 7338030509506 9.60/7.71 c Got one! Elapsed wall clock time (in seconds):7.488 9.60/7.71 o 7307312274304 9.60/7.79 c Got one! Elapsed wall clock time (in seconds):7.573 9.60/7.79 o 7274527892902 9.80/7.95 c Got one! Elapsed wall clock time (in seconds):7.736 9.80/7.95 o 7209023542027 9.90/8.03 c Got one! Elapsed wall clock time (in seconds):7.816 9.90/8.03 o 6750252653436 10.42/8.54 c Got one! Elapsed wall clock time (in seconds):8.324 10.42/8.54 o 6750252078613 10.52/8.65 c Got one! Elapsed wall clock time (in seconds):8.431 10.52/8.65 o 6750251465834 10.69/8.73 c Got one! Elapsed wall clock time (in seconds):8.513 10.69/8.73 o 6750251407679 10.79/8.83 c Got one! Elapsed wall clock time (in seconds):8.615 10.79/8.83 o 6750245672146 10.89/8.94 c Got one! Elapsed wall clock time (in seconds):8.724 10.89/8.94 o 4128787807413 10.99/9.04 c Got one! Elapsed wall clock time (in seconds):8.821 10.99/9.04 o 4128783634496 11.09/9.13 c Got one! Elapsed wall clock time (in seconds):8.914 11.09/9.13 o 4128770068356 11.19/9.24 c Got one! Elapsed wall clock time (in seconds):9.027 11.19/9.24 o 4128768412808 11.29/9.36 c Got one! Elapsed wall clock time (in seconds):9.145 11.29/9.36 o 4128768405098 11.69/9.74 c Got one! Elapsed wall clock time (in seconds):9.518 11.69/9.74 o 4096024207899 11.79/9.81 c Got one! Elapsed wall clock time (in seconds):9.594 11.79/9.81 o 3145680481225 12.00/10.06 c Got one! Elapsed wall clock time (in seconds):9.846 12.00/10.06 o 3080150604570 12.13/10.14 c Got one! Elapsed wall clock time (in seconds):9.927 12.13/10.14 o 3080085206400 12.22/10.25 c Got one! Elapsed wall clock time (in seconds):10.032 12.22/10.25 o 3080083566020 12.32/10.34 c Got one! Elapsed wall clock time (in seconds):10.128 12.32/10.34 o 3080082008128 12.42/10.46 c Got one! Elapsed wall clock time (in seconds):10.246 12.42/10.46 o 3080074078539 12.52/10.57 c Got one! Elapsed wall clock time (in seconds):10.353 12.52/10.57 o 3080068513537 12.62/10.68 c Got one! Elapsed wall clock time (in seconds):10.459 12.62/10.68 o 3080054203841 12.83/10.80 c Got one! Elapsed wall clock time (in seconds):10.585 12.83/10.80 o 3080031937921 13.03/11.06 c Got one! Elapsed wall clock time (in seconds):10.844 13.03/11.06 o 3079704312250 13.13/11.17 c Got one! Elapsed wall clock time (in seconds):10.951 13.13/11.17 o 3079446370762 13.23/11.29 c Got one! Elapsed wall clock time (in seconds):11.076 13.23/11.29 o 3079188788672 13.43/11.43 c Got one! Elapsed wall clock time (in seconds):11.212 13.43/11.43 o 3079154383746 13.53/11.54 c Got one! Elapsed wall clock time (in seconds):11.324 13.53/11.54 o 3078939328130 13.63/11.65 c Got one! Elapsed wall clock time (in seconds):11.429 13.63/11.65 o 3078863707140 13.73/11.76 c Got one! Elapsed wall clock time (in seconds):11.544 13.73/11.76 o 3076119262656 14.04/12.01 c Got one! Elapsed wall clock time (in seconds):11.795 14.04/12.01 o 3076117176360 14.14/12.11 c Got one! Elapsed wall clock time (in seconds):11.897 14.14/12.11 o 3076111677511 14.24/12.21 c Got one! Elapsed wall clock time (in seconds):11.997 14.24/12.21 o 3074065674107 14.44/12.42 c Got one! Elapsed wall clock time (in seconds):12.2 14.44/12.42 o 3074012489759 14.54/12.53 c Got one! Elapsed wall clock time (in seconds):12.312 14.54/12.53 o 3072019986864 14.64/12.65 c Got one! Elapsed wall clock time (in seconds):12.436 14.64/12.65 o 3072016590029 14.73/12.74 c Got one! Elapsed wall clock time (in seconds):12.528 14.73/12.75 o 3071984461249 14.83/12.85 c Got one! Elapsed wall clock time (in seconds):12.628 14.83/12.85 o 3071893560771 14.93/12.94 c Got one! Elapsed wall clock time (in seconds):12.727 14.93/12.94 o 3071511799915 15.03/13.03 c Got one! Elapsed wall clock time (in seconds):12.818 15.03/13.04 o 3069972149186 15.13/13.17 c Got one! Elapsed wall clock time (in seconds):12.957 15.13/13.17 o 3067921784439 15.34/13.32 c Got one! Elapsed wall clock time (in seconds):13.1 15.34/13.32 o 3067895019461 15.44/13.42 c Got one! Elapsed wall clock time (in seconds):13.202 15.44/13.42 o 3067790819331 15.54/13.57 c Got one! Elapsed wall clock time (in seconds):13.351 15.54/13.57 o 3063827144136 15.74/13.71 c Got one! Elapsed wall clock time (in seconds):13.49 15.74/13.71 o 3063760052291 15.84/13.82 c Got one! Elapsed wall clock time (in seconds):13.601 15.84/13.82 o 3063322238401 16.04/14.03 c Got one! Elapsed wall clock time (in seconds):13.811 16.04/14.03 o 3045401065314 16.34/14.39 c Got one! Elapsed wall clock time (in seconds):14.174 16.34/14.39 o 3045398983808 16.55/14.52 c Got one! Elapsed wall clock time (in seconds):14.308 16.55/14.52 o 3014675213749 16.64/14.66 c Got one! Elapsed wall clock time (in seconds):14.447 16.64/14.66 o 3014675205580 16.84/14.80 c Got one! Elapsed wall clock time (in seconds):14.581 16.84/14.80 o 3014672817917 16.94/14.93 c Got one! Elapsed wall clock time (in seconds):14.718 16.94/14.93 o 3014671536816 17.04/15.05 c Got one! Elapsed wall clock time (in seconds):14.834 17.04/15.05 o 3014660957126 17.14/15.18 c Got one! Elapsed wall clock time (in seconds):14.965 17.14/15.18 o 3014657556422 17.34/15.32 c Got one! Elapsed wall clock time (in seconds):15.104 17.34/15.32 o 3014547118977 17.44/15.45 c Got one! Elapsed wall clock time (in seconds):15.231 17.44/15.45 o 3014538770825 17.55/15.56 c Got one! Elapsed wall clock time (in seconds):15.348 17.55/15.56 o 3014418179628 17.74/15.70 c Got one! Elapsed wall clock time (in seconds):15.487 17.74/15.70 o 3010578933175 17.95/15.90 c Got one! Elapsed wall clock time (in seconds):15.686 17.95/15.90 o 3006481119104 18.25/16.24 c Got one! Elapsed wall clock time (in seconds):16.023 18.25/16.24 o 3006452342241 18.45/16.47 c Got one! Elapsed wall clock time (in seconds):16.253 18.45/16.47 o 3000347529929 18.65/16.60 c Got one! Elapsed wall clock time (in seconds):16.385 18.65/16.60 o 3000346321412 18.75/16.74 c Got one! Elapsed wall clock time (in seconds):16.521 18.75/16.74 o 2998293166977 18.85/16.89 c Got one! Elapsed wall clock time (in seconds):16.678 18.85/16.89 o 2998290478789 19.16/17.11 c Got one! Elapsed wall clock time (in seconds):16.89 19.16/17.11 o 2998290102022 19.26/17.26 c Got one! Elapsed wall clock time (in seconds):17.04 19.26/17.26 o 2998282175110 19.66/17.62 c Got one! Elapsed wall clock time (in seconds):17.402 19.66/17.62 o 2996244344948 19.96/17.99 c Got one! Elapsed wall clock time (in seconds):17.776 19.96/17.99 o 2996244316182 20.16/18.12 c Got one! Elapsed wall clock time (in seconds):17.903 20.16/18.12 o 2996243608007 20.26/18.28 c Got one! Elapsed wall clock time (in seconds):18.06 20.26/18.28 o 2996243167105 20.46/18.42 c Got one! Elapsed wall clock time (in seconds):18.202 20.46/18.42 o 2996238526808 20.76/18.72 c Got one! Elapsed wall clock time (in seconds):18.501 20.76/18.72 o 2228242759404 20.86/18.86 c Got one! Elapsed wall clock time (in seconds):18.645 20.86/18.86 o 2095110727510 21.06/19.07 c Got one! Elapsed wall clock time (in seconds):18.853 21.06/19.07 o 2095104144855 21.26/19.21 c Got one! Elapsed wall clock time (in seconds):18.991 21.26/19.21 o 2095087236355 21.76/19.74 c Got one! Elapsed wall clock time (in seconds):19.522 21.76/19.74 o 2095054313463 22.26/20.21 c Got one! Elapsed wall clock time (in seconds):19.989 22.26/20.21 o 2088975527210 23.37/21.37 c Got one! Elapsed wall clock time (in seconds):21.153 23.37/21.37 o 2088973338989 23.57/21.56 c Got one! Elapsed wall clock time (in seconds):21.348 23.57/21.56 o 2080784547466 23.77/21.78 c Got one! Elapsed wall clock time (in seconds):21.561 23.77/21.78 o 2078609613634 23.97/21.96 c Got one! Elapsed wall clock time (in seconds):21.742 23.97/21.96 o 2078579587008 24.98/22.94 c Got one! Elapsed wall clock time (in seconds):22.722 24.98/22.94 o 2061847664215 25.18/23.11 c Got one! Elapsed wall clock time (in seconds):22.892 25.18/23.11 o 1963774972868 26.19/24.15 c Got one! Elapsed wall clock time (in seconds):23.937 26.19/24.15 o 1963774304177 26.39/24.32 c Got one! Elapsed wall clock time (in seconds):24.104 26.39/24.32 o 1963598929327 27.29/25.28 c Got one! Elapsed wall clock time (in seconds):25.068 27.29/25.28 o 1960977788630 27.90/25.83 c Got one! Elapsed wall clock time (in seconds):25.618 27.90/25.84 o 1949709169048 28.40/26.37 c Got one! Elapsed wall clock time (in seconds):26.152 28.40/26.37 o 1943566137211 29.41/27.35 c Got one! Elapsed wall clock time (in seconds):27.132 29.41/27.35 o 1941535316731 29.61/27.53 c Got one! Elapsed wall clock time (in seconds):27.313 29.61/27.53 o 1941521202563 29.71/27.69 c Got one! Elapsed wall clock time (in seconds):27.472 29.71/27.69 o 1941520196113 31.22/29.16 c Got one! Elapsed wall clock time (in seconds):28.946 31.22/29.16 o 1925132661218 36.03/33.92 c Got one! Elapsed wall clock time (in seconds):33.705 36.03/33.92 o 1924370791007 36.44/34.38 c Got one! Elapsed wall clock time (in seconds):34.166 36.44/34.38 o 1923079623988 37.24/35.20 c Got one! Elapsed wall clock time (in seconds):34.979 37.24/35.20 o 1900557539486 38.04/35.98 c Got one! Elapsed wall clock time (in seconds):35.767 38.04/35.98 o 1900556044138 41.47/39.36 c Got one! Elapsed wall clock time (in seconds):39.146 41.47/39.36 o 1900549675433 42.57/40.47 c Got one! Elapsed wall clock time (in seconds):40.252 42.57/40.47 o 1890315076264 43.07/40.95 c Got one! Elapsed wall clock time (in seconds):40.732 43.07/40.95 o 1867791394339 46.19/44.06 c Got one! Elapsed wall clock time (in seconds):43.846 46.19/44.06 o 1867791282924 47.29/45.12 c Got one! Elapsed wall clock time (in seconds):44.898 47.29/45.12 o 1867791224961 47.99/45.87 c Got one! Elapsed wall clock time (in seconds):45.653 47.99/45.87 o 1867789095899 53.31/51.11 c Got one! Elapsed wall clock time (in seconds):50.898 53.31/51.11 o 1859598730782 56.62/54.41 c Got one! Elapsed wall clock time (in seconds):54.193 56.62/54.41 o 1859598730781 60.94/58.73 c Got one! Elapsed wall clock time (in seconds):58.515 60.94/58.73 o 1859551026030 61.64/59.41 c Got one! Elapsed wall clock time (in seconds):59.196 61.64/59.41 o 1835021178382 63.25/61.01 c Got one! Elapsed wall clock time (in seconds):60.795 63.25/61.01 o 1794062470142 64.75/62.54 c Got one! Elapsed wall clock time (in seconds):62.32 64.75/62.54 o 1794061976037 67.87/65.60 c Got one! Elapsed wall clock time (in seconds):65.382 67.87/65.60 o 1794061576066 69.97/67.73 c Got one! Elapsed wall clock time (in seconds):67.517 69.97/67.73 o 1794061263371 72.09/69.87 c Got one! Elapsed wall clock time (in seconds):69.654 72.09/69.87 o 1794055262201 74.10/71.88 c Got one! Elapsed wall clock time (in seconds):71.663 74.10/71.88 o 1794054796786 74.80/72.57 c Got one! Elapsed wall clock time (in seconds):72.355 74.80/72.57 o 1794053644711 77.91/75.65 c Got one! Elapsed wall clock time (in seconds):75.429 77.91/75.65 o 1784976299314 87.04/84.78 c Got one! Elapsed wall clock time (in seconds):84.568 87.04/84.79 o 1784974144020 91.29/88.99 c Got one! Elapsed wall clock time (in seconds):88.776 91.29/88.99 o 1784880577420 94.10/91.76 c Got one! Elapsed wall clock time (in seconds):91.547 94.10/91.76 o 1784879791875 101.42/99.10 c Got one! Elapsed wall clock time (in seconds):98.885 101.42/99.10 o 1782793677324 103.23/100.80 c Got one! Elapsed wall clock time (in seconds):100.581 103.23/100.80 o 1782793220927 106.13/103.79 c Got one! Elapsed wall clock time (in seconds):103.569 106.13/103.79 o 1782792423842 109.36/106.94 c Got one! Elapsed wall clock time (in seconds):106.724 109.36/106.94 o 1766349901107 109.86/107.42 c Got one! Elapsed wall clock time (in seconds):107.199 109.86/107.42 o 1703870470616 117.48/115.09 c Got one! Elapsed wall clock time (in seconds):114.871 117.48/115.09 o 1703693855234 121.40/118.93 c Got one! Elapsed wall clock time (in seconds):118.711 121.40/118.93 o 1703692816176 124.30/121.82 c Got one! Elapsed wall clock time (in seconds):121.608 124.30/121.83 o 1703691540535 126.20/123.73 c Got one! Elapsed wall clock time (in seconds):123.514 126.20/123.73 o 1702670002684 140.55/138.00 c Got one! Elapsed wall clock time (in seconds):137.787 140.55/138.00 o 1702669635159 141.97/139.43 c Got one! Elapsed wall clock time (in seconds):139.212 141.97/139.43 o 1702669587680 148.28/145.76 c Got one! Elapsed wall clock time (in seconds):145.546 148.28/145.76 o 1572876027948 178.15/175.55 c Got one! Elapsed wall clock time (in seconds):175.333 178.15/175.55 o 1556492925147 200.44/197.76 c Got one! Elapsed wall clock time (in seconds):197.542 200.44/197.76 o 1556490904729 214.97/212.28 c Got one! Elapsed wall clock time (in seconds):212.064 214.97/212.28 o 1556490279275 220.39/217.67 c Got one! Elapsed wall clock time (in seconds):217.456 220.39/217.67 o 1556490232636 222.60/219.80 c Got one! Elapsed wall clock time (in seconds):219.585 222.60/219.80 o 1556490108413 224.10/221.36 c Got one! Elapsed wall clock time (in seconds):221.147 224.10/221.36 o 1555403019879 239.44/236.62 c Got one! Elapsed wall clock time (in seconds):236.404 239.44/236.62 o 1555402010351 276.35/273.46 c Got one! Elapsed wall clock time (in seconds):273.241 276.35/273.46 o 1554412772318 278.35/275.41 c Got one! Elapsed wall clock time (in seconds):275.192 278.35/275.41 o 1554412301769 339.98/336.87 c Got one! Elapsed wall clock time (in seconds):336.649 339.98/336.87 o 1554411332925 343.08/339.90 c Got one! Elapsed wall clock time (in seconds):339.685 343.08/339.90 o 1552455424071 354.00/350.81 c Got one! Elapsed wall clock time (in seconds):350.596 354.00/350.81 o 1552449322117 410.92/407.50 c Got one! Elapsed wall clock time (in seconds):407.285 410.92/407.50 o 1552449050599 424.36/420.94 c Got one! Elapsed wall clock time (in seconds):420.721 424.36/420.94 o 1552448592246 448.13/444.62 c Got one! Elapsed wall clock time (in seconds):444.403 448.13/444.62 o 1552390043934 455.04/451.55 c Got one! Elapsed wall clock time (in seconds):451.329 455.04/451.55 o 1552389088341 486.35/482.73 c Got one! Elapsed wall clock time (in seconds):482.511 486.35/482.73 o 1552389087773 495.06/491.43 c Got one! Elapsed wall clock time (in seconds):491.216 495.06/491.43 o 1552360789749 500.48/496.85 c Got one! Elapsed wall clock time (in seconds):496.631 500.48/496.85 o 1552360534299 501.48/497.87 c Got one! Elapsed wall clock time (in seconds):497.658 501.48/497.87 o 1531465486695 559.31/555.45 c Got one! Elapsed wall clock time (in seconds):555.238 559.31/555.45 o 1531403668992 606.49/602.43 c Got one! Elapsed wall clock time (in seconds):602.21 606.49/602.43 o 1531153070151 615.20/611.17 c Got one! Elapsed wall clock time (in seconds):610.957 615.20/611.17 o 1530875326200 687.71/683.46 c Got one! Elapsed wall clock time (in seconds):683.239 687.71/683.46 o 1530874993072 704.58/700.29 c Got one! Elapsed wall clock time (in seconds):700.073 704.58/700.29 o 1529849650266 704.88/700.53 c Got one! Elapsed wall clock time (in seconds):700.315 704.88/700.53 o 1228811444803 705.29/700.92 c Got one! Elapsed wall clock time (in seconds):700.7 705.29/700.92 o 1228810444800 723.30/718.96 c starts : 845 723.30/718.96 c conflicts : 498917 723.30/718.96 c decisions : 853373 723.30/718.96 c propagations : 14998381 723.30/718.96 c inspects : 1450042921 723.30/718.96 c learnt literals : 11 723.30/718.96 c learnt binary clauses : 47 723.30/718.96 c learnt ternary clauses : 72 723.30/718.96 c learnt clauses : 498905 723.30/718.96 c ignored clauses : 0 723.30/718.96 c root simplifications : 0 723.30/718.96 c removed literals (reason simplification) : 5909329 723.30/718.96 c reason swapping (by a shorter reason) : 0 723.30/718.96 c Calls to reduceDB : 0 723.30/718.96 c speed (assignments/second) : 831534.12430005 723.30/718.96 c non guided choices 8275 723.30/718.96 c learnt constraints type 723.30/718.96 c constraints type 723.30/718.96 c org.sat4j.minisat.constraints.card.MinWatchCard => 36 723.30/718.96 c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 36 723.30/718.96 c org.sat4j.pb.constraints.pb.MaxWatchPb => 369 723.30/718.96 s OPTIMUM FOUND 723.30/718.96 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 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 x234 -x235 x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 x293 -x294 x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 x325 x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 x353 x354 -x355 x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 x594 -x595 x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 x754 x755 x756 -x757 x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 723.30/718.96 c objective function=1228810444800 723.30/718.96 c Total wall clock time (in seconds): 718.746
OK 1228810444800
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856405-1244910298/watcher-1856405-1244910298 -o /tmp/evaluation-result-1856405-1244910298/solver-1856405-1244910298 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856405-1244910298.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: 1.00 1.00 1.00 2/64 13713 /proc/meminfo: memFree=1348832/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=4 CPUtime=0 /proc/13713/stat : 13713 (java6) R 13711 13713 13452 0 -1 0 16 0 0 0 0 0 0 0 20 0 1 0 158629871 4096 1 1992294400 0 0 0 18446744073709551615 217871609127 0 0 4096 0 0 0 0 17 1 0 0 /proc/13713/statm: 35 3 0 0 0 1 0 [startup+0.101846 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13713 /proc/meminfo: memFree=1348832/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1472584 CPUtime=0.08 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 3603 0 1 0 6 2 0 0 18 0 12 0 158629871 1507926016 3346 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 368146 3346 1066 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.201859 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13713 /proc/meminfo: memFree=1348832/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1474880 CPUtime=0.23 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 4732 0 1 0 20 3 0 0 18 0 12 0 158629871 1510277120 4470 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 368720 4472 1339 9 0 366063 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 1474880 [startup+0.30187 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13713 /proc/meminfo: memFree=1348832/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1475028 CPUtime=0.35 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 4989 0 1 0 32 3 0 0 18 0 12 0 158629871 1510428672 4727 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 368757 4728 1353 9 0 366100 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1475028 [startup+0.70192 s] /proc/loadavg: 1.00 1.00 1.00 2/64 13713 /proc/meminfo: memFree=1348832/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1489404 CPUtime=1.13 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 10296 0 1 0 108 5 0 0 18 0 12 0 158629871 1525149696 8663 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 372393 8679 1398 9 0 369736 0 Current children cumulated CPU time (s) 1.13 Current children cumulated vsize (KiB) 1489404 [startup+1.50301 s] /proc/loadavg: 1.00 1.00 1.00 4/76 13725 /proc/meminfo: memFree=1303680/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1492828 CPUtime=2.65 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 19579 0 1 0 255 10 0 0 18 0 13 0 158629871 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 373207 14066 1416 9 0 370550 0 [pid=13713/tid=13715] ppid=13711 vsize=1492828 CPUtime=0.84 /proc/13713/task/13715/stat : 13715 (java) R 13711 13713 13452 0 -1 64 8470 0 1 0 79 5 0 0 20 0 13 0 158629872 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13716] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13716/stat : 13716 (java) S 13711 13713 13452 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 158629873 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13717] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13717/stat : 13717 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 158629873 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13718] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13718/stat : 13718 (java) S 13711 13713 13452 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 158629875 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13719] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13719/stat : 13719 (java) S 13711 13713 13452 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 158629876 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13720] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13720/stat : 13720 (java) S 13711 13713 13452 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 158629876 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13721] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13721/stat : 13721 (java) S 13711 13713 13452 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158629880 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13722] ppid=13711 vsize=1492828 CPUtime=0.97 /proc/13713/task/13722/stat : 13722 (java) S 13711 13713 13452 0 -1 64 5866 0 0 0 95 2 0 0 17 0 13 0 158629880 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13723] ppid=13711 vsize=1492828 CPUtime=0.81 /proc/13713/task/13723/stat : 13723 (java) R 13711 13713 13452 0 -1 64 4498 0 0 0 80 1 0 0 16 0 13 0 158629880 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 103148735 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13724] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13724/stat : 13724 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158629880 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13725] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13725/stat : 13725 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158629880 1528655872 14066 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.65 Current children cumulated vsize (KiB) 1492828 [startup+3.10218 s] /proc/loadavg: 1.00 1.00 1.00 4/77 13726 /proc/meminfo: memFree=1245368/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1492828 CPUtime=4.78 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 44394 0 1 0 459 19 0 0 18 0 13 0 158629871 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 373207 37371 1432 9 0 370550 0 [pid=13713/tid=13715] ppid=13711 vsize=1492828 CPUtime=2.26 /proc/13713/task/13715/stat : 13715 (java) R 13711 13713 13452 0 -1 64 30977 0 1 0 213 13 0 0 25 0 13 0 158629872 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4109833976 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13716] ppid=13711 vsize=1492828 CPUtime=0.01 /proc/13713/task/13716/stat : 13716 (java) S 13711 13713 13452 0 -1 64 364 0 0 0 1 0 0 0 16 0 13 0 158629873 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13717] ppid=13711 vsize=1492828 CPUtime=0.01 /proc/13713/task/13717/stat : 13717 (java) S 13711 13713 13452 0 -1 64 386 0 0 0 1 0 0 0 16 0 13 0 158629873 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13718] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13718/stat : 13718 (java) S 13711 13713 13452 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158629875 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13719] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13719/stat : 13719 (java) S 13711 13713 13452 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158629876 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13720] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13720/stat : 13720 (java) S 13711 13713 13452 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158629876 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13721] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13721/stat : 13721 (java) S 13711 13713 13452 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158629880 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13722] ppid=13711 vsize=1492828 CPUtime=1.28 /proc/13713/task/13722/stat : 13722 (java) S 13711 13713 13452 0 -1 64 6267 0 0 0 126 2 0 0 15 0 13 0 158629880 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13723] ppid=13711 vsize=1492828 CPUtime=1.17 /proc/13713/task/13723/stat : 13723 (java) S 13711 13713 13452 0 -1 64 5648 0 0 0 116 1 0 0 17 0 13 0 158629880 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13724] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13724/stat : 13724 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158629880 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13725] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13725/stat : 13725 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158629880 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13726] ppid=13711 vsize=1492828 CPUtime=0 /proc/13713/task/13726/stat : 13726 (java) S 13711 13713 13452 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158629997 1528655872 37371 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.78 Current children cumulated vsize (KiB) 1492828 [startup+6.30156 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13726 /proc/meminfo: memFree=1201144/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1491412 CPUtime=8.18 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 46099 0 1 0 798 20 0 0 18 0 13 0 158629871 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 372853 38290 1432 9 0 370196 0 [pid=13713/tid=13715] ppid=13711 vsize=1491412 CPUtime=5.36 /proc/13713/task/13715/stat : 13715 (java) R 13711 13713 13452 0 -1 64 30982 0 1 0 523 13 0 0 24 0 13 0 158629872 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4109662903 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13716] ppid=13711 vsize=1491412 CPUtime=0.05 /proc/13713/task/13716/stat : 13716 (java) S 13711 13713 13452 0 -1 64 1068 0 0 0 5 0 0 0 16 0 13 0 158629873 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13717] ppid=13711 vsize=1491412 CPUtime=0.04 /proc/13713/task/13717/stat : 13717 (java) S 13711 13713 13452 0 -1 64 1002 0 0 0 4 0 0 0 16 0 13 0 158629873 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13718] ppid=13711 vsize=1491412 CPUtime=0 /proc/13713/task/13718/stat : 13718 (java) S 13711 13713 13452 0 -1 64 21 0 0 0 0 0 0 0 17 0 13 0 158629875 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13719] ppid=13711 vsize=1491412 CPUtime=0 /proc/13713/task/13719/stat : 13719 (java) S 13711 13713 13452 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158629876 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13720] ppid=13711 vsize=1491412 CPUtime=0 /proc/13713/task/13720/stat : 13720 (java) S 13711 13713 13452 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158629876 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13721] ppid=13711 vsize=1491412 CPUtime=0 /proc/13713/task/13721/stat : 13721 (java) S 13711 13713 13452 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158629880 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13722] ppid=13711 vsize=1491412 CPUtime=1.4 /proc/13713/task/13722/stat : 13722 (java) S 13711 13713 13452 0 -1 64 6275 0 0 0 138 2 0 0 16 0 13 0 158629880 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13723] ppid=13711 vsize=1491412 CPUtime=1.27 /proc/13713/task/13723/stat : 13723 (java) S 13711 13713 13452 0 -1 64 6008 0 0 0 126 1 0 0 16 0 13 0 158629880 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13724] ppid=13711 vsize=1491412 CPUtime=0 /proc/13713/task/13724/stat : 13724 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158629880 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13725] ppid=13711 vsize=1491412 CPUtime=0 /proc/13713/task/13725/stat : 13725 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158629880 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13726] ppid=13711 vsize=1491412 CPUtime=0 /proc/13713/task/13726/stat : 13726 (java) S 13711 13713 13452 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158629997 1527205888 38290 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 8.18 Current children cumulated vsize (KiB) 1491412 [startup+12.7023 s] /proc/loadavg: 1.08 1.02 1.01 2/77 13726 /proc/meminfo: memFree=1168824/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1491380 CPUtime=14.73 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 54180 0 1 0 1449 24 0 0 18 0 13 0 158629871 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 372845 46153 1432 9 0 370188 0 [pid=13713/tid=13715] ppid=13711 vsize=1491380 CPUtime=11.7 /proc/13713/task/13715/stat : 13715 (java) R 13711 13713 13452 0 -1 64 35615 0 1 0 1154 16 0 0 23 0 13 0 158629872 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4109590738 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13716] ppid=13711 vsize=1491380 CPUtime=0.1 /proc/13713/task/13716/stat : 13716 (java) S 13711 13713 13452 0 -1 64 3020 0 0 0 10 0 0 0 16 0 13 0 158629873 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13717] ppid=13711 vsize=1491380 CPUtime=0.1 /proc/13713/task/13717/stat : 13717 (java) S 13711 13713 13452 0 -1 64 2488 0 0 0 9 1 0 0 16 0 13 0 158629873 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13718] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13718/stat : 13718 (java) S 13711 13713 13452 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 158629875 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13719] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13719/stat : 13719 (java) S 13711 13713 13452 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13720] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13720/stat : 13720 (java) S 13711 13713 13452 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13721] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13721/stat : 13721 (java) S 13711 13713 13452 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13722] ppid=13711 vsize=1491380 CPUtime=1.46 /proc/13713/task/13722/stat : 13722 (java) S 13711 13713 13452 0 -1 64 6279 0 0 0 144 2 0 0 16 0 13 0 158629880 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13723] ppid=13711 vsize=1491380 CPUtime=1.32 /proc/13713/task/13723/stat : 13723 (java) S 13711 13713 13452 0 -1 64 6011 0 0 0 130 2 0 0 16 0 13 0 158629880 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13724] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13724/stat : 13724 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13725] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13725/stat : 13725 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158629880 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13726] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13726/stat : 13726 (java) S 13711 13713 13452 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158629997 1527173120 46153 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.73 Current children cumulated vsize (KiB) 1491380 [startup+25.5068 s] /proc/loadavg: 1.07 1.02 1.00 2/77 13726 /proc/meminfo: memFree=1160632/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1491380 CPUtime=27.61 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 56425 0 1 0 2735 26 0 0 18 0 13 0 158629871 1527173120 48200 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 372845 48200 1432 9 0 370188 0 [pid=13713/tid=13715] ppid=13711 vsize=1491380 CPUtime=24.43 /proc/13713/task/13715/stat : 13715 (java) R 13711 13713 13452 0 -1 64 35625 0 1 0 2427 16 0 0 25 0 13 0 158629872 1527173120 48200 1992294400 134512640 134550932 4294956016 18446744073709551615 4109583871 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13716] ppid=13711 vsize=1491380 CPUtime=0.16 /proc/13713/task/13716/stat : 13716 (java) S 13711 13713 13452 0 -1 64 4145 0 0 0 15 1 0 0 16 0 13 0 158629873 1527173120 48200 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13717] ppid=13711 vsize=1491380 CPUtime=0.16 /proc/13713/task/13717/stat : 13717 (java) S 13711 13713 13452 0 -1 64 3598 0 0 0 14 2 0 0 16 0 13 0 158629873 1527173120 48200 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13718] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13718/stat : 13718 (java) S 13711 13713 13452 0 -1 64 24 0 0 0 0 0 0 0 17 0 13 0 158629875 1527173120 48200 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13719] ppid=13711 vsize=1491380 CPUtime=0 ################ # More data... # ################ [pid=13713] ppid=13711 vsize=1491380 CPUtime=718.1 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 89814 0 1 0 71756 54 0 0 18 0 13 0 158629871 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 372845 80436 1433 9 0 370188 0 [pid=13713/tid=13715] ppid=13711 vsize=1491380 CPUtime=709.28 /proc/13713/task/13715/stat : 13715 (java) R 13711 13713 13452 0 -1 64 35827 0 1 0 70910 18 0 0 25 0 13 0 158629872 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4110074545 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13716] ppid=13711 vsize=1491380 CPUtime=2.96 /proc/13713/task/13716/stat : 13716 (java) S 13711 13713 13452 0 -1 64 21704 0 0 0 281 15 0 0 16 0 13 0 158629873 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13717] ppid=13711 vsize=1491380 CPUtime=2.89 /proc/13713/task/13717/stat : 13717 (java) S 13711 13713 13452 0 -1 64 19220 0 0 0 275 14 0 0 16 0 13 0 158629873 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13718] ppid=13711 vsize=1491380 CPUtime=0.03 /proc/13713/task/13718/stat : 13718 (java) S 13711 13713 13452 0 -1 64 24 0 0 0 2 1 0 0 16 0 13 0 158629875 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13719] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13719/stat : 13719 (java) S 13711 13713 13452 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13720] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13720/stat : 13720 (java) S 13711 13713 13452 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13721] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13721/stat : 13721 (java) S 13711 13713 13452 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13722] ppid=13711 vsize=1491380 CPUtime=1.57 /proc/13713/task/13722/stat : 13722 (java) S 13711 13713 13452 0 -1 64 6285 0 0 0 155 2 0 0 15 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13723] ppid=13711 vsize=1491380 CPUtime=1.32 /proc/13713/task/13723/stat : 13723 (java) S 13711 13713 13452 0 -1 64 6011 0 0 0 130 2 0 0 16 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13724] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13724/stat : 13724 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13725] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13725/stat : 13725 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13726] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13726/stat : 13726 (java) S 13711 13713 13452 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158629997 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 718.1 Current children cumulated vsize (KiB) 1491380 [startup+716.901 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13726 /proc/meminfo: memFree=1030776/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1491380 CPUtime=721.3 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 89814 0 1 0 72076 54 0 0 18 0 13 0 158629871 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 372845 80436 1433 9 0 370188 0 [pid=13713/tid=13715] ppid=13711 vsize=1491380 CPUtime=712.48 /proc/13713/task/13715/stat : 13715 (java) R 13711 13713 13452 0 -1 64 35827 0 1 0 71230 18 0 0 25 0 13 0 158629872 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4109293249 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13716] ppid=13711 vsize=1491380 CPUtime=2.96 /proc/13713/task/13716/stat : 13716 (java) S 13711 13713 13452 0 -1 64 21704 0 0 0 281 15 0 0 16 0 13 0 158629873 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13717] ppid=13711 vsize=1491380 CPUtime=2.89 /proc/13713/task/13717/stat : 13717 (java) S 13711 13713 13452 0 -1 64 19220 0 0 0 275 14 0 0 16 0 13 0 158629873 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13718] ppid=13711 vsize=1491380 CPUtime=0.03 /proc/13713/task/13718/stat : 13718 (java) S 13711 13713 13452 0 -1 64 24 0 0 0 2 1 0 0 16 0 13 0 158629875 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13719] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13719/stat : 13719 (java) S 13711 13713 13452 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13720] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13720/stat : 13720 (java) S 13711 13713 13452 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13721] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13721/stat : 13721 (java) S 13711 13713 13452 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13722] ppid=13711 vsize=1491380 CPUtime=1.57 /proc/13713/task/13722/stat : 13722 (java) S 13711 13713 13452 0 -1 64 6285 0 0 0 155 2 0 0 15 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13723] ppid=13711 vsize=1491380 CPUtime=1.32 /proc/13713/task/13723/stat : 13723 (java) S 13711 13713 13452 0 -1 64 6011 0 0 0 130 2 0 0 16 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13724] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13724/stat : 13724 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13725] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13725/stat : 13725 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13726] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13726/stat : 13726 (java) S 13711 13713 13452 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158629997 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 721.3 Current children cumulated vsize (KiB) 1491380 [startup+717.701 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13726 /proc/meminfo: memFree=1030776/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1491380 CPUtime=722.1 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 89814 0 1 0 72156 54 0 0 18 0 13 0 158629871 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 372845 80436 1433 9 0 370188 0 [pid=13713/tid=13715] ppid=13711 vsize=1491380 CPUtime=713.28 /proc/13713/task/13715/stat : 13715 (java) R 13711 13713 13452 0 -1 64 35827 0 1 0 71310 18 0 0 25 0 13 0 158629872 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4110074541 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13716] ppid=13711 vsize=1491380 CPUtime=2.96 /proc/13713/task/13716/stat : 13716 (java) S 13711 13713 13452 0 -1 64 21704 0 0 0 281 15 0 0 16 0 13 0 158629873 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13717] ppid=13711 vsize=1491380 CPUtime=2.89 /proc/13713/task/13717/stat : 13717 (java) S 13711 13713 13452 0 -1 64 19220 0 0 0 275 14 0 0 16 0 13 0 158629873 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13718] ppid=13711 vsize=1491380 CPUtime=0.03 /proc/13713/task/13718/stat : 13718 (java) S 13711 13713 13452 0 -1 64 24 0 0 0 2 1 0 0 16 0 13 0 158629875 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13719] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13719/stat : 13719 (java) S 13711 13713 13452 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13720] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13720/stat : 13720 (java) S 13711 13713 13452 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13721] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13721/stat : 13721 (java) S 13711 13713 13452 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13722] ppid=13711 vsize=1491380 CPUtime=1.57 /proc/13713/task/13722/stat : 13722 (java) S 13711 13713 13452 0 -1 64 6285 0 0 0 155 2 0 0 15 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13723] ppid=13711 vsize=1491380 CPUtime=1.32 /proc/13713/task/13723/stat : 13723 (java) S 13711 13713 13452 0 -1 64 6011 0 0 0 130 2 0 0 16 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13724] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13724/stat : 13724 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13725] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13725/stat : 13725 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13726] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13726/stat : 13726 (java) S 13711 13713 13452 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158629997 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 722.1 Current children cumulated vsize (KiB) 1491380 [startup+718.505 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13726 /proc/meminfo: memFree=1030776/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1491380 CPUtime=722.9 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 89814 0 1 0 72236 54 0 0 18 0 13 0 158629871 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 372845 80436 1433 9 0 370188 0 [pid=13713/tid=13715] ppid=13711 vsize=1491380 CPUtime=714.09 /proc/13713/task/13715/stat : 13715 (java) R 13711 13713 13452 0 -1 64 35827 0 1 0 71391 18 0 0 25 0 13 0 158629872 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4109293286 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13716] ppid=13711 vsize=1491380 CPUtime=2.96 /proc/13713/task/13716/stat : 13716 (java) S 13711 13713 13452 0 -1 64 21704 0 0 0 281 15 0 0 16 0 13 0 158629873 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13717] ppid=13711 vsize=1491380 CPUtime=2.89 /proc/13713/task/13717/stat : 13717 (java) S 13711 13713 13452 0 -1 64 19220 0 0 0 275 14 0 0 16 0 13 0 158629873 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13718] ppid=13711 vsize=1491380 CPUtime=0.03 /proc/13713/task/13718/stat : 13718 (java) S 13711 13713 13452 0 -1 64 24 0 0 0 2 1 0 0 16 0 13 0 158629875 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13719] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13719/stat : 13719 (java) S 13711 13713 13452 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13720] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13720/stat : 13720 (java) S 13711 13713 13452 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13721] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13721/stat : 13721 (java) S 13711 13713 13452 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13722] ppid=13711 vsize=1491380 CPUtime=1.57 /proc/13713/task/13722/stat : 13722 (java) S 13711 13713 13452 0 -1 64 6285 0 0 0 155 2 0 0 15 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13723] ppid=13711 vsize=1491380 CPUtime=1.32 /proc/13713/task/13723/stat : 13723 (java) S 13711 13713 13452 0 -1 64 6011 0 0 0 130 2 0 0 16 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13724] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13724/stat : 13724 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13725] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13725/stat : 13725 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13726] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13726/stat : 13726 (java) S 13711 13713 13452 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158629997 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 722.9 Current children cumulated vsize (KiB) 1491380 [startup+718.902 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13726 /proc/meminfo: memFree=1030776/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=1491380 CPUtime=723.3 /proc/13713/stat : 13713 (java) S 13711 13713 13452 0 -1 0 89814 0 1 0 72276 54 0 0 18 0 13 0 158629871 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 372845 80436 1433 9 0 370188 0 [pid=13713/tid=13715] ppid=13711 vsize=1491380 CPUtime=714.48 /proc/13713/task/13715/stat : 13715 (java) R 13711 13713 13452 0 -1 64 35827 0 1 0 71430 18 0 0 25 0 13 0 158629872 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4110074559 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13716] ppid=13711 vsize=1491380 CPUtime=2.96 /proc/13713/task/13716/stat : 13716 (java) S 13711 13713 13452 0 -1 64 21704 0 0 0 281 15 0 0 16 0 13 0 158629873 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13717] ppid=13711 vsize=1491380 CPUtime=2.89 /proc/13713/task/13717/stat : 13717 (java) S 13711 13713 13452 0 -1 64 19220 0 0 0 275 14 0 0 16 0 13 0 158629873 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13718] ppid=13711 vsize=1491380 CPUtime=0.03 /proc/13713/task/13718/stat : 13718 (java) S 13711 13713 13452 0 -1 64 24 0 0 0 2 1 0 0 16 0 13 0 158629875 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13719] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13719/stat : 13719 (java) S 13711 13713 13452 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13720] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13720/stat : 13720 (java) S 13711 13713 13452 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 158629876 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13721] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13721/stat : 13721 (java) S 13711 13713 13452 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13722] ppid=13711 vsize=1491380 CPUtime=1.57 /proc/13713/task/13722/stat : 13722 (java) S 13711 13713 13452 0 -1 64 6285 0 0 0 155 2 0 0 15 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13723] ppid=13711 vsize=1491380 CPUtime=1.32 /proc/13713/task/13723/stat : 13723 (java) S 13711 13713 13452 0 -1 64 6011 0 0 0 130 2 0 0 16 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=13713/tid=13724] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13724/stat : 13724 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13725] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13725/stat : 13725 (java) S 13711 13713 13452 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 158629880 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=13713/tid=13726] ppid=13711 vsize=1491380 CPUtime=0 /proc/13713/task/13726/stat : 13726 (java) S 13711 13713 13452 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158629997 1527173120 80436 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 723.3 Current children cumulated vsize (KiB) 1491380 [startup+719.003 s] /proc/loadavg: 1.00 1.00 1.00 2/77 13726 /proc/meminfo: memFree=1030776/2055920 swapFree=4191900/4192956 [pid=13713] ppid=13711 vsize=0 CPUtime=723.38 /proc/13713/stat : 13713 (java) Z 13711 13713 13452 0 -1 1036 89831 0 1 0 72282 56 0 0 16 0 2 0 158629871 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/13713/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 723.38 Current children cumulated vsize (KiB) 0 Child status: 30 Real time (s): 719.034 CPU time (s): 723.425 CPU user time (s): 722.829 CPU system time (s): 0.595909 CPU usage (%): 100.611 Max. virtual memory (cumulated for all children) (KiB): 1495340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 722.829 system time used= 0.595909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89831 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= 18154 involuntary context switches= 17654 runsolver used 0.883865 second user time and 1.89371 second system time The end
Begin job on node28 at 2009-06-13 18:24:58 IDJOB=1856405 IDBENCH=2505 IDSOLVER=682 FILE ID=node28/1856405-1244910298 PBS_JOBID= 9354504 Free space on /tmp= 66344 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856405-1244910298/watcher-1856405-1244910298 -o /tmp/evaluation-result-1856405-1244910298/solver-1856405-1244910298 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856405-1244910298.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 34e6501168eba14fba603ee8987209fc RANDOM SEED=572083152 node28.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.231 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.231 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: 1349248 kB Buffers: 56912 kB Cached: 572520 kB SwapCached: 384 kB Active: 40532 kB Inactive: 603156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1349248 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 632 kB Writeback: 0 kB Mapped: 22624 kB Slab: 48716 kB Committed_AS: 127456 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66344 MiB End job on node28 at 2009-06-13 18:36:58