Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | MSAT (TO) | 1800.02 | 1811.75 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-33-100-0.wbo |
| MD5SUM | 9d49cc96dce2d827c87e3b263591bd09 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 9.16361 |
| 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 | 1199 |
| 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.05/0.12 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.05/0.12 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.12 c See www.sat4j.org for details. 0.05/0.12 c version PB16.v20160501 0.05/0.12 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.12 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.12 c java.vm.version 19.1-b02 0.05/0.12 c java.vm.vendor Sun Microsystems Inc. 0.05/0.12 c sun.arch.data.model 64 0.05/0.12 c java.version 1.6.0_24 0.05/0.12 c os.name Linux 0.05/0.12 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.12 c os.arch amd64 0.05/0.12 c Free memory 501472288 0.05/0.12 c Max memory 7480803328 0.05/0.12 c Total memory 504102912 0.05/0.12 c Number of processors 8 0.05/0.17 c Pseudo Boolean Optimization by upper bound 0.05/0.17 c ManyCore solver with 2 solvers running in parallel 0.05/0.17 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.05/0.17 c --- Begin Solver configuration --- 0.05/0.17 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.05/0.17 c Learn all clauses as in MiniSAT 0.05/0.17 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.17 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.05/0.17 c Expensive reason simplification 0.05/0.17 c Glucose 2.1 dynamic restart strategy 0.05/0.17 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.05/0.17 c timeout=2147483s 0.05/0.17 c DB Simplification allowed=false 0.05/0.17 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.05/0.17 c --- End Solver configuration --- 0.05/0.17 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.05/0.17 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.05/0.17 c --- Begin Solver configuration --- 0.05/0.17 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.05/0.17 c Learn all clauses as in MiniSAT 0.05/0.17 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.05/0.17 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.05/0.17 c No reason simplification 0.05/0.17 c Armin Biere (Picosat) restarts strategy 0.05/0.17 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.05/0.17 c timeout=2147483s 0.05/0.17 c DB Simplification allowed=false 0.05/0.17 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.05/0.17 c --- End Solver configuration --- 0.05/0.17 c solving HOME/instance-4109229-1466341817.wbo 0.05/0.17 c reading problem ... 0.16/0.24 c ... done. Wall clock time 0.067s. 0.16/0.24 c declared #vars 169 0.16/0.24 c internal #vars 238 0.16/0.24 c #constraints 101 0.16/0.25 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.16/0.25 c constraints type 0.16/0.25 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27 0.16/0.25 c org.sat4j.minisat.constraints.card.MinWatchCard => 20 0.16/0.25 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3 0.16/0.25 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51 0.16/0.25 c 101 constraints processed. 0.16/0.25 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.16/0.25 c constraints type 0.16/0.25 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3 0.16/0.25 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27 0.16/0.25 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 20 0.16/0.25 c org.sat4j.pb.constraints.pb.MaxWatchPb => 51 0.16/0.25 c 101 constraints processed. 0.16/0.25 c objective function length is 69 literals 0.79/0.43 c And the winner is solver0 1.28/0.75 c SATISFIABLE 1.28/0.75 c OPTIMIZING... 1.28/0.75 c Got one! Elapsed wall clock time (in seconds):0.577 1.28/0.75 o 710 1.28/0.75 c And the winner is solver0 1.30/1.25 c Got one! Elapsed wall clock time (in seconds):1.078 1.30/1.25 o 675 1.30/1.26 c And the winner is solver0 1.35/1.75 c Got one! Elapsed wall clock time (in seconds):1.579 1.35/1.75 o 668 1.35/1.76 c And the winner is solver0 1.35/2.25 c Got one! Elapsed wall clock time (in seconds):2.081 1.35/2.25 o 655 1.35/2.30 c And the winner is solver0 1.71/2.75 c Got one! Elapsed wall clock time (in seconds):2.582 1.71/2.75 o 647 1.85/2.85 c And the winner is solver0 2.09/3.25 c Got one! Elapsed wall clock time (in seconds):3.083 2.09/3.25 o 612 2.09/3.26 c And the winner is solver0 2.16/3.75 c Got one! Elapsed wall clock time (in seconds):3.584 2.16/3.75 o 527 2.16/3.76 c And the winner is solver0 2.19/4.26 c Got one! Elapsed wall clock time (in seconds):4.085 2.19/4.26 o 526 2.19/4.26 c And the winner is solver0 2.19/4.76 c Got one! Elapsed wall clock time (in seconds):4.587 2.19/4.76 o 502 2.19/4.77 c And the winner is solver0 2.19/5.26 c Got one! Elapsed wall clock time (in seconds):5.088 2.19/5.26 o 476 2.19/5.27 c And the winner is solver0 2.19/5.76 c Got one! Elapsed wall clock time (in seconds):5.589 2.19/5.76 o 472 2.19/5.77 c And the winner is solver0 2.19/6.26 c Got one! Elapsed wall clock time (in seconds):6.09 2.19/6.26 o 470 2.19/6.27 c And the winner is solver0 2.21/6.76 c Got one! Elapsed wall clock time (in seconds):6.591 2.21/6.76 o 463 2.21/6.77 c And the winner is solver0 2.26/7.26 c Got one! Elapsed wall clock time (in seconds):7.092 2.26/7.26 o 459 2.26/7.28 c And the winner is solver0 2.30/7.76 c Got one! Elapsed wall clock time (in seconds):7.593 2.30/7.76 o 458 2.30/7.79 c And the winner is solver0 2.36/8.27 c Got one! Elapsed wall clock time (in seconds):8.094 2.36/8.27 o 456 2.36/8.28 c And the winner is solver0 2.42/8.77 c Got one! Elapsed wall clock time (in seconds):8.595 2.42/8.77 o 453 2.42/8.78 c And the winner is solver0 2.48/9.27 c Got one! Elapsed wall clock time (in seconds):9.096 2.48/9.27 o 452 2.48/9.29 c And the winner is solver0 2.53/9.77 c Got one! Elapsed wall clock time (in seconds):9.598 2.53/9.77 o 451 2.53/9.77 c And the winner is solver0 2.53/10.27 c Got one! Elapsed wall clock time (in seconds):10.098 2.53/10.27 o 445 2.62/10.33 c And the winner is solver0 2.74/10.77 c Got one! Elapsed wall clock time (in seconds):10.599 2.74/10.77 o 428 2.74/10.79 c And the winner is solver0 2.79/11.27 c Got one! Elapsed wall clock time (in seconds):11.1 2.79/11.27 o 420 2.79/11.27 c And the winner is solver0 2.79/11.77 c Got one! Elapsed wall clock time (in seconds):11.601 2.79/11.77 o 350 2.79/11.78 c And the winner is solver0 2.80/12.27 c Got one! Elapsed wall clock time (in seconds):12.102 2.80/12.27 o 349 2.80/12.29 c And the winner is solver0 2.86/12.77 c Got one! Elapsed wall clock time (in seconds):12.603 2.86/12.77 o 342 2.86/12.79 c And the winner is solver0 2.91/13.28 c Got one! Elapsed wall clock time (in seconds):13.104 2.91/13.28 o 341 2.96/13.35 c cleaning 5584 clauses out of 11182 with flag 2847/11182 2.96/13.36 c And the winner is solver0 3.23/13.78 c Got one! Elapsed wall clock time (in seconds):13.606 3.23/13.78 o 340 3.46/13.99 c cleaning 5324 clauses out of 10649 with flag 17973/16233 3.68/14.06 c And the winner is solver0 3.83/14.28 c Got one! Elapsed wall clock time (in seconds):14.107 3.83/14.28 o 339 4.10/14.45 c cleaning 5654 clauses out of 11313 with flag 13467/22221 4.50/14.62 c And the winner is solver0 4.61/14.78 c Got one! Elapsed wall clock time (in seconds):14.608 4.61/14.78 o 338 4.64/14.80 c And the winner is solver0 4.67/15.28 c Got one! Elapsed wall clock time (in seconds):15.109 4.67/15.28 o 334 4.70/15.30 c And the winner is solver0 4.73/15.78 c Got one! Elapsed wall clock time (in seconds):15.61 4.73/15.78 o 332 4.75/15.82 c And the winner is solver0 4.82/16.28 c Got one! Elapsed wall clock time (in seconds):16.11 4.82/16.28 o 330 4.85/16.34 c cleaning 6597 clauses out of 13215 with flag 3417/29777 4.85/16.39 c And the winner is solver0 5.06/16.78 c Got one! Elapsed wall clock time (in seconds):16.611 5.06/16.78 o 329 5.09/16.83 c And the winner is solver0 5.20/17.28 c Got one! Elapsed wall clock time (in seconds):17.112 5.20/17.28 o 325 5.23/17.31 c And the winner is solver0 5.29/17.78 c Got one! Elapsed wall clock time (in seconds):17.613 5.29/17.78 o 318 5.31/17.83 c And the winner is solver0 5.43/18.28 c Got one! Elapsed wall clock time (in seconds):18.114 5.43/18.28 o 316 5.45/18.37 c cleaning 6581 clauses out of 13165 with flag 7481/36324 5.45/18.39 c And the winner is solver0 5.66/18.79 c Got one! Elapsed wall clock time (in seconds):18.615 5.66/18.79 o 309 5.66/18.79 c And the winner is solver0 5.66/19.29 c Got one! Elapsed wall clock time (in seconds):19.115 5.66/19.29 o 296 5.69/19.38 c And the winner is solver0 5.89/19.79 c Got one! Elapsed wall clock time (in seconds):19.616 5.89/19.79 o 279 6.12/19.91 c cleaning 6298 clauses out of 12617 with flag 10491/42357 6.12/19.92 c And the winner is solver0 6.20/20.29 c Got one! Elapsed wall clock time (in seconds):20.117 6.20/20.29 o 271 6.22/20.35 c And the winner is solver0 6.35/20.79 c Got one! Elapsed wall clock time (in seconds):20.618 6.35/20.79 o 261 6.35/20.80 c And the winner is solver0 6.48/21.29 c Got one! Elapsed wall clock time (in seconds):21.119 6.48/21.29 o 248 6.48/21.32 c And the winner is solver0 6.59/21.79 c Got one! Elapsed wall clock time (in seconds):21.62 6.59/21.79 o 246 6.60/21.81 c And the winner is solver0 6.65/22.29 c Got one! Elapsed wall clock time (in seconds):22.122 6.65/22.29 o 245 6.85/22.46 c cleaning 6778 clauses out of 13569 with flag 15645/49607 6.85/22.48 c And the winner is solver0 7.06/22.79 c Got one! Elapsed wall clock time (in seconds):22.622 7.06/22.79 o 244 7.06/22.89 c And the winner is solver0 7.29/23.29 c Got one! Elapsed wall clock time (in seconds):23.123 7.29/23.29 o 242 7.49/23.41 c And the winner is solver0 7.54/23.80 c Got one! Elapsed wall clock time (in seconds):23.624 7.54/23.80 o 228 7.54/23.84 c And the winner is solver0 7.68/24.30 c Got one! Elapsed wall clock time (in seconds):24.125 7.68/24.30 o 227 7.69/24.35 c cleaning 7424 clauses out of 14859 with flag 3931/57675 8.08/24.57 c cleaning 6713 clauses out of 13434 with flag 25751/63674 8.28/24.61 c And the winner is solver0 8.32/24.80 c Got one! Elapsed wall clock time (in seconds):24.626 8.32/24.80 o 219 8.52/24.95 c cleaning 5947 clauses out of 11911 with flag 16276/68864 8.72/25.00 c And the winner is solver0 8.74/25.30 c Got one! Elapsed wall clock time (in seconds):25.127 8.74/25.30 o 218 8.78/25.35 c And the winner is solver0 8.92/25.80 c Got one! Elapsed wall clock time (in seconds):25.628 8.92/25.80 o 217 9.12/25.92 c cleaning 5796 clauses out of 11607 with flag 12699/74507 9.12/25.98 c And the winner is solver0 9.33/26.30 c Got one! Elapsed wall clock time (in seconds):26.129 9.33/26.30 o 214 9.33/26.36 c And the winner is solver0 9.50/26.80 c Got one! Elapsed wall clock time (in seconds):26.63 9.50/26.80 o 213 9.50/26.82 c And the winner is solver0 9.56/27.30 c Got one! Elapsed wall clock time (in seconds):27.131 9.56/27.30 o 212 9.76/27.42 c cleaning 6347 clauses out of 12709 with flag 12614/81405 9.97/27.54 c And the winner is solver0 10.07/27.80 c Got one! Elapsed wall clock time (in seconds):27.632 10.07/27.80 o 210 10.07/27.84 c And the winner is solver0 10.20/28.30 c Got one! Elapsed wall clock time (in seconds):28.133 10.20/28.30 o 209 10.20/28.36 c cleaning 5909 clauses out of 11830 with flag 3797/86873 10.41/28.46 c And the winner is solver0 10.57/28.80 c Got one! Elapsed wall clock time (in seconds):28.634 10.57/28.80 o 207 10.57/28.90 c cleaning 5594 clauses out of 11207 with flag 7508/92159 10.75/29.00 c And the winner is solver0 10.98/29.31 c Got one! Elapsed wall clock time (in seconds):29.135 10.98/29.31 o 196 10.98/29.34 c And the winner is solver0 11.06/29.81 c Got one! Elapsed wall clock time (in seconds):29.635 11.06/29.81 o 171 11.06/29.81 c And the winner is solver0 11.10/30.31 c Got one! Elapsed wall clock time (in seconds):30.136 11.10/30.31 o 152 11.10/30.33 c And the winner is solver0 11.19/30.81 c Got one! Elapsed wall clock time (in seconds):30.637 11.19/30.81 o 142 11.19/30.84 c And the winner is solver0 11.28/31.31 c Got one! Elapsed wall clock time (in seconds):31.138 11.28/31.31 o 141 11.28/31.32 c And the winner is solver0 11.31/31.81 c Got one! Elapsed wall clock time (in seconds):31.639 11.31/31.81 o 134 11.31/31.87 c And the winner is solver0 11.46/32.31 c Got one! Elapsed wall clock time (in seconds):32.14 11.46/32.31 o 131 11.46/32.35 c And the winner is solver0 11.55/32.81 c Got one! Elapsed wall clock time (in seconds):32.641 11.55/32.81 o 130 11.72/32.91 c cleaning 7562 clauses out of 15124 with flag 10337/101670 11.93/33.03 c And the winner is solver0 12.04/33.31 c Got one! Elapsed wall clock time (in seconds):33.141 12.04/33.31 o 118 12.04/33.39 c And the winner is solver0 12.22/33.81 c Got one! Elapsed wall clock time (in seconds):33.642 12.22/33.81 o 109 12.22/33.83 c And the winner is solver0 12.29/34.31 c Got one! Elapsed wall clock time (in seconds):34.143 12.29/34.31 o 108 12.29/34.35 c And the winner is solver0 12.38/34.81 c Got one! Elapsed wall clock time (in seconds):34.643 12.38/34.81 o 105 12.38/34.88 c cleaning 7421 clauses out of 14842 with flag 3845/108950 13.19/35.10 c And the winner is solver0 13.29/35.31 c Got one! Elapsed wall clock time (in seconds):35.144 13.29/35.31 o 98 13.29/35.32 c And the winner is solver0 13.30/35.82 c Got one! Elapsed wall clock time (in seconds):35.645 13.30/35.82 o 97 13.66/36.05 c cleaning 9227 clauses out of 18463 with flag 17996/119992 14.23/36.30 c cleaning 7611 clauses out of 15235 with flag 38786/125991 15.02/36.56 c cleaning 7305 clauses out of 14624 with flag 66011/132991 15.02/36.58 c And the winner is solver0 15.22/36.82 c Got one! Elapsed wall clock time (in seconds):36.646 15.22/36.82 o 95 15.22/36.88 c And the winner is solver0 15.39/37.32 c Got one! Elapsed wall clock time (in seconds):37.146 15.39/37.32 o 94 15.56/37.48 c cleaning 6938 clauses out of 13879 with flag 15288/139551 16.14/37.70 c cleaning 6466 clauses out of 12942 with flag 39379/145552 16.14/37.74 c And the winner is solver0 16.56/38.12 c Got one! Elapsed wall clock time (in seconds):37.947 16.56/38.12 o 91 16.71/38.27 c cleaning 5761 clauses out of 11537 with flag 16748/150613 16.91/38.35 c And the winner is solver0 17.09/38.62 c Got one! Elapsed wall clock time (in seconds):38.448 17.09/38.62 o 82 17.24/38.72 c And the winner is solver0 17.37/39.12 c Got one! Elapsed wall clock time (in seconds):38.949 17.37/39.12 o 81 17.37/39.16 c cleaning 6184 clauses out of 12368 with flag 3775/157205 17.72/39.37 c cleaning 6084 clauses out of 12183 with flag 26761/163204 18.33/39.63 c cleaning 6537 clauses out of 13100 with flag 54992/170205 18.53/39.71 c And the winner is solver0 18.57/40.12 c Got one! Elapsed wall clock time (in seconds):39.951 18.57/40.12 o 80 18.57/40.19 c And the winner is solver0 18.72/40.62 c Got one! Elapsed wall clock time (in seconds):40.452 18.72/40.62 o 78 18.72/40.70 c cleaning 6371 clauses out of 12745 with flag 7440/176387 18.88/40.76 c And the winner is solver0 19.00/41.12 c Got one! Elapsed wall clock time (in seconds):40.954 19.00/41.12 o 77 19.14/41.29 c cleaning 6172 clauses out of 12371 with flag 16527/182384 19.35/41.33 c And the winner is solver0 19.47/41.63 c Got one! Elapsed wall clock time (in seconds):41.455 19.47/41.63 o 74 19.47/41.65 c And the winner is solver0 19.54/42.13 c Got one! Elapsed wall clock time (in seconds):41.957 19.54/42.13 o 72 19.87/42.32 c cleaning 6406 clauses out of 12825 with flag 17418/189010 20.27/42.54 c cleaning 6207 clauses out of 12421 with flag 38161/195012 20.27/42.58 c And the winner is solver0 20.45/42.63 c Got one! Elapsed wall clock time (in seconds):42.458 20.45/42.63 o 58 20.59/42.78 c cleaning 5815 clauses out of 11634 with flag 15260/200432 20.79/42.81 c And the winner is solver0 20.84/43.13 c Got one! Elapsed wall clock time (in seconds):42.96 20.84/43.13 o 53 20.84/43.16 c And the winner is solver0 20.91/43.63 c Got one! Elapsed wall clock time (in seconds):43.463 20.91/43.63 o 51 20.91/43.69 c And the winner is solver0 21.04/44.14 c Got one! Elapsed wall clock time (in seconds):43.966 21.04/44.14 o 50 21.15/44.27 c cleaning 6188 clauses out of 12382 with flag 12360/206995 21.55/44.49 c cleaning 6092 clauses out of 12194 with flag 38235/212995 22.16/44.75 c And the winner is solver0 22.26/45.14 c Got one! Elapsed wall clock time (in seconds):44.97 22.26/45.14 o 46 22.58/45.39 c cleaning 8922 clauses out of 17856 with flag 21561/224749 22.99/45.50 c And the winner is solver0 23.01/45.65 c Got one! Elapsed wall clock time (in seconds):45.473 23.01/45.65 o 36 23.11/45.77 c cleaning 7390 clauses out of 14788 with flag 10999/230603 23.51/45.97 c cleaning 6691 clauses out of 13397 with flag 33216/236602 24.13/46.21 c cleaning 6853 clauses out of 13707 with flag 59799/243603 24.72/46.50 c cleaning 7422 clauses out of 14854 with flag 90863/251603 25.32/46.82 c cleaning 8214 clauses out of 16430 with flag 124979/260602 25.52/47.00 c And the winner is solver0 26.22/47.50 c Got one! Elapsed wall clock time (in seconds):47.328 26.22/47.50 o 33 26.62/47.72 c cleaning 9259 clauses out of 18530 with flag 18740/270917 27.02/47.94 c cleaning 7634 clauses out of 15273 with flag 43067/276919 27.62/48.21 c cleaning 7316 clauses out of 14637 with flag 70549/283917 28.03/48.50 c cleaning 7658 clauses out of 15319 with flag 100368/291917 28.24/48.56 c And the winner is solver0 28.37/49.01 c Got one! Elapsed wall clock time (in seconds):48.834 28.37/49.01 o 32 28.55/49.12 c cleaning 6391 clauses out of 12802 with flag 12076/297059 28.95/49.34 c cleaning 6193 clauses out of 12413 with flag 34908/303061 29.36/49.59 c cleaning 6601 clauses out of 13218 with flag 59380/310059 29.95/49.86 c cleaning 7301 clauses out of 14617 with flag 87899/318059 30.75/50.20 c cleaning 8151 clauses out of 16318 with flag 122570/327061 30.75/50.21 c And the winner is solver0 30.98/50.52 c Got one! Elapsed wall clock time (in seconds):50.341 30.98/50.52 o 28 31.15/50.70 c cleaning 6707 clauses out of 13434 with flag 18098/332329 31.36/50.72 c And the winner is solver0 31.67/51.02 c Got one! Elapsed wall clock time (in seconds):50.848 31.67/51.02 o 27 31.84/51.20 c cleaning 6312 clauses out of 12635 with flag 19034/338237 32.44/51.41 c cleaning 6152 clauses out of 12324 with flag 41277/344238 32.85/51.65 c cleaning 6582 clauses out of 13173 with flag 66929/351239 33.26/51.82 c And the winner is solver0 33.29/52.03 c Got one! Elapsed wall clock time (in seconds):51.856 33.29/52.03 o 26 33.61/52.26 c cleaning 8420 clauses out of 16860 with flag 18462/361510 34.01/52.48 c cleaning 7217 clauses out of 14440 with flag 39946/367511 34.20/52.58 c And the winner is solver0 34.89/53.13 c Got one! Elapsed wall clock time (in seconds):52.964 34.89/53.13 o 23 35.04/53.20 c And the winner is solver0 35.08/53.65 c Got one! Elapsed wall clock time (in seconds):53.471 35.08/53.65 o 19 35.08/53.69 c cleaning 6553 clauses out of 13122 with flag 3827/373411 35.38/53.90 c cleaning 6282 clauses out of 12568 with flag 25398/379412 35.79/54.06 c And the winner is solver0 36.54/54.75 c Got one! Elapsed wall clock time (in seconds):54.58 36.54/54.75 o 18 36.85/54.96 c cleaning 8253 clauses out of 16521 with flag 19013/389648 37.26/55.18 c cleaning 7127 clauses out of 14266 with flag 41930/395648 37.85/55.42 c cleaning 7062 clauses out of 14137 with flag 68306/402649 38.05/55.53 c And the winner is solver0 38.39/55.86 c Got one! Elapsed wall clock time (in seconds):55.688 38.39/55.86 o 16 38.48/55.95 c cleaning 6423 clauses out of 12860 with flag 8133/408435 38.89/56.16 c cleaning 6217 clauses out of 12440 with flag 32065/414438 39.28/56.39 c And the winner is solver0 39.97/56.97 c Got one! Elapsed wall clock time (in seconds):56.796 39.97/56.97 o 15 40.47/57.22 c cleaning 8873 clauses out of 17751 with flag 20376/425972 40.47/57.30 c And the winner is solver0 41.37/58.08 c Got one! Elapsed wall clock time (in seconds):57.905 41.37/58.08 o 13 41.44/58.17 c And the winner is solver0 41.60/58.58 c Got one! Elapsed wall clock time (in seconds):58.413 41.60/58.58 o 12 41.60/58.59 c And the winner is solver0 1800.02/1811.71 c >>>>>>>>>> Solver number 0 (100 answers) <<<<<<<<<<<<<<<<<< 1800.02/1811.71 c starts : 262 1800.02/1811.71 c conflicts : 430290 1800.02/1811.71 c decisions : 727970 1800.02/1811.71 c propagations : 11083815 1800.02/1811.71 c inspects : 180104510 1800.02/1811.71 c shortcuts : 0 1800.02/1811.71 c learnt literals : 28 1800.02/1811.71 c learnt binary clauses : 75 1800.02/1811.71 c learnt ternary clauses : 1017 1800.02/1811.71 c learnt constraints : 430262 1800.02/1811.71 c ignored constraints : 0 1800.02/1811.71 c root simplifications : 0 1800.02/1811.71 c removed literals (reason simplification) : 1951966 1800.02/1811.71 c reason swapping (by a shorter reason) : 0 1800.02/1811.71 c Calls to reduceDB : 61 1800.02/1811.71 c Number of update (reduction) of LBD : 117724 1800.02/1811.71 c Imported unit clauses : 0 1800.02/1811.71 c number of reductions to clauses (during analyze) : 0 1800.02/1811.71 c number of learned constraints concerned by reduction : 0 1800.02/1811.71 c number of learning phase by resolution : 0 1800.02/1811.71 c number of learning phase by cutting planes : 0 1800.02/1811.71 c speed (assignments/second) : 6118.719154714981 1800.02/1811.71 c non guided choices 3979 1800.02/1811.72 c learnt constraints type 1800.02/1811.72 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 75 1800.02/1811.72 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13118 1800.02/1811.72 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.02/1811.72 c starts : 109 1800.02/1811.72 c conflicts : 2605 1800.02/1811.72 c decisions : 18096 1800.02/1811.72 c propagations : 98709 1800.02/1811.72 c inspects : 23580520 1800.02/1811.72 c shortcuts : 0 1800.02/1811.72 c learnt literals : 0 1800.02/1811.72 c learnt binary clauses : 0 1800.02/1811.72 c learnt ternary clauses : 0 1800.02/1811.72 c learnt constraints : 2519 1800.02/1811.72 c ignored constraints : 0 1800.02/1811.72 c root simplifications : 0 1800.02/1811.72 c removed literals (reason simplification) : 0 1800.02/1811.72 c reason swapping (by a shorter reason) : 0 1800.02/1811.72 c Calls to reduceDB : 0 1800.02/1811.72 c Number of update (reduction) of LBD : 0 1800.02/1811.72 c Imported unit clauses : 0 1800.02/1811.72 c number of reductions to clauses (during analyze) : 0 1800.02/1811.72 c number of learned constraints concerned by reduction : 0 1800.02/1811.72 c number of learning phase by resolution : 0 1800.02/1811.72 c number of learning phase by cutting planes : 0 1800.02/1811.72 c speed (assignments/second) : 56.30504856794578 1800.02/1811.72 c non guided choices 1978 1800.02/1811.72 c learnt constraints type 1800.02/1811.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2519 1800.02/1811.72 s SATISFIABLE 1800.02/1811.72 c Found 99 solution(s) 1800.02/1811.72 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 1800.02/1811.73 c objective function=12 1800.02/1811.73 c Total wall clock time (in seconds): 1811.556
OK 2
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-4109229-1466341817/watcher-4109229-1466341817 -o /tmp/evaluation-result-4109229-1466341817/solver-4109229-1466341817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466341817-29921 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109229-1466341817.wbo pid=29932 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.35 0.20 0.18 3/171 29935 /proc/meminfo: memFree=30125980/32872528 swapFree=1498360/1645528 [pid=29935] ppid=29932 vsize=3568 CPUtime=0 cores=1,3,5,7 /proc/29935/stat : 29935 (java) D 29932 29935 29904 0 -1 4202496 171 0 1 0 0 0 0 0 20 0 1 0 36228583 3653632 48 33554432000 1073741824 1073778376 140734374043920 140734374041016 259103227536 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 0 0 0 /proc/29935/statm: 892 48 37 9 0 30 0 [startup+0.100062 s] /proc/loadavg: 0.35 0.20 0.18 3/171 29935 /proc/meminfo: memFree=30125980/32872528 swapFree=1498360/1645528 [pid=29935] ppid=29932 vsize=9558476 CPUtime=0.05 cores=1,3,5,7 /proc/29935/stat : 29935 (java) S 29932 29935 29904 0 -1 4202496 3350 0 11 0 4 1 0 0 20 0 18 0 36228583 9787879424 4491 33554432000 1073741824 1073778376 140736233718480 140736233709616 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 /proc/29935/statm: 2389619 4491 1775 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558476 [startup+0.200306 s] /proc/loadavg: 0.35 0.20 0.18 3/171 29935 /proc/meminfo: memFree=30125980/32872528 swapFree=1498360/1645528 [pid=29935] ppid=29932 vsize=9558476 CPUtime=0.16 cores=1,3,5,7 /proc/29935/stat : 29935 (java) S 29932 29935 29904 0 -1 4202496 4561 0 12 0 15 1 0 0 20 0 18 0 36228583 9787879424 6698 33554432000 1073741824 1073778376 140736233718480 140736233709616 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 /proc/29935/statm: 2389619 6698 2169 9 0 2380296 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 9558476 [startup+0.300241 s] /proc/loadavg: 0.35 0.20 0.18 3/171 29935 /proc/meminfo: memFree=30125980/32872528 swapFree=1498360/1645528 [pid=29935] ppid=29932 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/29935/stat : 29935 (java) S 29932 29935 29904 0 -1 4202496 6788 0 12 0 37 2 0 0 20 0 22 0 36228583 10060525568 9335 33554432000 1073741824 1073778376 140736233718480 140736233709616 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 /proc/29935/statm: 2456183 9335 2239 9 0 2446860 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 9824732 [startup+0.700271 s] /proc/loadavg: 0.35 0.20 0.18 3/171 29935 /proc/meminfo: memFree=30125980/32872528 swapFree=1498360/1645528 [pid=29935] ppid=29932 vsize=9824732 CPUtime=1.28 cores=1,3,5,7 /proc/29935/stat : 29935 (java) S 29932 29935 29904 0 -1 4202496 16130 0 12 0 122 6 0 0 20 0 19 0 36228583 10060525568 13490 33554432000 1073741824 1073778376 140736233718480 140736233709616 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 /proc/29935/statm: 2456183 13490 2254 9 0 2446860 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 9824732 [startup+1.50082 s] /proc/loadavg: 0.35 0.20 0.18 1/214 29999 /proc/meminfo: memFree=30018716/32872528 swapFree=1498360/1645528 [pid=29935] ppid=29932 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/29935/stat : 29935 (java) S 29932 29935 29904 0 -1 4202496 16149 0 12 0 127 8 0 0 20 0 19 0 36228583 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 140736233709616 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 /proc/29935/statm: 2456183 16050 2254 9 0 2446860 0 [pid=29935/tid=29939] ppid=29932 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/29935/task/29939/stat : 29939 (java) S 29932 29935 29904 0 -1 4202560 2467 0 6 0 15 1 0 0 20 0 19 0 36228585 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886349960056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0 [pid=29935/tid=29943] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29943/stat : 29943 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886193997992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29944] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29944/stat : 29944 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886192945448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29945] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29945/stat : 29945 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886191892904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29946] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29946/stat : 29946 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886190840360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29947] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29947/stat : 29947 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886189787816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29948] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29948/stat : 29948 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886188735272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29949] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29949/stat : 29949 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886187682728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29950] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29950/stat : 29950 (java) S 29932 29935 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886186630184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29955] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29955/stat : 29955 (java) S 29932 29935 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36228589 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886174218344 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29957] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29957/stat : 29957 (java) S 29932 29935 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36228589 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886173164664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29959] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29959/stat : 29959 (java) S 29932 29935 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36228589 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886172112008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29973] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29973/stat : 29973 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228592 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886171060752 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29974] ppid=29932 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/29935/task/29974/stat : 29974 (java) S 29932 29935 29904 0 -1 4202560 5508 0 0 0 35 1 0 0 20 0 19 0 36228592 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886170008120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29975] ppid=29932 vsize=9824732 CPUtime=0.37 cores=1,3,5,7 /proc/29935/task/29975/stat : 29975 (java) S 29932 29935 29904 0 -1 4202560 6833 0 0 0 35 2 0 0 20 0 19 0 36228592 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886168955576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29976] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29976/stat : 29976 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228592 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886167903224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29977] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29977/stat : 29977 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228592 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886166850888 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29988] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29988/stat : 29988 (java) S 29932 29935 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36228608 10060525568 16050 33554432000 1073741824 1073778376 140736233718480 139886163641384 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.35 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 0.33 0.20 0.18 1/214 30011 /proc/meminfo: memFree=29997708/32872528 swapFree=1498360/1645528 [pid=29935] ppid=29932 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/29935/stat : 29935 (java) S 29932 29935 29904 0 -1 4202496 18347 0 12 0 196 13 0 0 20 0 19 0 36228583 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 140736233709616 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 /proc/29935/statm: 2456183 25855 2263 9 0 2446860 0 [pid=29935/tid=29939] ppid=29932 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/29935/task/29939/stat : 29939 (java) S 29932 29935 29904 0 -1 4202560 2467 0 6 0 15 2 0 0 20 0 19 0 36228585 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886349960056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0 [pid=29935/tid=29943] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29943/stat : 29943 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886193997992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29944] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29944/stat : 29944 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886192945448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29945] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29945/stat : 29945 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886191892904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29946] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29946/stat : 29946 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886190840360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29947] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29947/stat : 29947 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886189787816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29948] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29948/stat : 29948 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886188735272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29949] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29949/stat : 29949 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886187682728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29950] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29950/stat : 29950 (java) S 29932 29935 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886186630184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29955] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29955/stat : 29955 (java) S 29932 29935 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36228589 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886174218344 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29957] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29957/stat : 29957 (java) S 29932 29935 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36228589 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886173164664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29959] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29959/stat : 29959 (java) S 29932 29935 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36228589 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886172112008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29973] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29973/stat : 29973 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228592 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886171060752 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29974] ppid=29932 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/29935/task/29974/stat : 29974 (java) S 29932 29935 29904 0 -1 4202560 7626 0 0 0 60 2 0 0 20 0 19 0 36228592 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886170008120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29975] ppid=29932 vsize=9824732 CPUtime=0.54 cores=1,3,5,7 /proc/29935/task/29975/stat : 29975 (java) S 29932 29935 29904 0 -1 4202560 6874 0 0 0 52 2 0 0 20 0 19 0 36228592 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886168955576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29976] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29976/stat : 29976 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228592 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886167903224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29977] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29977/stat : 29977 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228592 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886166850888 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29988] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29988/stat : 29988 (java) S 29932 29935 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36228608 10060525568 25855 33554432000 1073741824 1073778376 140736233718480 139886163641384 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.09 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=28 pid=1815 uid=0 cmd= [startup+6.30082 s] /proc/loadavg: 0.33 0.20 0.18 1/214 30053 /proc/meminfo: memFree=29866020/32872528 swapFree=1498360/1645528 [pid=29935] ppid=29932 vsize=9824732 CPUtime=2.21 cores=1,3,5,7 /proc/29935/stat : 29935 (java) S 29932 29935 29904 0 -1 4202496 19044 0 12 0 207 14 0 0 20 0 19 0 36228583 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 140736233709616 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 /proc/29935/statm: 2456183 33869 2269 9 0 2446860 0 [pid=29935/tid=29939] ppid=29932 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/29935/task/29939/stat : 29939 (java) S 29932 29935 29904 0 -1 4202560 2469 0 6 0 16 2 0 0 20 0 19 0 36228585 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886349960056 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0 [pid=29935/tid=29943] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29943/stat : 29943 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886193997992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29944] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29944/stat : 29944 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886192945448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29945] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29945/stat : 29945 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886191892904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29946] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29946/stat : 29946 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886190840360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29947] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29947/stat : 29947 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886189787816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29948] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29948/stat : 29948 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886188735272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29949] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29949/stat : 29949 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886187682728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29950] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29950/stat : 29950 (java) S 29932 29935 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36228587 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886186630184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29955] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29955/stat : 29955 (java) S 29932 29935 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36228589 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886174218344 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29957] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29957/stat : 29957 (java) S 29932 29935 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36228589 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886173164664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29959] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29959/stat : 29959 (java) S 29932 29935 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36228589 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886172112008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29973] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29973/stat : 29973 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228592 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886171060752 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29974] ppid=29932 vsize=9824732 CPUtime=0.69 cores=1,3,5,7 /proc/29935/task/29974/stat : 29974 (java) S 29932 29935 29904 0 -1 4202560 8238 0 0 0 67 2 0 0 20 0 19 0 36228592 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886170008120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29975] ppid=29932 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/29935/task/29975/stat : 29975 (java) S 29932 29935 29904 0 -1 4202560 6875 0 0 0 55 2 0 0 20 0 19 0 36228592 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886168955576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29976] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29976/stat : 29976 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36228592 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886167903224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29977] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29977/stat : 29977 (java) S 29932 29935 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36228592 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886166850888 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29988] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29988/stat : 29988 (java) S 29932 29935 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36228608 10060525568 33869 33554432000 1073741824 1073778376 140736233718480 139886163641384 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.21 ################ # More data... # ################ /proc/29935/task/29947/stat : 29947 (java) S 29932 29935 29904 0 -1 4202560 580 0 0 0 86 11 0 0 20 0 21 0 36228587 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886189787816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29948] ppid=29932 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/29935/task/29948/stat : 29948 (java) S 29932 29935 29904 0 -1 4202560 362 0 0 0 92 11 0 0 20 0 21 0 36228587 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886188735272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29949] ppid=29932 vsize=9824732 CPUtime=0.98 cores=1,3,5,7 /proc/29935/task/29949/stat : 29949 (java) S 29932 29935 29904 0 -1 4202560 365 0 0 0 88 10 0 0 20 0 21 0 36228587 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886187682728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29950] ppid=29932 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/29935/task/29950/stat : 29950 (java) S 29932 29935 29904 0 -1 4202560 294 0 0 0 91 10 0 0 20 0 21 0 36228587 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886186630184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29935/tid=29955] ppid=29932 vsize=9824732 CPUtime=0.75 cores=1,3,5,7 /proc/29935/task/29955/stat : 29955 (java) S 29932 29935 29904 0 -1 4202560 1064 0 0 0 60 15 0 0 20 0 21 0 36228589 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886174218344 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29957] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29957/stat : 29957 (java) S 29932 29935 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36228589 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886173164664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29959] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29959/stat : 29959 (java) S 29932 29935 29904 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 36228589 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886172112008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29973] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29973/stat : 29973 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36228592 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886171060752 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29974] ppid=29932 vsize=9824732 CPUtime=1.7 cores=1,3,5,7 /proc/29935/task/29974/stat : 29974 (java) S 29932 29935 29904 0 -1 4202560 20095 0 0 0 167 3 0 0 20 0 21 0 36228592 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886170008120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29975] ppid=29932 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/29935/task/29975/stat : 29975 (java) S 29932 29935 29904 0 -1 4202560 8741 0 0 0 105 3 0 0 20 0 21 0 36228592 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886168955576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29976] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29976/stat : 29976 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36228592 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886167903224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29977] ppid=29932 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/29935/task/29977/stat : 29977 (java) S 29932 29935 29904 0 -1 4202560 103 0 0 0 10 16 0 0 20 0 21 0 36228592 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886166850888 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29988] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29988/stat : 29988 (java) S 29932 29935 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36228608 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886163641384 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=30512] ppid=29932 vsize=9824732 CPUtime=1715.99 cores=1,3,5,7 /proc/29935/task/30512/stat : 30512 (java) R 29932 29935 29904 0 -1 4202560 3445 0 0 0 171557 42 0 0 20 0 21 0 36234442 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886165745200 139886223145058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=30513] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/30513/stat : 30513 (java) S 29932 29935 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36234444 10060525568 286409 33554432000 1073741824 1073778376 140736233718480 139886164694312 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1770.56 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1811.7 s] /proc/loadavg: 2.17 2.19 1.89 3/218 31004 /proc/meminfo: memFree=28131028/32872528 swapFree=1498360/1645528 [pid=29935] ppid=29932 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7 /proc/29935/stat : 29935 (java) S 29932 29935 29904 0 -1 4202496 42502 0 12 0 179697 305 0 0 20 0 21 0 36228583 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 140736233709616 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 /proc/29935/statm: 2456183 286702 2294 9 0 2446860 0 [pid=29935/tid=29939] ppid=29932 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/29935/task/29939/stat : 29939 (java) S 29932 29935 29904 0 -1 4202560 2504 0 6 0 48 14 0 0 20 0 21 0 36228585 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886349960184 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0 [pid=29935/tid=29943] ppid=29932 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/29935/task/29943/stat : 29943 (java) S 29932 29935 29904 0 -1 4202560 946 0 0 0 92 8 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886193997992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29944] ppid=29932 vsize=9824732 CPUtime=0.96 cores=1,3,5,7 /proc/29935/task/29944/stat : 29944 (java) S 29932 29935 29904 0 -1 4202560 586 0 0 0 87 9 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886192945448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29945] ppid=29932 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/29935/task/29945/stat : 29945 (java) S 29932 29935 29904 0 -1 4202560 690 0 0 0 90 10 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886191892904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29946] ppid=29932 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/29935/task/29946/stat : 29946 (java) S 29932 29935 29904 0 -1 4202560 519 0 0 0 96 12 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886190840360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29935/tid=29947] ppid=29932 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/29935/task/29947/stat : 29947 (java) S 29932 29935 29904 0 -1 4202560 580 0 0 0 86 11 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886189787816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29948] ppid=29932 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/29935/task/29948/stat : 29948 (java) S 29932 29935 29904 0 -1 4202560 363 0 0 0 93 11 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886188735272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29935/tid=29949] ppid=29932 vsize=9824732 CPUtime=0.99 cores=1,3,5,7 /proc/29935/task/29949/stat : 29949 (java) S 29932 29935 29904 0 -1 4202560 369 0 0 0 89 10 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886187682728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29950] ppid=29932 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/29935/task/29950/stat : 29950 (java) S 29932 29935 29904 0 -1 4202560 298 0 0 0 91 10 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886186630184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29935/tid=29955] ppid=29932 vsize=9824732 CPUtime=0.75 cores=1,3,5,7 /proc/29935/task/29955/stat : 29955 (java) S 29932 29935 29904 0 -1 4202560 1066 0 0 0 60 15 0 0 20 0 21 0 36228589 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886174218344 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29957] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29957/stat : 29957 (java) S 29932 29935 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36228589 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886173164664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29959] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29959/stat : 29959 (java) S 29932 29935 29904 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 36228589 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886172112008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29973] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29973/stat : 29973 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36228592 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886171060752 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29974] ppid=29932 vsize=9824732 CPUtime=1.7 cores=1,3,5,7 /proc/29935/task/29974/stat : 29974 (java) S 29932 29935 29904 0 -1 4202560 20095 0 0 0 167 3 0 0 20 0 21 0 36228592 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886170008120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29975] ppid=29932 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/29935/task/29975/stat : 29975 (java) S 29932 29935 29904 0 -1 4202560 8741 0 0 0 105 3 0 0 20 0 21 0 36228592 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886168955576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29976] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29976/stat : 29976 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36228592 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886167903224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29977] ppid=29932 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/29935/task/29977/stat : 29977 (java) S 29932 29935 29904 0 -1 4202560 105 0 0 0 11 16 0 0 20 0 21 0 36228592 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886166850888 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29988] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29988/stat : 29988 (java) S 29932 29935 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36228608 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886163641384 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=30512] ppid=29932 vsize=9824732 CPUtime=1745.3 cores=1,3,5,7 /proc/29935/task/30512/stat : 30512 (java) R 29932 29935 29904 0 -1 4202560 3446 0 0 0 174488 42 0 0 20 0 21 0 36234442 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886165745200 139886223145095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=30513] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/30513/stat : 30513 (java) S 29932 29935 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36234444 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886164694312 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 29935 sig 9 ??? kill -29935 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1811.7 s] /proc/loadavg: 2.17 2.19 1.89 3/218 31004 /proc/meminfo: memFree=28131028/32872528 swapFree=1498360/1645528 [pid=29935] ppid=29932 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7 /proc/29935/stat : 29935 (java) S 29932 29935 29904 0 -1 4202496 42502 0 12 0 179697 305 0 0 20 0 21 0 36228583 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 140736233709616 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 /proc/29935/statm: 2456183 286702 2294 9 0 2446860 0 [pid=29935/tid=29939] ppid=29932 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/29935/task/29939/stat : 29939 (java) S 29932 29935 29904 0 -1 4202560 2504 0 6 0 48 14 0 0 20 0 21 0 36228585 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886349960184 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 2 0 0 [pid=29935/tid=29943] ppid=29932 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/29935/task/29943/stat : 29943 (java) S 29932 29935 29904 0 -1 4202560 946 0 0 0 92 8 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886193997992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29944] ppid=29932 vsize=9824732 CPUtime=0.96 cores=1,3,5,7 /proc/29935/task/29944/stat : 29944 (java) S 29932 29935 29904 0 -1 4202560 586 0 0 0 87 9 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886192945448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29945] ppid=29932 vsize=9824732 CPUtime=1 cores=1,3,5,7 /proc/29935/task/29945/stat : 29945 (java) S 29932 29935 29904 0 -1 4202560 690 0 0 0 90 10 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886191892904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29946] ppid=29932 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/29935/task/29946/stat : 29946 (java) S 29932 29935 29904 0 -1 4202560 519 0 0 0 96 12 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886190840360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29935/tid=29947] ppid=29932 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/29935/task/29947/stat : 29947 (java) S 29932 29935 29904 0 -1 4202560 580 0 0 0 86 11 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886189787816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29948] ppid=29932 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/29935/task/29948/stat : 29948 (java) S 29932 29935 29904 0 -1 4202560 363 0 0 0 93 11 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886188735272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29935/tid=29949] ppid=29932 vsize=9824732 CPUtime=0.99 cores=1,3,5,7 /proc/29935/task/29949/stat : 29949 (java) S 29932 29935 29904 0 -1 4202560 369 0 0 0 89 10 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886187682728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29950] ppid=29932 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/29935/task/29950/stat : 29950 (java) S 29932 29935 29904 0 -1 4202560 298 0 0 0 91 10 0 0 20 0 21 0 36228587 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886186630184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=29935/tid=29955] ppid=29932 vsize=9824732 CPUtime=0.75 cores=1,3,5,7 /proc/29935/task/29955/stat : 29955 (java) S 29932 29935 29904 0 -1 4202560 1066 0 0 0 60 15 0 0 20 0 21 0 36228589 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886174218344 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29957] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29957/stat : 29957 (java) S 29932 29935 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36228589 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886173164664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29959] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29959/stat : 29959 (java) S 29932 29935 29904 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 36228589 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886172112008 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29973] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29973/stat : 29973 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36228592 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886171060752 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29974] ppid=29932 vsize=9824732 CPUtime=1.7 cores=1,3,5,7 /proc/29935/task/29974/stat : 29974 (java) S 29932 29935 29904 0 -1 4202560 20095 0 0 0 167 3 0 0 20 0 21 0 36228592 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886170008120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29975] ppid=29932 vsize=9824732 CPUtime=1.08 cores=1,3,5,7 /proc/29935/task/29975/stat : 29975 (java) S 29932 29935 29904 0 -1 4202560 8741 0 0 0 105 3 0 0 20 0 21 0 36228592 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886168955576 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=29976] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29976/stat : 29976 (java) S 29932 29935 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36228592 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886167903224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=29935/tid=29977] ppid=29932 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/29935/task/29977/stat : 29977 (java) S 29932 29935 29904 0 -1 4202560 105 0 0 0 11 16 0 0 20 0 21 0 36228592 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886166850888 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=29988] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/29988/stat : 29988 (java) S 29932 29935 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36228608 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886163641384 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=29935/tid=30512] ppid=29932 vsize=9824732 CPUtime=1745.3 cores=1,3,5,7 /proc/29935/task/30512/stat : 30512 (java) R 29932 29935 29904 0 -1 4202560 3446 0 0 0 174488 42 0 0 20 0 21 0 36234442 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886165745200 139886223145095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=29935/tid=30513] ppid=29932 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/29935/task/30513/stat : 30513 (java) S 29932 29935 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 36234444 10060525568 286702 33554432000 1073741824 1073778376 140736233718480 139886164694312 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29935 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=498498 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=531463 # CPU time returned by wait4() is 1796.03 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # 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): 1811.75 CPU time (s): 1800.02 CPU user time (s): 1796.98 CPU system time (s): 3.04 CPU usage (%): 99.3527 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.5 system time used= 3.53146 maximum resident set size= 1159972 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42539 page faults= 12 swaps= 0 block input operations= 4576 block output operations= 1616 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 83634 involuntary context switches= 50617 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.1715 second user time and 13.6249 second system time The end
Begin job on node124 at 2016-06-19 15:10:18 IDJOB=4109229 IDBENCH=78746 IDSOLVER=2552 FILE ID=node124/4109229-1466341817 RUNJOBID= node124-1466341817-29921 PBS_JOBID= 19922029 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.1111213868--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109229-1466341817/watcher-4109229-1466341817 -o /tmp/evaluation-result-4109229-1466341817/solver-4109229-1466341817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466341817-29921 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109229-1466341817.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9d49cc96dce2d827c87e3b263591bd09 RANDOM SEED=885063510 node124.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.791 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.58 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.791 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.791 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.791 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.791 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.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.54 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.791 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30126664 kB Buffers: 119632 kB Cached: 199368 kB SwapCached: 2816 kB Active: 145132 kB Inactive: 177784 kB Active(anon): 2968 kB Inactive(anon): 3548 kB Active(file): 142164 kB Inactive(file): 174236 kB Unevictable: 1645528 kB Mlocked: 1498360 kB SwapTotal: 67108856 kB SwapFree: 67099904 kB Dirty: 832 kB Writeback: 0 kB AnonPages: 1648668 kB Mapped: 8592 kB Shmem: 0 kB Slab: 643044 kB SReclaimable: 87448 kB SUnreclaim: 555596 kB KernelStack: 1384 kB PageTables: 6872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1740744 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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 node124 at 2016-06-19 15:40:29