Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | MSAT (TO) | 1800.78 | 1710.45 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo |
| MD5SUM | c90222590d839243781a638355a39a56 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 48.5856 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 136368 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 136367 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 717 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4092269-1466085961.wbo 0.09/0.12 c reading problem ... 0.46/0.34 c ... done. Wall clock time 0.223s. 0.46/0.34 c declared #vars 231 0.46/0.34 c internal #vars 2938 0.46/0.34 c #constraints 2707 0.46/0.34 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.46/0.34 c constraints type 0.46/0.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684 0.46/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23 0.46/0.34 c 2707 constraints processed. 0.46/0.34 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.46/0.34 c constraints type 0.46/0.34 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2684 0.46/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPb => 23 0.46/0.34 c 2707 constraints processed. 0.46/0.34 c objective function length is 2707 literals 1.17/0.51 c And the winner is solver0 1.68/0.85 c SATISFIABLE 1.68/0.85 c OPTIMIZING... 1.68/0.85 c Got one! Elapsed wall clock time (in seconds):0.729 1.68/0.85 o 454 1.68/0.89 c And the winner is solver0 1.92/1.37 c Got one! Elapsed wall clock time (in seconds):1.251 1.92/1.37 o 388 2.01/1.42 c And the winner is solver0 2.16/1.88 c Got one! Elapsed wall clock time (in seconds):1.763 2.16/1.88 o 356 2.20/1.91 c And the winner is solver0 2.31/2.39 c Got one! Elapsed wall clock time (in seconds):2.272 2.31/2.39 o 352 2.32/2.40 c And the winner is solver0 2.37/2.90 c Got one! Elapsed wall clock time (in seconds):2.778 2.37/2.90 o 337 2.37/2.91 c And the winner is solver0 2.48/3.40 c Got one! Elapsed wall clock time (in seconds):3.285 2.48/3.40 o 311 5.04/4.55 c cleaning 2999 clauses out of 6003 with flag 25051/6003 5.25/4.60 c And the winner is solver0 5.26/4.91 c Got one! Elapsed wall clock time (in seconds):4.79 5.26/4.91 o 310 7.48/6.02 c cleaning 4109 clauses out of 8229 with flag 25173/11228 7.88/6.22 c And the winner is solver0 7.98/6.41 c Got one! Elapsed wall clock time (in seconds):6.294 7.98/6.41 o 308 7.98/6.43 c And the winner is solver0 8.03/6.92 c Got one! Elapsed wall clock time (in seconds):6.798 8.03/6.92 o 298 8.03/6.92 c And the winner is solver0 8.03/7.42 c Got one! Elapsed wall clock time (in seconds):7.302 8.03/7.42 o 244 8.52/7.62 c And the winner is solver0 8.59/7.95 c Got one! Elapsed wall clock time (in seconds):7.834 8.59/7.95 o 243 10.53/8.99 c cleaning 5039 clauses out of 10093 with flag 21674/17201 13.98/10.41 c cleaning 5525 clauses out of 11054 with flag 63814/23201 17.83/12.17 c And the winner is solver0 18.03/12.46 c Got one! Elapsed wall clock time (in seconds):12.339 18.03/12.46 o 242 18.03/12.47 c And the winner is solver0 18.05/12.96 c Got one! Elapsed wall clock time (in seconds):12.843 18.05/12.96 o 234 19.72/13.84 c And the winner is solver0 19.87/13.97 c Got one! Elapsed wall clock time (in seconds):13.848 19.87/13.97 o 233 21.08/14.58 c cleaning 8670 clauses out of 17353 with flag 10465/35025 23.10/15.56 c And the winner is solver0 23.26/15.97 c Got one! Elapsed wall clock time (in seconds):15.853 23.26/15.97 o 232 23.50/16.16 c cleaning 6950 clauses out of 13907 with flag 4966/40249 25.50/17.20 c cleaning 6472 clauses out of 12957 with flag 46227/46249 28.17/18.42 c cleaning 6729 clauses out of 13485 with flag 100953/53249 29.97/19.34 c And the winner is solver0 30.07/19.48 c Got one! Elapsed wall clock time (in seconds):19.358 30.07/19.48 o 231 30.11/19.54 c And the winner is solver0 30.23/19.98 c Got one! Elapsed wall clock time (in seconds):19.862 30.23/19.98 o 230 30.46/20.17 c And the winner is solver0 30.64/20.49 c Got one! Elapsed wall clock time (in seconds):20.367 30.64/20.49 o 229 30.67/20.50 c And the winner is solver0 30.69/20.99 c Got one! Elapsed wall clock time (in seconds):20.872 30.69/20.99 o 227 30.71/21.04 c And the winner is solver0 30.81/21.49 c Got one! Elapsed wall clock time (in seconds):21.377 30.81/21.49 o 224 30.81/21.50 c And the winner is solver0 30.82/22.00 c Got one! Elapsed wall clock time (in seconds):21.882 30.82/22.00 o 209 31.02/22.11 c And the winner is solver0 31.08/22.51 c Got one! Elapsed wall clock time (in seconds):22.387 31.08/22.51 o 207 31.46/22.77 c And the winner is solver0 31.65/23.01 c Got one! Elapsed wall clock time (in seconds):22.893 31.65/23.01 o 194 32.31/23.36 c And the winner is solver0 32.49/23.52 c Got one! Elapsed wall clock time (in seconds):23.398 32.49/23.52 o 179 32.49/23.53 c And the winner is solver0 32.54/24.02 c Got one! Elapsed wall clock time (in seconds):23.903 32.54/24.02 o 172 34.09/24.87 c And the winner is solver0 34.28/25.03 c Got one! Elapsed wall clock time (in seconds):24.907 34.28/25.03 o 159 35.21/25.59 c cleaning 10356 clauses out of 20719 with flag 13132/67212 37.74/26.74 c And the winner is solver0 37.90/27.03 c Got one! Elapsed wall clock time (in seconds):26.913 37.90/27.03 o 158 38.02/27.18 c And the winner is solver0 38.25/27.54 c Got one! Elapsed wall clock time (in seconds):27.417 38.25/27.54 o 157 39.17/28.04 c And the winner is solver0 39.32/28.14 c Got one! Elapsed wall clock time (in seconds):28.022 39.32/28.14 o 156 39.32/28.17 c And the winner is solver0 39.40/28.65 c Got one! Elapsed wall clock time (in seconds):28.528 39.40/28.65 o 151 39.69/28.80 c And the winner is solver0 39.76/29.15 c Got one! Elapsed wall clock time (in seconds):29.033 39.76/29.15 o 148 41.25/29.90 c cleaning 11403 clauses out of 22816 with flag 28857/79665 43.57/31.00 c cleaning 8694 clauses out of 17416 with flag 78364/85668 46.55/32.52 c cleaning 7850 clauses out of 15719 with flag 145535/92665 49.76/34.11 c cleaning 7930 clauses out of 15872 with flag 221636/100668 53.15/35.86 c cleaning 8457 clauses out of 16939 with flag 317785/109665 56.59/37.57 c And the winner is solver0 56.75/37.66 c Got one! Elapsed wall clock time (in seconds):37.54 56.75/37.66 o 145 58.68/38.62 c cleaning 10919 clauses out of 21852 with flag 46739/123035 60.88/39.70 c cleaning 8460 clauses out of 16935 with flag 104608/129037 63.27/40.98 c cleaning 7729 clauses out of 15472 with flag 174675/136034 66.38/42.49 c cleaning 7861 clauses out of 15749 with flag 261176/144040 67.78/43.17 c And the winner is solver0 67.97/43.66 c Got one! Elapsed wall clock time (in seconds):43.546 67.97/43.66 o 144 68.85/44.14 c cleaning 6754 clauses out of 13551 with flag 15648/149703 70.23/44.83 c And the winner is solver0 70.38/45.17 c Got one! Elapsed wall clock time (in seconds):45.051 70.38/45.17 o 131 70.44/45.23 c And the winner is solver0 70.54/45.67 c Got one! Elapsed wall clock time (in seconds):45.556 70.54/45.67 o 129 71.18/46.07 c cleaning 6206 clauses out of 12444 with flag 18628/155350 73.79/47.33 c cleaning 6112 clauses out of 12239 with flag 78984/161351 75.58/48.21 c And the winner is solver0 75.64/48.68 c Got one! Elapsed wall clock time (in seconds):48.563 75.64/48.68 o 126 75.66/48.72 c And the winner is solver0 75.74/49.19 c Got one! Elapsed wall clock time (in seconds):49.068 75.74/49.19 o 124 75.96/49.38 c cleaning 5699 clauses out of 11416 with flag 8292/166640 76.16/49.50 c And the winner is solver0 76.45/49.69 c Got one! Elapsed wall clock time (in seconds):49.575 76.45/49.69 o 123 76.45/49.71 c And the winner is solver0 76.47/50.20 c Got one! Elapsed wall clock time (in seconds):50.081 76.47/50.20 o 120 78.07/51.00 c cleaning 5800 clauses out of 11611 with flag 51077/172534 81.20/52.53 c cleaning 5900 clauses out of 11811 with flag 110933/178534 83.60/53.79 c And the winner is solver0 83.95/54.21 c Got one! Elapsed wall clock time (in seconds):54.087 83.95/54.21 o 119 84.32/54.49 c cleaning 5709 clauses out of 11430 with flag 9238/184053 84.92/54.72 c And the winner is solver0 85.06/55.21 c Got one! Elapsed wall clock time (in seconds):55.093 85.06/55.21 o 117 85.06/55.23 c And the winner is solver0 85.08/55.72 c Got one! Elapsed wall clock time (in seconds):55.598 85.08/55.72 o 113 85.08/55.79 c And the winner is solver0 85.28/56.22 c Got one! Elapsed wall clock time (in seconds):56.103 85.28/56.22 o 112 86.41/56.86 c And the winner is solver0 86.64/57.23 c Got one! Elapsed wall clock time (in seconds):57.109 86.64/57.23 o 111 86.64/57.27 c And the winner is solver0 86.77/57.74 c Got one! Elapsed wall clock time (in seconds):57.616 86.77/57.74 o 100 86.77/57.78 c And the winner is solver0 86.91/58.24 c Got one! Elapsed wall clock time (in seconds):58.122 86.91/58.24 o 99 86.91/58.27 c And the winner is solver0 86.99/58.75 c Got one! Elapsed wall clock time (in seconds):58.629 86.99/58.75 o 98 87.29/58.93 c And the winner is solver0 87.46/59.25 c Got one! Elapsed wall clock time (in seconds):59.137 87.46/59.25 o 92 87.46/59.27 c And the winner is solver0 94.26/65.93 c Got one! Elapsed wall clock time (in seconds):65.81 94.26/65.93 o 80 94.99/66.36 c cleaning 6803 clauses out of 13621 with flag 17089/191953 95.39/66.55 c And the winner is solver0 95.56/66.94 c Got one! Elapsed wall clock time (in seconds):66.824 95.56/66.94 o 77 96.45/67.47 c And the winner is solver0 96.69/67.96 c Got one! Elapsed wall clock time (in seconds):67.845 96.69/67.96 o 76 97.15/68.26 c And the winner is solver0 97.35/68.49 c Got one! Elapsed wall clock time (in seconds):68.37 97.35/68.49 o 75 98.34/69.03 c And the winner is solver0 98.49/69.51 c Got one! Elapsed wall clock time (in seconds):69.396 98.49/69.51 o 70 98.83/69.75 c cleaning 7222 clauses out of 14455 with flag 9499/199590 100.44/70.54 c And the winner is solver0 100.57/70.64 c Got one! Elapsed wall clock time (in seconds):70.523 100.57/70.64 o 69 101.09/70.93 c cleaning 6468 clauses out of 12964 with flag 16793/205321 101.88/71.39 c And the winner is solver0 102.17/71.68 c Got one! Elapsed wall clock time (in seconds):71.558 102.17/71.68 o 67 102.57/71.97 c And the winner is solver0 102.82/72.21 c Got one! Elapsed wall clock time (in seconds):72.096 102.82/72.21 o 66 103.23/72.44 c cleaning 6365 clauses out of 12748 with flag 9504/211573 103.43/72.53 c And the winner is solver0 103.62/72.76 c Got one! Elapsed wall clock time (in seconds):72.637 103.62/72.76 o 62 103.87/72.91 c And the winner is solver0 103.95/73.29 c Got one! Elapsed wall clock time (in seconds):73.176 103.95/73.29 o 61 106.01/74.37 c cleaning 6235 clauses out of 12493 with flag 56064/217683 108.21/75.48 c cleaning 6118 clauses out of 12259 with flag 129347/223684 111.21/76.90 c cleaning 6562 clauses out of 13144 with flag 218699/230687 114.61/78.63 c cleaning 7269 clauses out of 14581 with flag 322188/238686 118.61/80.68 c cleaning 8148 clauses out of 16309 with flag 446856/247683 123.21/82.99 c cleaning 9072 clauses out of 18161 with flag 592616/257683 129.02/85.89 c cleaning 10037 clauses out of 20089 with flag 766910/268683 129.22/85.98 c And the winner is solver0 129.46/86.34 c Got one! Elapsed wall clock time (in seconds):86.222 129.46/86.34 o 60 130.33/86.88 c And the winner is solver0 130.52/86.98 c Got one! Elapsed wall clock time (in seconds):86.865 130.52/86.98 o 56 131.76/87.67 c cleaning 8165 clauses out of 16354 with flag 35495/274985 133.36/88.47 c And the winner is solver0 133.53/88.58 c Got one! Elapsed wall clock time (in seconds):88.46 133.53/88.58 o 48 133.62/88.63 c And the winner is solver0 135.39/90.23 c Got one! Elapsed wall clock time (in seconds):90.111 135.39/90.23 o 45 135.67/90.45 c cleaning 6818 clauses out of 13651 with flag 12730/280447 136.67/90.90 c And the winner is solver0 136.77/91.29 c Got one! Elapsed wall clock time (in seconds):91.17 136.77/91.29 o 44 136.78/91.37 c And the winner is solver0 257.92/211.64 c Got one! Elapsed wall clock time (in seconds):211.52 257.92/211.64 o 43 258.21/211.80 c And the winner is solver0 305.00/258.13 c Got one! Elapsed wall clock time (in seconds):258.013 305.00/258.13 o 42 305.89/258.66 c cleaning 6649 clauses out of 13325 with flag 29061/286939 307.89/259.64 c And the winner is solver1 307.89/259.65 c cleaning 6328 clauses out of 12674 with flag 98417/292937 307.98/259.71 c Got one! Elapsed wall clock time (in seconds):259.596 307.98/259.71 o 40 308.26/259.92 c And the winner is solver0 308.33/260.30 c Got one! Elapsed wall clock time (in seconds):260.181 308.33/260.30 o 35 308.65/260.50 c And the winner is solver0 308.68/260.89 c Got one! Elapsed wall clock time (in seconds):260.767 308.68/260.89 o 33 309.62/261.40 c And the winner is solver0 309.72/261.53 c Got one! Elapsed wall clock time (in seconds):261.408 309.72/261.53 o 31 310.18/261.89 c And the winner is solver0 310.44/262.12 c Got one! Elapsed wall clock time (in seconds):262.002 310.44/262.12 o 30 310.90/262.49 c And the winner is solver0 311.26/262.72 c Got one! Elapsed wall clock time (in seconds):262.597 311.26/262.72 o 29 311.54/262.95 c cleaning 7632 clauses out of 15267 with flag 9774/301858 311.74/263.02 c And the winner is solver0 311.83/263.31 c Got one! Elapsed wall clock time (in seconds):263.192 311.83/263.31 o 28 311.92/263.47 c And the winner is solver0 342.73/293.84 c Got one! Elapsed wall clock time (in seconds):293.716 342.73/293.84 o 26 342.81/293.98 c And the winner is solver0 618.67/566.83 c Got one! Elapsed wall clock time (in seconds):566.705 618.67/566.83 o 23 620.09/567.63 c cleaning 7064 clauses out of 14135 with flag 62332/308358 620.48/567.81 c And the winner is solver0 620.60/567.96 c Got one! Elapsed wall clock time (in seconds):567.845 620.60/567.96 o 22 621.71/568.62 c cleaning 6324 clauses out of 12659 with flag 48393/313946 623.31/569.40 c cleaning 6167 clauses out of 12335 with flag 125075/319946 625.11/570.33 c cleaning 6573 clauses out of 13168 with flag 219360/326946 627.00/571.28 c And the winner is solver0 627.28/571.62 c Got one! Elapsed wall clock time (in seconds):571.498 627.28/571.62 o 21 628.88/572.52 c cleaning 9150 clauses out of 18299 with flag 69477/338650 629.28/572.72 c And the winner is solver0 629.41/572.87 c Got one! Elapsed wall clock time (in seconds):572.755 629.41/572.87 o 20 630.14/573.36 c And the winner is solver0 630.35/573.53 c Got one! Elapsed wall clock time (in seconds):573.414 630.35/573.53 o 19 630.91/573.97 c cleaning 7610 clauses out of 15227 with flag 28932/344728 631.91/574.42 c And the winner is solver0 632.07/574.69 c Got one! Elapsed wall clock time (in seconds):574.575 632.07/574.69 o 18 632.71/575.12 c cleaning 6561 clauses out of 13131 with flag 24230/350242 634.11/575.88 c cleaning 6276 clauses out of 12570 with flag 110700/356242 634.11/575.88 c And the winner is solver0 634.40/576.35 c Got one! Elapsed wall clock time (in seconds):576.237 634.40/576.35 o 17 635.39/576.92 c And the winner is solver0 635.55/577.02 c Got one! Elapsed wall clock time (in seconds):576.901 635.55/577.02 o 15 636.36/577.56 c And the winner is solver0 636.52/577.68 c Got one! Elapsed wall clock time (in seconds):577.567 636.52/577.68 o 13 636.84/577.97 c cleaning 6551 clauses out of 13113 with flag 10123/363061 638.25/578.64 c cleaning 6279 clauses out of 12559 with flag 85934/369058 639.84/579.45 c cleaning 6640 clauses out of 13279 with flag 165911/376057 641.44/580.24 c And the winner is solver0 641.59/580.35 c Got one! Elapsed wall clock time (in seconds):580.236 641.59/580.35 o 12 642.94/581.18 c cleaning 9133 clauses out of 18267 with flag 58964/387685 644.56/581.96 c cleaning 7559 clauses out of 15133 with flag 132924/393684 646.21/582.78 c And the winner is solver0 646.52/583.03 c Got one! Elapsed wall clock time (in seconds):582.911 646.52/583.03 o 11 648.07/583.93 c cleaning 9448 clauses out of 18899 with flag 60360/405009 649.47/584.70 c cleaning 7722 clauses out of 15453 with flag 139266/411011 651.27/585.58 c cleaning 7359 clauses out of 14730 with flag 234562/418010 652.67/586.26 c And the winner is solver0 652.93/586.71 c Got one! Elapsed wall clock time (in seconds):586.59 652.93/586.71 o 10 654.14/587.49 c And the winner is solver0 654.41/587.89 c Got one! Elapsed wall clock time (in seconds):587.775 654.41/587.89 o 9 654.82/588.23 c cleaning 9282 clauses out of 18563 with flag 10225/429202 656.42/589.00 c cleaning 7631 clauses out of 15283 with flag 83910/435204 658.22/589.91 c cleaning 7319 clauses out of 14650 with flag 173030/442202 660.26/590.98 c And the winner is solver0 660.45/591.08 c Got one! Elapsed wall clock time (in seconds):590.964 660.45/591.08 o 8 660.97/591.41 c And the winner is solver0 849.33/777.32 c cleaning 0 clauses out of 9909 with flag 0/9945 1734.89/1646.09 c cleaning 0 clauses out of 15910 with flag 0/15946 1800.06/1710.40 c >>>>>>>>>> Solver number 0 (87 answers) <<<<<<<<<<<<<<<<<< 1800.06/1710.40 c starts : 3371 1800.06/1710.40 c conflicts : 451013 1800.06/1710.40 c decisions : 995038 1800.06/1710.40 c propagations : 117560375 1800.06/1710.40 c inspects : 554035612 1800.06/1710.40 c shortcuts : 0 1800.06/1710.40 c learnt literals : 0 1800.06/1710.40 c learnt binary clauses : 37 1800.06/1710.40 c learnt ternary clauses : 458 1800.06/1710.40 c learnt constraints : 451013 1800.06/1710.40 c ignored constraints : 0 1800.06/1710.40 c root simplifications : 0 1800.06/1710.40 c removed literals (reason simplification) : 1669299 1800.06/1710.40 c reason swapping (by a shorter reason) : 0 1800.06/1710.40 c Calls to reduceDB : 60 1800.06/1710.40 c Number of update (reduction) of LBD : 233220 1800.06/1710.40 c Imported unit clauses : 0 1800.06/1710.40 c number of reductions to clauses (during analyze) : 0 1800.06/1710.40 c number of learned constraints concerned by reduction : 0 1800.06/1710.40 c number of learning phase by resolution : 0 1800.06/1710.40 c number of learning phase by cutting planes : 0 1800.06/1710.40 c speed (assignments/second) : 81042.3064859145 1800.06/1710.40 c non guided choices 12670 1800.06/1710.41 c learnt constraints type 1800.06/1710.41 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 37 1800.06/1710.41 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16105 1800.06/1710.41 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.06/1710.41 c starts : 155 1800.06/1710.41 c conflicts : 16395 1800.06/1710.41 c decisions : 270520 1800.06/1710.41 c propagations : 1474515 1800.06/1710.41 c inspects : 1109406066 1800.06/1710.41 c shortcuts : 0 1800.06/1710.41 c learnt literals : 0 1800.06/1710.41 c learnt binary clauses : 0 1800.06/1710.41 c learnt ternary clauses : 0 1800.06/1710.41 c learnt constraints : 16358 1800.06/1710.41 c ignored constraints : 0 1800.06/1710.41 c root simplifications : 0 1800.06/1710.41 c removed literals (reason simplification) : 0 1800.06/1710.41 c reason swapping (by a shorter reason) : 0 1800.06/1710.41 c Calls to reduceDB : 2 1800.06/1710.41 c Number of update (reduction) of LBD : 0 1800.06/1710.41 c Imported unit clauses : 0 1800.06/1710.41 c number of reductions to clauses (during analyze) : 0 1800.06/1710.41 c number of learned constraints concerned by reduction : 0 1800.06/1710.41 c number of learning phase by resolution : 0 1800.06/1710.41 c number of learning phase by cutting planes : 0 1800.06/1710.41 c speed (assignments/second) : 1317.8384987250747 1800.06/1710.41 c non guided choices 7777 1800.06/1710.42 c learnt constraints type 1800.06/1710.42 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 780 1800.06/1710.42 c org.sat4j.pb.constraints.pb.MaxWatchPb => 15578 1800.06/1710.42 s SATISFIABLE 1800.06/1710.42 c Found 87 solution(s) 1800.06/1710.42 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 1800.06/1710.42 c objective function=8 1800.06/1710.42 c Total wall clock time (in seconds): 1710.303
OK 8
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4092269-1466085961/watcher-4092269-1466085961 -o /tmp/evaluation-result-4092269-1466085961/solver-4092269-1466085961 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466074085-13483 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092269-1466085961.wbo pid=20462 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.36 2.14 2.05 3/196 20465 /proc/meminfo: memFree=30378620/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9488 CPUtime=0 cores=1,3,5,7 /proc/20465/stat : 20465 (java) R 20462 20465 11533 0 -1 4202496 477 0 0 0 0 0 0 0 20 0 1 0 10646063 9715712 132 33554432000 1073741824 1073778376 140734613837824 140734613834952 224922173408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2323 142 104 9 0 71 0 [startup+0.10016 s] /proc/loadavg: 2.36 2.14 2.05 3/196 20465 /proc/meminfo: memFree=30378620/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/20465/stat : 20465 (java) S 20462 20465 11533 0 -1 4202496 4424 0 1 0 8 1 0 0 20 0 18 0 10646063 9787879424 6047 33554432000 1073741824 1073778376 140734613837824 140734613828960 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2389619 6047 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200311 s] /proc/loadavg: 2.36 2.14 2.05 3/196 20465 /proc/meminfo: memFree=30378620/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/20465/stat : 20465 (java) S 20462 20465 11533 0 -1 4202496 4719 0 1 0 22 1 0 0 20 0 18 0 10646063 9787879424 6815 33554432000 1073741824 1073778376 140734613837824 140734613828960 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2389619 6815 2198 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.300315 s] /proc/loadavg: 2.36 2.14 2.05 3/196 20465 /proc/meminfo: memFree=30378620/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9558476 CPUtime=0.46 cores=1,3,5,7 /proc/20465/stat : 20465 (java) S 20462 20465 11533 0 -1 4202496 5621 0 1 0 45 1 0 0 20 0 18 0 10646063 9787879424 8376 33554432000 1073741824 1073778376 140734613837824 140734613828960 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2389619 8376 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.70032 s] /proc/loadavg: 2.36 2.14 2.05 3/196 20465 /proc/meminfo: memFree=30378620/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9824732 CPUtime=1.59 cores=1,3,5,7 /proc/20465/stat : 20465 (java) S 20462 20465 11533 0 -1 4202496 12230 0 1 0 155 4 0 0 20 0 19 0 10646063 10060525568 15226 33554432000 1073741824 1073778376 140734613837824 140734613828960 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2456183 15226 2269 9 0 2446860 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9824732 [startup+1.50084 s] /proc/loadavg: 2.33 2.14 2.04 2/215 20490 /proc/meminfo: memFree=30319332/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9824732 CPUtime=2.16 cores=1,3,5,7 /proc/20465/stat : 20465 (java) S 20462 20465 11533 0 -1 4202496 14017 0 1 0 207 9 0 0 20 0 19 0 10646063 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140734613828960 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2456183 19430 2275 9 0 2446860 0 [pid=20465/tid=20467] ppid=20462 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/20465/task/20467/stat : 20467 (java) S 20462 20465 11533 0 -1 4202560 2441 0 1 0 33 2 0 0 20 0 19 0 10646064 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386328204152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20468] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20468/stat : 20468 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386317265832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20469] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20469/stat : 20469 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386316213288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20470] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20470/stat : 20470 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386315160232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20471] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20471/stat : 20471 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386314107688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20472] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20472/stat : 20472 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386313054632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20473] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20473/stat : 20473 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386312002088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20474] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20474/stat : 20474 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386310949032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20475] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20475/stat : 20475 (java) S 20462 20465 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386309896488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20476] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20476/stat : 20476 (java) S 20462 20465 11533 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10646066 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386151508840 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20477] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20477/stat : 20477 (java) S 20462 20465 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10646066 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386150455160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20478] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20478/stat : 20478 (java) S 20462 20465 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10646066 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386149401992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20479] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20479/stat : 20479 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646069 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386148350736 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20480] ppid=20462 vsize=9824732 CPUtime=0.68 cores=1,3,5,7 /proc/20465/task/20480/stat : 20480 (java) S 20462 20465 11533 0 -1 4202560 5794 0 0 0 68 0 0 0 20 0 19 0 10646069 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386147297592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20481] ppid=20462 vsize=9824732 CPUtime=0.58 cores=1,3,5,7 /proc/20465/task/20481/stat : 20481 (java) S 20462 20465 11533 0 -1 4202560 4432 0 0 0 57 1 0 0 20 0 19 0 10646069 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386146245048 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20482] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20482/stat : 20482 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646069 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386145192184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20483] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20483/stat : 20483 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646069 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386144139848 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20487] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20487/stat : 20487 (java) S 20462 20465 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10646100 10060525568 19430 33554432000 1073741824 1073778376 140734613837824 140386139927976 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.16 Current children cumulated vsize (KiB) 9824732 [startup+3.10087 s] /proc/loadavg: 2.33 2.14 2.04 2/215 20496 /proc/meminfo: memFree=30294268/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9824732 CPUtime=2.48 cores=1,3,5,7 /proc/20465/stat : 20465 (java) S 20462 20465 11533 0 -1 4202496 15505 0 1 0 235 13 0 0 20 0 19 0 10646063 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140734613828960 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2456183 24553 2277 9 0 2446860 0 [pid=20465/tid=20467] ppid=20462 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/20465/task/20467/stat : 20467 (java) S 20462 20465 11533 0 -1 4202560 2444 0 1 0 36 2 0 0 20 0 19 0 10646064 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386328204152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20468] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20468/stat : 20468 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386317265832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20469] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20469/stat : 20469 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386316213288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20470] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20470/stat : 20470 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386315160232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20471] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20471/stat : 20471 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386314107688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20472] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20472/stat : 20472 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386313054632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20473] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20473/stat : 20473 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386312002088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20474] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20474/stat : 20474 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386310949032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20475] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20475/stat : 20475 (java) S 20462 20465 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386309896488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20476] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20476/stat : 20476 (java) S 20462 20465 11533 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 10646066 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386151508840 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20477] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20477/stat : 20477 (java) S 20462 20465 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10646066 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386150455160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20478] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20478/stat : 20478 (java) S 20462 20465 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10646066 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386149401992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20479] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20479/stat : 20479 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646069 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386148350736 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20480] ppid=20462 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/20465/task/20480/stat : 20480 (java) S 20462 20465 11533 0 -1 4202560 5796 0 0 0 76 0 0 0 20 0 19 0 10646069 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386147297592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20481] ppid=20462 vsize=9824732 CPUtime=0.71 cores=1,3,5,7 /proc/20465/task/20481/stat : 20481 (java) S 20462 20465 11533 0 -1 4202560 5888 0 0 0 70 1 0 0 20 0 19 0 10646069 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386146245048 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20482] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20482/stat : 20482 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646069 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386145192184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20483] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20483/stat : 20483 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646069 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386144139848 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20487] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20487/stat : 20487 (java) S 20462 20465 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10646100 10060525568 24553 33554432000 1073741824 1073778376 140734613837824 140386139927976 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.48 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+6.30098 s] /proc/loadavg: 2.33 2.14 2.04 4/218 20508 /proc/meminfo: memFree=30136708/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9824732 CPUtime=7.98 cores=1,3,5,7 /proc/20465/stat : 20465 (java) S 20462 20465 11533 0 -1 4202496 16934 0 1 0 779 19 0 0 20 0 19 0 10646063 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140734613828960 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2456183 45662 2295 9 0 2446860 0 [pid=20465/tid=20467] ppid=20462 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/20465/task/20467/stat : 20467 (java) S 20462 20465 11533 0 -1 4202560 2445 0 1 0 36 2 0 0 20 0 19 0 10646064 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386328204152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20468] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20468/stat : 20468 (java) S 20462 20465 11533 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386317265832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20469] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20469/stat : 20469 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386316213288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20470] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20470/stat : 20470 (java) S 20462 20465 11533 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386315160232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20471] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20471/stat : 20471 (java) S 20462 20465 11533 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386314107688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20472] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20472/stat : 20472 (java) S 20462 20465 11533 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386313054632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20473] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20473/stat : 20473 (java) S 20462 20465 11533 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386312002088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20474] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20474/stat : 20474 (java) S 20462 20465 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386310949032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20475] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20475/stat : 20475 (java) S 20462 20465 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10646065 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386309896488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20476] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20476/stat : 20476 (java) S 20462 20465 11533 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 10646066 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386151508840 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20477] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20477/stat : 20477 (java) S 20462 20465 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 10646066 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386150455160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20478] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20478/stat : 20478 (java) S 20462 20465 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 10646066 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386149401992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20479] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20479/stat : 20479 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646069 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386148350736 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20480] ppid=20462 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/20465/task/20480/stat : 20480 (java) S 20462 20465 11533 0 -1 4202560 5802 0 0 0 106 0 0 0 20 0 19 0 10646069 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386147297592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20481] ppid=20462 vsize=9824732 CPUtime=0.84 cores=1,3,5,7 /proc/20465/task/20481/stat : 20481 (java) S 20462 20465 11533 0 -1 4202560 7208 0 0 0 82 2 0 0 20 0 19 0 10646069 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386146245048 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20482] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20482/stat : 20482 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646069 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386145192184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20483] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20483/stat : 20483 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10646069 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386144139848 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20487] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20487/stat : 20487 (java) S 20462 20465 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10646100 10060525568 45662 33554432000 1073741824 1073778376 140734613837824 140386139927976 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.98 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=20465/tid=20757] ppid=20462 vsize=9824732 CPUtime=941.63 cores=1,3,5,7 /proc/20465/task/20757/stat : 20757 (java) R 20462 20465 11533 0 -1 4202560 1075 0 0 0 94141 22 0 0 20 0 21 0 10705191 10060525568 981449 33554432000 1073741824 1073778376 140734613837824 140386142031664 140386191055561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20758] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20758/stat : 20758 (java) S 20462 20465 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10705216 10060525568 981449 33554432000 1073741824 1073778376 140734613837824 140386143085608 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1627.25 Current children cumulated vsize (KiB) 9824732 [startup+1602.3 s] /proc/loadavg: 2.04 2.08 2.06 3/217 21175 /proc/meminfo: memFree=24140904/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9824732 CPUtime=1689.74 cores=1,3,5,7 /proc/20465/stat : 20465 (java) S 20462 20465 11533 0 -1 4202496 38436 0 1 0 168462 512 0 0 20 0 21 0 10646063 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140734613828960 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2456183 988919 2303 9 0 2446860 0 [pid=20465/tid=20467] ppid=20462 vsize=9824732 CPUtime=4.91 cores=1,3,5,7 /proc/20465/task/20467/stat : 20467 (java) S 20462 20465 11533 0 -1 4202560 2553 0 1 0 469 22 0 0 20 0 21 0 10646064 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386328204280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20468] ppid=20462 vsize=9824732 CPUtime=4.05 cores=1,3,5,7 /proc/20465/task/20468/stat : 20468 (java) S 20462 20465 11533 0 -1 4202560 817 0 0 0 368 37 0 0 20 0 21 0 10646065 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386317265832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20469] ppid=20462 vsize=9824732 CPUtime=3.9 cores=1,3,5,7 /proc/20465/task/20469/stat : 20469 (java) S 20462 20465 11533 0 -1 4202560 676 0 0 0 361 29 0 0 20 0 21 0 10646065 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386316213288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20470] ppid=20462 vsize=9824732 CPUtime=4.02 cores=1,3,5,7 /proc/20465/task/20470/stat : 20470 (java) S 20462 20465 11533 0 -1 4202560 702 0 0 0 373 29 0 0 20 0 21 0 10646065 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386315160232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20471] ppid=20462 vsize=9824732 CPUtime=4.56 cores=1,3,5,7 /proc/20465/task/20471/stat : 20471 (java) S 20462 20465 11533 0 -1 4202560 683 0 0 0 422 34 0 0 20 0 21 0 10646065 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386314107688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20472] ppid=20462 vsize=9824732 CPUtime=4.67 cores=1,3,5,7 /proc/20465/task/20472/stat : 20472 (java) S 20462 20465 11533 0 -1 4202560 704 0 0 0 432 35 0 0 20 0 21 0 10646065 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386313054632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20473] ppid=20462 vsize=9824732 CPUtime=3.88 cores=1,3,5,7 /proc/20465/task/20473/stat : 20473 (java) S 20462 20465 11533 0 -1 4202560 625 0 0 0 363 25 0 0 20 0 21 0 10646065 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386312002088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20474] ppid=20462 vsize=9824732 CPUtime=4.37 cores=1,3,5,7 /proc/20465/task/20474/stat : 20474 (java) S 20462 20465 11533 0 -1 4202560 765 0 0 0 405 32 0 0 20 0 21 0 10646065 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386310949032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20475] ppid=20462 vsize=9824732 CPUtime=3.76 cores=1,3,5,7 /proc/20465/task/20475/stat : 20475 (java) S 20462 20465 11533 0 -1 4202560 689 0 0 0 347 29 0 0 20 0 21 0 10646065 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386309896488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20476] ppid=20462 vsize=9824732 CPUtime=8.23 cores=1,3,5,7 /proc/20465/task/20476/stat : 20476 (java) S 20462 20465 11533 0 -1 4202560 3855 0 0 0 812 11 0 0 20 0 21 0 10646066 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386151508840 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20477] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20477/stat : 20477 (java) S 20462 20465 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10646066 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386150455160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20478] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20478/stat : 20478 (java) S 20462 20465 11533 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 21 0 10646066 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386149401992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20479] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20479/stat : 20479 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10646069 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386148350736 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20480] ppid=20462 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/20465/task/20480/stat : 20480 (java) S 20462 20465 11533 0 -1 4202560 9007 0 0 0 171 2 0 0 20 0 21 0 10646069 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386147297592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20481] ppid=20462 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/20465/task/20481/stat : 20481 (java) S 20462 20465 11533 0 -1 4202560 12294 0 0 0 160 3 0 0 20 0 21 0 10646069 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386146245048 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20482] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20482/stat : 20482 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10646069 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386145192184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20483] ppid=20462 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/20465/task/20483/stat : 20483 (java) S 20462 20465 11533 0 -1 4202560 93 0 0 0 19 30 0 0 20 0 21 0 10646069 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386144139848 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20690] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20690/stat : 20690 (java) S 20462 20465 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10672043 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386139927336 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20757] ppid=20462 vsize=9824732 CPUtime=998.15 cores=1,3,5,7 /proc/20465/task/20757/stat : 20757 (java) R 20462 20465 11533 0 -1 4202560 1076 0 0 0 99792 23 0 0 20 0 21 0 10705191 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386142031664 140386191187029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20758] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20758/stat : 20758 (java) S 20462 20465 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10705216 10060525568 988919 33554432000 1073741824 1073778376 140734613837824 140386143085608 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1689.74 Current children cumulated vsize (KiB) 9824732 [startup+1662.3 s] /proc/loadavg: 2.37 2.18 2.10 3/216 21176 /proc/meminfo: memFree=23975840/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9824732 CPUtime=1751.35 cores=1,3,5,7 /proc/20465/stat : 20465 (java) S 20462 20465 11533 0 -1 4202496 38910 0 1 0 174607 528 0 0 20 0 21 0 10646063 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140734613828960 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2456183 1030083 2303 9 0 2446860 0 [pid=20465/tid=20467] ppid=20462 vsize=9824732 CPUtime=4.93 cores=1,3,5,7 /proc/20465/task/20467/stat : 20467 (java) S 20462 20465 11533 0 -1 4202560 2556 0 1 0 470 23 0 0 20 0 21 0 10646064 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386328204280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20468] ppid=20462 vsize=9824732 CPUtime=4.28 cores=1,3,5,7 /proc/20465/task/20468/stat : 20468 (java) S 20462 20465 11533 0 -1 4202560 849 0 0 0 390 38 0 0 20 0 21 0 10646065 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386317265832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20469] ppid=20462 vsize=9824732 CPUtime=4.1 cores=1,3,5,7 /proc/20465/task/20469/stat : 20469 (java) S 20462 20465 11533 0 -1 4202560 712 0 0 0 379 31 0 0 20 0 21 0 10646065 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386316213288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20470] ppid=20462 vsize=9824732 CPUtime=4.26 cores=1,3,5,7 /proc/20465/task/20470/stat : 20470 (java) S 20462 20465 11533 0 -1 4202560 873 0 0 0 395 31 0 0 20 0 21 0 10646065 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386315160232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20471] ppid=20462 vsize=9824732 CPUtime=4.81 cores=1,3,5,7 /proc/20465/task/20471/stat : 20471 (java) S 20462 20465 11533 0 -1 4202560 713 0 0 0 446 35 0 0 20 0 21 0 10646065 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386314107688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20472] ppid=20462 vsize=9824732 CPUtime=4.98 cores=1,3,5,7 /proc/20465/task/20472/stat : 20472 (java) S 20462 20465 11533 0 -1 4202560 742 0 0 0 462 36 0 0 20 0 21 0 10646065 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386313054632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20473] ppid=20462 vsize=9824732 CPUtime=4.15 cores=1,3,5,7 /proc/20465/task/20473/stat : 20473 (java) S 20462 20465 11533 0 -1 4202560 659 0 0 0 389 26 0 0 20 0 21 0 10646065 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386312002088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20474] ppid=20462 vsize=9824732 CPUtime=4.72 cores=1,3,5,7 /proc/20465/task/20474/stat : 20474 (java) S 20462 20465 11533 0 -1 4202560 818 0 0 0 438 34 0 0 20 0 21 0 10646065 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386310949032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20475] ppid=20462 vsize=9824732 CPUtime=4.02 cores=1,3,5,7 /proc/20465/task/20475/stat : 20475 (java) S 20462 20465 11533 0 -1 4202560 757 0 0 0 372 30 0 0 20 0 21 0 10646065 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386309896488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20476] ppid=20462 vsize=9824732 CPUtime=8.23 cores=1,3,5,7 /proc/20465/task/20476/stat : 20476 (java) S 20462 20465 11533 0 -1 4202560 3859 0 0 0 812 11 0 0 20 0 21 0 10646066 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386151508840 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20477] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20477/stat : 20477 (java) S 20462 20465 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10646066 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386150455160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20478] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20478/stat : 20478 (java) S 20462 20465 11533 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 21 0 10646066 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386149401992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20479] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20479/stat : 20479 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10646069 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386148350736 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20480] ppid=20462 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/20465/task/20480/stat : 20480 (java) S 20462 20465 11533 0 -1 4202560 9007 0 0 0 171 2 0 0 20 0 21 0 10646069 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386147297592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20481] ppid=20462 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/20465/task/20481/stat : 20481 (java) S 20462 20465 11533 0 -1 4202560 12294 0 0 0 160 3 0 0 20 0 21 0 10646069 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386146245048 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20482] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20482/stat : 20482 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10646069 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386145192184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20483] ppid=20462 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/20465/task/20483/stat : 20483 (java) S 20462 20465 11533 0 -1 4202560 95 0 0 0 20 32 0 0 20 0 21 0 10646069 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386144139848 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20690] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20690/stat : 20690 (java) S 20462 20465 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10672043 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386139927336 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20757] ppid=20462 vsize=9824732 CPUtime=1057.58 cores=1,3,5,7 /proc/20465/task/20757/stat : 20757 (java) R 20462 20465 11533 0 -1 4202560 1079 0 0 0 105733 25 0 0 20 0 21 0 10705191 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386142031584 140386191184859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20758] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20758/stat : 20758 (java) S 20462 20465 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10705216 10060525568 1030083 33554432000 1073741824 1073778376 140734613837824 140386143085608 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1751.35 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1710.4 s] /proc/loadavg: 2.18 2.16 2.09 3/217 21178 /proc/meminfo: memFree=23919928/32872528 swapFree=162364/176672 [pid=20465] ppid=20462 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7 /proc/20465/stat : 20465 (java) S 20462 20465 11533 0 -1 4202496 38993 0 1 0 179476 530 0 0 20 0 21 0 10646063 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140734613828960 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20465/statm: 2456183 1035242 2303 9 0 2446860 0 [pid=20465/tid=20467] ppid=20462 vsize=9824732 CPUtime=4.96 cores=1,3,5,7 /proc/20465/task/20467/stat : 20467 (java) S 20462 20465 11533 0 -1 4202560 2557 0 1 0 472 24 0 0 20 0 21 0 10646064 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386328204280 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20468] ppid=20462 vsize=9824732 CPUtime=4.42 cores=1,3,5,7 /proc/20465/task/20468/stat : 20468 (java) S 20462 20465 11533 0 -1 4202560 858 0 0 0 404 38 0 0 20 0 21 0 10646065 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386317265832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20469] ppid=20462 vsize=9824732 CPUtime=4.2 cores=1,3,5,7 /proc/20465/task/20469/stat : 20469 (java) S 20462 20465 11533 0 -1 4202560 721 0 0 0 389 31 0 0 20 0 21 0 10646065 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386316213288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20470] ppid=20462 vsize=9824732 CPUtime=4.33 cores=1,3,5,7 /proc/20465/task/20470/stat : 20470 (java) S 20462 20465 11533 0 -1 4202560 880 0 0 0 402 31 0 0 20 0 21 0 10646065 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386315160232 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20471] ppid=20462 vsize=9824732 CPUtime=4.94 cores=1,3,5,7 /proc/20465/task/20471/stat : 20471 (java) S 20462 20465 11533 0 -1 4202560 721 0 0 0 459 35 0 0 20 0 21 0 10646065 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386314107688 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20472] ppid=20462 vsize=9824732 CPUtime=5.08 cores=1,3,5,7 /proc/20465/task/20472/stat : 20472 (java) S 20462 20465 11533 0 -1 4202560 752 0 0 0 472 36 0 0 20 0 21 0 10646065 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386313054632 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20473] ppid=20462 vsize=9824732 CPUtime=4.28 cores=1,3,5,7 /proc/20465/task/20473/stat : 20473 (java) S 20462 20465 11533 0 -1 4202560 670 0 0 0 401 27 0 0 20 0 21 0 10646065 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386312002088 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20474] ppid=20462 vsize=9824732 CPUtime=4.8 cores=1,3,5,7 /proc/20465/task/20474/stat : 20474 (java) S 20462 20465 11533 0 -1 4202560 825 0 0 0 446 34 0 0 20 0 21 0 10646065 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386310949032 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20475] ppid=20462 vsize=9824732 CPUtime=4.11 cores=1,3,5,7 /proc/20465/task/20475/stat : 20475 (java) S 20462 20465 11533 0 -1 4202560 765 0 0 0 380 31 0 0 20 0 21 0 10646065 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386309896488 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20476] ppid=20462 vsize=9824732 CPUtime=8.24 cores=1,3,5,7 /proc/20465/task/20476/stat : 20476 (java) S 20462 20465 11533 0 -1 4202560 3865 0 0 0 812 12 0 0 20 0 21 0 10646066 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386151508840 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20477] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20477/stat : 20477 (java) S 20462 20465 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10646066 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386150455160 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20478] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20478/stat : 20478 (java) S 20462 20465 11533 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 21 0 10646066 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386149401992 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20479] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20479/stat : 20479 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10646069 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386148350736 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20465/tid=20480] ppid=20462 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/20465/task/20480/stat : 20480 (java) S 20462 20465 11533 0 -1 4202560 9007 0 0 0 171 2 0 0 20 0 21 0 10646069 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386147297592 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20481] ppid=20462 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/20465/task/20481/stat : 20481 (java) S 20462 20465 11533 0 -1 4202560 12294 0 0 0 160 3 0 0 20 0 21 0 10646069 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386146245048 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20482] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20482/stat : 20482 (java) S 20462 20465 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10646069 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386145192184 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20483] ppid=20462 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/20465/task/20483/stat : 20483 (java) S 20462 20465 11533 0 -1 4202560 99 0 0 0 21 33 0 0 20 0 21 0 10646069 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386144139848 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20465/tid=20690] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20690/stat : 20690 (java) S 20462 20465 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10672043 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386139927336 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20465/tid=20757] ppid=20462 vsize=9824732 CPUtime=1105.45 cores=1,3,5,7 /proc/20465/task/20757/stat : 20757 (java) R 20462 20465 11533 0 -1 4202560 1082 0 0 0 110520 25 0 0 20 0 21 0 10705191 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386142031648 140386191009141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=20465/tid=20758] ppid=20462 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/20465/task/20758/stat : 20758 (java) S 20462 20465 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10705216 10060525568 1035242 33554432000 1073741824 1073778376 140734613837824 140386143085608 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 20465 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1710.45 CPU time (s): 1800.78 CPU user time (s): 1795.01 CPU system time (s): 5.77212 CPU usage (%): 105.281 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.01 system time used= 5.77212 maximum resident set size= 4141040 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39018 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 74261 involuntary context switches= 51200 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.8812 second user time and 16.0756 second system time The end
Begin job on node105 at 2016-06-16 16:06:01 IDJOB=4092269 IDBENCH=79293 IDSOLVER=2552 FILE ID=node105/4092269-1466085961 RUNJOBID= node105-1466074085-13483 PBS_JOBID= 19904027 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092269-1466085961/watcher-4092269-1466085961 -o /tmp/evaluation-result-4092269-1466085961/solver-4092269-1466085961 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466074085-13483 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092269-1466085961.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c90222590d839243781a638355a39a56 RANDOM SEED=656785813 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30378900 kB Buffers: 28544 kB Cached: 62980 kB SwapCached: 1468 kB Active: 1542516 kB Inactive: 58052 kB Active(anon): 1509924 kB Inactive(anon): 1624 kB Active(file): 32592 kB Inactive(file): 56428 kB Unevictable: 176672 kB Mlocked: 162364 kB SwapTotal: 67108856 kB SwapFree: 67097208 kB Dirty: 844 kB Writeback: 0 kB AnonPages: 1764532 kB Mapped: 15432 kB Shmem: 0 kB Slab: 566596 kB SReclaimable: 10352 kB SUnreclaim: 556244 kB KernelStack: 1792 kB PageTables: 8524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2030548 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1556480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71748 MiB End job on node105 at 2016-06-16 16:34:32