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 | 25.2702 | 48.4675 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-33-100-0.wbo |
| MD5SUM | 51ec66e2af29a72ddad86a3465d2cbc7 |
| 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 | 8.58769 |
| 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 | 1217 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 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 8 0.11/0.11 c Pseudo Boolean Optimization by upper bound 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Glucose 2.1 dynamic restart strategy 0.11/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.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/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.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-4109481-1467321239.wbo 0.11/0.11 c reading problem ... 0.11/0.17 c ... done. Wall clock time 0.066s. 0.11/0.17 c declared #vars 169 0.11/0.17 c internal #vars 238 0.11/0.17 c #constraints 101 0.11/0.18 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.18 c constraints type 0.11/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.11/0.18 c org.sat4j.minisat.constraints.card.MinWatchCard => 20 0.11/0.18 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.11/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51 0.11/0.18 c 101 constraints processed. 0.11/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.18 c constraints type 0.11/0.18 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.11/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.11/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 0.11/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 51 0.11/0.18 c 101 constraints processed. 0.11/0.18 c objective function length is 69 literals 0.29/0.30 c And the winner is solver0 0.78/0.68 c SATISFIABLE 0.78/0.68 c OPTIMIZING... 0.78/0.68 c Got one! Elapsed wall clock time (in seconds):0.571 0.78/0.68 o 637 0.78/0.69 c And the winner is solver0 0.87/1.18 c Got one! Elapsed wall clock time (in seconds):1.072 0.87/1.18 o 631 0.87/1.18 c And the winner is solver0 0.88/1.68 c Got one! Elapsed wall clock time (in seconds):1.573 0.88/1.68 o 626 0.93/1.75 c And the winner is solver0 1.48/2.18 c Got one! Elapsed wall clock time (in seconds):2.075 1.48/2.18 o 605 1.48/2.19 c And the winner is solver0 1.52/2.68 c Got one! Elapsed wall clock time (in seconds):2.576 1.52/2.68 o 604 1.52/2.69 c And the winner is solver0 1.55/3.18 c Got one! Elapsed wall clock time (in seconds):3.077 1.55/3.18 o 585 1.55/3.19 c And the winner is solver0 1.58/3.68 c Got one! Elapsed wall clock time (in seconds):3.578 1.58/3.68 o 561 1.58/3.69 c And the winner is solver0 1.67/4.19 c Got one! Elapsed wall clock time (in seconds):4.079 1.67/4.19 o 556 1.67/4.19 c And the winner is solver0 1.67/4.69 c Got one! Elapsed wall clock time (in seconds):4.58 1.67/4.69 o 555 1.67/4.69 c And the winner is solver0 1.67/5.19 c Got one! Elapsed wall clock time (in seconds):5.082 1.67/5.19 o 550 1.67/5.19 c And the winner is solver0 1.67/5.69 c Got one! Elapsed wall clock time (in seconds):5.583 1.67/5.69 o 535 1.67/5.70 c And the winner is solver0 1.71/6.19 c Got one! Elapsed wall clock time (in seconds):6.084 1.71/6.19 o 533 1.71/6.20 c And the winner is solver0 1.73/6.69 c Got one! Elapsed wall clock time (in seconds):6.585 1.73/6.69 o 524 1.73/6.70 c And the winner is solver0 1.74/7.19 c Got one! Elapsed wall clock time (in seconds):7.086 1.74/7.19 o 512 1.76/7.20 c And the winner is solver0 1.76/7.69 c Got one! Elapsed wall clock time (in seconds):7.587 1.76/7.69 o 494 1.76/7.70 c And the winner is solver0 1.76/8.19 c Got one! Elapsed wall clock time (in seconds):8.088 1.76/8.19 o 484 1.77/8.20 c And the winner is solver0 1.77/8.70 c Got one! Elapsed wall clock time (in seconds):8.589 1.77/8.70 o 474 1.77/8.71 c And the winner is solver0 1.87/9.20 c Got one! Elapsed wall clock time (in seconds):9.09 1.87/9.20 o 466 1.87/9.21 c And the winner is solver0 1.88/9.70 c Got one! Elapsed wall clock time (in seconds):9.591 1.88/9.70 o 447 1.88/9.71 c And the winner is solver0 1.93/10.20 c Got one! Elapsed wall clock time (in seconds):10.093 1.93/10.20 o 445 1.93/10.27 c And the winner is solver0 2.10/10.70 c Got one! Elapsed wall clock time (in seconds):10.594 2.10/10.70 o 441 2.10/10.71 c And the winner is solver0 2.13/11.20 c Got one! Elapsed wall clock time (in seconds):11.094 2.13/11.20 o 434 2.13/11.21 c And the winner is solver0 2.13/11.70 c Got one! Elapsed wall clock time (in seconds):11.596 2.13/11.70 o 416 2.13/11.72 c And the winner is solver0 2.19/12.20 c Got one! Elapsed wall clock time (in seconds):12.096 2.19/12.20 o 412 2.46/12.32 c And the winner is solver0 2.59/12.70 c Got one! Elapsed wall clock time (in seconds):12.597 2.59/12.70 o 411 2.59/12.71 c And the winner is solver0 2.62/13.20 c Got one! Elapsed wall clock time (in seconds):13.098 2.62/13.20 o 406 2.62/13.21 c And the winner is solver0 2.64/13.71 c Got one! Elapsed wall clock time (in seconds):13.599 2.64/13.71 o 362 2.64/13.79 c cleaning 5082 clauses out of 10169 with flag 3859/10169 2.87/13.86 c And the winner is solver0 3.02/14.21 c Got one! Elapsed wall clock time (in seconds):14.1 3.02/14.21 o 300 3.23/14.37 c And the winner is solver0 3.41/14.71 c Got one! Elapsed wall clock time (in seconds):14.601 3.41/14.71 o 295 3.41/14.72 c And the winner is solver0 3.45/15.21 c Got one! Elapsed wall clock time (in seconds):15.102 3.45/15.21 o 293 3.45/15.22 c And the winner is solver0 3.51/15.71 c Got one! Elapsed wall clock time (in seconds):15.603 3.51/15.71 o 291 3.51/15.72 c And the winner is solver0 3.55/16.21 c Got one! Elapsed wall clock time (in seconds):16.103 3.55/16.21 o 285 3.55/16.23 c And the winner is solver0 3.63/16.71 c Got one! Elapsed wall clock time (in seconds):16.604 3.63/16.71 o 284 3.63/16.74 c And the winner is solver0 3.70/17.21 c Got one! Elapsed wall clock time (in seconds):17.105 3.70/17.21 o 283 3.70/17.23 c And the winner is solver0 3.77/17.71 c Got one! Elapsed wall clock time (in seconds):17.606 3.77/17.71 o 277 3.77/17.73 c And the winner is solver0 3.83/18.21 c Got one! Elapsed wall clock time (in seconds):18.107 3.83/18.21 o 276 3.83/18.27 c cleaning 7002 clauses out of 14025 with flag 3662/19107 4.00/18.32 c And the winner is solver0 4.07/18.71 c Got one! Elapsed wall clock time (in seconds):18.608 4.07/18.71 o 274 4.07/18.74 c And the winner is solver0 4.14/19.22 c Got one! Elapsed wall clock time (in seconds):19.109 4.14/19.22 o 262 4.30/19.34 c And the winner is solver0 4.41/19.72 c Got one! Elapsed wall clock time (in seconds):19.609 4.41/19.72 o 232 4.61/19.84 c cleaning 6855 clauses out of 13714 with flag 6617/25798 4.61/19.87 c And the winner is solver0 4.77/20.22 c Got one! Elapsed wall clock time (in seconds):20.11 4.77/20.22 o 230 4.77/20.22 c And the winner is solver0 4.77/20.72 c Got one! Elapsed wall clock time (in seconds):20.611 4.77/20.72 o 219 4.77/20.74 c And the winner is solver0 4.94/21.22 c Got one! Elapsed wall clock time (in seconds):21.112 4.94/21.22 o 212 4.94/21.24 c And the winner is solver0 5.05/21.72 c Got one! Elapsed wall clock time (in seconds):21.613 5.05/21.72 o 209 5.20/21.80 c And the winner is solver0 5.26/22.22 c Got one! Elapsed wall clock time (in seconds):22.114 5.26/22.22 o 208 5.26/22.23 c And the winner is solver0 5.31/22.72 c Got one! Elapsed wall clock time (in seconds):22.614 5.31/22.72 o 177 5.31/22.73 c And the winner is solver0 5.34/23.22 c Got one! Elapsed wall clock time (in seconds):23.115 5.34/23.22 o 169 5.70/23.42 c cleaning 7653 clauses out of 15307 with flag 15050/34246 5.90/23.50 c And the winner is solver0 5.93/23.72 c Got one! Elapsed wall clock time (in seconds):23.616 5.93/23.72 o 163 6.08/23.81 c And the winner is solver0 6.13/24.22 c Got one! Elapsed wall clock time (in seconds):24.117 6.13/24.22 o 132 6.29/24.32 c cleaning 6830 clauses out of 13680 with flag 9456/40272 6.29/24.34 c And the winner is solver0 6.39/24.72 c Got one! Elapsed wall clock time (in seconds):24.618 6.39/24.72 o 131 6.39/24.78 c And the winner is solver0 6.52/25.23 c Got one! Elapsed wall clock time (in seconds):25.119 6.52/25.23 o 130 6.52/25.30 c And the winner is solver0 6.68/25.73 c Got one! Elapsed wall clock time (in seconds):25.62 6.68/25.73 o 129 6.82/25.83 c And the winner is solver0 6.91/26.23 c Got one! Elapsed wall clock time (in seconds):26.121 6.91/26.23 o 128 7.05/26.34 c cleaning 7069 clauses out of 14141 with flag 9520/47563 7.65/26.61 c cleaning 6528 clauses out of 13072 with flag 36256/53563 7.85/26.74 c And the winner is solver0 7.95/27.23 c Got one! Elapsed wall clock time (in seconds):27.122 7.95/27.23 o 125 7.95/27.27 c And the winner is solver0 8.08/27.73 c Got one! Elapsed wall clock time (in seconds):27.623 8.08/27.73 o 114 8.08/27.77 c And the winner is solver0 8.21/28.23 c Got one! Elapsed wall clock time (in seconds):28.124 8.21/28.23 o 113 8.21/28.27 c And the winner is solver0 8.31/28.73 c Got one! Elapsed wall clock time (in seconds):28.625 8.31/28.73 o 112 8.31/28.76 c And the winner is solver0 8.39/29.23 c Got one! Elapsed wall clock time (in seconds):29.125 8.39/29.23 o 110 8.52/29.38 c cleaning 7294 clauses out of 14601 with flag 7610/61620 8.80/29.44 c And the winner is solver0 9.20/29.73 c Got one! Elapsed wall clock time (in seconds):29.626 9.20/29.73 o 109 9.20/29.76 c And the winner is solver0 9.28/30.23 c Got one! Elapsed wall clock time (in seconds):30.127 9.28/30.23 o 107 9.44/30.38 c And the winner is solver0 9.63/30.73 c Got one! Elapsed wall clock time (in seconds):30.628 9.63/30.73 o 97 9.63/30.74 c And the winner is solver0 9.64/31.24 c Got one! Elapsed wall clock time (in seconds):31.129 9.64/31.24 o 91 9.77/31.35 c cleaning 7068 clauses out of 14136 with flag 7195/68449 10.03/31.47 c And the winner is solver0 10.51/31.74 c Got one! Elapsed wall clock time (in seconds):31.629 10.51/31.74 o 89 10.51/31.77 c And the winner is solver0 10.62/32.24 c Got one! Elapsed wall clock time (in seconds):32.13 10.62/32.24 o 88 10.75/32.40 c cleaning 6840 clauses out of 13688 with flag 12235/75069 11.35/32.67 c cleaning 6421 clauses out of 12848 with flag 39409/81069 11.55/32.72 c And the winner is solver0 11.67/32.84 c Got one! Elapsed wall clock time (in seconds):32.732 11.67/32.84 o 87 11.67/32.88 c And the winner is solver0 11.84/33.34 c Got one! Elapsed wall clock time (in seconds):33.233 11.84/33.34 o 86 11.84/33.35 c And the winner is solver0 11.93/33.84 c Got one! Elapsed wall clock time (in seconds):33.734 11.93/33.84 o 77 12.04/33.91 c And the winner is solver0 12.11/34.34 c Got one! Elapsed wall clock time (in seconds):34.235 12.11/34.34 o 69 12.11/34.35 c And the winner is solver0 12.11/34.84 c Got one! Elapsed wall clock time (in seconds):34.737 12.11/34.84 o 68 12.21/34.94 c cleaning 6341 clauses out of 12691 with flag 8670/87333 12.62/35.20 c cleaning 6176 clauses out of 12351 with flag 35435/93334 13.42/35.50 c cleaning 6586 clauses out of 13176 with flag 66280/100335 13.82/35.77 c And the winner is solver0 14.00/35.85 c Got one! Elapsed wall clock time (in seconds):35.739 14.00/35.85 o 65 14.00/35.85 c And the winner is solver0 14.03/36.35 c Got one! Elapsed wall clock time (in seconds):36.241 14.03/36.35 o 45 14.33/36.52 c And the winner is solver0 14.40/36.85 c Got one! Elapsed wall clock time (in seconds):36.743 14.40/36.85 o 44 14.50/36.98 c cleaning 9390 clauses out of 18779 with flag 7591/112525 14.70/37.07 c And the winner is solver0 14.89/37.35 c Got one! Elapsed wall clock time (in seconds):37.246 14.89/37.35 o 38 14.89/37.37 c And the winner is solver0 15.03/37.86 c Got one! Elapsed wall clock time (in seconds):37.749 15.03/37.86 o 29 15.10/37.90 c And the winner is solver0 15.19/38.36 c Got one! Elapsed wall clock time (in seconds):38.252 15.19/38.36 o 28 15.19/38.38 c And the winner is solver0 15.31/38.86 c Got one! Elapsed wall clock time (in seconds):38.756 15.31/38.86 o 26 15.31/38.89 c And the winner is solver0 15.44/39.37 c Got one! Elapsed wall clock time (in seconds):39.261 15.44/39.37 o 24 15.49/39.45 c And the winner is solver0 15.63/39.87 c Got one! Elapsed wall clock time (in seconds):39.765 15.63/39.87 o 20 15.67/39.94 c cleaning 8153 clauses out of 16306 with flag 4609/119442 15.87/40.04 c And the winner is solver0 15.99/40.38 c Got one! Elapsed wall clock time (in seconds):40.27 15.99/40.38 o 18 16.03/40.46 c And the winner is solver0 16.19/40.88 c Got one! Elapsed wall clock time (in seconds):40.774 16.19/40.88 o 17 16.22/40.98 c cleaning 7238 clauses out of 14486 with flag 8189/125775 16.82/41.22 c cleaning 6620 clauses out of 13249 with flag 31276/131776 17.42/41.51 c cleaning 6813 clauses out of 13629 with flag 58082/138776 18.03/41.84 c cleaning 7404 clauses out of 14814 with flag 88440/146775 18.23/42.00 c And the winner is solver0 18.55/42.39 c Got one! Elapsed wall clock time (in seconds):42.279 18.55/42.39 o 16 18.57/42.44 c cleaning 6234 clauses out of 12471 with flag 4205/151837 18.97/42.60 c And the winner is solver0 19.00/42.89 c Got one! Elapsed wall clock time (in seconds):42.784 19.00/42.89 o 15 19.01/42.94 c cleaning 5781 clauses out of 11566 with flag 4766/157167 19.01/42.97 c And the winner is solver0 19.18/43.40 c Got one! Elapsed wall clock time (in seconds):43.289 19.18/43.40 o 14 19.39/43.60 c cleaning 5838 clauses out of 11680 with flag 19670/163062 19.59/43.65 c And the winner is solver0 19.76/43.90 c Got one! Elapsed wall clock time (in seconds):43.794 19.76/43.90 o 13 19.76/43.96 c And the winner is solver0 19.93/44.40 c Got one! Elapsed wall clock time (in seconds):44.298 19.93/44.41 o 12 20.10/44.54 c cleaning 5922 clauses out of 11872 with flag 12748/169093 20.50/44.70 c And the winner is solver0 20.52/44.91 c Got one! Elapsed wall clock time (in seconds):44.803 20.52/44.91 o 11 20.52/44.96 c cleaning 5568 clauses out of 11145 with flag 4542/174289 20.90/45.19 c cleaning 5781 clauses out of 11578 with flag 29320/180290 21.49/45.46 c cleaning 6391 clauses out of 12795 with flag 59013/187288 21.69/45.55 c And the winner is solver0 21.90/45.91 c Got one! Elapsed wall clock time (in seconds):45.808 21.90/45.91 o 10 21.90/45.94 c And the winner is solver0 22.03/46.42 c Got one! Elapsed wall clock time (in seconds):46.313 22.03/46.42 o 9 22.17/46.54 c And the winner is solver0 22.29/46.92 c Got one! Elapsed wall clock time (in seconds):46.818 22.29/46.92 o 8 22.29/46.98 c cleaning 6554 clauses out of 13114 with flag 5175/193998 22.83/47.23 c cleaning 6275 clauses out of 12562 with flag 32960/200001 23.43/47.51 c cleaning 6638 clauses out of 13281 with flag 61716/206998 24.03/47.83 c cleaning 7318 clauses out of 14641 with flag 93886/214999 24.83/48.23 c cleaning 8160 clauses out of 16320 with flag 133029/223998 24.83/48.27 c And the winner is solver0 25.11/48.46 c >>>>>>>>>> Solver number 0 (89 answers) <<<<<<<<<<<<<<<<<< 25.11/48.46 c starts : 199 25.11/48.46 c conflicts : 225296 25.11/48.46 c decisions : 382698 25.11/48.46 c propagations : 5866691 25.11/48.46 c inspects : 100060110 25.11/48.46 c shortcuts : 0 25.11/48.46 c learnt literals : 30 25.11/48.46 c learnt binary clauses : 81 25.11/48.46 c learnt ternary clauses : 600 25.11/48.46 c learnt constraints : 225265 25.11/48.46 c ignored constraints : 0 25.11/48.46 c root simplifications : 0 25.11/48.46 c removed literals (reason simplification) : 992008 25.11/48.46 c reason swapping (by a shorter reason) : 0 25.11/48.46 c Calls to reduceDB : 32 25.11/48.46 c Number of update (reduction) of LBD : 66213 25.11/48.46 c Imported unit clauses : 0 25.11/48.46 c number of reductions to clauses (during analyze) : 0 25.11/48.46 c number of learned constraints concerned by reduction : 0 25.11/48.46 c number of learning phase by resolution : 0 25.11/48.46 c number of learning phase by cutting planes : 0 25.11/48.46 c speed (assignments/second) : 121518.93201872488 25.11/48.46 c non guided choices 3439 25.11/48.46 c learnt constraints type 25.11/48.46 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 25.11/48.46 c starts : 89 25.11/48.46 c conflicts : 382 25.11/48.46 c decisions : 8184 25.11/48.46 c propagations : 26849 25.11/48.46 c inspects : 1007825 25.11/48.46 c shortcuts : 0 25.11/48.46 c learnt literals : 0 25.11/48.46 c learnt binary clauses : 0 25.11/48.46 c learnt ternary clauses : 0 25.11/48.46 c learnt constraints : 308 25.11/48.46 c ignored constraints : 0 25.11/48.46 c root simplifications : 0 25.11/48.46 c removed literals (reason simplification) : 0 25.11/48.46 c reason swapping (by a shorter reason) : 0 25.11/48.46 c Calls to reduceDB : 0 25.11/48.46 c Number of update (reduction) of LBD : 0 25.11/48.46 c Imported unit clauses : 0 25.11/48.46 c number of reductions to clauses (during analyze) : 0 25.11/48.46 c number of learned constraints concerned by reduction : 0 25.11/48.46 c number of learning phase by resolution : 0 25.11/48.46 c number of learning phase by cutting planes : 0 25.11/48.46 c speed (assignments/second) : 17652.202498356346 25.11/48.46 c non guided choices 1581 25.11/48.46 c learnt constraints type 25.11/48.46 s OPTIMUM FOUND 25.11/48.46 c Found 88 solution(s) 25.11/48.46 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 25.11/48.46 c objective function=8 25.11/48.46 c Total wall clock time (in seconds): 48.352
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-4109481-1467321239/watcher-4109481-1467321239 -o /tmp/evaluation-result-4109481-1467321239/solver-4109481-1467321239 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1467319216-8601 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109481-1467321239.wbo pid=12364 running on 4 cores: 0,2,4,6 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.04 2.09 2.07 3/196 12367 /proc/meminfo: memFree=28210908/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/12367/stat : 12367 (java) R 12364 12367 3195 0 -1 4202496 1065 0 0 0 0 0 0 0 20 0 1 0 2802885 23793664 714 33554432000 1073741824 1073778376 140734219631776 140734219620840 217401308520 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 5809 714 529 9 0 128 0 [startup+0.10006 s] /proc/loadavg: 2.04 2.09 2.07 3/196 12367 /proc/meminfo: memFree=28210908/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=9558476 CPUtime=0.11 cores=0,2,4,6 /proc/12367/stat : 12367 (java) S 12364 12367 3195 0 -1 4202496 4459 0 1 0 10 1 0 0 20 0 18 0 2802885 9787879424 6096 33554432000 1073741824 1073778376 140734219631776 140734219622912 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 2389619 6096 2156 9 0 2380296 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.208589 s] /proc/loadavg: 2.04 2.09 2.07 3/196 12367 /proc/meminfo: memFree=28210908/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/12367/stat : 12367 (java) S 12364 12367 3195 0 -1 4202496 5002 0 1 0 28 1 0 0 20 0 22 0 2802885 10060525568 8037 33554432000 1073741824 1073778376 140734219631776 140734219622912 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 2456183 8037 2227 9 0 2446860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9824732 [startup+0.300213 s] /proc/loadavg: 2.04 2.09 2.07 3/196 12367 /proc/meminfo: memFree=28210908/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=9824732 CPUtime=0.66 cores=0,2,4,6 /proc/12367/stat : 12367 (java) S 12364 12367 3195 0 -1 4202496 7478 0 1 0 63 3 0 0 20 0 20 0 2802885 10060525568 9866 33554432000 1073741824 1073778376 140734219631776 140734219622912 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 2456183 9866 2250 9 0 2446860 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 9824732 [startup+0.700147 s] /proc/loadavg: 2.04 2.09 2.07 3/196 12367 /proc/meminfo: memFree=28210908/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/12367/stat : 12367 (java) S 12364 12367 3195 0 -1 4202496 8187 0 1 0 79 6 0 0 20 0 19 0 2802885 10060525568 10391 33554432000 1073741824 1073778376 140734219631776 140734219622912 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 2456183 10391 2251 9 0 2446860 0 Current children cumulated CPU time (s) 0.85 Current children cumulated vsize (KiB) 9824732 [startup+1.50072 s] /proc/loadavg: 2.04 2.09 2.07 2/215 12392 /proc/meminfo: memFree=28177916/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/12367/stat : 12367 (java) S 12364 12367 3195 0 -1 4202496 8198 0 1 0 82 6 0 0 20 0 19 0 2802885 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140734219622912 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 2456183 11416 2251 9 0 2446860 0 [pid=12367/tid=12369] ppid=12364 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/12367/task/12369/stat : 12369 (java) S 12364 12367 3195 0 -1 4202560 2416 0 1 0 15 2 0 0 20 0 19 0 2802886 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393467745144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12370] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12370/stat : 12370 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393429235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12371] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12371/stat : 12371 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393428183336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12372] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12372/stat : 12372 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393427130792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12373] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12373/stat : 12373 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393426078248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12374] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12374/stat : 12374 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393425025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12375] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12375/stat : 12375 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393423973160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12376] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12376/stat : 12376 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393422920616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12377] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12377/stat : 12377 (java) S 12364 12367 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393303764008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12378] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12378/stat : 12378 (java) S 12364 12367 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2802887 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393291565160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12379] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12379/stat : 12379 (java) S 12364 12367 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2802888 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393290511480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12380] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12380/stat : 12380 (java) S 12364 12367 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2802888 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393289458824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12381] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12381/stat : 12381 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802890 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140393288407568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12382] ppid=12364 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/12367/task/12382/stat : 12382 (java) S 12364 12367 3195 0 -1 4202560 2286 0 0 0 20 0 0 0 20 0 19 0 2802890 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140392548788792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12383] ppid=12364 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/12367/task/12383/stat : 12383 (java) S 12364 12367 3195 0 -1 4202560 2144 0 0 0 20 0 0 0 20 0 19 0 2802890 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140392547736248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12384] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12384/stat : 12384 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802890 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140392546683896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12385] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12385/stat : 12385 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802890 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140392545631560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12389] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12389/stat : 12389 (java) S 12364 12367 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2802903 10060525568 11416 33554432000 1073741824 1073778376 140734219631776 140392541418664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.88 Current children cumulated vsize (KiB) 9824732 [startup+3.10079 s] /proc/loadavg: 2.12 2.11 2.08 4/215 12401 /proc/meminfo: memFree=28136844/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=9824732 CPUtime=1.55 cores=0,2,4,6 /proc/12367/stat : 12367 (java) S 12364 12367 3195 0 -1 4202496 16033 0 1 0 146 9 0 0 20 0 19 0 2802885 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140734219622912 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 2456183 20917 2258 9 0 2446860 0 [pid=12367/tid=12369] ppid=12364 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/12367/task/12369/stat : 12369 (java) S 12364 12367 3195 0 -1 4202560 2417 0 1 0 15 2 0 0 20 0 19 0 2802886 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393467745144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12370] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12370/stat : 12370 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393429235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12371] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12371/stat : 12371 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393428183336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12372] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12372/stat : 12372 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393427130792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12373] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12373/stat : 12373 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393426078248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12374] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12374/stat : 12374 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393425025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12375] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12375/stat : 12375 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393423973160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12376] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12376/stat : 12376 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393422920616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12377] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12377/stat : 12377 (java) S 12364 12367 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2802886 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393303764008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12378] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12378/stat : 12378 (java) S 12364 12367 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2802887 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393291565160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12379] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12379/stat : 12379 (java) S 12364 12367 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2802888 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393290511480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12380] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12380/stat : 12380 (java) S 12364 12367 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2802888 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393289458824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12381] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12381/stat : 12381 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802890 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140393288407568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12382] ppid=12364 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/12367/task/12382/stat : 12382 (java) S 12364 12367 3195 0 -1 4202560 5637 0 0 0 45 0 0 0 20 0 19 0 2802890 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140392548788792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12383] ppid=12364 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/12367/task/12383/stat : 12383 (java) S 12364 12367 3195 0 -1 4202560 6597 0 0 0 45 2 0 0 20 0 19 0 2802890 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140392547736248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12384] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12384/stat : 12384 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802890 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140392546683896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12385] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12385/stat : 12385 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802890 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140392545631560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12389] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12389/stat : 12389 (java) S 12364 12367 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2802903 10060525568 20917 33554432000 1073741824 1073778376 140734219631776 140392541418664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.55 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=28 pid=1814 uid=0 cmd= ############ # WARNING: # current cumulated CPU time (1.71 s) is less than in the last sample (1.73 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.02 s) to the 'lost time'. [startup+6.20071 s] /proc/loadavg: 2.12 2.11 2.08 2/215 12419 /proc/meminfo: memFree=28110736/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=9824732 CPUtime=1.73 cores=0,2,4,6 /proc/12367/stat : 12367 (java) S 12364 12367 3195 0 -1 4202496 16157 0 1 0 163 10 0 0 20 0 22 0 2802885 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140734219622912 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 2456183 29074 2267 9 0 2446860 0 [pid=12367/tid=12369] ppid=12364 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/12367/task/12369/stat : 12369 (java) S 12364 12367 3195 0 -1 4202560 2419 0 1 0 15 2 0 0 20 0 22 0 2802886 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393467745144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12370] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12370/stat : 12370 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802886 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393429235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12371] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12371/stat : 12371 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802886 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393428183336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12372] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12372/stat : 12372 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802886 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393427130792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12373] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12373/stat : 12373 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802886 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393426078248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12374] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12374/stat : 12374 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802886 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393425025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12375] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12375/stat : 12375 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802886 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393423973160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12376] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12376/stat : 12376 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802886 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393422920616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12377] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12377/stat : 12377 (java) S 12364 12367 3195 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 2802886 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393303764008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12378] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12378/stat : 12378 (java) S 12364 12367 3195 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 2802887 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393291565096 217413891132 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12379] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12379/stat : 12379 (java) S 12364 12367 3195 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 2802888 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393290511480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12380] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12380/stat : 12380 (java) S 12364 12367 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2802888 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393289458824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12381] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12381/stat : 12381 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802890 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140393288407568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12382] ppid=12364 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/12367/task/12382/stat : 12382 (java) S 12364 12367 3195 0 -1 4202560 5672 0 0 0 58 0 0 0 20 0 22 0 2802890 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140392548788792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12383] ppid=12364 vsize=9824732 CPUtime=0.48 cores=0,2,4,6 /proc/12367/task/12383/stat : 12383 (java) S 12364 12367 3195 0 -1 4202560 6600 0 0 0 46 2 0 0 20 0 22 0 2802890 10060525568 29074 33554432000 1073741824 1073778376 140734219631776 140392547736248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ /proc/12367/task/12380/stat : 12380 (java) S 12364 12367 3195 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 2802888 10060525568 55217 33554432000 1073741824 1073778376 140734219631776 140393289458824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12381] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12381/stat : 12381 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802890 10060525568 55217 33554432000 1073741824 1073778376 140734219631776 140393288407568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12382] ppid=12364 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/12367/task/12382/stat : 12382 (java) S 12364 12367 3195 0 -1 4202560 10000 0 0 0 139 2 0 0 20 0 19 0 2802890 10060525568 55217 33554432000 1073741824 1073778376 140734219631776 140392548788792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12383] ppid=12364 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/12367/task/12383/stat : 12383 (java) S 12364 12367 3195 0 -1 4202560 12342 0 0 0 121 3 0 0 20 0 19 0 2802890 10060525568 55217 33554432000 1073741824 1073778376 140734219631776 140392547736248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12384] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12384/stat : 12384 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2802890 10060525568 55217 33554432000 1073741824 1073778376 140734219631776 140392546683896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12385] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12385/stat : 12385 (java) S 12364 12367 3195 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 2802890 10060525568 55217 33554432000 1073741824 1073778376 140734219631776 140392545631560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12389] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12389/stat : 12389 (java) S 12364 12367 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2802903 10060525568 55217 33554432000 1073741824 1073778376 140734219631776 140392541418664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 22 Current children cumulated vsize (KiB) 9824732 [startup+47.2007 s] /proc/loadavg: 1.81 2.03 2.05 1/212 12806 /proc/meminfo: memFree=28214816/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=9824732 CPUtime=22.8 cores=0,2,4,6 /proc/12367/stat : 12367 (java) S 12364 12367 3195 0 -1 4202496 27054 0 1 0 2136 144 0 0 20 0 22 0 2802885 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140734219622912 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 2456183 55131 2288 9 0 2446860 0 [pid=12367/tid=12369] ppid=12364 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/12367/task/12369/stat : 12369 (java) S 12364 12367 3195 0 -1 4202560 2422 0 1 0 27 2 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393467745144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12370] ppid=12364 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12367/task/12370/stat : 12370 (java) S 12364 12367 3195 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393429235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12371] ppid=12364 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/12367/task/12371/stat : 12371 (java) S 12364 12367 3195 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393428183336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12372] ppid=12364 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/12367/task/12372/stat : 12372 (java) S 12364 12367 3195 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393427130792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12373] ppid=12364 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/12367/task/12373/stat : 12373 (java) S 12364 12367 3195 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393426078248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12374] ppid=12364 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/12367/task/12374/stat : 12374 (java) S 12364 12367 3195 0 -1 4202560 28 0 0 0 2 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393425025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12375] ppid=12364 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/12367/task/12375/stat : 12375 (java) S 12364 12367 3195 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393423973160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12376] ppid=12364 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12367/task/12376/stat : 12376 (java) S 12364 12367 3195 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393422920616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12377] ppid=12364 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/12367/task/12377/stat : 12377 (java) S 12364 12367 3195 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393303764008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12378] ppid=12364 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12367/task/12378/stat : 12378 (java) S 12364 12367 3195 0 -1 4202560 14 0 0 0 0 4 0 0 20 0 22 0 2802887 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393291565160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12379] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12379/stat : 12379 (java) S 12364 12367 3195 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2802888 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393290511480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12380] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12380/stat : 12380 (java) S 12364 12367 3195 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 2802888 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393289458824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12381] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12381/stat : 12381 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802890 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393288407568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12382] ppid=12364 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/12367/task/12382/stat : 12382 (java) S 12364 12367 3195 0 -1 4202560 10000 0 0 0 139 2 0 0 20 0 22 0 2802890 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392548788792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12383] ppid=12364 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/12367/task/12383/stat : 12383 (java) S 12364 12367 3195 0 -1 4202560 12342 0 0 0 121 3 0 0 20 0 22 0 2802890 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392547736248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12384] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12384/stat : 12384 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802890 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392546683896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12385] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12385/stat : 12385 (java) S 12364 12367 3195 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2802890 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392545631560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12389] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12389/stat : 12389 (java) S 12364 12367 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2802903 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392541418664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 22.8 Current children cumulated vsize (KiB) 9824732 [startup+48.0009 s] /proc/loadavg: 1.67 2.00 2.04 3/216 12819 /proc/meminfo: memFree=28212440/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=9824732 CPUtime=24.4 cores=0,2,4,6 /proc/12367/stat : 12367 (java) S 12364 12367 3195 0 -1 4202496 27054 0 1 0 2296 144 0 0 20 0 22 0 2802885 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140734219622912 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 2456183 55131 2288 9 0 2446860 0 [pid=12367/tid=12369] ppid=12364 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/12367/task/12369/stat : 12369 (java) S 12364 12367 3195 0 -1 4202560 2422 0 1 0 27 2 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393467745144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12370] ppid=12364 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12367/task/12370/stat : 12370 (java) S 12364 12367 3195 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393429235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12371] ppid=12364 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/12367/task/12371/stat : 12371 (java) S 12364 12367 3195 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393428183336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12372] ppid=12364 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/12367/task/12372/stat : 12372 (java) S 12364 12367 3195 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393427130792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12373] ppid=12364 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/12367/task/12373/stat : 12373 (java) S 12364 12367 3195 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393426078248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12374] ppid=12364 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/12367/task/12374/stat : 12374 (java) S 12364 12367 3195 0 -1 4202560 28 0 0 0 2 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393425025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12375] ppid=12364 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/12367/task/12375/stat : 12375 (java) S 12364 12367 3195 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393423973160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12376] ppid=12364 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12367/task/12376/stat : 12376 (java) S 12364 12367 3195 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393422920616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12377] ppid=12364 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/12367/task/12377/stat : 12377 (java) S 12364 12367 3195 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 2802886 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393303764008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12378] ppid=12364 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12367/task/12378/stat : 12378 (java) S 12364 12367 3195 0 -1 4202560 14 0 0 0 0 4 0 0 20 0 22 0 2802887 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393291565160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12379] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12379/stat : 12379 (java) S 12364 12367 3195 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2802888 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393290511480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12380] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12380/stat : 12380 (java) S 12364 12367 3195 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 2802888 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393289458824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12381] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12381/stat : 12381 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802890 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140393288407568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12382] ppid=12364 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/12367/task/12382/stat : 12382 (java) S 12364 12367 3195 0 -1 4202560 10000 0 0 0 139 2 0 0 20 0 22 0 2802890 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392548788792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12383] ppid=12364 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/12367/task/12383/stat : 12383 (java) S 12364 12367 3195 0 -1 4202560 12342 0 0 0 121 3 0 0 20 0 22 0 2802890 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392547736248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12384] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12384/stat : 12384 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2802890 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392546683896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12385] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12385/stat : 12385 (java) S 12364 12367 3195 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 2802890 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392545631560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12389] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12389/stat : 12389 (java) S 12364 12367 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 2802903 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392541418664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12813] ppid=12364 vsize=9824732 CPUtime=1.05 cores=0,2,4,6 /proc/12367/task/12813/stat : 12813 (java) R 12364 12367 3195 0 -1 4202560 3 0 0 0 105 0 0 0 20 0 22 0 2807578 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392544567056 140393304207408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12814] ppid=12364 vsize=9824732 CPUtime=1.05 cores=0,2,4,6 /proc/12367/task/12814/stat : 12814 (java) R 12364 12367 3195 0 -1 4202560 2 0 0 0 105 0 0 0 20 0 22 0 2807578 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392542471128 140393304370225 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12815] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12815/stat : 12815 (java) S 12364 12367 3195 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2807579 10060525568 55131 33554432000 1073741824 1073778376 140734219631776 140392543524008 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 24.4 Current children cumulated vsize (KiB) 9824732 [startup+48.4007 s] /proc/loadavg: 1.67 2.00 2.04 2/214 12825 /proc/meminfo: memFree=28212556/32872528 swapFree=1522152/1652968 [pid=12367] ppid=12364 vsize=9824732 CPUtime=25.08 cores=0,2,4,6 /proc/12367/stat : 12367 (java) S 12364 12367 3195 0 -1 4202496 27054 0 1 0 2363 145 0 0 20 0 20 0 2802885 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140734219622912 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12367/statm: 2456183 55126 2288 9 0 2446860 0 [pid=12367/tid=12369] ppid=12364 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/12367/task/12369/stat : 12369 (java) S 12364 12367 3195 0 -1 4202560 2422 0 1 0 27 2 0 0 20 0 20 0 2802886 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393467745144 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12370] ppid=12364 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12367/task/12370/stat : 12370 (java) S 12364 12367 3195 0 -1 4202560 29 0 0 0 3 1 0 0 20 0 20 0 2802886 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393429235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12371] ppid=12364 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/12367/task/12371/stat : 12371 (java) S 12364 12367 3195 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 20 0 2802886 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393428183336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12372] ppid=12364 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/12367/task/12372/stat : 12372 (java) S 12364 12367 3195 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 20 0 2802886 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393427130792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12373] ppid=12364 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/12367/task/12373/stat : 12373 (java) S 12364 12367 3195 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 20 0 2802886 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393426078248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12374] ppid=12364 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/12367/task/12374/stat : 12374 (java) S 12364 12367 3195 0 -1 4202560 28 0 0 0 2 0 0 0 20 0 20 0 2802886 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393425025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12375] ppid=12364 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/12367/task/12375/stat : 12375 (java) S 12364 12367 3195 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 20 0 2802886 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393423973160 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12376] ppid=12364 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12367/task/12376/stat : 12376 (java) S 12364 12367 3195 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 20 0 2802886 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393422920616 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12377] ppid=12364 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/12367/task/12377/stat : 12377 (java) S 12364 12367 3195 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 20 0 2802886 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393303764008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12378] ppid=12364 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/12367/task/12378/stat : 12378 (java) S 12364 12367 3195 0 -1 4202560 14 0 0 0 0 4 0 0 20 0 20 0 2802887 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393291565160 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12379] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12379/stat : 12379 (java) S 12364 12367 3195 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 2802888 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393290511480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12380] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12380/stat : 12380 (java) S 12364 12367 3195 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 2802888 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393289458824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12381] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12381/stat : 12381 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2802890 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140393288407568 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=12367/tid=12382] ppid=12364 vsize=9824732 CPUtime=1.41 cores=0,2,4,6 /proc/12367/task/12382/stat : 12382 (java) S 12364 12367 3195 0 -1 4202560 10000 0 0 0 139 2 0 0 20 0 20 0 2802890 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140392548788792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12383] ppid=12364 vsize=9824732 CPUtime=1.24 cores=0,2,4,6 /proc/12367/task/12383/stat : 12383 (java) S 12364 12367 3195 0 -1 4202560 12342 0 0 0 121 3 0 0 20 0 20 0 2802890 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140392547736248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=12367/tid=12384] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12384/stat : 12384 (java) S 12364 12367 3195 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 2802890 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140392546683896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12385] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12385/stat : 12385 (java) S 12364 12367 3195 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 2802890 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140392545631560 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=12367/tid=12389] ppid=12364 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/12367/task/12389/stat : 12389 (java) S 12364 12367 3195 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 2802903 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140392541418664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=12367/tid=12814] ppid=12364 vsize=9824732 CPUtime=1.45 cores=0,2,4,6 /proc/12367/task/12814/stat : 12814 (java) R 12364 12367 3195 0 -1 4202560 2 0 0 0 145 0 0 0 20 0 20 0 2807578 10060525568 55126 33554432000 1073741824 1073778376 140734219631776 140392542471128 140393304370311 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.08 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): 0.03 # lost CPU user time (s): 0.00999999 # lost CPU system time (s): 0.02 Real time (s): 48.4675 CPU time (s): 25.2702 CPU user time (s): 23.6984 CPU system time (s): 1.57176 CPU usage (%): 52.1384 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.6884 system time used= 1.55176 maximum resident set size= 231888 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27062 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= 3577 involuntary context switches= 962 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.179972 second user time and 0.213967 second system time The end
Begin job on node122 at 2016-06-30 23:13:59 IDJOB=4109481 IDBENCH=78825 IDSOLVER=2552 FILE ID=node122/4109481-1467321239 RUNJOBID= node122-1467319216-8601 PBS_JOBID= 20005252 Free space on /tmp= 71728 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.1111224255--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109481-1467321239/watcher-4109481-1467321239 -o /tmp/evaluation-result-4109481-1467321239/solver-4109481-1467321239 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1467319216-8601 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109481-1467321239.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 51ec66e2af29a72ddad86a3465d2cbc7 RANDOM SEED=177143967 node122.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.814 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.62 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.814 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.814 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.814 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.814 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.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 : 2666.814 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.814 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.814 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28211536 kB Buffers: 98256 kB Cached: 1759892 kB SwapCached: 0 kB Active: 583360 kB Inactive: 1649796 kB Active(anon): 377824 kB Inactive(anon): 4 kB Active(file): 205536 kB Inactive(file): 1649792 kB Unevictable: 1652968 kB Mlocked: 1522152 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1032 kB Writeback: 0 kB AnonPages: 2050764 kB Mapped: 22216 kB Shmem: 204 kB Slab: 619176 kB SReclaimable: 62968 kB SUnreclaim: 556208 kB KernelStack: 1608 kB PageTables: 8284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2364996 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 503808 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= 71728 MiB End job on node122 at 2016-06-30 23:14:47