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 | OPTIMUM | 53.1359 | 52.1338 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo |
| MD5SUM | 0b9d6337ad7964b2b0f1686d5d01e741 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 13 |
| Best CPU time to get the best result obtained on this benchmark | 35.5746 |
| 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 | 900 |
| 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 | 45741 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45740 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 723 |
| 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@16fd0b7 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@4413ee 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@75786e64 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@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4109893-1466344650.wbo 0.09/0.12 c reading problem ... 0.46/0.33 c ... done. Wall clock time 0.215s. 0.46/0.33 c declared #vars 231 0.46/0.33 c internal #vars 1131 0.46/0.33 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 => 2525 0.46/0.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 15 0.46/0.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 159 0.46/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8 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.OriginalBinaryClausePB => 159 0.46/0.34 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2525 0.46/0.34 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15 0.46/0.34 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8 0.46/0.34 c 2707 constraints processed. 0.46/0.34 c objective function length is 900 literals 0.73/0.44 c And the winner is solver0 1.09/0.84 c SATISFIABLE 1.09/0.84 c OPTIMIZING... 1.09/0.84 c Got one! Elapsed wall clock time (in seconds):0.721 1.09/0.84 o 502 1.09/0.87 c And the winner is solver0 1.60/1.35 c Got one! Elapsed wall clock time (in seconds):1.231 1.60/1.35 o 498 1.60/1.37 c And the winner is solver0 1.79/1.86 c Got one! Elapsed wall clock time (in seconds):1.737 1.79/1.86 o 427 1.79/1.87 c And the winner is solver0 1.91/2.36 c Got one! Elapsed wall clock time (in seconds):2.242 1.91/2.36 o 404 1.91/2.37 c And the winner is solver0 1.94/2.86 c Got one! Elapsed wall clock time (in seconds):2.746 1.94/2.86 o 402 1.94/2.88 c And the winner is solver0 1.96/3.37 c Got one! Elapsed wall clock time (in seconds):3.249 1.96/3.37 o 385 1.96/3.39 c And the winner is solver0 2.05/3.87 c Got one! Elapsed wall clock time (in seconds):3.752 2.05/3.87 o 381 2.05/3.88 c And the winner is solver0 2.11/4.37 c Got one! Elapsed wall clock time (in seconds):4.255 2.11/4.37 o 378 2.11/4.40 c And the winner is solver0 2.20/4.88 c Got one! Elapsed wall clock time (in seconds):4.758 2.20/4.88 o 376 2.20/4.89 c And the winner is solver0 2.31/5.38 c Got one! Elapsed wall clock time (in seconds):5.261 2.31/5.38 o 313 2.31/5.39 c And the winner is solver0 2.31/5.88 c Got one! Elapsed wall clock time (in seconds):5.763 2.31/5.88 o 310 2.31/5.89 c And the winner is solver0 2.32/6.39 c Got one! Elapsed wall clock time (in seconds):6.267 2.32/6.39 o 306 2.32/6.39 c And the winner is solver0 2.36/6.89 c Got one! Elapsed wall clock time (in seconds):6.77 2.36/6.89 o 301 2.38/6.92 c And the winner is solver0 2.53/7.39 c Got one! Elapsed wall clock time (in seconds):7.272 2.53/7.39 o 300 2.53/7.40 c And the winner is solver0 2.55/7.89 c Got one! Elapsed wall clock time (in seconds):7.774 2.55/7.89 o 296 2.56/7.91 c And the winner is solver0 2.61/8.39 c Got one! Elapsed wall clock time (in seconds):8.276 2.61/8.39 o 295 2.61/8.40 c And the winner is solver0 2.61/8.90 c Got one! Elapsed wall clock time (in seconds):8.777 2.61/8.90 o 287 2.63/8.91 c And the winner is solver0 2.66/9.40 c Got one! Elapsed wall clock time (in seconds):9.279 2.66/9.40 o 285 2.66/9.40 c And the winner is solver0 2.66/9.90 c Got one! Elapsed wall clock time (in seconds):9.781 2.66/9.90 o 245 2.69/9.92 c And the winner is solver0 2.72/10.41 c Got one! Elapsed wall clock time (in seconds):10.288 2.72/10.41 o 238 3.64/10.84 c And the winner is solver0 3.74/10.91 c Got one! Elapsed wall clock time (in seconds):10.79 3.74/10.91 o 237 3.74/10.93 c And the winner is solver0 3.86/11.41 c Got one! Elapsed wall clock time (in seconds):11.291 3.86/11.41 o 224 4.04/11.54 c cleaning 3903 clauses out of 7817 with flag 5691/7817 4.04/11.57 c And the winner is solver0 4.43/11.91 c Got one! Elapsed wall clock time (in seconds):11.793 4.43/11.91 o 223 4.43/11.93 c And the winner is solver0 4.47/12.41 c Got one! Elapsed wall clock time (in seconds):12.295 4.47/12.41 o 220 4.47/12.46 c And the winner is solver0 4.58/12.92 c Got one! Elapsed wall clock time (in seconds):12.797 4.58/12.92 o 208 4.58/12.96 c And the winner is solver0 4.69/13.42 c Got one! Elapsed wall clock time (in seconds):13.299 4.69/13.42 o 199 5.09/13.64 c And the winner is solver0 5.19/13.92 c Got one! Elapsed wall clock time (in seconds):13.8 5.19/13.92 o 198 5.63/14.19 c And the winner is solver0 5.85/14.42 c Got one! Elapsed wall clock time (in seconds):14.302 5.85/14.42 o 197 6.02/14.53 c cleaning 5839 clauses out of 11681 with flag 9026/15584 6.02/14.53 c And the winner is solver0 6.11/14.92 c Got one! Elapsed wall clock time (in seconds):14.804 6.11/14.92 o 196 6.11/14.97 c And the winner is solver0 6.24/15.42 c Got one! Elapsed wall clock time (in seconds):15.306 6.24/15.42 o 188 6.24/15.45 c And the winner is solver0 6.31/15.93 c Got one! Elapsed wall clock time (in seconds):15.807 6.31/15.93 o 186 6.31/15.95 c And the winner is solver0 6.38/16.43 c Got one! Elapsed wall clock time (in seconds):16.309 6.38/16.43 o 185 6.38/16.47 c And the winner is solver0 6.47/16.93 c Got one! Elapsed wall clock time (in seconds):16.811 6.47/16.93 o 184 6.47/16.99 c And the winner is solver0 6.60/17.43 c Got one! Elapsed wall clock time (in seconds):17.313 6.60/17.43 o 183 6.72/17.59 c And the winner is solver0 6.98/17.93 c Got one! Elapsed wall clock time (in seconds):17.814 6.98/17.93 o 158 6.98/17.95 c And the winner is solver0 7.03/18.44 c Got one! Elapsed wall clock time (in seconds):18.316 7.03/18.44 o 156 7.03/18.47 c And the winner is solver0 7.12/18.94 c Got one! Elapsed wall clock time (in seconds):18.818 7.12/18.94 o 155 7.44/19.17 c And the winner is solver0 7.59/19.44 c Got one! Elapsed wall clock time (in seconds):19.32 7.59/19.44 o 153 7.74/19.52 c And the winner is solver0 7.81/19.94 c Got one! Elapsed wall clock time (in seconds):19.822 7.81/19.94 o 146 7.93/20.02 c And the winner is solver0 8.02/20.44 c Got one! Elapsed wall clock time (in seconds):20.323 8.02/20.44 o 140 8.32/20.67 c cleaning 7632 clauses out of 15266 with flag 17807/25008 9.01/20.94 c And the winner is solver1 9.01/20.94 c Got one! Elapsed wall clock time (in seconds):20.825 9.01/20.94 o 135 9.41/21.10 c And the winner is solver0 9.45/21.45 c Got one! Elapsed wall clock time (in seconds):21.327 9.45/21.45 o 126 9.45/21.49 c And the winner is solver0 9.56/21.95 c Got one! Elapsed wall clock time (in seconds):21.83 9.56/21.95 o 125 9.67/22.02 c And the winner is solver0 9.73/22.45 c Got one! Elapsed wall clock time (in seconds):22.332 9.73/22.45 o 124 9.73/22.46 c And the winner is solver0 9.75/22.95 c Got one! Elapsed wall clock time (in seconds):22.834 9.75/22.95 o 120 9.86/23.04 c And the winner is solver0 9.98/23.45 c Got one! Elapsed wall clock time (in seconds):23.336 9.98/23.45 o 119 10.07/23.54 c And the winner is solver0 10.19/23.96 c Got one! Elapsed wall clock time (in seconds):23.838 10.19/23.96 o 106 10.46/24.10 c And the winner is solver0 10.50/24.46 c Got one! Elapsed wall clock time (in seconds):24.34 10.50/24.46 o 103 10.83/24.62 c cleaning 7993 clauses out of 15987 with flag 7800/33361 11.25/24.81 c And the winner is solver0 11.29/24.96 c Got one! Elapsed wall clock time (in seconds):24.841 11.29/24.96 o 102 11.97/25.36 c And the winner is solver0 12.17/25.46 c Got one! Elapsed wall clock time (in seconds):25.343 12.17/25.46 o 100 12.24/25.58 c cleaning 7008 clauses out of 14020 with flag 8587/39387 12.45/25.61 c And the winner is solver0 12.50/25.96 c Got one! Elapsed wall clock time (in seconds):25.845 12.50/25.96 o 93 12.57/26.05 c And the winner is solver0 12.74/26.47 c Got one! Elapsed wall clock time (in seconds):26.347 12.74/26.47 o 92 13.19/26.70 c And the winner is solver0 13.24/26.97 c Got one! Elapsed wall clock time (in seconds):26.85 13.24/26.97 o 90 13.50/27.12 c And the winner is solver0 13.58/27.47 c Got one! Elapsed wall clock time (in seconds):27.353 13.58/27.47 o 88 13.85/27.67 c And the winner is solver0 14.01/27.98 c Got one! Elapsed wall clock time (in seconds):27.856 14.01/27.98 o 70 14.28/28.10 c cleaning 7103 clauses out of 14214 with flag 10646/46589 14.28/28.13 c And the winner is solver0 14.38/28.48 c Got one! Elapsed wall clock time (in seconds):28.361 14.38/28.48 o 69 14.40/28.56 c And the winner is solver0 14.57/28.99 c Got one! Elapsed wall clock time (in seconds):28.866 14.57/28.99 o 60 14.78/29.14 c And the winner is solver0 14.90/29.50 c Got one! Elapsed wall clock time (in seconds):29.377 14.90/29.50 o 56 14.90/29.56 c And the winner is solver0 15.04/30.00 c Got one! Elapsed wall clock time (in seconds):29.884 15.04/30.00 o 55 15.42/30.25 c And the winner is solver0 15.56/30.51 c Got one! Elapsed wall clock time (in seconds):30.393 15.56/30.51 o 53 15.56/30.57 c And the winner is solver0 15.71/31.02 c Got one! Elapsed wall clock time (in seconds):30.901 15.71/31.02 o 52 16.27/31.30 c cleaning 7448 clauses out of 14905 with flag 20484/54383 17.27/31.84 c And the winner is solver0 17.39/32.03 c Got one! Elapsed wall clock time (in seconds):31.91 17.39/32.03 o 50 17.52/32.16 c cleaning 6689 clauses out of 13396 with flag 11201/60322 18.94/32.81 c cleaning 6345 clauses out of 12707 with flag 79475/66322 20.34/33.32 c And the winner is solver0 20.41/33.54 c Got one! Elapsed wall clock time (in seconds):33.421 20.41/33.54 o 49 20.51/33.67 c cleaning 5817 clauses out of 11633 with flag 10597/71593 22.29/34.35 c cleaning 5898 clauses out of 11815 with flag 80699/77592 22.69/34.50 c And the winner is solver0 22.69/34.55 c Got one! Elapsed wall clock time (in seconds):34.433 22.69/34.55 o 42 23.01/34.77 c And the winner is solver0 23.20/35.06 c Got one! Elapsed wall clock time (in seconds):34.946 23.20/35.06 o 41 23.54/35.30 c cleaning 5840 clauses out of 11682 with flag 20047/83357 25.00/35.94 c cleaning 5916 clauses out of 11842 with flag 86471/89357 26.39/36.67 c cleaning 6458 clauses out of 12925 with flag 163940/96356 27.19/37.04 c And the winner is solver0 27.19/37.08 c Got one! Elapsed wall clock time (in seconds):36.961 27.19/37.08 o 36 27.72/37.33 c cleaning 6040 clauses out of 12085 with flag 21559/101974 29.13/38.02 c cleaning 6017 clauses out of 12045 with flag 86284/107974 30.77/38.86 c cleaning 6513 clauses out of 13030 with flag 159450/114976 30.97/38.98 c And the winner is solver0 31.16/39.10 c Got one! Elapsed wall clock time (in seconds):38.977 31.16/39.10 o 34 31.95/39.60 c cleaning 5778 clauses out of 11563 with flag 44153/120022 33.35/40.26 c cleaning 5889 clauses out of 11786 with flag 107183/126023 34.56/40.85 c And the winner is solver0 34.69/41.12 c Got one! Elapsed wall clock time (in seconds):40.996 34.69/41.12 o 29 35.84/41.77 c cleaning 8245 clauses out of 16489 with flag 50945/136615 37.49/42.53 c cleaning 7115 clauses out of 14242 with flag 113483/142613 37.49/42.56 c And the winner is solver0 37.64/42.64 c Got one! Elapsed wall clock time (in seconds):42.515 37.64/42.64 o 27 37.94/42.80 c And the winner is solver0 38.00/43.15 c Got one! Elapsed wall clock time (in seconds):43.036 38.00/43.15 o 26 38.86/43.62 c cleaning 6447 clauses out of 12900 with flag 34987/148386 39.46/43.95 c And the winner is solver0 39.60/44.18 c Got one! Elapsed wall clock time (in seconds):44.057 39.60/44.18 o 25 40.01/44.42 c And the winner is solver0 40.12/44.70 c Got one! Elapsed wall clock time (in seconds):44.581 40.12/44.70 o 23 40.29/44.86 c cleaning 6232 clauses out of 12471 with flag 9618/154405 41.10/45.22 c And the winner is solver0 41.10/45.28 c Got one! Elapsed wall clock time (in seconds):45.156 41.10/45.28 o 21 41.60/45.51 c cleaning 5850 clauses out of 11704 with flag 14773/159870 42.21/45.82 c And the winner is solver0 42.31/46.30 c Got one! Elapsed wall clock time (in seconds):46.181 42.31/46.30 o 20 42.68/46.50 c cleaning 5460 clauses out of 10928 with flag 11091/164944 43.08/46.73 c And the winner is solver0 43.19/46.83 c Got one! Elapsed wall clock time (in seconds):46.712 43.19/46.83 o 14 43.69/47.11 c And the winner is solver0 43.78/47.36 c Got one! Elapsed wall clock time (in seconds):47.242 43.78/47.36 o 13 44.02/47.50 c cleaning 5742 clauses out of 11487 with flag 7424/170963 45.27/48.11 c cleaning 5872 clauses out of 11746 with flag 66521/176965 46.48/48.78 c cleaning 6434 clauses out of 12874 with flag 121864/183966 48.10/49.54 c cleaning 7215 clauses out of 14434 with flag 186763/191964 49.88/50.43 c cleaning 8108 clauses out of 16221 with flag 257998/200968 51.89/51.43 c cleaning 9047 clauses out of 18100 with flag 335076/210963 52.71/51.87 c And the winner is solver0 53.02/52.12 c >>>>>>>>>> Solver number 0 (76 answers) <<<<<<<<<<<<<<<<<< 53.02/52.12 c starts : 1248 53.02/52.12 c conflicts : 215839 53.02/52.12 c decisions : 442023 53.02/52.12 c propagations : 19378820 53.02/52.12 c inspects : 265855879 53.02/52.12 c shortcuts : 0 53.02/52.12 c learnt literals : 28 53.02/52.12 c learnt binary clauses : 203 53.02/52.12 c learnt ternary clauses : 827 53.02/52.12 c learnt constraints : 215810 53.02/52.12 c ignored constraints : 0 53.02/52.12 c root simplifications : 0 53.02/52.12 c removed literals (reason simplification) : 1594147 53.02/52.12 c reason swapping (by a shorter reason) : 0 53.02/52.12 c Calls to reduceDB : 31 53.02/52.12 c Number of update (reduction) of LBD : 118852 53.02/52.12 c Imported unit clauses : 0 53.02/52.12 c number of reductions to clauses (during analyze) : 0 53.02/52.12 c number of learned constraints concerned by reduction : 0 53.02/52.12 c number of learning phase by resolution : 0 53.02/52.12 c number of learning phase by cutting planes : 0 53.02/52.12 c speed (assignments/second) : 621653.9954447759 53.02/52.12 c non guided choices 9153 53.02/52.12 c learnt constraints type 53.02/52.12 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 53.02/52.12 c starts : 90 53.02/52.12 c conflicts : 3408 53.02/52.12 c decisions : 75896 53.02/52.12 c propagations : 215436 53.02/52.12 c inspects : 33922087 53.02/52.12 c shortcuts : 0 53.02/52.12 c learnt literals : 0 53.02/52.12 c learnt binary clauses : 0 53.02/52.12 c learnt ternary clauses : 0 53.02/52.12 c learnt constraints : 3354 53.02/52.12 c ignored constraints : 0 53.02/52.12 c root simplifications : 0 53.02/52.12 c removed literals (reason simplification) : 0 53.02/52.12 c reason swapping (by a shorter reason) : 0 53.02/52.12 c Calls to reduceDB : 0 53.02/52.12 c Number of update (reduction) of LBD : 0 53.02/52.12 c Imported unit clauses : 0 53.02/52.12 c number of reductions to clauses (during analyze) : 0 53.02/52.12 c number of learned constraints concerned by reduction : 0 53.02/52.12 c number of learning phase by resolution : 0 53.02/52.12 c number of learning phase by cutting planes : 0 53.02/52.12 c speed (assignments/second) : 46013.66937206322 53.02/52.12 c non guided choices 8189 53.02/52.12 c learnt constraints type 53.02/52.12 s OPTIMUM FOUND 53.02/52.12 c Found 76 solution(s) 53.02/52.12 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 53.02/52.12 c objective function=13 53.02/52.12 c Total wall clock time (in seconds): 52.002
OK 13
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-4109893-1466344650/watcher-4109893-1466344650 -o /tmp/evaluation-result-4109893-1466344650/solver-4109893-1466344650 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466341820-24231 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109893-1466344650.wbo pid=28708 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.24 2.21 2.07 4/196 28711 /proc/meminfo: memFree=27599272/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/28711/stat : 28711 (java) R 28708 28711 24214 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 36513288 278528 33 33554432000 1073741824 1073778376 140734768613040 140736651630968 226075176231 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 625 42 34 9 0 25 0 [startup+0.100129 s] /proc/loadavg: 2.24 2.21 2.07 4/196 28711 /proc/meminfo: memFree=27599272/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/28711/stat : 28711 (java) S 28708 28711 24214 0 -1 4202496 4410 0 1 0 8 1 0 0 20 0 18 0 36513288 9787879424 6045 33554432000 1073741824 1073778376 140734768613040 140734768604176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 2389619 6045 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200248 s] /proc/loadavg: 2.24 2.21 2.07 4/196 28711 /proc/meminfo: memFree=27599272/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/28711/stat : 28711 (java) S 28708 28711 24214 0 -1 4202496 4685 0 1 0 22 1 0 0 20 0 18 0 36513288 9787879424 6779 33554432000 1073741824 1073778376 140734768613040 140734768604176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 2389619 6779 2198 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.300225 s] /proc/loadavg: 2.24 2.21 2.07 4/196 28711 /proc/meminfo: memFree=27599272/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=9558476 CPUtime=0.46 cores=1,3,5,7 /proc/28711/stat : 28711 (java) S 28708 28711 24214 0 -1 4202496 5789 0 1 0 45 1 0 0 20 0 18 0 36513288 9787879424 8458 33554432000 1073741824 1073778376 140734768613040 140734768604176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 2389619 8476 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700292 s] /proc/loadavg: 2.24 2.21 2.07 4/196 28711 /proc/meminfo: memFree=27599272/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=9824732 CPUtime=1.09 cores=1,3,5,7 /proc/28711/stat : 28711 (java) S 28708 28711 24214 0 -1 4202496 8966 0 1 0 105 4 0 0 20 0 19 0 36513288 10060525568 11940 33554432000 1073741824 1073778376 140734768613040 140734768604176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 2456183 11940 2258 9 0 2446860 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 9824732 [startup+1.50081 s] /proc/loadavg: 2.22 2.21 2.07 4/215 28736 /proc/meminfo: memFree=27539144/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=9824732 CPUtime=1.79 cores=1,3,5,7 /proc/28711/stat : 28711 (java) S 28708 28711 24214 0 -1 4202496 19335 0 1 0 169 10 0 0 20 0 19 0 36513288 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140734768604176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 2456183 18623 2258 9 0 2446860 0 [pid=28711/tid=28713] ppid=28708 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/28711/task/28713/stat : 28713 (java) S 28708 28711 24214 0 -1 4202560 2427 0 1 0 30 2 0 0 20 0 19 0 36513289 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276669440888 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28714] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28714/stat : 28714 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276658501800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28715] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28715/stat : 28715 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276657449256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28716] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28716/stat : 28716 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276656396712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28717] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28717/stat : 28717 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276655344168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28718] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28718/stat : 28718 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276654291624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28719] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28719/stat : 28719 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276653239080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28720] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28720/stat : 28720 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276506770344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28721] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28721/stat : 28721 (java) S 28708 28711 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276505717800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28722] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28722/stat : 28722 (java) S 28708 28711 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36513291 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276493518952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28723] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28723/stat : 28723 (java) S 28708 28711 24214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36513292 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276492465272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28724] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28724/stat : 28724 (java) S 28708 28711 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36513292 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276491412616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28725] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28725/stat : 28725 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276490361360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28726] ppid=28708 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/28711/task/28726/stat : 28726 (java) S 28708 28711 24214 0 -1 4202560 6801 0 0 0 50 1 0 0 20 0 19 0 36513294 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276489308728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28727] ppid=28708 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/28711/task/28727/stat : 28727 (java) S 28708 28711 24214 0 -1 4202560 8761 0 0 0 60 2 0 0 20 0 19 0 36513294 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276488256184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28728] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28728/stat : 28728 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276487203832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28729] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28729/stat : 28729 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276486151496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28732] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28732/stat : 28732 (java) S 28708 28711 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36513323 10060525568 18623 33554432000 1073741824 1073778376 140734768613040 140276482991144 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.79 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 2.22 2.21 2.07 3/215 28742 /proc/meminfo: memFree=27525924/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=9824732 CPUtime=1.96 cores=1,3,5,7 /proc/28711/stat : 28711 (java) S 28708 28711 24214 0 -1 4202496 19547 0 1 0 186 10 0 0 20 0 19 0 36513288 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140734768604176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 2456183 22225 2264 9 0 2446860 0 [pid=28711/tid=28713] ppid=28708 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/28711/task/28713/stat : 28713 (java) S 28708 28711 24214 0 -1 4202560 2428 0 1 0 31 2 0 0 20 0 19 0 36513289 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276669440888 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28714] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28714/stat : 28714 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276658501800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28715] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28715/stat : 28715 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276657449256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28716] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28716/stat : 28716 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276656396712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28717] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28717/stat : 28717 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276655344168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28718] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28718/stat : 28718 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276654291624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28719] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28719/stat : 28719 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276653239080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28720] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28720/stat : 28720 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276506770344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28721] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28721/stat : 28721 (java) S 28708 28711 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276505717800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28722] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28722/stat : 28722 (java) S 28708 28711 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36513291 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276493518952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28723] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28723/stat : 28723 (java) S 28708 28711 24214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36513292 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276492465272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28724] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28724/stat : 28724 (java) S 28708 28711 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36513292 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276491412616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28725] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28725/stat : 28725 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276490361360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28726] ppid=28708 vsize=9824732 CPUtime=0.56 cores=1,3,5,7 /proc/28711/task/28726/stat : 28726 (java) S 28708 28711 24214 0 -1 4202560 6971 0 0 0 55 1 0 0 20 0 19 0 36513294 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276489308728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28727] ppid=28708 vsize=9824732 CPUtime=0.73 cores=1,3,5,7 /proc/28711/task/28727/stat : 28727 (java) S 28708 28711 24214 0 -1 4202560 8775 0 0 0 71 2 0 0 20 0 19 0 36513294 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276488256184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28728] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28728/stat : 28728 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276487203832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28729] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28729/stat : 28729 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276486151496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28732] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28732/stat : 28732 (java) S 28708 28711 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36513323 10060525568 22225 33554432000 1073741824 1073778376 140734768613040 140276482991144 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.96 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=29 pid=1814 uid=0 cmd= [startup+6.30091 s] /proc/loadavg: 2.12 2.19 2.06 2/215 28763 /proc/meminfo: memFree=27488112/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=9824732 CPUtime=2.32 cores=1,3,5,7 /proc/28711/stat : 28711 (java) S 28708 28711 24214 0 -1 4202496 21764 0 1 0 215 17 0 0 20 0 19 0 36513288 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140734768604176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 2456183 30413 2266 9 0 2446860 0 [pid=28711/tid=28713] ppid=28708 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/28711/task/28713/stat : 28713 (java) S 28708 28711 24214 0 -1 4202560 2431 0 1 0 33 2 0 0 20 0 19 0 36513289 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276669440888 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28714] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28714/stat : 28714 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276658501800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28715] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28715/stat : 28715 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276657449256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28716] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28716/stat : 28716 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276656396712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28717] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28717/stat : 28717 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276655344168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28718] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28718/stat : 28718 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276654291624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28719] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28719/stat : 28719 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276653239080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28720] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28720/stat : 28720 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276506770344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28721] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28721/stat : 28721 (java) S 28708 28711 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36513290 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276505717800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28722] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28722/stat : 28722 (java) S 28708 28711 24214 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36513291 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276493518952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28723] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28723/stat : 28723 (java) S 28708 28711 24214 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36513292 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276492465272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28724] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28724/stat : 28724 (java) S 28708 28711 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36513292 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276491412616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28725] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28725/stat : 28725 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276490361360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28726] ppid=28708 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/28711/task/28726/stat : 28726 (java) S 28708 28711 24214 0 -1 4202560 9114 0 0 0 67 3 0 0 20 0 19 0 36513294 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276489308728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28727] ppid=28708 vsize=9824732 CPUtime=0.8 cores=1,3,5,7 /proc/28711/task/28727/stat : 28727 (java) S 28708 28711 24214 0 -1 4202560 8775 0 0 0 78 2 0 0 20 0 19 0 36513294 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276488256184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28728] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28728/stat : 28728 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276487203832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28729] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28729/stat : 28729 (java) S 28708 28711 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276486151496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28732] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28732/stat : 28732 (java) S 28708 28711 24214 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36513323 10060525568 30413 33554432000 1073741824 1073778376 140734768613040 140276482991144 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.32 ################ # More data... # ################ /proc/28711/task/28726/stat : 28726 (java) S 28708 28711 24214 0 -1 4202560 22212 0 0 0 226 4 0 0 20 0 22 0 36513294 10060525568 436260 33554432000 1073741824 1073778376 140734768613040 140276489308728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28727] ppid=28708 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/28711/task/28727/stat : 28727 (java) S 28708 28711 24214 0 -1 4202560 8819 0 0 0 111 2 0 0 20 0 22 0 36513294 10060525568 436260 33554432000 1073741824 1073778376 140734768613040 140276488256184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28728] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28728/stat : 28728 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36513294 10060525568 436260 33554432000 1073741824 1073778376 140734768613040 140276487203832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28729] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28729/stat : 28729 (java) S 28708 28711 24214 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36513294 10060525568 436260 33554432000 1073741824 1073778376 140734768613040 140276486151496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28856] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28856/stat : 28856 (java) S 28708 28711 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36515383 10060525568 436260 33554432000 1073741824 1073778376 140734768613040 140276482991656 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28959] ppid=28708 vsize=9824732 CPUtime=3.74 cores=1,3,5,7 /proc/28711/task/28959/stat : 28959 (java) R 28708 28711 24214 0 -1 4202560 3 0 0 0 374 0 0 0 20 0 22 0 36518028 10060525568 436260 33554432000 1073741824 1073778376 140734768613040 140276481929488 140276534907254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28960] ppid=28708 vsize=9824732 CPUtime=3.75 cores=1,3,5,7 /proc/28711/task/28960/stat : 28960 (java) R 28708 28711 24214 0 -1 4202560 99 0 0 0 372 3 0 0 20 0 22 0 36518028 10060525568 436260 33554432000 1073741824 1073778376 140734768613040 140276485096680 140276535067143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28961] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28961/stat : 28961 (java) S 28708 28711 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36518032 10060525568 436260 33554432000 1073741824 1073778376 140734768613040 140276484044456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 51.49 Current children cumulated vsize (KiB) 9824732 [startup+51.6009 s] /proc/loadavg: 2.57 2.27 2.09 4/218 28961 /proc/meminfo: memFree=25788944/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=9824732 CPUtime=52.29 cores=1,3,5,7 /proc/28711/stat : 28711 (java) S 28708 28711 24214 0 -1 4202496 38172 0 1 0 5050 179 0 0 20 0 22 0 36513288 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140734768604176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 2456183 436772 2288 9 0 2446860 0 [pid=28711/tid=28713] ppid=28708 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/28711/task/28713/stat : 28713 (java) S 28708 28711 24214 0 -1 4202560 2461 0 1 0 73 3 0 0 20 0 22 0 36513289 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276669440888 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28714] ppid=28708 vsize=9824732 CPUtime=0.13 cores=1,3,5,7 /proc/28711/task/28714/stat : 28714 (java) S 28708 28711 24214 0 -1 4202560 56 0 0 0 10 3 0 0 20 0 22 0 36513290 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276658501800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28715] ppid=28708 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/28711/task/28715/stat : 28715 (java) S 28708 28711 24214 0 -1 4202560 85 0 0 0 16 2 0 0 20 0 22 0 36513290 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276657449256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28716] ppid=28708 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/28711/task/28716/stat : 28716 (java) S 28708 28711 24214 0 -1 4202560 57 0 0 0 15 3 0 0 20 0 22 0 36513290 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276656396712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28717] ppid=28708 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/28711/task/28717/stat : 28717 (java) S 28708 28711 24214 0 -1 4202560 64 0 0 0 11 4 0 0 20 0 22 0 36513290 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276655344168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28718] ppid=28708 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/28711/task/28718/stat : 28718 (java) S 28708 28711 24214 0 -1 4202560 82 0 0 0 14 2 0 0 20 0 22 0 36513290 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276654291624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28719] ppid=28708 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/28711/task/28719/stat : 28719 (java) S 28708 28711 24214 0 -1 4202560 89 0 0 0 13 4 0 0 20 0 22 0 36513290 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276653239080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28720] ppid=28708 vsize=9824732 CPUtime=0.14 cores=1,3,5,7 /proc/28711/task/28720/stat : 28720 (java) S 28708 28711 24214 0 -1 4202560 48 0 0 0 12 2 0 0 20 0 22 0 36513290 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276506770344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28721] ppid=28708 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/28711/task/28721/stat : 28721 (java) S 28708 28711 24214 0 -1 4202560 79 0 0 0 14 3 0 0 20 0 22 0 36513290 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276505717800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28722] ppid=28708 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/28711/task/28722/stat : 28722 (java) S 28708 28711 24214 0 -1 4202560 1050 0 0 0 0 5 0 0 20 0 22 0 36513291 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276493518952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28723] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28723/stat : 28723 (java) S 28708 28711 24214 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 36513292 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276492465272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28724] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28724/stat : 28724 (java) S 28708 28711 24214 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 36513292 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276491412616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28725] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28725/stat : 28725 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36513294 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276490361360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28726] ppid=28708 vsize=9824732 CPUtime=2.3 cores=1,3,5,7 /proc/28711/task/28726/stat : 28726 (java) S 28708 28711 24214 0 -1 4202560 22212 0 0 0 226 4 0 0 20 0 22 0 36513294 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276489308728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28727] ppid=28708 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/28711/task/28727/stat : 28727 (java) S 28708 28711 24214 0 -1 4202560 8819 0 0 0 111 2 0 0 20 0 22 0 36513294 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276488256184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28728] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28728/stat : 28728 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36513294 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276487203832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28729] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28729/stat : 28729 (java) S 28708 28711 24214 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 36513294 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276486151496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28856] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28856/stat : 28856 (java) S 28708 28711 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36515383 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276482991656 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28959] ppid=28708 vsize=9824732 CPUtime=4.14 cores=1,3,5,7 /proc/28711/task/28959/stat : 28959 (java) R 28708 28711 24214 0 -1 4202560 3 0 0 0 414 0 0 0 20 0 22 0 36518028 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276481929488 140276534907381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28960] ppid=28708 vsize=9824732 CPUtime=4.15 cores=1,3,5,7 /proc/28711/task/28960/stat : 28960 (java) R 28708 28711 24214 0 -1 4202560 100 0 0 0 412 3 0 0 20 0 22 0 36518028 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276485096680 140276535042297 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28961] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28961/stat : 28961 (java) S 28708 28711 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36518032 10060525568 436772 33554432000 1073741824 1073778376 140734768613040 140276484044456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 52.29 Current children cumulated vsize (KiB) 9824732 [startup+52.0009 s] /proc/loadavg: 2.57 2.27 2.09 4/218 28961 /proc/meminfo: memFree=25772808/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=9824732 CPUtime=52.92 cores=1,3,5,7 /proc/28711/stat : 28711 (java) S 28708 28711 24214 0 -1 4202496 38179 0 1 0 5111 181 0 0 20 0 19 0 36513288 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140734768604176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 2456183 440350 2288 9 0 2446860 0 [pid=28711/tid=28713] ppid=28708 vsize=9824732 CPUtime=0.81 cores=1,3,5,7 /proc/28711/task/28713/stat : 28713 (java) R 28708 28711 24214 0 -1 4202560 2461 0 1 0 78 3 0 0 20 0 19 0 36513289 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276669440496 140276534613954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28714] ppid=28708 vsize=9824732 CPUtime=0.13 cores=1,3,5,7 /proc/28711/task/28714/stat : 28714 (java) S 28708 28711 24214 0 -1 4202560 56 0 0 0 10 3 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276658501800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28715] ppid=28708 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/28711/task/28715/stat : 28715 (java) S 28708 28711 24214 0 -1 4202560 85 0 0 0 16 2 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276657449256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28716] ppid=28708 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/28711/task/28716/stat : 28716 (java) S 28708 28711 24214 0 -1 4202560 57 0 0 0 15 3 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276656396712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28717] ppid=28708 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/28711/task/28717/stat : 28717 (java) S 28708 28711 24214 0 -1 4202560 64 0 0 0 11 4 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276655344168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28718] ppid=28708 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/28711/task/28718/stat : 28718 (java) S 28708 28711 24214 0 -1 4202560 82 0 0 0 14 2 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276654291624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28719] ppid=28708 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/28711/task/28719/stat : 28719 (java) S 28708 28711 24214 0 -1 4202560 89 0 0 0 13 4 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276653239080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28720] ppid=28708 vsize=9824732 CPUtime=0.14 cores=1,3,5,7 /proc/28711/task/28720/stat : 28720 (java) S 28708 28711 24214 0 -1 4202560 48 0 0 0 12 2 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276506770344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28721] ppid=28708 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/28711/task/28721/stat : 28721 (java) S 28708 28711 24214 0 -1 4202560 79 0 0 0 14 3 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276505717800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28722] ppid=28708 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/28711/task/28722/stat : 28722 (java) S 28708 28711 24214 0 -1 4202560 1050 0 0 0 0 5 0 0 20 0 19 0 36513291 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276493518952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28723] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28723/stat : 28723 (java) S 28708 28711 24214 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 36513292 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276492465272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28724] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28724/stat : 28724 (java) S 28708 28711 24214 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 36513292 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276491412616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28725] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28725/stat : 28725 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276490361360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28726] ppid=28708 vsize=9824732 CPUtime=2.31 cores=1,3,5,7 /proc/28711/task/28726/stat : 28726 (java) S 28708 28711 24214 0 -1 4202560 22212 0 0 0 227 4 0 0 20 0 19 0 36513294 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276489308728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28727] ppid=28708 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/28711/task/28727/stat : 28727 (java) S 28708 28711 24214 0 -1 4202560 8819 0 0 0 111 2 0 0 20 0 19 0 36513294 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276488256184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28728] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28728/stat : 28728 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276487203832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28729] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28729/stat : 28729 (java) S 28708 28711 24214 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276486151496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28856] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28856/stat : 28856 (java) S 28708 28711 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36515383 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276482991656 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 52.92 Current children cumulated vsize (KiB) 9824732 [startup+52.1008 s] /proc/loadavg: 2.57 2.27 2.09 4/218 28961 /proc/meminfo: memFree=25772808/32872528 swapFree=1590544/1721360 [pid=28711] ppid=28708 vsize=9824732 CPUtime=53.02 cores=1,3,5,7 /proc/28711/stat : 28711 (java) S 28708 28711 24214 0 -1 4202496 38180 0 1 0 5121 181 0 0 20 0 19 0 36513288 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140734768604176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/28711/statm: 2456183 440350 2288 9 0 2446860 0 [pid=28711/tid=28713] ppid=28708 vsize=9824732 CPUtime=0.91 cores=1,3,5,7 /proc/28711/task/28713/stat : 28713 (java) R 28708 28711 24214 0 -1 4202560 2462 0 1 0 88 3 0 0 20 0 19 0 36513289 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276669438584 140276534613960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28714] ppid=28708 vsize=9824732 CPUtime=0.13 cores=1,3,5,7 /proc/28711/task/28714/stat : 28714 (java) S 28708 28711 24214 0 -1 4202560 56 0 0 0 10 3 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276658501800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28715] ppid=28708 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/28711/task/28715/stat : 28715 (java) S 28708 28711 24214 0 -1 4202560 85 0 0 0 16 2 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276657449256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28716] ppid=28708 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/28711/task/28716/stat : 28716 (java) S 28708 28711 24214 0 -1 4202560 57 0 0 0 15 3 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276656396712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28717] ppid=28708 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/28711/task/28717/stat : 28717 (java) S 28708 28711 24214 0 -1 4202560 64 0 0 0 11 4 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276655344168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28718] ppid=28708 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/28711/task/28718/stat : 28718 (java) S 28708 28711 24214 0 -1 4202560 82 0 0 0 14 2 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276654291624 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28719] ppid=28708 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/28711/task/28719/stat : 28719 (java) S 28708 28711 24214 0 -1 4202560 89 0 0 0 13 4 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276653239080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=28711/tid=28720] ppid=28708 vsize=9824732 CPUtime=0.14 cores=1,3,5,7 /proc/28711/task/28720/stat : 28720 (java) S 28708 28711 24214 0 -1 4202560 48 0 0 0 12 2 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276506770344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28721] ppid=28708 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/28711/task/28721/stat : 28721 (java) S 28708 28711 24214 0 -1 4202560 79 0 0 0 14 3 0 0 20 0 19 0 36513290 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276505717800 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28722] ppid=28708 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/28711/task/28722/stat : 28722 (java) S 28708 28711 24214 0 -1 4202560 1050 0 0 0 0 5 0 0 20 0 19 0 36513291 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276493518952 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28723] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28723/stat : 28723 (java) S 28708 28711 24214 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 36513292 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276492465272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28724] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28724/stat : 28724 (java) S 28708 28711 24214 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 36513292 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276491412616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28725] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28725/stat : 28725 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276490361360 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=28711/tid=28726] ppid=28708 vsize=9824732 CPUtime=2.31 cores=1,3,5,7 /proc/28711/task/28726/stat : 28726 (java) S 28708 28711 24214 0 -1 4202560 22212 0 0 0 227 4 0 0 20 0 19 0 36513294 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276489308728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28727] ppid=28708 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/28711/task/28727/stat : 28727 (java) S 28708 28711 24214 0 -1 4202560 8819 0 0 0 111 2 0 0 20 0 19 0 36513294 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276488256184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=28711/tid=28728] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28728/stat : 28728 (java) S 28708 28711 24214 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276487203832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28729] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28729/stat : 28729 (java) S 28708 28711 24214 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36513294 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276486151496 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=28711/tid=28856] ppid=28708 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/28711/task/28856/stat : 28856 (java) S 28708 28711 24214 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36515383 10060525568 440350 33554432000 1073741824 1073778376 140734768613040 140276482991656 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 53.02 Current children cumulated vsize (KiB) 9824732 Child status: 30 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 9.53674e-07 # lost CPU user time (s): 0.0100002 # lost CPU system time (s): -0.00999999 Real time (s): 52.1338 CPU time (s): 53.1359 CPU user time (s): 51.1732 CPU system time (s): 1.9627 CPU usage (%): 101.922 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 51.1632 system time used= 1.9727 maximum resident set size= 1761424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38186 page faults= 1 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3841 involuntary context switches= 2599 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.374943 second user time and 0.505923 second system time The end
Begin job on node120 at 2016-06-19 15:57:30 IDJOB=4109893 IDBENCH=78957 IDSOLVER=2552 FILE ID=node120/4109893-1466344650 RUNJOBID= node120-1466341820-24231 PBS_JOBID= 19922033 Free space on /tmp= 71720 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900546076--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109893-1466344650/watcher-4109893-1466344650 -o /tmp/evaluation-result-4109893-1466344650/solver-4109893-1466344650 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466341820-24231 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109893-1466344650.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b9d6337ad7964b2b0f1686d5d01e741 RANDOM SEED=1451470183 node120.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.935 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.87 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.935 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.935 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.56 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.935 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.56 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.935 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.56 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.935 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.56 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.935 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.935 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27599908 kB Buffers: 174920 kB Cached: 344292 kB SwapCached: 2280 kB Active: 2398244 kB Inactive: 384036 kB Active(anon): 2260620 kB Inactive(anon): 4928 kB Active(file): 137624 kB Inactive(file): 379108 kB Unevictable: 1721360 kB Mlocked: 1590544 kB SwapTotal: 67108856 kB SwapFree: 67099720 kB Dirty: 844 kB Writeback: 0 kB AnonPages: 4010192 kB Mapped: 16684 kB Shmem: 0 kB Slab: 620128 kB SReclaimable: 64148 kB SUnreclaim: 555980 kB KernelStack: 1648 kB PageTables: 12276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4235076 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2365440 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= 71720 MiB End job on node120 at 2016-06-19 15:58:22