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 | 48.5856 | 66.9405 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo |
| MD5SUM | f911862f5398bb5461d300f11ba5c15b |
| 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 | 8 |
| Best CPU time to get the best result obtained on this benchmark | 9.04762 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 69 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1262 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 16 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38c5c3ac 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 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.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@2dcb25f1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 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.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4091995-1467321422.wbo 0.10/0.11 c reading problem ... 0.10/0.18 c ... done. Wall clock time 0.066s. 0.10/0.18 c declared #vars 169 0.10/0.18 c internal #vars 238 0.10/0.18 c #constraints 101 0.10/0.18 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.10/0.18 c org.sat4j.minisat.constraints.card.MinWatchCard => 20 0.10/0.18 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51 0.10/0.18 c 101 constraints processed. 0.10/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.10/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.10/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 51 0.10/0.18 c 101 constraints processed. 0.10/0.18 c objective function length is 69 literals 0.66/0.33 c And the winner is solver0 1.25/0.68 c SATISFIABLE 1.25/0.68 c OPTIMIZING... 1.25/0.68 c Got one! Elapsed wall clock time (in seconds):0.57 1.25/0.69 o 1204 1.27/0.70 c And the winner is solver0 1.28/1.18 c Got one! Elapsed wall clock time (in seconds):1.072 1.28/1.18 o 1038 1.28/1.19 c And the winner is solver0 1.32/1.68 c Got one! Elapsed wall clock time (in seconds):1.573 1.32/1.68 o 929 1.32/1.69 c And the winner is solver0 1.33/2.18 c Got one! Elapsed wall clock time (in seconds):2.074 1.33/2.18 o 621 1.33/2.19 c And the winner is solver0 1.38/2.69 c Got one! Elapsed wall clock time (in seconds):2.575 1.38/2.69 o 615 1.38/2.69 c And the winner is solver0 1.38/3.19 c Got one! Elapsed wall clock time (in seconds):3.077 1.38/3.19 o 597 1.38/3.20 c And the winner is solver0 1.61/3.69 c Got one! Elapsed wall clock time (in seconds):3.578 1.61/3.69 o 596 1.63/3.70 c And the winner is solver0 1.68/4.19 c Got one! Elapsed wall clock time (in seconds):4.079 1.68/4.19 o 591 1.71/4.21 c And the winner is solver0 1.76/4.69 c Got one! Elapsed wall clock time (in seconds):4.58 1.76/4.69 o 581 1.76/4.70 c And the winner is solver0 1.87/5.19 c Got one! Elapsed wall clock time (in seconds):5.081 1.87/5.19 o 579 1.87/5.19 c And the winner is solver0 1.87/5.69 c Got one! Elapsed wall clock time (in seconds):5.582 1.87/5.69 o 568 1.88/5.73 c And the winner is solver0 1.98/6.19 c Got one! Elapsed wall clock time (in seconds):6.083 1.98/6.19 o 547 1.99/6.20 c And the winner is solver0 2.00/6.69 c Got one! Elapsed wall clock time (in seconds):6.584 2.00/6.69 o 536 2.00/6.70 c And the winner is solver0 2.00/7.19 c Got one! Elapsed wall clock time (in seconds):7.085 2.00/7.19 o 513 2.00/7.20 c And the winner is solver0 2.02/7.70 c Got one! Elapsed wall clock time (in seconds):7.586 2.02/7.70 o 508 2.02/7.70 c And the winner is solver0 2.02/8.20 c Got one! Elapsed wall clock time (in seconds):8.087 2.02/8.20 o 507 2.02/8.21 c And the winner is solver0 2.07/8.70 c Got one! Elapsed wall clock time (in seconds):8.588 2.07/8.70 o 503 2.07/8.71 c And the winner is solver0 2.07/9.20 c Got one! Elapsed wall clock time (in seconds):9.089 2.07/9.20 o 487 2.07/9.20 c And the winner is solver0 2.08/9.70 c Got one! Elapsed wall clock time (in seconds):9.591 2.08/9.70 o 461 2.08/9.72 c And the winner is solver0 2.20/10.20 c Got one! Elapsed wall clock time (in seconds):10.092 2.20/10.20 o 455 2.20/10.21 c And the winner is solver0 2.23/10.70 c Got one! Elapsed wall clock time (in seconds):10.593 2.23/10.70 o 379 2.23/10.74 c And the winner is solver0 2.42/11.20 c Got one! Elapsed wall clock time (in seconds):11.094 2.42/11.20 o 377 2.42/11.21 c And the winner is solver0 2.42/11.70 c Got one! Elapsed wall clock time (in seconds):11.595 2.42/11.70 o 376 2.42/11.72 c And the winner is solver0 2.46/12.21 c Got one! Elapsed wall clock time (in seconds):12.096 2.46/12.21 o 375 2.46/12.26 c And the winner is solver0 2.65/12.71 c Got one! Elapsed wall clock time (in seconds):12.597 2.65/12.71 o 371 2.65/12.71 c And the winner is solver0 2.65/13.21 c Got one! Elapsed wall clock time (in seconds):13.097 2.65/13.21 o 359 2.65/13.23 c And the winner is solver0 2.69/13.71 c Got one! Elapsed wall clock time (in seconds):13.598 2.69/13.71 o 353 2.69/13.72 c And the winner is solver0 2.69/14.21 c Got one! Elapsed wall clock time (in seconds):14.099 2.69/14.21 o 335 2.69/14.22 c And the winner is solver0 2.75/14.71 c Got one! Elapsed wall clock time (in seconds):14.6 2.75/14.71 o 333 2.75/14.72 c And the winner is solver0 2.80/15.21 c Got one! Elapsed wall clock time (in seconds):15.102 2.80/15.21 o 332 2.80/15.23 c And the winner is solver0 2.84/15.71 c Got one! Elapsed wall clock time (in seconds):15.602 2.84/15.71 o 330 2.84/15.72 c And the winner is solver0 2.86/16.21 c Got one! Elapsed wall clock time (in seconds):16.103 2.86/16.21 o 323 2.86/16.27 c And the winner is solver0 2.99/16.71 c Got one! Elapsed wall clock time (in seconds):16.604 2.99/16.71 o 259 2.99/16.76 c And the winner is solver0 3.14/17.21 c Got one! Elapsed wall clock time (in seconds):17.105 3.14/17.21 o 239 3.14/17.23 c And the winner is solver0 3.19/17.72 c Got one! Elapsed wall clock time (in seconds):17.606 3.19/17.72 o 214 3.19/17.73 c And the winner is solver0 3.23/18.22 c Got one! Elapsed wall clock time (in seconds):18.107 3.23/18.22 o 208 3.23/18.27 c And the winner is solver0 3.35/18.72 c Got one! Elapsed wall clock time (in seconds):18.608 3.35/18.72 o 207 3.35/18.80 c cleaning 7493 clauses out of 15008 with flag 3192/15008 3.57/18.83 c And the winner is solver0 3.62/19.22 c Got one! Elapsed wall clock time (in seconds):19.109 3.62/19.22 o 203 4.03/19.44 c cleaning 6651 clauses out of 13301 with flag 18768/20794 4.23/19.50 c And the winner is solver0 4.26/19.72 c Got one! Elapsed wall clock time (in seconds):19.61 4.26/19.72 o 202 4.26/19.78 c And the winner is solver0 4.41/20.22 c Got one! Elapsed wall clock time (in seconds):20.111 4.41/20.22 o 193 4.56/20.34 c cleaning 6483 clauses out of 12980 with flag 12261/27124 5.07/20.60 c cleaning 6244 clauses out of 12498 with flag 36300/33125 5.68/20.80 c And the winner is solver0 5.71/21.22 c Got one! Elapsed wall clock time (in seconds):21.112 5.71/21.22 o 180 5.71/21.26 c And the winner is solver0 5.82/21.72 c Got one! Elapsed wall clock time (in seconds):21.613 5.82/21.72 o 174 6.09/21.85 c And the winner is solver0 6.32/22.22 c Got one! Elapsed wall clock time (in seconds):22.114 6.32/22.22 o 172 6.46/22.37 c cleaning 9136 clauses out of 18288 with flag 13125/45159 6.67/22.48 c And the winner is solver0 6.86/22.72 c Got one! Elapsed wall clock time (in seconds):22.615 6.86/22.72 o 171 6.86/22.78 c And the winner is solver0 7.03/23.23 c Got one! Elapsed wall clock time (in seconds):23.116 7.03/23.23 o 169 7.03/23.27 c And the winner is solver0 7.14/23.73 c Got one! Elapsed wall clock time (in seconds):23.617 7.14/23.73 o 165 7.28/23.85 c And the winner is solver0 7.41/24.23 c Got one! Elapsed wall clock time (in seconds):24.117 7.41/24.23 o 154 7.41/24.25 c And the winner is solver0 7.46/24.73 c Got one! Elapsed wall clock time (in seconds):24.618 7.46/24.73 o 152 7.46/24.75 c And the winner is solver0 7.53/25.23 c Got one! Elapsed wall clock time (in seconds):25.119 7.53/25.23 o 151 7.53/25.30 c cleaning 8948 clauses out of 17904 with flag 4799/53911 7.93/25.45 c And the winner is solver0 8.04/25.73 c Got one! Elapsed wall clock time (in seconds):25.62 8.04/25.73 o 149 8.04/25.78 c cleaning 7044 clauses out of 14105 with flag 4791/59060 8.17/25.85 c And the winner is solver0 8.29/26.23 c Got one! Elapsed wall clock time (in seconds):26.121 8.29/26.23 o 108 8.29/26.26 c And the winner is solver0 8.39/26.73 c Got one! Elapsed wall clock time (in seconds):26.621 8.39/26.73 o 99 8.58/26.83 c And the winner is solver0 8.68/27.23 c Got one! Elapsed wall clock time (in seconds):27.122 8.68/27.23 o 98 8.68/27.28 c And the winner is solver0 8.82/27.74 c Got one! Elapsed wall clock time (in seconds):27.626 8.82/27.74 o 97 8.98/27.81 c cleaning 6821 clauses out of 13648 with flag 4135/65647 9.65/28.09 c cleaning 6415 clauses out of 12829 with flag 33075/71649 10.47/28.36 c cleaning 6705 clauses out of 13414 with flag 58264/78649 10.88/28.51 c And the winner is solver0 10.92/28.74 c Got one! Elapsed wall clock time (in seconds):28.626 10.92/28.74 o 96 10.92/28.78 c cleaning 5868 clauses out of 11743 with flag 3516/83683 11.04/28.82 c And the winner is solver0 11.11/29.24 c Got one! Elapsed wall clock time (in seconds):29.127 11.11/29.24 o 95 11.11/29.27 c And the winner is solver0 11.28/29.74 c Got one! Elapsed wall clock time (in seconds):29.628 11.28/29.74 o 94 11.42/29.83 c And the winner is solver0 11.47/30.24 c Got one! Elapsed wall clock time (in seconds):30.129 11.47/30.24 o 92 11.59/30.31 c And the winner is solver0 11.62/30.74 c Got one! Elapsed wall clock time (in seconds):30.63 11.62/30.74 o 82 11.62/30.78 c And the winner is solver0 11.75/31.24 c Got one! Elapsed wall clock time (in seconds):31.131 11.75/31.24 o 77 11.90/31.30 c cleaning 6766 clauses out of 13541 with flag 3559/91349 11.90/31.32 c And the winner is solver0 11.96/31.74 c Got one! Elapsed wall clock time (in seconds):31.633 11.96/31.74 o 76 12.07/31.86 c And the winner is solver0 12.21/32.24 c Got one! Elapsed wall clock time (in seconds):32.135 12.21/32.24 o 69 12.21/32.29 c And the winner is solver0 12.50/32.75 c Got one! Elapsed wall clock time (in seconds):32.637 12.50/32.75 o 67 12.50/32.80 c cleaning 6425 clauses out of 12867 with flag 3829/97441 13.02/33.02 c cleaning 6217 clauses out of 12442 with flag 26329/103441 13.40/33.23 c And the winner is solver0 13.52/33.30 c Got one! Elapsed wall clock time (in seconds):33.19 13.52/33.30 o 64 13.91/33.53 c cleaning 8572 clauses out of 17150 with flag 18527/114366 13.91/33.57 c And the winner is solver0 14.10/33.80 c Got one! Elapsed wall clock time (in seconds):33.693 14.10/33.80 o 63 14.10/33.85 c And the winner is solver0 14.39/34.31 c Got one! Elapsed wall clock time (in seconds):34.196 14.39/34.31 o 54 14.39/34.39 c And the winner is solver0 14.70/34.81 c Got one! Elapsed wall clock time (in seconds):34.699 14.70/34.81 o 53 14.70/34.86 c cleaning 7150 clauses out of 14308 with flag 3674/120096 15.07/35.00 c And the winner is solver0 15.12/35.31 c Got one! Elapsed wall clock time (in seconds):35.203 15.12/35.31 o 50 15.12/35.36 c cleaning 6220 clauses out of 12452 with flag 3829/125390 15.49/35.58 c cleaning 6112 clauses out of 12232 with flag 25671/131390 15.49/35.59 c And the winner is solver0 15.70/35.82 c Got one! Elapsed wall clock time (in seconds):35.707 15.70/35.82 o 49 15.70/35.85 c And the winner is solver0 15.95/36.32 c Got one! Elapsed wall clock time (in seconds):36.211 15.95/36.32 o 48 16.12/36.50 c cleaning 6243 clauses out of 12494 with flag 18818/137764 16.30/36.52 c And the winner is solver0 16.37/36.82 c Got one! Elapsed wall clock time (in seconds):36.715 16.37/36.82 o 46 16.37/36.83 c And the winner is solver0 21.11/41.18 c Got one! Elapsed wall clock time (in seconds):41.075 21.11/41.18 o 44 21.20/41.24 c And the winner is solver0 21.29/41.69 c Got one! Elapsed wall clock time (in seconds):41.582 21.29/41.69 o 43 21.30/41.78 c And the winner is solver0 21.48/42.20 c Got one! Elapsed wall clock time (in seconds):42.089 21.48/42.20 o 42 21.48/42.29 c cleaning 6598 clauses out of 13200 with flag 8146/144713 21.67/42.32 c And the winner is solver0 21.84/42.71 c Got one! Elapsed wall clock time (in seconds):42.596 21.84/42.71 o 31 22.01/42.89 c cleaning 6227 clauses out of 12483 with flag 19060/150594 22.23/43.00 c And the winner is solver0 22.44/43.21 c Got one! Elapsed wall clock time (in seconds):43.103 22.44/43.21 o 29 22.44/43.24 c And the winner is solver0 22.50/43.72 c Got one! Elapsed wall clock time (in seconds):43.613 22.50/43.72 o 27 22.63/43.81 c cleaning 6159 clauses out of 12327 with flag 8244/156666 22.63/43.82 c And the winner is solver0 22.70/44.23 c Got one! Elapsed wall clock time (in seconds):44.123 22.70/44.23 o 26 22.70/44.25 c And the winner is solver0 37.69/58.87 c Got one! Elapsed wall clock time (in seconds):58.758 37.69/58.87 o 25 37.75/58.93 c And the winner is solver0 37.83/59.38 c Got one! Elapsed wall clock time (in seconds):59.274 37.83/59.38 o 24 38.18/59.57 c cleaning 6074 clauses out of 12160 with flag 15217/162658 38.34/59.67 c And the winner is solver0 38.52/59.90 c Got one! Elapsed wall clock time (in seconds):59.789 38.52/59.90 o 23 38.52/59.99 c cleaning 5705 clauses out of 11421 with flag 8246/167993 38.52/59.99 c And the winner is solver0 38.73/60.41 c Got one! Elapsed wall clock time (in seconds):60.305 38.73/60.41 o 20 38.90/60.56 c And the winner is solver0 39.11/60.93 c Got one! Elapsed wall clock time (in seconds):60.821 39.11/60.93 o 16 39.22/61.03 c cleaning 5817 clauses out of 11638 with flag 8357/173915 39.42/61.10 c And the winner is solver0 39.51/61.45 c Got one! Elapsed wall clock time (in seconds):61.336 39.51/61.45 o 13 39.60/61.57 c cleaning 5773 clauses out of 11562 with flag 11937/179657 40.02/61.76 c cleaning 5893 clauses out of 11789 with flag 34091/185657 40.61/62.02 c cleaning 6446 clauses out of 12895 with flag 62076/192657 41.23/62.36 c cleaning 7222 clauses out of 14450 with flag 96784/200658 42.06/62.73 c cleaning 8108 clauses out of 16227 with flag 134578/209658 42.84/63.13 c cleaning 9059 clauses out of 18120 with flag 177350/219660 43.84/63.61 c cleaning 10028 clauses out of 20057 with flag 225110/230657 44.84/64.13 c cleaning 11010 clauses out of 22026 with flag 276270/242658 45.04/64.22 c And the winner is solver0 45.83/65.01 c Got one! Elapsed wall clock time (in seconds):64.904 45.83/65.01 o 11 45.98/65.16 c cleaning 8189 clauses out of 16379 with flag 14122/248022 46.38/65.38 c cleaning 7089 clauses out of 14189 with flag 39984/254022 46.58/65.43 c And the winner is solver0 47.01/65.83 c Got one! Elapsed wall clock time (in seconds):65.722 47.01/65.83 o 8 47.12/66.00 c cleaning 6337 clauses out of 12674 with flag 16965/259597 47.72/66.20 c cleaning 6166 clauses out of 12333 with flag 40808/265597 48.12/66.43 c cleaning 6580 clauses out of 13160 with flag 67101/272597 48.12/66.49 c And the winner is solver0 48.43/66.93 c >>>>>>>>>> Solver number 0 (87 answers) <<<<<<<<<<<<<<<<<< 48.43/66.93 c starts : 225 48.43/66.93 c conflicts : 274275 48.43/66.93 c decisions : 457344 48.43/66.93 c propagations : 7046703 48.43/66.93 c inspects : 123294705 48.43/66.93 c shortcuts : 0 48.43/66.93 c learnt literals : 36 48.43/66.93 c learnt binary clauses : 77 48.43/66.93 c learnt ternary clauses : 707 48.43/66.93 c learnt constraints : 274238 48.43/66.93 c ignored constraints : 0 48.43/66.93 c root simplifications : 0 48.43/66.93 c removed literals (reason simplification) : 1165134 48.43/66.93 c reason swapping (by a shorter reason) : 0 48.43/66.93 c Calls to reduceDB : 38 48.43/66.93 c Number of update (reduction) of LBD : 74848 48.43/66.93 c Imported unit clauses : 0 48.43/66.93 c number of reductions to clauses (during analyze) : 0 48.43/66.93 c number of learned constraints concerned by reduction : 0 48.43/66.93 c number of learning phase by resolution : 0 48.43/66.93 c number of learning phase by cutting planes : 0 48.43/66.93 c speed (assignments/second) : 105576.49262117012 48.43/66.93 c non guided choices 2520 48.43/66.93 c learnt constraints type 48.43/66.93 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 48.43/66.93 c starts : 92 48.43/66.93 c conflicts : 1403 48.43/66.93 c decisions : 13789 48.43/66.93 c propagations : 61296 48.43/66.93 c inspects : 7527962 48.43/66.93 c shortcuts : 0 48.43/66.93 c learnt literals : 0 48.43/66.93 c learnt binary clauses : 0 48.43/66.93 c learnt ternary clauses : 0 48.43/66.93 c learnt constraints : 1336 48.43/66.93 c ignored constraints : 0 48.43/66.93 c root simplifications : 0 48.43/66.93 c removed literals (reason simplification) : 0 48.43/66.93 c reason swapping (by a shorter reason) : 0 48.43/66.93 c Calls to reduceDB : 0 48.43/66.93 c Number of update (reduction) of LBD : 0 48.43/66.93 c Imported unit clauses : 0 48.43/66.93 c number of reductions to clauses (during analyze) : 0 48.43/66.93 c number of learned constraints concerned by reduction : 0 48.43/66.93 c number of learning phase by resolution : 0 48.43/66.93 c number of learning phase by cutting planes : 0 48.43/66.93 c speed (assignments/second) : 58600.382409177815 48.43/66.93 c non guided choices 1335 48.43/66.93 c learnt constraints type 48.43/66.93 s OPTIMUM FOUND 48.43/66.93 c Found 86 solution(s) 48.43/66.93 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 48.43/66.93 c objective function=8 48.43/66.93 c Total wall clock time (in seconds): 66.82
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-4091995-1467321422/watcher-4091995-1467321422 -o /tmp/evaluation-result-4091995-1467321422/solver-4091995-1467321422 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467319458-6005 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091995-1467321422.wbo pid=8387 running on 8 cores: 0-3,8-11 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: 0.43 0.79 1.12 1/251 8390 /proc/meminfo: memFree=28994708/32872528 swapFree=8828/8828 [pid=8390] ppid=8387 vsize=152584 CPUtime=0 cores=0-3,8-11 /proc/8390/stat : 8390 (java) S 8387 8390 26963 0 -1 4202496 1541 0 1 0 0 0 0 0 20 0 2 0 13095025 156246016 1656 33554432000 1073741824 1073778376 140735289347072 140735289338208 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8390/statm: 38146 1671 894 9 0 29255 0 [pid=8390/tid=8391] ppid=8387 vsize=8471396 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8391/stat : 8391 (java) R 8387 8390 26963 0 -1 4202560 462 0 1 0 0 0 0 0 20 0 2 0 13095026 8674709504 1801 33554432000 1073741824 1073778376 140735289347072 139733977246000 216808953919 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 [startup+0.100121 s] /proc/loadavg: 0.43 0.79 1.12 1/251 8390 /proc/meminfo: memFree=28994708/32872528 swapFree=8828/8828 [pid=8390] ppid=8387 vsize=9896436 CPUtime=0.1 cores=0-3,8-11 /proc/8390/stat : 8390 (java) S 8387 8390 26963 0 -1 4202496 4479 0 1 0 9 1 0 0 20 0 23 0 13095025 10133950464 6114 33554432000 1073741824 1073778376 140735289347072 140735289338208 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8390/statm: 2474109 6116 2148 9 0 2464786 0 [pid=8390/tid=8391] ppid=8387 vsize=9896436 CPUtime=0.07 cores=0-3,8-11 /proc/8390/task/8391/stat : 8391 (java) R 8387 8390 26963 0 -1 4202560 2418 0 1 0 6 1 0 0 20 0 23 0 13095026 10133950464 6116 33554432000 1073741824 1073778376 140735289347072 139733977242528 139733979977598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9896436 [startup+0.200328 s] /proc/loadavg: 0.43 0.79 1.12 1/251 8390 /proc/meminfo: memFree=28994708/32872528 swapFree=8828/8828 [pid=8390] ppid=8387 vsize=10162692 CPUtime=0.27 cores=0-3,8-11 /proc/8390/stat : 8390 (java) S 8387 8390 26963 0 -1 4202496 4829 0 1 0 25 2 0 0 20 0 27 0 13095025 10406596608 7945 33554432000 1073741824 1073778376 140735289347072 140735289338208 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8390/statm: 2540673 7945 2216 9 0 2531350 0 [pid=8390/tid=8391] ppid=8387 vsize=10162692 CPUtime=0.16 cores=0-3,8-11 /proc/8390/task/8391/stat : 8391 (java) S 8387 8390 26963 0 -1 4202560 2453 0 1 0 14 2 0 0 20 0 27 0 13095026 10406596608 7945 33554432000 1073741824 1073778376 140735289347072 139733977244536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 10162692 [startup+0.300278 s] /proc/loadavg: 0.43 0.79 1.12 1/251 8390 /proc/meminfo: memFree=28994708/32872528 swapFree=8828/8828 [pid=8390] ppid=8387 vsize=10162692 CPUtime=0.66 cores=0-3,8-11 /proc/8390/stat : 8390 (java) S 8387 8390 26963 0 -1 4202496 7809 0 1 0 64 2 0 0 20 0 27 0 13095025 10406596608 9885 33554432000 1073741824 1073778376 140735289347072 140735289338208 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8390/statm: 2540673 9885 2247 9 0 2531350 0 [pid=8390/tid=8391] ppid=8387 vsize=10162692 CPUtime=0.16 cores=0-3,8-11 /proc/8390/task/8391/stat : 8391 (java) S 8387 8390 26963 0 -1 4202560 2453 0 1 0 14 2 0 0 20 0 27 0 13095026 10406596608 9885 33554432000 1073741824 1073778376 140735289347072 139733977244536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 10162692 [startup+0.700242 s] /proc/loadavg: 0.43 0.79 1.12 1/251 8390 /proc/meminfo: memFree=28994708/32872528 swapFree=8828/8828 [pid=8390] ppid=8387 vsize=10162692 CPUtime=1.27 cores=0-3,8-11 /proc/8390/stat : 8390 (java) S 8387 8390 26963 0 -1 4202496 16242 0 1 0 121 6 0 0 20 0 24 0 13095025 10406596608 14872 33554432000 1073741824 1073778376 140735289347072 140735289338208 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8390/statm: 2540673 14872 2253 9 0 2531350 0 [pid=8390/tid=8391] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8391/stat : 8391 (java) S 8387 8390 26963 0 -1 4202560 2453 0 1 0 15 2 0 0 20 0 24 0 13095026 10406596608 14872 33554432000 1073741824 1073778376 140735289347072 139733977244536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.27 Current children cumulated vsize (KiB) 10162692 [startup+1.50098 s] /proc/loadavg: 0.39 0.78 1.11 1/275 8420 /proc/meminfo: memFree=28942592/32872528 swapFree=8828/8828 [pid=8390] ppid=8387 vsize=10162692 CPUtime=1.32 cores=0-3,8-11 /proc/8390/stat : 8390 (java) S 8387 8390 26963 0 -1 4202496 16252 0 1 0 124 8 0 0 20 0 24 0 13095025 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 140735289338208 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8390/statm: 2540673 16408 2253 9 0 2531350 0 [pid=8390/tid=8391] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8391/stat : 8391 (java) S 8387 8390 26963 0 -1 4202560 2454 0 1 0 15 2 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733977244536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8393] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8393/stat : 8393 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733949696296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8394] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8394/stat : 8394 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733948643496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8395] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8395/stat : 8395 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733947591208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8396] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8396/stat : 8396 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733946538408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8397] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8397/stat : 8397 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733945486120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8398] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8398/stat : 8398 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733944433320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8399] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8399/stat : 8399 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733813996584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8400] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8400/stat : 8400 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733812943784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8401] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8401/stat : 8401 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733811890472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8402] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8402/stat : 8402 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733810837672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8390/tid=8403] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8403/stat : 8403 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733809785384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8390/tid=8404] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8404/stat : 8404 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733338417576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8405] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8405/stat : 8405 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733337365288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8406] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8406/stat : 8406 (java) S 8387 8390 26963 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 13095028 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733319903848 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8407] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8407/stat : 8407 (java) S 8387 8390 26963 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 13095028 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733318850424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8408] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8408/stat : 8408 (java) S 8387 8390 26963 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 13095028 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733317797512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8409] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8409/stat : 8409 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733316745488 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8410] ppid=8387 vsize=10162692 CPUtime=0.39 cores=0-3,8-11 /proc/8390/task/8410/stat : 8410 (java) S 8387 8390 26963 0 -1 4202560 6106 0 0 0 39 0 0 0 20 0 24 0 13095030 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733315692600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8411] ppid=8387 vsize=10162692 CPUtime=0.39 cores=0-3,8-11 /proc/8390/task/8411/stat : 8411 (java) S 8387 8390 26963 0 -1 4202560 6330 0 0 0 37 2 0 0 20 0 24 0 13095030 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733314640312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8412] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8412/stat : 8412 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733313587704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8413] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8413/stat : 8413 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733312535624 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8416] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8416/stat : 8416 (java) S 8387 8390 26963 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 13095044 10406596608 16408 33554432000 1073741824 1073778376 140735289347072 139733309277736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 10162692 [startup+3.10093 s] /proc/loadavg: 0.39 0.78 1.11 3/275 8429 /proc/meminfo: memFree=28927520/32872528 swapFree=8828/8828 [pid=8390] ppid=8387 vsize=10162692 CPUtime=1.38 cores=0-3,8-11 /proc/8390/stat : 8390 (java) S 8387 8390 26963 0 -1 4202496 16282 0 1 0 129 9 0 0 20 0 24 0 13095025 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 140735289338208 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8390/statm: 2540673 19996 2257 9 0 2531350 0 [pid=8390/tid=8391] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8391/stat : 8391 (java) S 8387 8390 26963 0 -1 4202560 2454 0 1 0 15 2 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733977244536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8393] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8393/stat : 8393 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733949696296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8394] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8394/stat : 8394 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733948643496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8395] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8395/stat : 8395 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733947591208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8396] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8396/stat : 8396 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733946538408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8397] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8397/stat : 8397 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733945486120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8398] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8398/stat : 8398 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733944433320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8399] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8399/stat : 8399 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733813996584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8400] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8400/stat : 8400 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733812943784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8401] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8401/stat : 8401 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733811890472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8402] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8402/stat : 8402 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733810837672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8390/tid=8403] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8403/stat : 8403 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733809785384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8390/tid=8404] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8404/stat : 8404 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733338417576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8405] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8405/stat : 8405 (java) S 8387 8390 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733337365288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8406] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8406/stat : 8406 (java) S 8387 8390 26963 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 13095028 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733319903848 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8407] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8407/stat : 8407 (java) S 8387 8390 26963 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 13095028 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733318850424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8408] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8408/stat : 8408 (java) S 8387 8390 26963 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 13095028 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733317797512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8409] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8409/stat : 8409 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733316745488 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8410] ppid=8387 vsize=10162692 CPUtime=0.41 cores=0-3,8-11 /proc/8390/task/8410/stat : 8410 (java) S 8387 8390 26963 0 -1 4202560 6106 0 0 0 41 0 0 0 20 0 24 0 13095030 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733315692600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8411] ppid=8387 vsize=10162692 CPUtime=0.41 cores=0-3,8-11 /proc/8390/task/8411/stat : 8411 (java) S 8387 8390 26963 0 -1 4202560 6334 0 0 0 39 2 0 0 20 0 24 0 13095030 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733314640312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8412] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8412/stat : 8412 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733313587704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8413] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8413/stat : 8413 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733312535624 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8416] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8416/stat : 8416 (java) S 8387 8390 26963 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 13095044 10406596608 19996 33554432000 1073741824 1073778376 140735289347072 139733309277736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 10162692 heavy processes: [startup+6.30109 s] /proc/loadavg: 0.39 0.78 1.11 1/275 8447 /proc/meminfo: memFree=28890276/32872528 swapFree=8828/8828 [pid=8390] ppid=8387 vsize=10162692 CPUtime=2 cores=0-3,8-11 /proc/8390/stat : 8390 (java) S 8387 8390 26963 0 -1 4202496 18259 0 1 0 185 15 0 0 20 0 24 0 13095025 10406596608 32299 33554432000 1073741824 1073778376 140735289347072 140735289338208 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8390/statm: 2540673 32299 2266 9 0 2531350 0 [pid=8390/tid=8391] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8391/stat : 8391 (java) S 8387 8390 26963 0 -1 4202560 2456 0 1 0 15 2 0 0 20 0 24 0 13095026 10406596608 32299 33554432000 1073741824 1073778376 140735289347072 139733977244536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8393] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8393/stat : 8393 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 32299 33554432000 1073741824 1073778376 140735289347072 139733949696296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8394] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8394/stat : 8394 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 32299 33554432000 1073741824 1073778376 140735289347072 139733948643496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8395] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8395/stat : 8395 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095026 10406596608 32299 33554432000 1073741824 1073778376 140735289347072 139733947591208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=8390/tid=8395] ppid=8387 vsize=10162692 CPUtime=0.13 cores=0-3,8-11 /proc/8390/task/8395/stat : 8395 (java) S 8387 8390 26963 0 -1 4202560 73 0 0 0 8 5 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733947591208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8396] ppid=8387 vsize=10162692 CPUtime=0.18 cores=0-3,8-11 /proc/8390/task/8396/stat : 8396 (java) S 8387 8390 26963 0 -1 4202560 71 0 0 0 14 4 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733946538408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8390/tid=8397] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8397/stat : 8397 (java) S 8387 8390 26963 0 -1 4202560 46 0 0 0 11 3 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733945486120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8390/tid=8398] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8398/stat : 8398 (java) S 8387 8390 26963 0 -1 4202560 47 0 0 0 14 3 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733944433320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8399] ppid=8387 vsize=10162692 CPUtime=0.16 cores=0-3,8-11 /proc/8390/task/8399/stat : 8399 (java) S 8387 8390 26963 0 -1 4202560 51 0 0 0 13 3 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733813996584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8400] ppid=8387 vsize=10162692 CPUtime=0.13 cores=0-3,8-11 /proc/8390/task/8400/stat : 8400 (java) S 8387 8390 26963 0 -1 4202560 51 0 0 0 9 4 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733812943784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8401] ppid=8387 vsize=10162692 CPUtime=0.13 cores=0-3,8-11 /proc/8390/task/8401/stat : 8401 (java) S 8387 8390 26963 0 -1 4202560 51 0 0 0 9 4 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733811890472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8402] ppid=8387 vsize=10162692 CPUtime=0.15 cores=0-3,8-11 /proc/8390/task/8402/stat : 8402 (java) S 8387 8390 26963 0 -1 4202560 43 0 0 0 12 3 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733810837672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8390/tid=8403] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8403/stat : 8403 (java) S 8387 8390 26963 0 -1 4202560 40 0 0 0 10 4 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733809785384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8404] ppid=8387 vsize=10162692 CPUtime=0.16 cores=0-3,8-11 /proc/8390/task/8404/stat : 8404 (java) S 8387 8390 26963 0 -1 4202560 67 0 0 0 13 3 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733338417576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8405] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8405/stat : 8405 (java) S 8387 8390 26963 0 -1 4202560 43 0 0 0 11 3 0 0 20 0 27 0 13095026 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733337365288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8406] ppid=8387 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/8390/task/8406/stat : 8406 (java) S 8387 8390 26963 0 -1 4202560 360 0 0 0 1 4 0 0 20 0 27 0 13095028 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733319903848 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8407] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8407/stat : 8407 (java) S 8387 8390 26963 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13095028 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733318850424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8408] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8408/stat : 8408 (java) S 8387 8390 26963 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 27 0 13095028 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733317797512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8409] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8409/stat : 8409 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13095030 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733316745488 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8410] ppid=8387 vsize=10162692 CPUtime=1.45 cores=0-3,8-11 /proc/8390/task/8410/stat : 8410 (java) S 8387 8390 26963 0 -1 4202560 15905 0 0 0 143 2 0 0 20 0 27 0 13095030 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733315692600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8411] ppid=8387 vsize=10162692 CPUtime=1.09 cores=0-3,8-11 /proc/8390/task/8411/stat : 8411 (java) S 8387 8390 26963 0 -1 4202560 6634 0 0 0 107 2 0 0 20 0 27 0 13095030 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733314640312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8412] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8412/stat : 8412 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13095030 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733313587704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8413] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8413/stat : 8413 (java) S 8387 8390 26963 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 13095030 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733312535624 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8416] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8416/stat : 8416 (java) S 8387 8390 26963 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13095044 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733309277736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8390/tid=8672] ppid=8387 vsize=10162692 CPUtime=0.53 cores=0-3,8-11 /proc/8390/task/8672/stat : 8672 (java) R 8387 8390 26963 0 -1 4202560 2 0 0 0 53 0 0 0 20 0 27 0 13101611 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733308226920 139733825421159 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8673] ppid=8387 vsize=10162692 CPUtime=0.53 cores=0-3,8-11 /proc/8390/task/8673/stat : 8673 (java) R 8387 8390 26963 0 -1 4202560 2 0 0 0 53 0 0 0 20 0 27 0 13101611 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733311383000 139733825556192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8674] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8674/stat : 8674 (java) S 8387 8390 26963 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 13101614 10406596608 190305 33554432000 1073741824 1073778376 140735289347072 139733310329768 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 48.12 Current children cumulated vsize (KiB) 10162692 [startup+66.801 s] /proc/loadavg: 0.73 0.77 1.08 3/278 8674 /proc/meminfo: memFree=28238220/32872528 swapFree=8828/8828 [pid=8390] ppid=8387 vsize=10162692 CPUtime=48.37 cores=0-3,8-11 /proc/8390/stat : 8390 (java) S 8387 8390 26963 0 -1 4202496 28643 0 1 0 4638 199 0 0 20 0 24 0 13095025 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 140735289338208 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8390/statm: 2540673 189828 2287 9 0 2531350 0 [pid=8390/tid=8391] ppid=8387 vsize=10162692 CPUtime=0.42 cores=0-3,8-11 /proc/8390/task/8391/stat : 8391 (java) S 8387 8390 26963 0 -1 4202560 2463 0 1 0 40 2 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733977244536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8393] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8393/stat : 8393 (java) S 8387 8390 26963 0 -1 4202560 37 0 0 0 13 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733949696296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8390/tid=8394] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8394/stat : 8394 (java) S 8387 8390 26963 0 -1 4202560 64 0 0 0 12 5 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733948643496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8395] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8395/stat : 8395 (java) S 8387 8390 26963 0 -1 4202560 75 0 0 0 9 5 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733947591208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8396] ppid=8387 vsize=10162692 CPUtime=0.18 cores=0-3,8-11 /proc/8390/task/8396/stat : 8396 (java) S 8387 8390 26963 0 -1 4202560 71 0 0 0 14 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733946538408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8390/tid=8397] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8397/stat : 8397 (java) S 8387 8390 26963 0 -1 4202560 48 0 0 0 11 3 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733945486120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8398] ppid=8387 vsize=10162692 CPUtime=0.18 cores=0-3,8-11 /proc/8390/task/8398/stat : 8398 (java) S 8387 8390 26963 0 -1 4202560 48 0 0 0 15 3 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733944433320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8399] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8399/stat : 8399 (java) S 8387 8390 26963 0 -1 4202560 54 0 0 0 14 3 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733813996584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8400] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8400/stat : 8400 (java) S 8387 8390 26963 0 -1 4202560 52 0 0 0 10 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733812943784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8401] ppid=8387 vsize=10162692 CPUtime=0.13 cores=0-3,8-11 /proc/8390/task/8401/stat : 8401 (java) S 8387 8390 26963 0 -1 4202560 51 0 0 0 9 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733811890472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8402] ppid=8387 vsize=10162692 CPUtime=0.16 cores=0-3,8-11 /proc/8390/task/8402/stat : 8402 (java) S 8387 8390 26963 0 -1 4202560 44 0 0 0 12 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733810837672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8390/tid=8403] ppid=8387 vsize=10162692 CPUtime=0.15 cores=0-3,8-11 /proc/8390/task/8403/stat : 8403 (java) S 8387 8390 26963 0 -1 4202560 45 0 0 0 11 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733809785384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8404] ppid=8387 vsize=10162692 CPUtime=0.16 cores=0-3,8-11 /proc/8390/task/8404/stat : 8404 (java) S 8387 8390 26963 0 -1 4202560 67 0 0 0 13 3 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733338417576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8405] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8405/stat : 8405 (java) S 8387 8390 26963 0 -1 4202560 43 0 0 0 11 3 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733337365288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8406] ppid=8387 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/8390/task/8406/stat : 8406 (java) S 8387 8390 26963 0 -1 4202560 361 0 0 0 1 4 0 0 20 0 24 0 13095028 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733319903848 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8407] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8407/stat : 8407 (java) S 8387 8390 26963 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 13095028 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733318850424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8408] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8408/stat : 8408 (java) S 8387 8390 26963 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 24 0 13095028 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733317797512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8409] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8409/stat : 8409 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733316745488 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8410] ppid=8387 vsize=10162692 CPUtime=1.45 cores=0-3,8-11 /proc/8390/task/8410/stat : 8410 (java) S 8387 8390 26963 0 -1 4202560 15905 0 0 0 143 2 0 0 20 0 24 0 13095030 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733315692600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8411] ppid=8387 vsize=10162692 CPUtime=1.09 cores=0-3,8-11 /proc/8390/task/8411/stat : 8411 (java) S 8387 8390 26963 0 -1 4202560 6634 0 0 0 107 2 0 0 20 0 24 0 13095030 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733314640312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8412] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8412/stat : 8412 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733313587704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8413] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8413/stat : 8413 (java) S 8387 8390 26963 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733312535624 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8416] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8416/stat : 8416 (java) S 8387 8390 26963 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 13095044 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733309277736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 Current children cumulated CPU time (s) 48.37 Current children cumulated vsize (KiB) 10162692 [startup+66.901 s] /proc/loadavg: 0.73 0.77 1.08 3/278 8674 /proc/meminfo: memFree=28238220/32872528 swapFree=8828/8828 [pid=8390] ppid=8387 vsize=10162692 CPUtime=48.43 cores=0-3,8-11 /proc/8390/stat : 8390 (java) S 8387 8390 26963 0 -1 4202496 28644 0 1 0 4644 199 0 0 20 0 24 0 13095025 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 140735289338208 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8390/statm: 2540673 189828 2287 9 0 2531350 0 [pid=8390/tid=8391] ppid=8387 vsize=10162692 CPUtime=0.47 cores=0-3,8-11 /proc/8390/task/8391/stat : 8391 (java) R 8387 8390 26963 0 -1 4202560 2463 0 1 0 45 2 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733977244536 139733825230786 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8393] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8393/stat : 8393 (java) S 8387 8390 26963 0 -1 4202560 37 0 0 0 13 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733949696296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8390/tid=8394] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8394/stat : 8394 (java) S 8387 8390 26963 0 -1 4202560 64 0 0 0 12 5 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733948643496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8395] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8395/stat : 8395 (java) S 8387 8390 26963 0 -1 4202560 75 0 0 0 9 5 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733947591208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8396] ppid=8387 vsize=10162692 CPUtime=0.18 cores=0-3,8-11 /proc/8390/task/8396/stat : 8396 (java) S 8387 8390 26963 0 -1 4202560 71 0 0 0 14 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733946538408 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8390/tid=8397] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8397/stat : 8397 (java) S 8387 8390 26963 0 -1 4202560 48 0 0 0 11 3 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733945486120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8398] ppid=8387 vsize=10162692 CPUtime=0.18 cores=0-3,8-11 /proc/8390/task/8398/stat : 8398 (java) S 8387 8390 26963 0 -1 4202560 48 0 0 0 15 3 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733944433320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8399] ppid=8387 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8390/task/8399/stat : 8399 (java) S 8387 8390 26963 0 -1 4202560 54 0 0 0 14 3 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733813996584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8400] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8400/stat : 8400 (java) S 8387 8390 26963 0 -1 4202560 52 0 0 0 10 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733812943784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8401] ppid=8387 vsize=10162692 CPUtime=0.13 cores=0-3,8-11 /proc/8390/task/8401/stat : 8401 (java) S 8387 8390 26963 0 -1 4202560 51 0 0 0 9 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733811890472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8390/tid=8402] ppid=8387 vsize=10162692 CPUtime=0.16 cores=0-3,8-11 /proc/8390/task/8402/stat : 8402 (java) S 8387 8390 26963 0 -1 4202560 44 0 0 0 12 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733810837672 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8390/tid=8403] ppid=8387 vsize=10162692 CPUtime=0.15 cores=0-3,8-11 /proc/8390/task/8403/stat : 8403 (java) S 8387 8390 26963 0 -1 4202560 45 0 0 0 11 4 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733809785384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8404] ppid=8387 vsize=10162692 CPUtime=0.16 cores=0-3,8-11 /proc/8390/task/8404/stat : 8404 (java) S 8387 8390 26963 0 -1 4202560 67 0 0 0 13 3 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733338417576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8390/tid=8405] ppid=8387 vsize=10162692 CPUtime=0.14 cores=0-3,8-11 /proc/8390/task/8405/stat : 8405 (java) S 8387 8390 26963 0 -1 4202560 43 0 0 0 11 3 0 0 20 0 24 0 13095026 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733337365288 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8406] ppid=8387 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/8390/task/8406/stat : 8406 (java) S 8387 8390 26963 0 -1 4202560 361 0 0 0 1 4 0 0 20 0 24 0 13095028 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733319903848 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8407] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8407/stat : 8407 (java) S 8387 8390 26963 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 13095028 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733318850424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8408] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8408/stat : 8408 (java) S 8387 8390 26963 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 24 0 13095028 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733317797512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8390/tid=8409] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8409/stat : 8409 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733316745488 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8410] ppid=8387 vsize=10162692 CPUtime=1.45 cores=0-3,8-11 /proc/8390/task/8410/stat : 8410 (java) S 8387 8390 26963 0 -1 4202560 15905 0 0 0 143 2 0 0 20 0 24 0 13095030 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733315692600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8390/tid=8411] ppid=8387 vsize=10162692 CPUtime=1.1 cores=0-3,8-11 /proc/8390/task/8411/stat : 8411 (java) S 8387 8390 26963 0 -1 4202560 6635 0 0 0 108 2 0 0 20 0 24 0 13095030 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733314640312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8412] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8412/stat : 8412 (java) S 8387 8390 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733313587704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8390/tid=8413] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8413/stat : 8413 (java) S 8387 8390 26963 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 13095030 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733312535624 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8390/tid=8416] ppid=8387 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8390/task/8416/stat : 8416 (java) S 8387 8390 26963 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 13095044 10406596608 189828 33554432000 1073741824 1073778376 140735289347072 139733309277736 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 Current children cumulated CPU time (s) 48.43 Current children cumulated vsize (KiB) 10162692 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): 4.76837e-07 # lost CPU user time (s): 0.0100002 # lost CPU system time (s): -0.00999999 Real time (s): 66.9405 CPU time (s): 48.5856 CPU user time (s): 46.3839 CPU system time (s): 2.20166 CPU usage (%): 72.5803 Max. virtual memory (cumulated for all children) (KiB): 10162692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.374 system time used= 2.21166 maximum resident set size= 770084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28650 page faults= 1 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5250 involuntary context switches= 2536 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.569913 second user time and 0.636903 second system time The end
Begin job on node132 at 2016-06-30 23:17:02 IDJOB=4091995 IDBENCH=78874 IDSOLVER=2552 FILE ID=node132/4091995-1467321422 RUNJOBID= node132-1467319458-6005 PBS_JOBID= 20005257 Free space on /tmp= 71540 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4091995-1467321422/watcher-4091995-1467321422 -o /tmp/evaluation-result-4091995-1467321422/solver-4091995-1467321422 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467319458-6005 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4091995-1467321422.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= f911862f5398bb5461d300f11ba5c15b RANDOM SEED=1981942848 node132.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 : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.02 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 : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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 : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28995104 kB Buffers: 127092 kB Cached: 2933528 kB SwapCached: 0 kB Active: 267056 kB Inactive: 2807732 kB Active(anon): 10092 kB Inactive(anon): 6996 kB Active(file): 256964 kB Inactive(file): 2800736 kB Unevictable: 8828 kB Mlocked: 8828 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 524 kB Writeback: 0 kB AnonPages: 22728 kB Mapped: 13976 kB Shmem: 216 kB Slab: 657964 kB SReclaimable: 98948 kB SUnreclaim: 559016 kB KernelStack: 2320 kB PageTables: 3868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 107896 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71540 MiB End job on node132 at 2016-06-30 23:18:09